problem:
Man bestimme mit Beweis alle Funktionen $f: \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}$mit der Eigenschaft

$$
f(x) f(y)=2 f(x+y f(x))
$$

für alle positiven reellen Zahlen $x, y$.

solution:
Offensichtlich erfüllt die Funktion $f(x)=2$ für alle $x \in \mathbb{R}^{+}$die gegebene Funktionalgleichung. Wir werden zeigen, dass dies die einzige Lösung ist.
Lemma 1: Für alle $x \in \mathbb{R}^{+}$gilt $f(x) \geq 1$.
Zum Beweis nehmen wir $f(x)<1$ für ein geeignetes $x$ an und setzen $y=\frac{x}{1-f(x)}$. Dann ist $x>0$ und es folgt $y=x+y f(x)$. Aus (I) erhalten wir $f(x) f(x+y f(x))=2 f(x+y f(x))$ und wegen $f(x+y f(x))>0$ folgt $f(x)=2$, Widerspruch!
Lemma 2: Für alle $x \in \mathbb{R}^{+}$gilt $f(x) \geq 2$.
Zum Beweis setzen wir in (I) $x=y$ und erhalten (II): $f^{2}(x)=2 f(x+x f(x))$. Sei $f\left(x_{1}\right)<2$ für ein geeignetes $x_{1}$. Dann ist $f\left(x_{1}+x_{1} f\left(x_{1}\right)\right)=\frac{f^{2}\left(x_{1}\right)}{2}<f\left(x_{1}\right)$. Mit $x_{k+1}=x_{k}+x_{k} f\left(x_{k}\right)$ für $k=1,2, \ldots$ entsteht eine monoton fallende Folge $\left(f\left(x_{1}\right)=a ; \frac{a^{2}}{2} ; \frac{a^{4}}{2^{3}} ; \ldots ; \frac{a^{2 t}}{2^{2 t-1}}, \ldots\right.$ ) von
Funktionswerten. Für $t>\frac{1}{2-2 \log _{2} a}$ sind die Werte dieser Folge kleiner als 1, Widerspruch!
Lemma 3: $f$ ist monoton steigend.
Zum Beweis nehmen wir an, es gibt $s, \varepsilon>0$ mit $f(s)>f(s+\varepsilon)$. Einsetzen von $x=s$ und $y=\frac{\varepsilon}{f(s)}$ in (I) liefert $f(s) f\left(\frac{\varepsilon}{f(s)}\right)=2 f(s+\varepsilon)$, woraus $f\left(\frac{\varepsilon}{f(s)}\right)<2$ folgt, Widerspruch!
Lemma 4: Wenn es ein $z \in \mathbb{R}^{+}$gibt mit $f(z)>2$, dann gilt $f(x)>2$ für alle $x \in \mathbb{R}^{+}$.
Wieder setzen wir $x=z$ und $y=\frac{\varepsilon}{f(z)}$ in (I) ein und haben $f(z) f\left(\frac{\varepsilon}{f(z)}\right)=2 f(z+\varepsilon)$, woraus jetzt mit Lemma 2 folgt: $f(z) \leq f(z+\varepsilon)$ für alle $\varepsilon>0$. Also existiert ein $z_{0} \geq 0$ mit $f(z)>2$ für alle $z>z_{0}$. Nehmen wir an, dass $z_{0}>0$ gilt. Dann folgt mit $x=y=z_{0}-\varepsilon>0$ aus (I) $f(x) f(y)=4$, und wegen $x+y f(x)=\left(z_{0}-\varepsilon\right)\left(1+f\left(z_{0}-\varepsilon\right)\right)=3\left(z_{0}-\varepsilon\right)$ gilt für hinreichend kleines $\varepsilon$, dass $3\left(z_{0}-\varepsilon\right)>z_{0}$ und daher $2 f(x+y f(x))>4$, Widerspruch!
Lemma 5: Wenn $f(x)>2$ für alle $x \in \mathbb{R}^{+}$, dann ist $f$ injektiv.
Angenommen, es gäbe $s, \varepsilon>0$ mit $f(s)=f(s+\varepsilon)$. Wir setzen $x=s$ und $y=\frac{\varepsilon}{f(s)}$ in (I) ein und haben $f(s) f\left(\frac{\varepsilon}{f(s)}\right)=2 f(s+\varepsilon)$, woraus nun $f(s)<f(s+\varepsilon)$ folgt, Widerspruch!
Hauptbeweis: Wegen der Symmetrie der linken Seite von (I) gilt auch $x+y f(x)=y+x f(y)$. Für $y=1$ folgt $f(x)=(f(1)-1) x+1=m x+1$. Durch Einsetzen wird jedoch leicht gezeigt, dass keine lineare Funktion Lösung von (I) sein kann.

Anmerkung: Wegen $\mathbb{D}=\mathbb{R}^{+}$darf nicht mit $f(0)$ operiert werden. $f: \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}$bedeutet nicht, dass jede positive reelle Zahl Funktionswert sein muss. Zusätzliche Annahmen über $f$ wie z.B. Stetigkeit sind nicht zulässig.

