problem: Die Menge aller positiver rationaler Zahlen sei mit $\mathbb{Q}^{+}$bezeichnet. Man bestimme alle Funktionen $f: \mathbb{Q}^{+} \rightarrow \mathbb{Q}^{+}$mit der Eigenschaft $f\left(x^{2} f(y)^{2}\right)=f\left(x^{2}\right) f(y)\left(^{*}\right)$ für alle $x, y \in \mathbb{Q}^{+}$.

solution:
Wir beginnen mit einigen für die Lösungsmenge wichtigen Eigenschaften der Grundmenge $\mathbb{Q}^{+}$. Bekanntlich liegt das Produkt $a b$ zweier Zahlen $a, b \in \mathbb{Q}^{+}$wieder in $\mathbb{Q}^{+}$, ebenso wie das Inverse $\frac{1}{a}$ zu jeder Zahl $a \in \mathbb{Q}^{+}$(was für $\sqrt{a}$ nicht immer erfüllt ist). Weil auch das neutrale Element 1 der (kommutativen) Multiplikation zu $\mathbb{Q}^{+}$gehört, bildet $\mathbb{Q}^{+}$bezüglich der Multiplikation eine kommutative (= abelsche) Gruppe. Jede nicht-leere Teilmenge $U$, für die mit $a, b \in U$ auch stets $\frac{a}{b} \in U$ gilt, ist eine (abelsche) Untergruppe von $\mathbb{Q}^{+}$, d.h. sie enthält die Zahl 1, jedes Produkt zweier ihrer Elemente und zu jeder ihrer Zahlen den Kehrwert. Ein Beispiel ist $D=\left\{3^{t} \mid t \in \mathbb{Z}\right\}$, die Menge aller Dreierpotenzen mit ganzzahligen Exponenten; triviale Beispiele sind $U=\{1\}$ sowie $U=\mathbb{Q}^{+}$.
Weiter wird zu einer Untergruppe $U$ von $\mathbb{Q}^{+}$und einer beliebigen Zahl $a \in \mathbb{Q}^{+}$die Menge $a U=\{a u \mid u \in U\}$ als Nebenklasse von $\mathbb{Q}^{+} / U$ mit dem Repräsentanten $a$ bezeichnet. Der Repräsentant einer Nebenklasse ist in der Regel nicht eindeutig bestimmt; ebenso sind die Nebenklassen in der Regel selber keine Gruppen. Ein Beispiel mit $a=2$ ist die Menge $2 D=\left\{2 \cdot 3^{t} \mid t \in \mathbb{Z}\right\}$, die z.B. auch den Repräsentanten 6 besitzt.
Nach diesen Vorbemerkungen können wir nun zunächst die Lösungsmenge beschreiben:
Es sei $U$ eine beliebige Untergruppe von $\mathbb{Q}^{+}$und $a_{1}, a_{2}, \ldots \in \mathbb{Q}^{+}$feste Repräsentanten der Nebenklassen von $\mathbb{Q}^{+} / U$. Ferner seien $u_{1}, u_{2}, \ldots$ Zahlen aus $U$, so dass jedem $a_{i}$ genau ein $u_{i}$ zugeordnet ist. Damit ergeben sich folgende Lösungen $f: \mathbb{Q}^{+} \rightarrow \mathbb{Q}^{+}$:

