Spanische Mathematik-Olympiade 2024, Die Lokale Runde, G2

Freitag, 14. Juni 2024

Spanische Mathematik-Olympiade 2024, Die Lokale Runde, G2
Meine Lösung dafür

Die Problemstellung

ABCDABCD sei ein Viereck. JJ und II seien die Mittelpunkte der Diagonalen ACAC bzw. BDBD. GG sei der Punkt auf der Linie BCBC, so dass DGDG senkrecht auf BCBC stehe, und HH sei der Punkt auf der Linie ADAD, so dass CHCH senkrecht auf ADAD stehe. Die Linien DGDG und CHCH schneiden sich in dem Punkt KK. EE sei der Punkt auf der Linie BCBC, so dass AEAE senkrecht auf BCBC stehe, und FF sei der Punkt auf der Linie ADAD, so dass BFBF senkrecht auf ADAD stehe. Die Geraden AEAE und BFBF schneiden sich im Punkt LL. Beweisen Sie, dass KLKL eine Senkrechte auf JIJI ist.

Übersetzt mit DeepL.com

Diagramm
Diagramm

Meine Lösung

Zuerst bemerken wir, dass der Punkt II der Mittelpunkt der Dianogale BDBD. Dann kann man einen Kreis mit dem Durchmesser BDBD und dem Mittelpunkt II zeichnen. Dieser Kreis sei Γ\Gamma. Der Punkt FF liegt auf Γ\Gamma, weil BFD=90\angle BFD = 90^\circ.

Gleicherweise kann man einen Kreis Ω\Omega mit dem Durchmesser ACAC und dem Mittelpunkt JJ zeichnen, der durch EE geht.

Bisher haben wir zwei besondere Kreise mit Mittelpunkten II und JJ. Erinnern wir und daran, dass die Radikalachse von zwei Kreisen senkrecht verlaufend zu der Linie ist, die die Mittelpunkte der zwei Kreise verbindet. Tatsächlich erhalten wir ein Äquivalent der originellen Problemstellung; es ist als folgt:

Beweise, dass die Linie KLKL eigentlich die Radikalachse von Γ\Gamma und Ω\Omega ist.

Oder noch einfacher: Beweise, dass PowΓ(K)=PowΩ(K)\text{Pow}_\Gamma(K) = \text{Pow}_\Omega(K) und PowΓ(L)=PowΩ(L)\text{Pow}_\Gamma(L) = \text{Pow}_\Omega(L).

Dann wird das Problem sehr einfach. Im rechtwinkligen Dreieck DHK\triangle DHK liegt noch ein rechtwinkliges Dreieck KGC\triangle KGC — diese Dreiecke sind ähnlich. Daraus folgt, dass

KHKD=KGKCKCKH=KGKDPowΓ(K)=PowΩ(K)\begin{align*} \frac{KH}{KD} &= \frac{KG}{KC} \\ \\ KC\cdot KH &= KG\cdot KD \\ \text{Pow}_\Gamma(K) &= \text{Pow}_\Omega(K) \end{align*}

Auf der anderen Seite ist die Situation für LL symmetrisch.

\square