solution:
Weil wegen (2) die $r_{i}$ nicht alle 0 sein und wegen (1) nicht alle das gleiche

Vorzeichen haben können, gilt $b>0$ und $a<0$. Mit $P=\left\{i: u_{i}>0\right\}$ und $N=\left\{i: u_{i} \leq 0\right\}$
sowie $p=|P|$ und $n=|N|$ gilt $p+n=2019$ und aus (1) folgt
$0=\sum_{i=1}^{2019} u_{i}=\sum_{i \in P} u_{i}-\sum_{i \in N}\left|u_{i}\right|$, also $\sum_{i \in P} u_{i}=\sum_{i \in N}\left|u_{i}\right|$.
Damit können wir abschätzen: $\sum_{i \in P} u_{i}^{2} \leq \sum_{i \in P} b u_{i}=b \sum_{i \in N}\left|u_{i}\right| \leq b \sum_{i \in N}|a|=-n a b$ (3)
sowie $\quad \sum_{i \in N} u_{i}^{2} \leq \sum_{i \in N} a u_{i} \leq|a| \sum_{i \in N}\left|u_{i}\right|=|a| \sum_{i \in P} u_{i} \leq-p a b$ (4).
Es folgt $1=\sum_{i \epsilon P} u_{i}^{2}+\sum_{i \epsilon N} u_{i}^{2} \leq-(p+n) a b=-2019 a b$, und damit die Behauptung.
Anstelle von (3) und (4) ist eine Lösung über die AM-QM- bzw. die Cauchy-Schwarzsche Ungleichung möglich.

problem_match: Aufgabe 1:

solution_match: 1. Lösung:


solution:
Wiederum ausgehend von $b>0$ und $a<0$ betrachten wir die folgende konvexe Punktmenge $C$ in der $\mathrm{x}-\mathrm{y}$-Ebene:
(i) Der untere Rand von $C$ ist die Parabel $y=x^{2}$ im Bereich $a \leq x \leq b$.
(ii) Der obere Rand von $C$ ist die Gerade $g: y=(a+b) x-a b$ im Bereich $a \leq x \leq b$.

Jeder der Punkte ( $u_{i}, u_{i}^{2}$ ) liegt auf dem unteren Rand von $C$. Daher liegt der Schwerpunkt $S$ dieser 2019 Punkte, die mit gleicher Masse versehen seien, ebenfalls in C. Es gilt $S=\left(\frac{1}{2019} \sum_{i 1}^{2019} u_{i}, \frac{1}{2019} \sum_{i 1}^{2019} u_{i}^{2}\right)=\left(0, \frac{1}{2019}\right)$. Für $g$ gilt an der Stelle $x=0$, dass $y=-a b$ ist. $S$ darf nicht oberhalb der oberen Begrenzung liegen, woraus die Behauptung folgt.

solution_match: 2. Lösung:


solution:
(Ein Ein-Zeilen-Beweis):
$0 \leq \sum_{i=1}^{2019}\left(r_{i}-a\right)\left(b-r_{i}\right)=\sum_{i=1}^{2019}\left(-r_{i}^{2}+(b+a) r_{i}-a b\right)=-1-2019 a b \Leftrightarrow a b \leq \frac{-1}{2019}$.
Hinweis: Häufig wurde mit einem „Schiebeargument" versucht, eine Lösung zu optimieren, bis die zu zeigende Ungleichung erfüllt war. Dabei traten oft Lücken auf.

solution_match: 3. Lösung:


problem:
Gegeben sei ein Dreieck $A B C$. Ein Kreis $k$ geht durch $A$, schneidet die Seiten $\overline{A B}$ und $\overline{A C}$ nochmals in den Punkten $D$ bzw. $E$ und schneidet die Seite $\overline{B C}$ in den Punkten $F$ und $G$, wobei $F$ zwischen $B$ und $G$ liegt. Die Tangente an den Kreis durch $B, D$ und $F$ in $F$ und die Tangente an den Kreis durch $C, E$ und $G$ in $G$ schneiden sich in einem Punkt $T$. Wir nehmen an, dass $A \neq T$ gilt. Man beweise, dass die Geraden $A T$ und $B C$ parallel sind.
![](https://cdn.mathpix.com/cropped/2024_12_05_394decbdcbe8466d5035g-2.jpg?height=660&width=1055&top_left_y=87&top_left_x=295)

solution:
Nach dem Sehnen-Tangentenwinkelsatz für die Sehne $\overline{F B}$ gilt (siehe Figur) $\angle T F B=180^{\circ}-\angle B D F=\angle F D A$. Im Sehnenviereck $A D F G$ gilt daher $\angle F D A=180^{\circ}-\angle A G F=\angle C G A$ (kleine Bögen), analog ist $\angle T G B=180^{\circ}-\angle C G T=\angle G E C$ und $\angle G E C=\angle C F A$ (Sehnenviereck $A F G E$, große Bögen). Also gilt $\angle T F B=\angle C G A$ (1), woraus $\angle G F T=\angle A G B$ folgt, und $\angle T G B=\angle C F A$ (2).
Damit sind die Dreiecke $A F G$ und $T F G$ nach wsw kongruent, somit ihre Höhen auf der gemeinsamen Seite $\overline{F G}$ gleich, woraus die Behauptung folgt.
Variante: Aus (1) und (2) folgt direkt, dass $\angle A F T=\angle A G T$ gilt. Dies bedeutet nach der Umkehrung des Satzes vom Sehnenviereck, dass $T$ auf $k$ liegt. Mit $\angle T A F=\angle T G F=\angle G F A$ folgt die Parallelität von $\overline{T A}$ und $\overline{F G}$.
Hinweis: Für einige Behauptungen ist eine Lagebetrachtung erforderlich, deren Fehlen einen Punktabzug zur Folge hatte.

problem_match: Aufgabe 2:

solution_match: Lösung:


problem:
Es seien $m$ und $n$ zwei positive ganze Zahlen. Man beweise, dass die ganze Zahl $m^{2}+\left\lceil\frac{4 m^{2}}{n}\right\rceil$ keine Quadratzahl ist.
(Dabei bezeichnet $\lceil x\rceil$ die kleinste ganze Zahl, die nicht kleiner als $x$ ist.)

solution:
Für einen indirekten Beweis nehmen wir an, dass es ein $k \in \mathbb{N}$ gibt mit $m^{2}+\left\lceil\frac{4 m^{2}}{n}\right\rceil=(m+k)^{2}$, d.h. $\left\lceil\frac{(2 m)^{2}}{n}\right\rceil=(2 m+k) k$. Offensichtlich ist $k \geq 1$. Also hat die Gleichung $\left\lceil\frac{c^{2}}{n}\right\rceil=(c+k) k(1)$ eine positive ganzzahlige Lösung $(c, k)$ mit geradem $c$. Ohne auf die Parität von $c$ zu achten, betrachten wir eine solche Lösung von (1) mit minimalem $k$. Aus $\frac{c^{2}}{n}>\left\lceil\frac{c^{2}}{n}\right\rceil-1=c k+k^{2}-1 \geq c k$ und $\frac{(c-k)(c+k)}{n}<\frac{c^{2}}{n} \leq\left\lceil\frac{c^{2}}{n}\right\rceil=(c+k) k$ entnehmen wir $c>n k>n-k$, so dass $c=k n+r$ mit geeignetem $0<r<k$ gilt. Dies in (1) eingesetzt liefert $\left\lceil\frac{c^{2}}{n}\right\rceil=\left\lceil\frac{(n k+r)^{2}}{n}\right\rceil=k^{2} n+2 k r+\left\lceil\frac{r^{2}}{n}\right\rceil$ und $(c+k) k=(k n+r+k) k=k^{2} n+2 k r+k(k-r)$, so dass $\left\lceil\frac{r^{2}}{n}\right\rceil=k(k-r)$ (2) folgt. Dies liefert eine andere positive ganzzahlige Lösung von (1) mit $c^{\prime}=r$ und $k^{\prime}=k-r<k$, was der Minimalität von $k$ widerspricht.

Variante: Es sei $m^{2}+\left\lceil\frac{4 m^{2}}{n}\right\rceil=c^{2}$ für eine positive ganze Zahl $c>m$, woraus
$c^{2}-1<m^{2}+\frac{4 m^{2}}{n} \leq c^{2}$ und daraus $0 \leq c^{2} n-m^{2}(m+4)<n$ (3) folgt. Wir substituieren $d=c^{2} n-m^{2}(n+4), x=c+m$ und $y=c-m$, erhalten $c=\frac{x+y}{2}$ sowie $m=\frac{x-y}{2}$ und schreiben (3) damit um: $\left(\frac{x+y}{2}\right)^{2} n-\left(\frac{x-y}{2}\right)^{2}(n+4)=d$ bzw. $x^{2}-(n+2) x y+y^{2}+d=0$ mit $0 \leq d<n$. Wir wählen für festes $n$ und $d$ ein ganzzahliges Lösungspaar $(x, y)$, für das $x+y$ minimal ist. Wegen der Symmetrie von (4) können wir dabei $x \geq y \geq 1$ annehmen. Wie oben läst sich auch hier eine weitere Lösung $(z, y)$ finden, für die $z<x$ ist - Widerspruch!
Hinweis: Wer „Vieta jumping" kennt, kann auch diese Methode hier wunderbar anwenden. Diese Aufgabe war die schwerste der Klausur und wurde von keinem Teilnehmer vollständig gelöst. Relativ häufig auftretende Fehler: rationale Quadratzahlen wurden mit ganzen Quadratzahlen verwechselt, ebenso die obere mit der unteren Gaußklammer verwechselt, aus der Gaußklammer wurden Faktoren herausgezogen oder mit ihr wurde Restklassenrechnung betrieben.

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

problem_match: Aufgabe 3:


problem: Ein Pirat möchte einen Schatz, bestehend aus 1000 Goldmünzen, die jeweils mindestens 1 g und zusammen genau 2 kg wiegen, in zwei Teile aufteilen, die in ihrer Masse jeweils um höchstens 1 g von 1 kg abweichen. Beweisen Sie, dass dies möglich ist.

solution:
Die Massen der 1000 Münzen in Gramm, in aufsteigender Reihenfolge geordnet, seien mit $m_{1} \leq m_{2} \leq \cdots \leq m_{1000}$ bezeichnet. Wir beweisen nun zunächst mit vollständiger Induktion nach $\ell=1, \ldots, 1000$ die folgende Aussage.
Lemma. Für alle $1 \leq \ell \leq 1000$ und jede reelle Zahl $0 \leq x \leq 2+\sum_{i=1}^{\ell} m_{i}$ existiert eine (potentiell leere) Teilmenge $I \subset\{1,2, \ldots, \ell\}$, sodass $\sum_{i \in I} m_{i} \in[x-2, x]$ gilt.

Es gilt $x_{1} \leq 2000 / 1000=2$, also ist der Induktionsanfang $\ell=1$ klar: falls $x<2$, können wir $I=\emptyset$ wählen, ansonsten funktioniert $I=\{1\}$.
Für den Induktionsschritt $\left(\ell \rightarrow \ell+1\right.$, wobei $\ell \leq 999$ ) sehen wir, dass für $x \leq \sum_{i=1}^{\ell} m_{i}$ nichts zu zeigen ist. Da wir jede Menge $I$ durch $I \cup\{\ell+1\}$ ersetzen können, ist die Behauptung auch für $m_{\ell+1} \leq x \leq m_{\ell+1}+\sum_{i=1}^{\ell} m_{i}=\sum_{i=1}^{\ell+1} m_{i}$ erfüllt. Der Induktionssschritt ist also beendet, außer es gilt $2+\sum_{i=1}^{\ell} m_{i}<m_{\ell+1}$. In diesem Fall folgt $m_{i}>2+\ell$ für alle $\ell+1 \leq i \leq 1000$, was folgende Umgleichung impliziert.

$$
2000=\sum_{i=1}^{1000} m_{i}=\sum_{i=1}^{\ell} m_{i}+\sum_{i=\ell+1}^{1000} m_{i}>\ell+(1000-\ell)(2+\ell)=2000+999 \ell-\ell^{2}
$$

Damit folgt $\ell>999$, ein Widerspruch, was den Beweis des Lemmas abschließt.
Wir wenden das Lemma nun auf $\ell=1000$ und $x=1001$ an. Dadurch wird ersichtlich, dass eine Teilmenge $I \subset\{1,2, \ldots, 1000\}$ existiert, für die $\sum_{i \in I} x_{i} \in[999,1001]$ gilt. Wegen $\sum_{i=1}^{1000} m_{i}=$ 2000 gilt auch $\sum_{i \in\{1, \ldots, 1000\} \backslash I} x_{i} \in[999,1001]$, und die Aufteilung der Münzen, die der Zerlegung

$$
\{1, \ldots, 1000\}=I \cup(\{1, \ldots, 1000\} \backslash I)
$$

entspricht, erfüllt die Behauptung.

problem_match: Aufgabe 1.

solution_match: 1. Lösung (Vollständige Induktion).


solution:
Wir verwenden die gleiche Notation wie in der ersten Lösung. Der Pirat verteilt die Münzen nach folgendem Verfahren: Er legt alle Münzen, in absteigender Reihenfolge ihrer Massen (also beginnend mit der schwersten Münze mit Masse $m_{1000}$ ), nach und nach auf zwei Haufen $H_{1}$ und $H_{2}$, wobei er jede Münze auf denjenigen Haufen legt, der zu diesem Zeitpunkt leichter ist; bei eine Gleichgewicht wählt er einen beliebigen Haufen aus.

Wir behaupten, dass keiner der beiden Haufen jemals mehr als 1001 Gramm wiegt.
Angenommen, nach dem Hinzulegen der kten Münze mit Masse $m_{1001-k}$ ist doch einer der Haufen schwerer als 1001 Gramm. Vor diesem Schritt wogen beide Haufen zusammen $\sum_{i=1002-k}^{1000} m_{i}$

Gramm, und da die Münze auf den leichteren Haufen gelegt wurde, folgt

$$
\begin{aligned}
m_{1001-k}+\frac{1}{2} \sum_{i=1002-k}^{1000} m_{i} & >1001 \\
m_{1001-k}+\frac{1}{2} \sum_{i=1}^{1000} m_{i} & >1001+\frac{1}{2} \sum_{i=1}^{1001-k} m_{i} \\
\frac{1}{2} m_{1001-k}+1000 & >1001+\frac{1}{2} \sum_{i=1}^{1000-k} m_{i} \\
m_{1001-k} & >2+\sum_{i=1}^{1000-k} m_{i} \geq 2+1000-k=1002-k
\end{aligned}
$$

Damit folgt nun

$$
\begin{aligned}
2000=\sum_{i=1}^{1000} m_{i} & =\left(\sum_{i=1}^{1000-k} m_{i}\right)+\left(\sum_{i=1001-k}^{1000} m_{i}\right) \\
& \geq 1000-k+k \cdot m_{1001-k} \\
& >1000-k+k(1002-k)
\end{aligned}
$$

also folgt $f(k)=-k^{2}+1001 k-1000<0$, was wegen $f(k)=(k-1)(1000-k)$ und $1 \leq k \leq 1000$ jedoch ein Widerspruch ist.

Also stimmt die Behauptung, und auch nach dem Verteilen der leichtesten Münze mit Masse $m_{1}$ wiegen beide Haufen nicht mehr als 1001 Gramm. Da sie zusammen 2000 Gramm wiegen, muss damit jeder Haufen mindestens 999 Gramm wiegen, und wir haben eine Verteilung wie gefordert gefunden.

solution_match: 2. Lösung (Greedy-Algorithmus).


solution:
Wir verwenden wieder die gleiche Notation wie in der ersten Lösung. Wegen $m_{1000} \geq 2>1$ gilt $m_{1}+\cdots+m_{999}<1999$, und die 1000 Summen

$$
0, m_{1}, m_{1}+m_{2}, \ldots, m_{1}+m_{2}+\cdots+m_{999}
$$

liegen jeweils in genau einem der 1000 Schubfächer

$$
\begin{gathered}
{[0,1) \cup[1000,1001),} \\
{[1,2) \cup[1001,1002),} \\
\ldots, \\
{[998,999) \cup[1998,1999),} \\
{[999,1000)}
\end{gathered}
$$

Falls eine der Summen im letzten Schubfach $[999,1000)$ liegt, sind wir fertig, ansonsten liegen zwei Summen im gleichen Schubfach $[k, k+1) \cup[1000+k, 1001+k$ ) (für ein festes $0 \leq k \leq 998$ ). Da nach Voraussetzung $m_{i} \geq 1$ gilt, liegt eine der Summen im Intervall $[k, k+1)$ und die andere in $[1000+k, 1001+k)$, die Differenz $m_{i+1}+m_{i+2}+\cdots+m_{j}$ der beiden Summen liegt somit im Intervall $(999,1001)$ und liefert daher eine Verteilung wie gewünscht.

solution_match: 3. Lösung (Schubfachprinzip).


problem:
Es seien ein Dreieck $A B C$ mit Umkreis $\Omega$ sowie Punkte $A_{1}, B_{1}$ und $C_{1}$ auf den Dreiecksseiten $\overline{B C}, \overline{C A}$ und $\overline{A B}$ gegeben, sodass die drei Geraden $A A_{1}, B B_{1}$ und $C C_{1}$ einen Punkt $P$ gemeinsam haben.
Es ist zu zeigen, dass höchstens zwei der drei Spiegelpunkte von $P$ bei Punktspiegelung an $A_{1}$, $B_{1}$, bzw. $C_{1}$ außerhalb von $\Omega$ liegen.

solution:
Wegen $\measuredangle B P C+\measuredangle C P A+\measuredangle A P B=360^{\circ}=\left(180^{\circ}-\measuredangle B A C\right)+\left(180^{\circ}-\measuredangle C B A\right)+$ $\left(180^{\circ}-\measuredangle A C B\right)$ dürfen wir ohne Beschränkung der Allgemeinheit annehmen, dass $\measuredangle A P B \leq$ $180^{\circ}-\measuredangle A C B$ gilt. Da $P$ im Inneren des Dreiecks $A B C$ liegt, gilt $\angle A P B>\measuredangle A C B$, woraus $\measuredangle A P B \in\left[\measuredangle A C B, 180^{\circ}-\measuredangle A C B\right]$ und damit $\sin \measuredangle A P B \geq \sin \measuredangle A C B$ folgt.
Es seien $A_{2}, B_{2}$ und $C_{2}$ die im Aufgabentext beschriebenen Spiegelpunkte, sowie $A_{3}, B_{3}$ und $C_{3}$ die zweiten Schnittpunkte der Geraden $A P, B P$ und $C P$ mit $\Omega$. Wir werden nun beweisen, dass mindestens eines der Verhältnisse $\frac{\left|\overline{P A_{1}}\right|}{\left|\overline{A_{1} A_{3}}\right|}$ und $\frac{\left|\overline{P B_{1}}\right|}{\left|\overline{B_{1} B_{3}}\right|}$ nicht größer als 1 ist, woraus die Behauptung folgt.
![](https://cdn.mathpix.com/cropped/2024_12_05_394decbdcbe8466d5035g-5.jpg?height=795&width=835&top_left_y=88&top_left_x=385)

Dazu rechnen wir unter Ausnutzung des Sinussatzes,

$$
\frac{\left|\overline{P A_{1}}\right|}{\left|\overline{A_{1} A_{3}}\right|}=\frac{\left|\overline{P A_{1}}\right|}{\left|\overline{A_{1} B}\right|} \cdot \frac{\left|\overline{A_{1} B}\right|}{\left|\overline{A_{1} A_{3}}\right|} \stackrel{(*)}{=} \frac{\sin \measuredangle C B P}{\sin \measuredangle A P B} \cdot \frac{\left|\overline{A_{1} A}\right|}{\left|\overline{A_{1} C}\right|}=\frac{\sin \measuredangle C B P}{\sin \measuredangle A P B} \cdot \frac{\sin \measuredangle A C B}{\sin \measuredangle P A C},
$$

wobei wir im Schritt (*) die Gleichung $\left|\overline{A_{1} B}\right| \cdot\left|\overline{A_{1} C}\right|=\left|\overline{A_{1} A}\right| \cdot\left|\overline{A_{1} A_{3}}\right|$ verwendet haben, die aus dem Sehnensatz folgt. Analog zeigt man nun auch

$$
\frac{\left|\overline{P B_{1}}\right|}{\left|\overline{B_{1} B_{3}}\right|}=\frac{\sin \measuredangle P A C}{\sin \measuredangle A P B} \cdot \frac{\sin \measuredangle A C B}{\sin \measuredangle C B P},
$$

und durch Multiplikation beider Gleichungen folgt schlieBlich

$$
\frac{\left|\overline{P A_{1}}\right|}{\left|\overline{A_{1} A_{3}}\right|} \cdot \frac{\left|\overline{P B_{1}}\right|}{\left|\overline{B_{1} B_{3}}\right|}=\frac{(\sin \measuredangle A C B)^{2}}{(\sin \measuredangle A P B)^{2}} \leq 1,
$$

was die Behauptung impliziert.
Anmerkung: Viele der Teilnehmenden haben statt der eigentlich gestellten Aufgabe das (deutlich einfachere) Problem gelöst, in dem $P$ an den drei Seiten des Dreiecks statt an den Punkten $A_{1}, B_{1}$, und $C_{1}$ gespiegelt wird, und gezeigt, dass mindestens einer der resultierenden Spiegelpunkte nicht außerhalb des Dreiecks liegt.

problem_match: Aufgabe 2.

solution_match: Lösung.


problem:
Es sei $\varepsilon>0$ gegeben. Zeigen Sie, dass es ganze Zahlen $a, b$ und $c$ gibt, die nicht alle 0 sind, sodass die Ungleichung $|a \sqrt{2}+b \sqrt{3}+c \sqrt{5}|<\varepsilon$ erfüllt ist.
Beweisen Sie außerdem, dass in jedem Tripel $(a, b, c) \neq(0,0,0)$ ganzer Zahlen, für das diese Ungleichung gilt, mindestens einer der Absolutbeträge $|a|,|b|,|c|$ größer als $\varepsilon^{-1 / 3} / \sqrt{30}$ ist.

solution:
Im ersten Beweis des ersten Teils bezeichnen wir für eine reelle Zahl $x$ sei $[x]$ die größte ganze Zahl, die nicht größer als $x$ ist (Gauß-Klammer), die Zahl $\langle x\rangle:=x-[x] \in[0,1)$ wird als als gebrochener Anteil von $x$ bezeichnet.

Wir wählen eine ganze Zahl $n>\sqrt{2} \varepsilon^{-1}$. Nach dem Schubfachprinzip existieren verschiedene Indizes $i, j \in\{0,1, d \ldots, n\}$, sodass $\langle i \sqrt{6}\rangle$ und $\langle j \sqrt{6}\rangle$ im gleichen der $n$ Intervalle

$$
\left[0, \frac{1}{n}\right),\left[\frac{1}{n}, \frac{2}{n}\right), \ldots,\left[\frac{n-1}{n}, 1\right)
$$

liegen. Dann existiert eine ganze Zahl $a$, sodass $|a-(i \sqrt{6}-j \sqrt{6})|<1 / n$ gilt. Daraus folgt durch Multiplikation mit $\sqrt{2}$, für $b:=2(j-i)$, die Ungleichung $|a \sqrt{2}+b \sqrt{3}|<\sqrt{2} / n<\varepsilon$, was mit $c=0$ auf die Ungleichung im Aufgabentext führt.
Der zweite Beweis kommt ohne das Schubfachprinzip aus: Wegen $0<\sqrt{6}-2<1$ finden wir eine positive ganze Zahl $k$, sodass $X=(\sqrt{6}-2)^{k} \in(0, \varepsilon / \sqrt{3})$. Offenbar gibt es von 0 verschiedene ganze Zahlen $a_{0}, b_{0}$, sodass $X=a_{0} \sqrt{6}+b_{0}$. Wir setzen nun $a=3 a_{0}, b=b_{0}, c=0$, dann gilt $|a \sqrt{2}+b \sqrt{3}+c \sqrt{5}|=\left|\sqrt{3}\left(a_{0} \sqrt{3} \sqrt{2}+b_{0}\right)\right|=\sqrt{3} X<\varepsilon$.
Anmerkung: es ist auch möglich, diesen Teil der Aufgabe in wenigen Zeilen aus dem Dirichletschen Approximationssatz oder dem Gitterpunktsatz von Minkowski herzuleiten. Bei der Korrektur wurde aber Wert darauf gelegt, dass diese Sätze genau zitiert wurden.

Für den (schwierigeren) zweiten Teil der Aufgabe nehmen wir an, dass $a, b$ und $c$ die Ungleichung erfüllen. Wir berechnen zunächst, dass es sich beim folgenden Ausdruck um eine ganze Zahl handelt.

$$
\begin{aligned}
Z & :=(a \sqrt{2}+b \sqrt{3}+c \sqrt{5})(a \sqrt{2}-b \sqrt{3}-c \sqrt{5})(a \sqrt{2}+b \sqrt{3}-c \sqrt{5})(a \sqrt{2}-b \sqrt{3}+c \sqrt{5}) \\
& =\left(2 a^{2}-\left(3 b^{2}+2 \sqrt{15} b c+5 c^{2}\right)\right)\left(2 a^{2}-\left(3 b^{2}-2 \sqrt{15} b c+5 c^{2}\right)\right) \\
& =\left(2 a^{2}-3 b^{2}-5 c^{2}\right)^{2}-60 b^{2} c^{2}
\end{aligned}
$$

Diese Zahl ist von 0 verschieden, denn ansonsten wäre 60 das Quadrat einer rationalen Zahl, was aufgrund der eindeutigen Primfaktorzerlegung positiver ganzer Zahlen aber nicht der Fall ist. Damit gilt $|Z| \geq 1$. Andererseits lässt sich $|Z|$ wie folgt nach oben abschätzen

$$
\begin{aligned}
|Z| & <|a \sqrt{2}+b \sqrt{3}+c \sqrt{5}| \cdot(|a| \sqrt{2}+|b| \sqrt{3}+|c| \sqrt{5})^{3} \\
& <\varepsilon\left((2+3+5)^{\frac{1}{2}} \cdot\left(a^{2}+b^{2}+c^{2}\right)^{\frac{1}{2}}\right)^{3} \\
& <\left(\varepsilon^{1 / 3} \sqrt{10} \cdot \sqrt{3} \cdot \max (|a|,|b|,|c|)\right)^{3}
\end{aligned}
$$

wobei wir im zweiten Schritt die Ungleichung von Cauchy-Schwarz verwendet haben. Nach Umstellung folgt die Behauptung.

problem_match: Aufgabe 3.