$$
f(x)=\left\{\begin{array}{c}
r \cdot u_{i} \text { für } x=a_{i}^{2} \cdot r^{2} \text { mit } r \in U \\
u \text { beliebig } \in U \text { falls } x \text { kein Quadrat einer Zahl aus } \mathbb{Q}^{+} \text {ist }
\end{array}\right.
$$

Dabei kommen alle Lösungen durch die möglichen Untergruppen $U$ und die Auswahl der $u_{i}$ zustande, sowie durch beliebige Wahl von $u \in U$ (die $a_{i}$ sind für jedes $U$ fest).
Zum Beispiel ergibt sich Folgendes für die trivialen Untergruppen von $\mathbb{Q}^{+}$:
a) $U=\{1\}$ : Hier ist nur $r=u=1$ sowie $u_{i}=1$ möglich, so dass $f(x)=1$ für alle $x \in \mathbb{Q}^{+}$.
b) $U=\mathbb{Q}^{+}$: Hier ist $f(x)=a \sqrt{x}$ mit festem $a$, wenn $x$ eine Quadratzahl ist, sowie $f(x)$ beliebig aus $\mathbb{Q}^{+}$, wenn $x$ keine Quadratzahl ist.
Der Beweis erfolgt in zwei Schritten.
Schritt 1: Wir zeigen, dass die angegebenen Funktionen $f$ wohldefiniert sind und (*) erfüllen.
Jedes $t=x^{2}$ mit $x \in \mathbb{Q}^{+}$lässt sich nach der Definition der Nebenklassen eindeutig in der Form $t=a_{i}^{2} \cdot r^{2}$ mit $r \in U$ darstellen, und jedes Produkt $a_{i}^{2} \cdot r^{2}$ ist eine rationale Quadratzahl. Somit ist $f$ wohldefiniert. Aus der Definition folgt ferner, dass die Wertemenge $W_{f}$ von $f$ in $U$ liegt. Daher existiert für jedes $y \in \mathbb{Q}^{+}$ ein $u \in U$ mit $f(y)=u$. Weil für jedes $x \in \mathbb{Q}^{+}$wie oben bemerkt eine eindeutige Darstellung $x^{2}=a_{i}^{2} \cdot r^{2}$ existiert, folgt $f\left(x^{2} \cdot f(y)^{2}\right)=f\left(a_{i}^{2} r^{2} u^{2}\right)=f\left(a_{i}^{2}(r u)^{2}\right)=(r u) \cdot u_{i}=\left(r u_{i}\right) \cdot u=f\left(a_{i}^{2} r^{2}\right) f(y)=f\left(x^{2}\right) f(y)$, womit (*) erfüllt ist.

Schritt 2: Wir zeigen, dass keine weiteren Lösungen von (*) als die angegebenen existieren können.
Dazu sei $f$ eine Lösungsfunktion von $\left(^{*}\right)$ mit der Lösungsmenge $W_{f} \subseteq \mathbb{Q}^{+}$.
Wir setzen $y=1$ und $x=\frac{1}{f(1)}$ in $\left(^{*}\right)$ ein: $f\left(x^{2} f(y)^{2}\right)=f\left(\frac{f(1)^{2}}{f(1)^{2}}\right)=f(1)=f\left(x^{2}\right) f(1)$. Somit ist $1 \in W_{f}$.
Nun sei $z=\frac{1}{f(1)}$ fest (dies bedeutet nach dem oben Stehenden $f\left(z^{2}\right)=1$ ). Sei weiter $w \in W_{f}$ (dies bedeutet, dass es ein $u \in \mathbb{Q}^{+}$gibt mit $\left.f(u)=w\right)$. Wir setzen $y=u$ und $x=\frac{z}{f(y)}$ in (*) ein:
$f\left(x^{2} f(y)^{2}\right)=f\left(z^{2}\right)=1=f\left(x^{2}\right) \cdot w$, also $f\left(x^{2}\right)=\frac{1}{w}$. Somit liegt für jedes $w \in W_{f}$ auch $\frac{1}{w}$ in $W_{f}$.
Jetzt seien $v, w \in W_{f}$ (dies bedeutet, dass es $t, u \in \mathbb{Q}^{+}$gibt mit $f(t)=v$ und $\left.f(u)=w\right)$.
Wir setzen $x=z=\frac{1}{f(1)}$ und $y=u$ in (*) ein, bezeichnen $k=x \cdot f(y)$ und erhalten $f\left(k^{2}\right)=1 \cdot f(u)=w$.
Sodann setzen wir $x=k$ und $y=t$ neu in (*) ein: $f\left(x^{2} f(y)^{2}\right)=f\left(k^{2}\right) f(t)=w \cdot v$. Somit liegt für $v, w \in W_{f}$ auch stets das Produkt $v w$ in $W_{f}$.
Damit ist nachgewiesen, dass $W_{f}$ eine Untergruppe von $\mathbb{Q}^{+}$ist.
Seien nun $a_{1}, a_{2}, \ldots$ fest gewählte Repräsentanten der Nebenklassen von $\mathbb{Q}^{+} / W_{f}$ (wie in der Beschreibung der Lösungsmenge) und $r \in W_{f}$ beliebig mit $f(u)=r$. Wir setzen $x=a_{i}$ (für beliebiges $i$ ) und $y=u$ in (*) ein: $f\left(x^{2} f(y)^{2}\right)=f\left(a_{i}^{2} \cdot r^{2}\right)=f\left(a_{i}^{2}\right) f(u)=u_{i} \cdot r$ (wobei $f\left(a_{i}^{2}\right):=u_{i}$ gesetzt wird). Daraus ist ersichtlich, dass jede Lösungsfunktion $f$ tatsächlich die oben beschriebene Form haben muss. $\square$

