Hallo Peter,
a) Zeigen Sie, dass die Gleichung (1) für beliebige rationale Zahlen a, b, c durch diese
Rechenvorschrift tatsächlich erfüllt wird.
.. ok - das ist einfach, wenn man \(x \# y = \frac 12 (x+y)\) kennt. So setzt man das in die Rechenvorschrift ein und kann die Gleichheit feststellen.
b) Zeigen Sie: Wenn für beliebige rationale Zahlen a, b, c die Gleichung (1) gilt, dann gilt
für die Rechenvorschrift von # die Formel aus a).
Umgekehrt ist es schwieriger ... zunächst stelle ich fest, dass die Operation kommutativ ist. Wenn $$a + (b\,\#\, c)= (a\,\#\, b) + (a\,\#\, c) $$ dann muss auch gelten$$\begin{aligned} a + (b\,\#\, c) &= (a\,\#\, b) + (a\,\#\, c) \\ &= (a\,\#\, c) + (a\,\#\, b) \\&= a + (c\,\#\, b) \\ \implies b\,\#\, c &= c\,\#\, b \end{aligned}$$Im nächsten Schritt betrachte ich zwei Gleichungen ... $$\begin{aligned} a + (b\,\#\, c) &= (a\,\#\, b) + (a\,\#\, c) \\ b + (a\,\#\, c) &= (b\,\#\, a) + (b\,\#\, c) \end{aligned}$$und addiere die beiden Gleichungen; mit dem Ziel, alle Terme mit \(c\) zu eliminieren $$\begin{aligned} a + (b\,\#\, c) + b + (a\,\#\, c) &= (a\,\#\, b) + (a\,\#\, c) + (b\,\#\, a) + (b\,\#\, c) \quad &&|\, - (b\,\#\, c)\\ a + b + (a\,\#\, c) &= (a\,\#\, b) + (a\,\#\, c) + (b\,\#\, a) &&|\, - (a\,\#\, c) \\ a + b &= (a\,\#\, b) + (b\,\#\, a) \\ a + b &= 2(a\,\#\, b) \\ \frac12( a + b) &= a\,\#\, b \end{aligned}$$