BMO2 2024 P3 - Meine Lösung

Sonntag, 22. September 2024DEDeutsch

BMO2 2024 P3 - Meine Lösung
Mein Lösungsansatz dafür

Problemstellung

Die Problemstellung war ursprünglich auf Englisch, daher habe ich sie übersetzt:

ABC sei ein spitzwinkliges Dreieck mit AB>ACAB > AC. P sei der Schnittpunkt der Tangenten an den Umkreis von ABC in B und C. Die Linie durch die Mittelpunkte der Strecken PB und PC treffe die Linien AB und AC in X bzw. Y.

Beweisen Sie, dass das Viereck AXPY zyklisch ist.

Meine Lösung

Zuerst kann man das Diagramm mit GeoGebra zeichnen, durch Winkelverfolgung dann bekommt man etwas wie das folgende Bild:

Man muss jetzt beweisen, dass ∠XPY=180∘−∠XAY\angle XPY = 180^\circ - \angle XAY. Markieren wir zwei weitere Winkel: ∠DPX=α\angle DPX = \alpha und ∠EPY=β\angle EPY = \beta. Auch sei der orangefarbige Winkel ∠BAC=γ\angle BAC = \gamma

Um ∠XPY=180∘−∠XAY\angle XPY = 180^\circ - \angle XAY zu beweisen, reicht es aus, zu zeigen, dass

α+β+(180∘−2γ)=180∘−γ⟺α+β=γ\begin{align*} \alpha + \beta + (180^\circ - 2\gamma) &= 180^\circ - \gamma \\ \Longleftrightarrow \alpha + \beta &= \gamma \end{align*}

Jetzt beobachten wir, dass es ein paar ähnliche Dreiecke gibt. Offensichtlich sind △BDX\triangle BDX und △CEY\triangle CEY ähnlich.

BDDX=EYCE\begin{align} \frac{BD}{DX} = \frac{EY}{CE} \end{align}

Bevor wir weitermachen, werfen wir einen Blick in die Zukunft und uns fragen, was wir eigentlich beweisen wollen. Wir wollen beweisen, dass α+β=γ\alpha + \beta = \gamma ist. Im Dreieck △XDP\triangle XDP, falls ∠PXD=β\angle PXD = \beta, dann wäre

∠XDP=180∘−α−β\angle XDP = 180^\circ - \alpha - \beta

aber auch

∠XDP=180∘−γ\angle XDP = 180^\circ - \gamma

also, auf Wunsch

α+β=γ\alpha + \beta = \gamma

Also ist die Aufgabe jetzt, zu beweisen, dass △XDP∼△YEP\triangle XDP \sim \triangle YEP.

Um das zu zeigen, erfordern wir, dass

DPDX=EYEP\frac{DP}{DX} = \frac{EY}{EP}

Aber wir wissen schon, dass BD=DPBD = DP und CE=EPCE = EP. Also können wir diese Gleichung als das Folgendes umschreiben

BDDX=EYCE\frac{BD}{DX} = \frac{EY}{CE}

Das ist genau die Gleichung (1)(1)! Das Beweis ist fertig.