problem:
Es sei $n$ eine ungerade natürliche Zahl und $x$ und $y$ seien zwei rationale Zahlen mit

$$
x^{n}+2 y=y^{n}+2 x
$$

Man zeige, dass $x=y$.

solution:
Wir überlegen uns zuerst
( $\boxtimes)$ Es sei $n \geqslant 3$ eine ungerade natürliche Zahl. Weiterhin seien $a, b$ und $c$ drei ganze Zahlen mit

$$
a^{n-1}+a^{n-2} b+\ldots+b^{n-1}=2 c^{n-1}
$$

Sodann ist $a=b=c=0$.
Wenn dies bei einem gewissen $n$ falsch wäre, könnten wir zu diesem ein Gegenbeispiel ( $a, b, c$ ) wählen, bei dem der Ausdruck $|a|+|b|+|c|$ seinen kleinstmöglichen positiven Wert annimmt. Wären $a$ und $b$ beide ungerade, so wäre die linke Seite die Summe einer ungeraden Anzahl ungerader Summanden und mithin selbst ungerade, während die rechte Seite gerade ist. Also ist mindestens eine der beiden Zahlen $a$ und $b$ gerade. Ist etwa $a$ gerade, so hat die linke Seite dieselbe Parität wie $b^{n-1}$ und die rechte Seite ist gerade, sodass $b$ ebenfalls gerade ist. Ebenso sieht man, dass $a$ gerade sein muss, falls $b$ als gerade vorausgesetzt wird. Insgesamt sind also $a$ und $b$ beide gerade. Folglich ist die linke Seite durch $2^{n-1}$ und damit insbesondere durch 4 teilbar, womit sich $c^{n-1}$ und demnach auch $c$ als gerade erwiesen hat. Führt man nun drei ganze Zahlen $a^{\prime}, b^{\prime}$ und $c^{\prime}$ mit $a=2 a^{\prime}, b=2 b^{\prime}$ und $c=2 c^{\prime}$ in die Betrachtung ein, so ist erstens

$$
a^{\prime n-1}+a^{\prime n-2} b^{\prime}+\ldots+b^{\prime n-1}=2 c^{\prime n-1}
$$

und zweitens

$$
0<\left|a^{\prime}\right|+\left|b^{\prime}\right|+\left|c^{\prime}\right|<|a|+|b|+|c| .
$$

Das Tripel $\left(a^{\prime}, b^{\prime}, c^{\prime}\right)$ widerspricht also der Wahl von $(a, b, c)$ und damit ist $(\boxtimes)$ bewiesen.
Wir wenden und nunmehr der eigentlichen Aufgabe zu. $\operatorname{Im}$ Fall $n=1$ ist die Behauptung trivial und wir konzentrieren uns von jetzt an nur noch auf den Fall $n \geqslant 3$. Es seien $x$ und $y$ zwei rationale Zahlen mit $x^{n}+2 x=y^{n}+2 y$. Indem wir alles auf eine Seite bringen und anschließend faktorisieren, erhalten wir

$$
(x-y)\left(x^{n-1}+x^{n-2} y+\ldots+y^{n-1}-2\right)=0
$$

Wenn $x$ und $y$ also verschieden wären, was wir von jetzt an annehmen wollen, müsste

$$
x^{n-1}+x^{n-2} y+\ldots+y^{n-1}=2
$$

sein. Da man je zwei rationale Zahlen auf einen gemeinsamen Nenner bringen kann, gibt es drei ganze Zahlen $a, b$ und $c$ mit $c \neq 0, x=a / c$ und $y=b / c$. Wer diese Brüche in (1) einsetzt und daraufhin mit $c^{n-1}$ multipliziert, erhält

$$
a^{n-1}+a^{n-2} b+\ldots+b^{n-1}=2 c^{n-1}
$$

Aus $(\boxtimes)$ folgt nun allerdings insbesondere $c=0$. Dieser Widerspruch zeigt, dass $x$ und $y$ doch gleich sein müssen, womit die Aufgabe gelöst ist.

problem_match: 1. Aufgabe.

solution_match: Lösung.