problem_match: # Aufgabe 1

solution_match: Lösung:


problem:
Gegeben sei ein Dreieck $A B C$ mit $\overline{A B}+\overline{B C}=3 \overline{A C}$. Sein Inkreis habe den Mittelpunkt $I$ und berühre die Seiten $A B$ in $D$ bzw. $B C$ in $E$. Weiter seien $K$ und $L$ die Spiegelpunkte von $D$ bzw. $E$ bezüglich $I$.
Man beweise, dass das Viereck $A C K L$ ein Sehnenviereck ist.

solution:
Zu den in der Aufgabenstellung genannten Punkten bezeichnen wir den Berührpunkt des Inkreises mit $A C$ mit $F$, den Mittelpunkt von AC mit $S$, den Schnittpunkt von $w_{\beta}$ und der Mittelsenkrechten $m_{A C}$ mit $P$, den Spiegelpunkt von $B$ an $I$ mit $R$, den Mittelpunkt von $B I$ mit $T$ und die paarweise gleichen Abschnitte auf den Dreiecksseiten mit $x, y$ bzw. $z$ (siehe Figur).
Aus $\overline{A B}+\overline{B C}=3 \overline{A C}$ folgt
$x+z+z+y=3(x+y)$, also (I) $z=x+y$. Bekanntlich liegt $P$ auf dem Umkreis von $A B C$. Daher gilt $\angle C A P=\angle C B P=\angle P B A=\angle P C A=\frac{\beta}{2}$ und $\overline{A P}=\overline{C P}$. Die Dreiecke $A S P$ und $B E I$ sind ähnlich, und wegen $\overline{A S}=\frac{1}{2} \overline{A C}=\frac{x+y}{2}=\frac{z}{2}=\frac{1}{2} \overline{B E}$ gilt mit der Bezeichnung $r$ für den Inkreisradius
![](https://cdn.mathpix.com/cropped/2024_12_05_938efa99261e38b6ca13g-2.jpg?height=846&width=729&top_left_y=174&top_left_x=1095)
(II) $\overline{S P}=\frac{1}{2} \overline{E I}=\frac{r}{2}$ sowie $\overline{A P}=\frac{1}{2} \overline{B I}$.

Für den Flächeninhalt $F$ des Dreiecks $A B C$ gilt $F=r s=\sqrt{s(s-a)(s-b)(s-c)}$, wobei $s=\frac{a+b+c}{2}=x+y+z$ ist. Daher ist $r(x+y+z)=\sqrt{(x+y+z) x y z}$ und mit (I) folgt $2 r z=\sqrt{2 z x y z} \Leftrightarrow 4 r^{2}=2 x y \Leftrightarrow 8 r^{2}=4 x y \Leftrightarrow 9 r^{2}+(x-y)^{2}=r^{2}+(x+y)^{2}=r^{2}+z^{2}$. Wegen $\angle B D I=90^{\circ}$ ist (III) $\overline{B I}^{2}=r^{2}+z^{2}$. Wegen $P S \perp A C \perp F I$ gilt $\overline{P I}^{2}=\overline{S F}^{2}+(\overline{P S}+\overline{F I})^{2}$.
Aber $\overline{S F}=\frac{1}{2} \overline{A C}-x=\frac{x+y}{2}-x=\frac{y-x}{2}$ und $\overline{F I}=r$. Daher und mit (II) ist $\overline{P I}^{2}=\left(\frac{y-x}{2}\right)^{2}+\left(\frac{3}{2} r\right)^{2}$ $=\frac{(y-x)^{2}+9 r^{2}}{4}$. Mit (III) folgt $\overline{P I}^{2}=\frac{1}{4} \overline{B I}^{2}$, also $\overline{P I}=\frac{1}{2} \overline{B I}$. So gilt (IV) $\overline{P I}=\overline{P A}=\overline{P C}=\overline{P R}$.
Außerdem wird $T$ bei Spiegelung an $I$ auf $P$ abgebildet. Daher ist auch $\overline{I T}=\overline{P I} . \overline{B I}$ ist der Durchmesser des Kreises durch $B, I, D$ und $E$ (rechte Winkel bei $D$ und $E$ ). Dieser Kreis hat $T$ als Mittelpunkt. Bei Spiegelung dieses Kreises an $I$ wird $I$ auf $I, T$ auf $P, D$ auf $K, E$ auf $L$ abgebildet und der Radius bleibt erhalten. Mit (IV) folgt, dass $A, L, I, K, C$ und $R$ auf einem Kreis um $P$ liegen; also ist $A C K L$ ein Sehnenviereck.

Anmerkung: Öfters wurden Lagebeziehungen oder Kongruenzen unbewiesen verwendet.

problem_match: # Aufgabe 2


problem:
Wir betrachten ein $m \times n$-Rechteck aus $m n$ Einheitsquadraten. Zwei seiner Einheitsquadrate heißen benachbart, wenn sie eine gemeinsame Seitenkante haben, und ein Pfad ist eine Folge von Einheitsquadraten, in der je zwei aufeinander folgende Elemente benachbart sind.
Jedes Einheitsquadrat des Rechtecks kann entweder weiß oder schwarz gefärbt werden. Sind alle Quadrate gefärbt, so liegt eine Färbung des Rechtecks vor.
Es sei $N$ die Anzahl aller solcher Färbungen, bei denen es wenigstens einen schwarzen Pfad von der linken zur rechten Seitenkante des Rechtecks gibt. Ferner sei $M$ die Anzahl aller Färbungen, bei denen es wenigstens zwei schwarze Pfade von der linken zur rechten Seitenkante des Rechtecks gibt, die kein gemeinsames Quadrat enthalten.
Man beweise, dass $N^{2} \geq M \cdot 2^{m n}$.

solution:
Wir werden die Behauptung verallgemeinern. Dazu lassen wir zu, dass das $m \times n$ Rechteck auf beiden Seiten gefärbt wird und dass einige der Einheitsquadrate transparent sind. Solche Felder brauchen nur auf einer Seite gefärbt zu werden und sehen dann auf beiden Seiten gleich aus. Ein nicht transparentes Einheitsquadrat muss dagegen auf beiden Seiten gefärbt werden, allerdings nicht notwendigerweise mit der gleichen Farbe.

Nun sei $A$ die Anzahl aller solcher Färbungen der Oberseite, bei denen es wenigstens einen schwarzen Pfad von der linken zur rechten Seitenkante des Rechtecks gibt. Entsprechend sei $B$ für die Unterseite definiert. Ferner sei $C$ die Anzahl aller Färbungen, bei denen es zwei schwarze Pfade von der linken zur rechten Seitenkante des Rechtecks gibt, und zwar einen auf der Ober- und einen auf der Unterseite, die kein gemeinsames transparentes Quadrat enthalten. Schließlich sei $D$ die Anzahl aller Färbungen dieses Rechtecks. Wir werden (I) $A \cdot B \geq C \cdot D$ beweisen und haben damit die ursprüngliche Behauptung als Spezialfall gezeigt, in dem alle Felder transparent sind. Hier gilt nämlich $A=B=N, C=M, D=2^{m n}$. Den Beweis von (I) führen wir mit vollständiger Induktion nach der Anzahl $k$ der transparenten Felder. Für $k=0$ ist $A=B=N \cdot 2^{m n}, C=N^{2}$ und $D=\left(2^{m n}\right)^{2}$, so dass in (I) Gleichheit gilt. Nun nehmen wir an, dass die Behauptung für $k$ erfüllt ist, und betrachten ein Rechteck mit $k+1$ transparenten Feldern. Die Anzahlen $A, B, C, D$ gelten nun für dieses Rechteck. Wir wählen ein transparentes Einheitsquadrat $t$ und machen es undurchsichtig. Für das so entstandene Rechteck seien die jeweiligen Anzahlen mit $A^{\prime}, B^{\prime}, C^{\prime}, D^{\prime}$ bezeichnet und nach Induktionsannahme gilt $A^{\prime} \cdot B^{\prime} \geq C^{\prime \prime} \cdot D^{\prime}$.
Nun ist offensichtlich $D^{\prime}=2 \cdot D$. Für jede in $A$ gezählte Färbung existieren genau zwei Färbungen von $A^{\prime}$, nämlich dadurch unterschieden, dass $t$ von unten schwarz oder weiß gefärbt wird. Umgekehrt kann man zwei in $A^{\prime}$ gezählten Färbungen, die sich nur in der Farbe der Unterseite eines Quadrats unterscheiden, eine in $A$ gezählte Färbung zuordnen. Also ist $A^{\prime}=2 \cdot A$ und entsprechend $B^{\prime}=2 \cdot B$. Zum Beweis von (I) für $k+1$ genügt also der Nachweis von $C^{\prime} \geq 2 \cdot C$.
Dazu sei $t$ wieder transparent. Weil in $C$ nur solche Färbungen gezählt werden, die wenigstens einen schwarzen Pfad oben und unten enthalten, wobei diese sich nicht in einem transparenten Quadrat schneiden, kann $t$ höchstens auf einem dieser Pfade, oBdA auf dem oberen, liegen. Machen wir also $t$ undurchsichtig und behalten seine Farbe oben bei, können wir seine Unterseite schwarz oder weiß färben, so dass beide Färbungen in $C^{\prime}$ gezählt werden. Dabei liefern verschiedene in $C$ gezählte Färbungen stets verschiedene Paare von Färbungen, die in $C^{\prime}$ gezählt werden. Damit ist alles gezeigt.

[^0]
[^0]:    Anmerkung: Ein Beweis mit vollständiger Induktion auf einer Brettseite ist heikel, da beim Abschätzen der Fortsetzungen der Pfade häufig Zählfehler auftreten. In der Regel wurden mögliche Fälle übersehen. Die Anzahl schwarzer Felder in einem schwarzen Pfad kann größer sein als die Breite des Rechtecks.

problem_match: # Aufgabe 3