Hinweis: Durch einen Übertragungsfehler ist diese Aufgabe schwerer geworden als beabsichtigt. Dieser Lösungsweg geht auf die Bearbeitung von Jonas Walter zurück, der als einziger Teilnehmer einen vollständigen Beweis angegeben hat. Die angemessene Berücksichtigung von $\mathbb{Q}^{+}$als Grundmenge (anstatt $\mathbb{R}^{+}$) gelang nur einzelnen Teilnehmern.

problem_match: # Aufgabe 1

solution_match: Lösung:


problem: In einem gleichschenkligen Dreieck $A B C$ mit $|A B|=|A C|$ sei $M$ der Mittelpunkt von $B C$. Weiter sei $P$ ein Punkt, für den $P A$ parallel zu $B C$ ist und $|P B|<|P C|$ gilt. Ferner seien $X$ bzw. $Y$ je ein Punkt auf der Geraden $(P B)$ bzw. $(P C)$, so dass $B$ auf der Strecke $P X$ liegt, $C$ auf der Strecke $P Y$ liegt und $\measuredangle M X P=\measuredangle P Y M$ gilt. Man beweise, dass $A P X Y$ ein Sehnenviereck ist.

solution:
Wir bezeichnen den Schnittpunkt von (AM) und der Senkrechten zu (PC) im Punkt $Y$ mit $Z$ und bemerken, dass $Z$ in der bezüglich $(B C)$ anderen Halbebene liegt wie $A$ und $P$.
Wegen $\measuredangle P A Z=\measuredangle P Y Z=90^{\circ}$ ist $A P Z Y$ ein
Sehnenviereck. Ebenso ist wegen $\measuredangle Z M C=\measuredangle C Y Z=90^{\circ}$ auch $C M Z Y$ ein
Sehnenviereck, woraus $\measuredangle C Z M=\measuredangle C Y M$ (1) folgt. Mit der Bedingung aus der Aufgabe ergibt sich $\measuredangle C Y M=\measuredangle M X B(2)$, und wegen der Achsensymmetrie zu $(A Z)$ ist $\measuredangle C Z M=\measuredangle M Z B$ (3). (1), (2) und (3) liefern $\measuredangle M X B=\measuredangle M Z B$. Also ist $B X Z M$ ebenfalls ein Sehnenviereck und es gilt $\measuredangle Z X B=180^{\circ}-\measuredangle B M Z=90^{\circ}$. Weil nun $\measuredangle Z X P=\measuredangle Z X B=90^{\circ}$ ist, liegt der Punkt $X$ auf dem
![](https://cdn.mathpix.com/cropped/2024_12_05_5796b8a7dfc77cfd77b6g-2.jpg?height=652&width=632&top_left_y=1487&top_left_x=992)

Umkreis des Sehnenvierecks $A P Z Y$. Somit bilden auch die vier Punkte $A, P, X$ und $Y$ ein Sehnenviereck. $\square$

Hinweis: Eine reine Winkeljagd führt hier nicht zum Ziel, ebenso wie Koordinatengeometrie. Dagegen gibt es weitere Lösungswege etwa über Inversion oder die Einführung anderer Hilfspunkte als Z.

problem_match: # Aufgabe 2


problem:
Gegeben ist eine positive ganze Zahl $n$ und ein Spielbrett, das aus $n+1$ nebeneinander angeordneten quadratischen Feldern besteht, die von links nach rechts von 0 bis $n$ nummeriert sind. Zu Beginn des Spiels befinden $\operatorname{sich} n$ Spielsteine auf dem Feld Nr. 0 und die anderen Felder sind leer.
Ein geduldiger Spieler wählt nun für jeden Zug ein Feld mit $k \neq 0$ Steinen und rückt einen davon um höchstens $k$ Felder nach rechts. Dabei muss der Stein auf dem Spielbrett bleiben. Sein Ziel ist es, mit einer Folge solcher Züge alle $n$ Steine auf das Feld Nr. $n$ zu befördern.
Man beweise, dass der Spieler dieses Ziel nicht mit weniger als $\left\lceil\frac{n}{1}\right\rceil+\left\lceil\frac{n}{2}\right\rceil+\left\lceil\frac{n}{3}\right\rceil+\ldots+\left\lceil\frac{n}{n}\right\rceil$ Zügen erreichen kann. (Dabei bezeichnet $\lceil x\rceil$ die kleinste ganze Zahl, die nicht kleiner als $x$ ist.)

solution:
Die Spielsteine sind ununterscheidbar und haben alle dasselbe Start- und Zielfeld. Daher kann der geduldige Spieler eine Vorschrift erfinden, die ihm angibt, welchen der Steine auf dem jeweils ausgewählten Feld er ziehen soll.
Eine mögliche Vorschrift erhält er, indem er die Steine fest von 1 bis $n$ nummeriert und in jedem Zug nach der Auswahl des Feldes den dort befindlichen Stein mit der höchsten Nummer bewegt.
Angenommen, er zieht auf diese Weise den Stein mit der Nummer $k(1 \leq k \leq n)$ nach rechts. Dann können auf dem dafür ausgewählten Feld nicht mehr als $k$ Steine gelegen haben, weil ihre Nummern höchstens gleich $k$ sind. Also wird Stein $k$ um jeweils höchstens $k$ Felder nach rechts bewegt. Weil er aber insgesamt um genau $n$ Felder bewegt wird, sind dafür wenigstens $\left\lceil\frac{n}{k}\right\rceil$ Züge erforderlich. Dies gilt für alle $k$ mit $1 \leq k \leq n$. Aufsummieren über $k$ liefert die Mindestanzahl der erforderlichen Spielzüge gemäß der Aufgabenstellung. $\square$

Hinweis: Ein Beweis mit vollständiger Induktion ist ebenso zum Scheitern verurteilt wie Betrachtungen scheinbar „optimaler" Strategien, deren Optimalität nur lokal einsichtig begründet werden kann.
Man kann zeigen, dass der genaue Wert des angegebenen Terms nur für $n=1,2,3,4,5,7$ erreicht werden kann.

## Lösungen zur 2. Auswahlklausur 2018/2019

problem_match: # Aufgabe 3


problem: Finden Sie alle Paare $(a, b)$ positiver ganzer Zahlen, für die eine positive ganze Zahl $n$ existiert, sodass die Anzahl der Teiler von $n a$ und $n b$ identisch ist.

solution:
Die gesuchten Paare sind jene, für die eine der drei Bedingungen $a=b, a \nmid b$ oder $b \nmid a$ erfüllt ist, also alle Paare positiver ganzer Zahlen mit Ausnahme solcher, für die eine der Zahlen $a, b$ ein echter Teiler der anderen ist.
Im gesamten Beweis werden wir die Anzahl aller Teiler einer positiven ganzen Zahl $m$ mit $\tau(m)$ bezeichnen. Zunächst ist klar, dass man im Fall $a=b$ ein beliebiges $n$ wählen kann. Ferner ist im Fall, dass $a$ ein echter Teiler von $b$ ist, für jede positive ganze Zahl $n$ die Zahl $n a$ ein echter Teiler von $n b$, die Menge ihrer Teiler ist damit eine echte Teilmenge der Menge der Teiler von $n b$, was $\tau(n a)<\tau(n b)$ impliziert. Der Fall $b \mid a, b<a$ wird analog behandelt.
Es bleibt zu zeigen, dass wir im Fall $a \nmid b, b \nmid a$ stets ein $n$ mit $\tau(n a)=\tau(n b)$ finden können. Dafür beweisen wir zunächts die folgende Aussage.
Lemma. Es seien $\alpha>\beta$ positive ganze Zahlen. Dann existiert für jede ganze Zahl $M>\beta$ eine positive ganze Zahl $\gamma$, sodass

$$
\frac{\alpha+\gamma+1}{\beta+\gamma+1}=1+\frac{1}{M}=\frac{M+1}{M} .
$$

Beweis. Nach Umformen der ersten Gleichung erhält man $\gamma=M(\alpha-\beta)-(\beta+1) \geq 0$. Nun betrachten wir die Primfaktorzerlegung $a=\prod_{p} p^{\alpha_{p}}$ und $b=\prod_{p} p^{\beta_{p}}$ von $a$ und $b$. Es seien nun $p_{1}, \ldots p_{k}$ all jene Primzahlen $p$ mit $\alpha_{p}>\beta_{p}$ und $q_{1}, \ldots, q_{\ell}$ alle Primzahlen $q$ mit $\alpha_{q}<\beta_{q}$. Wegen $a \nmid b, b \nmid a$ sind $k$ und $\ell$ beide positiv. Es sei nun $X$ eine positive ganze Zahl, die größer als alle $\alpha_{p}$ und $\beta_{b}$ ist. Laut obigem Lemma können wir dann Zahlen $\gamma_{1}, \ldots, \gamma_{k}$ und $\gamma_{1}^{\prime}, \ldots, \gamma_{\ell}^{\prime}$ wählen, sodass

$$
\frac{\alpha_{p_{i}}+\gamma_{i}+1}{\beta_{p_{i}}+\gamma_{i}+1}=\frac{k X+i}{k X+i-1}, \quad \text { und } \quad \frac{\alpha_{q_{j}}+\gamma_{j}^{\prime}+1}{\beta_{q_{j}}+\gamma_{j}^{\prime}+1}=\frac{\ell X+j-1}{\ell X+j}
$$

für alle $1 \leq i \leq k$ und $1 \leq j \leq \ell$ gilt. Für $n=\left(\prod_{i=1}^{k} p_{i}^{\gamma_{i}}\right) \cdot\left(\prod_{j=1}^{\ell} q_{j}^{\gamma_{j}^{\prime}}\right)$ folgt nun mit Verwendung der allgemein bekannten Formel

$$
\tau\left(\prod_{p} p^{\eta_{p}}\right)=\prod_{p}\left(\eta_{p}+1\right)
$$

dass

$$
\frac{\tau(n a)}{\tau(n b)}=\left(\prod_{i=1}^{k} \frac{\alpha_{p_{i}}+\gamma_{i}+1}{\beta_{p_{i}}+\gamma_{i}+1}\right) \cdot\left(\prod_{j=1}^{\ell} \frac{\alpha_{q_{j}}+\gamma_{j}^{\prime}+1}{\beta_{q_{j}}+\gamma_{j}^{\prime}+1}\right)=\frac{k(X+1)}{k X} \cdot \frac{\ell X}{\ell(X+1)}=1
$$

also ist $n$ wie behauptet.

problem_match: Aufgabe 1.

solution_match: Lösung.


problem: Entscheiden Sie, ob es eine Menge $M$ positiver ganzer Zahlen gibt, die folgende Eigenschaft hat: Für jede positive rationale Zahl $r<1$ existiert genau eine endliche Teilmenge $S$ von $M$, sodass $\sum_{s \in S} 1 / s=r$ gilt, das heißt die Summe der Kehrwerte aller Elemente von $S$ ist gleich $r$.

solution:
Eine solche Menge existiert nicht, was wir mithilfe eines Widerpsruchsbeweises zeigen werden. Angenommen, $S$ hat die angegebene Eigenschaft. Offenbar ist $M$ dann unendlich, und wir dürfen ohne Beschränkung der Allgemeinheit annehmen, dass $1 \notin M$. Wir bezeichnen die Elemente von $M$ der Größe nach geordnet mit $m_{1}<m_{2}<m_{3}<\ldots$. Fall 1: Es gilt $m_{i} \geq 2 m_{i-1}$ für alle $i \geq 2$. Dann gilt $m_{i} \geq 2^{i-1} m_{1}$ für alle $i \geq 1$, und es folgt

$$
r^{*}:=\sum_{i=1}^{\infty} \frac{1}{m_{i}} \leq \sum_{i=0}^{\infty} \frac{1}{2^{i} m_{1}}=\frac{2}{m_{1}},
$$

das heißt falls $m_{1} \geq 3$ oder $m_{i}>2 m_{i-1}$ für mindestens ein $i$ erfüllt ist, dann gilt $r^{*}<1$. In diesem Fall erfüllt $M$ jedoch entgegen der Annahme nicht die im Aufgabentext angegebene Bedingung, falls $s \in\left(r^{*}, 1\right)$ gewählt wird. Somit muss $m_{1}=2$ und $m_{i}=2 m_{i-1}$ für alle $i$ gelten, also besteht $M$ genau aus den Zweierpotenzen größer als 1 . Da sich $1 / 3=\sum_{i=2}^{\infty} 2^{-i}$ aber nicht als endliche Summe von Kehrwerten von Zweierpotenzen schreiben lässt, ergibt sich auch in diesem Fall ein Widerspruch.
Fall 2: Es existiert ein $i>1$, sodass $m_{i}<2 m_{i-1}$. Wir betrachten

$$
r:=\frac{1}{m_{i-1}}-\frac{1}{m_{i}}<\frac{1}{m_{i}} .
$$

Nach Annahme existiert eine endliche Teilmenge $S \subset M$, sodass $\sum_{s \in S} 1 / s=r$ gilt. Wegen $s<1 / m_{i}$ gilt $m_{i} \notin S$. Damit sind aber $S_{1}=S \cup\left\{m_{i}\right\}$ und $S_{2}=\left\{m_{i-1}\right\}$ zwei verschiedene endliche Teilmengen von $M$, sodass die Summen der Kehrwerte von $S_{1}$ und $S_{2}$ den Wert $1 / m_{i-1}$ ergeben, was ein Widerspruch ist.

problem_match: Aufgabe 2.


problem: Wir betrachten ein Dreieck $A B C$ und einen Punkt $P$ in dessen Inneren. Die Spiegelpunkte von $P$ an den Seiten $\overline{B C}, \overline{C A}$ und $\overline{A B}$ seien mit $A_{1}, B_{1}$ und $C_{1}$ bezeichnet. Ferner sei $\Omega$ der Umkreis des Dreiecks $A_{1} B_{1} C_{1}$ und schließlich seien $A_{2}, B_{2}$ und $C_{2}$ die zweiten Schnittpunkte der Geraden $A_{1} P, B_{1} P$ und $C_{1} P$ mit $\Omega$. Beweisen Sie, dass sich die drei Geraden $A A_{2}, B B_{2}$ und $C C_{2}$ auf $\Omega$ schneiden.

solution:
Wir arbeiten mit gerichteten Winkeln modulo $180^{\circ}$.
In dieser Skizze entspricht $T$ dem Punkt $P$.
![](https://cdn.mathpix.com/cropped/2024_12_05_5796b8a7dfc77cfd77b6g-4.jpg?height=669&width=920&top_left_y=1456&top_left_x=271)

Schritt 1: Zunächst stellen wir fest, dass es sich bei $C A$ und $C B$ um die Mittelsenkrechten der Strecken $\overline{P B_{1}}$ und $\overline{P A_{1}}$ handelt, also ist $C$ der Umkreismittelpunkt des Dreiecks $P A_{1} B_{1}$ und es folgt

$$
\measuredangle A_{1} C B=\frac{1}{2} \measuredangle A_{1} C P=\measuredangle A_{1} B_{1} P=\measuredangle A_{1} B_{1} B_{2}=\measuredangle A_{1} C_{2} B_{2} .
$$

Schritt 2: Analog wie in Schritt 1 folgt, dass $\measuredangle A_{1} B C=\measuredangle A_{1} B_{2} C_{2}$, also sind die Dreiecke $A_{1} B C$ und $A_{1} B_{2} C_{2}$ ähnlich.

Schritt 3: Unter Benutzung der soeben bewiesenen Ähnlichkeit folgt

$$
\measuredangle C A_{1} B=\measuredangle C_{2} A_{1} B_{2} \quad \text { und } \quad \frac{\left|\overline{A_{1} C}\right|}{\left|\overline{A_{1} B}\right|}=\frac{\left|\overline{A_{1} C_{2}}\right|}{\left|\overline{A_{1} B_{2}}\right|}
$$

und somit auch

$$
\measuredangle B_{2} A_{1} B=\measuredangle C_{2} A_{1} C \quad \text { und } \quad \frac{\left|\overline{A_{1} B_{2}}\right|}{\left|\overline{A_{1} B}\right|}=\frac{\left|\overline{A_{1} C_{2}}\right|}{\left|\overline{A_{1} C}\right|}
$$

also sind auch die Dreiecke $A_{1} B_{2} B$ und $A_{1} C_{2} C$ ähnlich.
Schritt 4: Es sei $K$ der Schnittpunkt von $C_{2} C$ mit $\Omega$. Dann gilt $180^{\circ}-\measuredangle A_{1} B_{2} K=$ $\measuredangle A_{1} C_{2} K=\measuredangle A_{1} C_{2} C=\measuredangle A_{1} B_{2} B$, also liegt $K$ auf der Geraden $B B_{2}$. Analog kann man zeigen, dass $K$ auch auf der Geraden $A A_{2}$ liegt, was den Beweis beendet.

problem_match: Aufgabe 3.