problem:
Es seien $m, n \geqslant 4$ zwei ganze Zahlen. Wir betrachten ein $m \times n$-Gitterrechtteck, das von $m+1$ horizontalen und $n+1$ vertikalen Strecken gebildet wird. Die Schnittpunkte dieser Strecken heißen Ecken. Es sei $P$ ein von Selbstüberschneidungen freier, geschlossener Weg, der durch jede der $(m-1)(n-1)$ inneren Ecken aber keine der äußeren Ecken geht. Es bezeichne $A$ die Anzahl der inneren Ecken, durch die $P$ geradlinig hindurchgeht, $B$ die Anzahl der Gitterquadrate, von denen $P$ genau zwei Seiten benutzt, die sich zudem gegenüber liegen, und $C$ die Anzahl der Gitterquadrate,
![](https://cdn.mathpix.com/cropped/2024_12_05_a7dee124ce8fc5bdae3ag-2.jpg?height=381&width=478&top_left_y=546&top_left_x=1049)
von denen $P$ keine Seite benutzt. Man beweise, dass $A=B-C+m+n-1$.
(Die Abbildung zeigt eine Situation mit $m=4, n=5, A=4, B=1$ und $C=5$.)

solution:
Es sei $D$ die Anzahl der Gitterquadrate, von denen genau eine Seite zu $P$ gehört, $E$ die Anzahl der Gitterquadrate, von denen genau zwei Seiten zu $P$ gehören, die zudem benachbart sind, und schließlich $F$ die Anzahl der Gitterquadrate von denen genau drei Seiten zu $P$ gehören. Wegen $m, n \geqslant 4$ ist unter den $m n$ Gitterquadraten keines, dessen gesamter Rand in $P$ enthalten ist und folglich gibt es für den Schnitt eines solchen Randes mit $P$ nur die fünf Möglichkeiten, die in den Definitionen von $B, C, D, E$ und $F$ angesprochen sind. Wir haben also

$$
m n=B+C+D+E+F
$$

Nun wollen wir die Paare ( $Q, S$ ), die aus einem Gitterquadrat $Q$ und einer $P$ angehörigen Seite $S$ von $Q$ bestehen, auf zwei Arten abzählen. Einerseits gibt es zu den Quadraten vom Typ $B, C$, $D, E$ und $F$ jeweils genau 2, 0, 1, 2 und 3 mögliche Wahlen für $S$ und daher beträgt diese Anzahl $2 B+D+2 E+3 F$. Andererseits ist $P$ aus $(m-1)(n-1)$ Einheitsstrecken zusammengesetzt, die alle als $S$ fungieren können und jede derselben hat zwei Seiten auf auf denen jeweils ein Gitterquadrat liegt. Insgesamt erhalten wir also

$$
2(m-1)(n-1)=2 B+D+2 E+3 F
$$

Bei jeder der $(m-1)(n-1)$ inneren Ecken unseres Rechtecks geht $P$ entweder geradeaus hindurch, und dies passiert genau $A$ mal, oder $P$ knickt ab. Wann immer dies geschieht, schließen die beiden zugehörigen Einheitsteilstrecken von $P$ ein Gitterquadrat ein und dieses muss entweder von Typ $E$ oder vom Typ $F$ sein. Umgekehrt gehören zu jedem Quadrat vom Typ $E$ ein und zu jedem Quadrat vom Typ $F$ zwei dieser Abknickpunkte von $P$. Alles in allem gilt also auch

$$
(m-1)(n-1)=A+E+2 F
$$

Aus (2) $-(3)+(1)$ erhalten wir nunmehr

$$
m+n-1=A-B-C
$$

und dies wiederum impliziert

$$
A=B-C+m-n-1
$$

Damit ist die Aufgabe gelöst.

problem_match: 2. Aufgabe.


problem: Es sei $A B C$ ein spitzwinkliges Dreieck mit Umkreis $\omega$. Man beweise, dass es einen Punkt $J$ mit der folgenden Eigenschaft gibt: Ist $X$ cin innerer Punkt von $A B C$, treffen die Strahlen $A X$, $B X$ und $C X$ den Kreis $w$ erneut in den Punkten $A_{1}, B_{1}$ und $C_{1}$ und liegen die Punkte $A_{2}$, $B_{2}$ und $C_{2}$ symmetrisch zu $A_{1}, B_{1}$ und $C_{1}$ bezüglich der Mittelpunkte der Strecken $\overline{B C}, \overline{C^{\prime} A}$ beziehungsweise $\overline{A B}$, so liegen die vier Punkte $A_{2}, B_{2}, C_{2}$ und $J$ auf einem gemeinsamen Kreis.

solution:
Wir zeigen, dass der normalerweise $H$ genannte Höhenschnittpunkt $J$ des Dreiecks $A B C$ die beschriebene Eigenschaft aufweisi. Hierzu sei a die durch $A$ gezogene Parallele zu $B C$ und dic Geraden $b$ und $c$ seien analog definiert. Keine zwei der drei Geraden $a, b$ und $c$ sind parallel und folglich existieren der Schnittpunkt $A^{\prime}$ von $b$ mit $c$ sowie die beiden analog definierten Punkte $B^{\prime}$ und $C^{\prime}$.
Das Viereck $A^{\prime} C J B$ besitzt bei $B$ und $C$ rechte Winkel und ist daher ein Sehnenviereck. Da die Spiegelung am Mittelpunkt der Strecke $\overline{B C}$ den Punkt $A$ auf $A^{\prime}$ abbildet und $B$ mit $C$ vertauscht, führt sie $\omega$ in den Umkreis des gerade gefundenen Sehnenvierecks über. Demnach liegt $A_{2}$ auf diesom Krcis und $\Lambda^{\prime} A_{2}$ ist zu $A X$ parallel.
Der Schwerpunkt des Dreiecks $A B C$ heiße $S$. Die zentrische Streckung $\sigma$ mit Zentrum $S$ und Faktor -2 bildet $A$ auf $A^{\prime}$ ab; der Bildpunkt von $X$ heiBe $X^{\prime}$. Sodann sind die beiden Geraden $A X$ und $A^{\prime} X^{\prime \prime}$ parallel und daher liegt $X^{\prime}$ auf der Geraden $A^{\prime} A_{2}$. Ähnliche Argumente lassen sich auch mit $B$ und $C$ an der Stelle von $A$ ausführen und wir lernen insgesamt: Die drei Geraden $A^{\prime} A_{2}, B^{\prime} B_{2}$ und $C^{\prime \prime} C_{2}$ schneiden sich in $X^{\prime}$.
![](https://cdn.mathpix.com/cropped/2024_12_05_a7dee124ce8fc5bdae3ag-3.jpg?height=630&width=612&top_left_y=1027&top_left_x=953)

Falls $X^{\prime}=J$ fallen auch die Punkte $A_{2}, B_{2}$ und $C_{2}$ mit $J$ zusammen und die Behauptung ist trivial. Von nun ab sei daher $X^{\prime} \neq J$.
Wegen $\varangle A^{\prime} C J=90^{\circ}$ ist die Strecke $\overline{A^{\prime} J}$ nach Satz des Thales ein Durchmesser des Umkreises des Viereck $A^{\prime} C J B$. Wieder um nach Satz des Thales ist daher $\varangle J A_{2} A^{\prime}=90^{\circ}$ und folglich auch $\varangle J A_{2} X^{\prime}=90^{\circ}$. Der Punkt $A_{2}$ liegt demnach, abermals nach Satz des 'l'haces, auf dem Kreis mit Durchmesser $J X^{-1}$. Aus analogen Gründen liegen auch die beiden Punkte $B_{2}$ und $C_{2}$ auf diesem Kreis und insbesondere haben wir nunmehr einen Kreis gefunden, auf dem alle vier der Punkte $A_{2}, B_{2}, C_{2}$ und $J$ liegen.

problem_match: 3. Aufgabe


problem:
In der Ebene liegen zwei konzentrische Kreise mit den Radien $r_{1}=13$ und $r_{2}=8$.
Es sei $A B$ ein Durchmesser des größeren Kreises und $B C$ eine seiner Sehnen, die den kleineren Kreis im Punkt $D$ berührt.
Man berechne die Länge der Strecke $A D$.

solution:
Die beiden möglichen Lagen von $D$ sind symmetrisch zur Geraden $(A B)$, so dass es ausreicht, den Fall zu betrachten, bei dem das Dreieck $A B D$ gegen den Uhrzeigersinn orientiert ist (siehe Figur). Der gemeinsame Mittelpunkt der beiden Kreise sei mit $M$ bezeichnet. Weil der Berührradius MD auf der Tangente $B C$ senkrecht steht, ist $M B D$ rechtwinklig, so dass aus dem Satz des Pythagoras
![](https://cdn.mathpix.com/cropped/2024_12_05_a7dee124ce8fc5bdae3ag-4.jpg?height=461&width=892&top_left_y=569&top_left_x=976)
$|B D|^{2}=|M B|^{2}-|M D|^{2}=r_{1}^{2}-r_{2}^{2}=169-64=105$ folgt.
Nach dem Satz des Thales ist $\Varangle A C B=90^{\circ}$. Da wegen $\Varangle A C B=\Varangle M D B=90^{\circ}$ und des gemeinsamen Winkels $\Varangle D B M=\Varangle C B A$ die Dreiecke $A B C$ und $M B D$ ähnlich sind, und da $|M B|=r_{1}=|M A|$ gilt, ist auch $|D C|=|B D|=\sqrt{105}$ sowie $|C A|=2 \cdot|D M|=16$. Damit sind die Längen der Katheten im rechtwinkligen Dreieck $A D C$ bekannt und es folgt $|A D|=\sqrt{105+16^{2}}=\sqrt{361}=19$. Die Seite $A D$ hat also die Länge 19.

Hinweise: Zahlreiche andere Lösungswege sind möglich. Weil die Aufgabe recht einfach ist, mussten auch für Fehler im letzten Rechenschritt (Beispiele: $\sqrt{360}, \sqrt{461}$ oder sogar $\sqrt{361} \approx 18,5$ ) Punkte abgezogen werden.

problem_match: # Aufgabe 1

solution_match: Lösung:


problem:
Eine Menge $A$ von ganzen Zahlen heißt zulässig, wenn sie folgende Eigenschaft hat:
Für $x, y \in A\left(x=y\right.$ ist erlaubt) gilt $x^{2}+k x y+y^{2} \in A$ für jede ganze Zahl $k$.
Man bestimme alle Paare $m, n$ von Null verschiedener ganzer Zahlen, für welche die einzige zulässige Menge, die sowohl $m$ als auch $n$ enthält, die Menge $\mathbb{Z}$ aller ganzer Zahlen ist.

solution:
Für ein Paar $m, n$ mit $\operatorname{ggT}(|m|,|n|)=d>1$ ist $m^{2}+k m n+n^{2}$ durch $d$ teilbar, so dass als Menge $A$ auch die Menge aller ganzzahligen Vielfachen von $d$ in Frage kommt, die das Element 1 nicht enthält und daher von $\mathbb{Z}$ verschieden ist.
Nun betrachten wir Zahlen $m, n$ mit $\operatorname{ggT}(|m|,|n|)=1$. Für diese gilt auch $\operatorname{ggT}\left(m^{2}, n^{2}\right)=1$. Daher folgt aus dem erweiterten Euklidischen Algorithmus oder aus dem kleinen Satz von Fermat, dass es ganze Zahlen $r$ und $s$ gibt mit $r m^{2}+s n^{2}=1$. Außerdem ist für $x=y=m$ ersichtlich, dass $(2+k) m^{2} \in A$, d.h. jedes ganzzahlige Vielfache von $m^{2}$ in $A$ liegt - entsprechend liegt jedes ganzzahlige Vielfache von $n^{2}$ in $A$. Und für $k=2$ ergibt sich, dass für alle $x, y \in A$ auch $(x+y)^{2}$ in $A$ liegt. Also liegen $r m^{2}, s n^{2}$ und folglich $\left(r m^{2}+s n^{2}\right)^{2}=1^{2}=1$ in $A$.

problem_match: # Aufgabe 2


problem:
Es sei $n$ eine positive natürliche Zahl. Im Folgenden betrachten wir Paare von Elementen der Menge $\{1,2, \ldots, n\}$, die jeweils kein gemeinsames Element haben.
Man bestimme mit Beweis die größtmögliche Anzahl solcher Paare, für welche die Summen ihrer Elemente paarweise verschieden und nicht größer als $n$ sind.
(Zum Beispiel sind $(1 ; 9),(2 ; 7)$ und $(3 ; 5)$ für $n=10$ drei mögliche Paare.)

solution:
Es sei $k$ die Anzahl möglicher Paare. Dann lässt sich die Summe $S$ der in ihnen vorkommenden $2 k$ Zahlen in zwei Richtungen abschätzen:
$S \geq 1+2+\ldots+2 k=k(2 k+1)$ (alle Zahlen sind verschieden) und
$S \leq n+(n-1)+\ldots+(n-k+1)=n k-\frac{1}{2} k(k-1)$ (alle Summen sind verschieden und $\left.\leq n\right)$.
Dies liefert für $n \geq 3$ wegen $k>0$ nach Division durch $k$ die Ungleichung $2 k+1 \leq n-\frac{1}{2}(k-1)$, aus der $k \leq \frac{2 n-1}{5}$ folgt. Es gibt also höchstens $\left\lfloor\frac{2 n-1}{5}\right\rfloor$ mögliche Paare
( $\lfloor x\rfloor$ bezeichnet die größte ganze Zahl $\leq x$ ). Für $n<3$ ist offensichtlich $k=0$.
Nun geben wir für $n \geq 3$ eine Konstruktion mit genau $\left\lfloor\frac{2 n-1}{5}\right\rfloor$ Paaren an. Dazu sei zunächst $n=5 m+3$, also $k=2 m+1$. Die folgende Tabelle zeigt die Paare und ihre Summen, wobei für kleine $m$ manche Spalten wegen Doppeldeutigkeit der Terme gestrichen werden müssen:

| Paar | $3 m+1$ | $3 m$ | $\ldots$ | $2 m+2$ | $4 m+2$ | $4 m+1$ | $\ldots$ | $3 m+3$ | $3 m+2$ |
| :--- | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: |
|  | 2 | 4 | $\ldots$ | $2 m$ | 1 | 3 | $\ldots$ | $2 m-1$ | $2 m+1$ |
| Summe | $3 m+3$ | $3 m+4$ | $\ldots$ | $4 m+2$ | $4 m+3$ | $4 m+4$ | $\ldots$ | $5 m+2$ | $5 m+3$ |

Die $2 m+1$ Paare enthalten alle Zahlen von 1 bis $4 m+2$; ihre Summen gehen von $3 m+3$ bis $5 m+3$ und sind offensichtlich verschieden und nicht größer als $n$.
Dieselbe Konstruktion funktioniert auch für $n=5 m+4$ und $n=5 m+5 \quad(m \geq 0)$, weil hier wieder $k=2 m+1$ ist. Für $n=5 m+2$ ist $k=2 m$ ausreichend. Daher kann hier die letze Spalte der Tabelle einfach weggelassen werden. Für $n=5 m+1$ ist ebenfalls $k=2 m$ und wir lassen wieder die letzte Spalte der Tabelle weg und vermindern außerdem jede obere Zahl in der ersten Reihe um 1. So sind wiederum alle Bedingungen erfüllt.

Hinweis: Viele Teilnehmer haben sich von dem Beispiel verleiten lassen, $k=\lfloor n / 3\rfloor$ als maximale Anzahl anzunehmen. Wer allerdings für $n=8$ die drei(!) Paare (2;4), (1;6), (3;5) oder (1;5), (3;4), (2;6) entdeckt hatte, war gegen diese Abschätzung immun. Das selten aufgetretene Missverständnis der Formulierung, ,jeweils kein gemeinsames Element" in dem Sinne, dass Paare ( $x ; x)$ erlaubt seien, führt auf ein triviales Problem, dessen Lösung nur mit einer bescheidenen Punktzahl honoriert worden ist.

problem_match: # Aufgabe 3