Elliptische Kurve/Zerlegt mit Quadratwurzeln/Halbierungspunkt/Erfüllt Gleichung/Aufgabe/Lösung

Die linke Seite ist

${}z^{2}=(\mu _{1}+\mu _{2}+\mu _{3})^{2}w^{2}-2(\mu _{1}+\mu _{2}+\mu _{3})\mu _{1}\mu _{2}\mu _{3}w+\mu _{1}^{2}\mu _{2}^{2}\mu _{3}^{2}\,$

und die rechte Seite ist

${}(w+\mu _{1}^{2})(w+\mu _{2}^{2})(w+\mu _{3}^{2})=w^{3}+(\mu _{1}^{2}+\mu _{2}^{2}+\mu _{3}^{2})w^{2}+(\mu _{1}^{2}\mu _{2}^{2}+\mu _{1}^{2}\mu _{3}^{2}+\mu _{2}^{2}\mu _{3}^{2})w+\mu _{1}^{2}\mu _{2}^{2}\mu _{3}^{2}\,.$

Um die Gleichheit zu zeigen, können wir den Summanden ${}\mu _{1}^{2}\mu _{2}^{2}\mu _{3}^{2}$ beidseitig abziehen und ${}w$ ausklammern, es ist somit

${}(\mu _{1}+\mu _{2}+\mu _{3})^{2}w-2(\mu _{1}+\mu _{2}+\mu _{3})\mu _{1}\mu _{2}\mu _{3}=w^{2}+(\mu _{1}^{2}+\mu _{2}^{2}+\mu _{3}^{2})w+\mu _{1}^{2}\mu _{2}^{2}+\mu _{1}^{2}\mu _{3}^{2}+\mu _{2}^{2}\mu _{3}^{2}\,$

zu zeigen. Wir ziehen ${}(\mu _{1}^{2}+\mu _{2}^{2}+\mu _{3}^{2})w$ beidseitig ab und dann ist

${}2(\mu _{1}\mu _{2}+\mu _{1}\mu _{3}+\mu _{2}\mu _{3})w-2(\mu _{1}+\mu _{2}+\mu _{3})\mu _{1}\mu _{2}\mu _{3}=w^{2}+\mu _{1}^{2}\mu _{2}^{2}+\mu _{1}^{2}\mu _{3}^{2}+\mu _{2}^{2}\mu _{3}^{2}\,$

zu zeigen. Der Summand links ist ${}2w^{2}$, wir ziehen ${}w^{2}$ beidseitig ab und somit folgt die Behauptung aus

${}{\begin{aligned}w^{2}&=(\mu _{1}\mu _{2}+\mu _{1}\mu _{3}+\mu _{2}\mu _{3})^{2}\\&=\mu _{1}^{2}\mu _{2}^{2}+\mu _{1}^{2}\mu _{2}^{3}+\mu _{2}^{2}\mu _{3}^{2}+2\mu _{1}^{2}\mu _{2}\mu _{3}+2\mu _{1}\mu _{2}^{2}\mu _{3}+2\mu _{1}\mu _{2}\mu _{3}^{2}\\&=\mu _{1}^{2}\mu _{2}^{2}+\mu _{1}^{2}\mu _{2}^{3}+\mu _{2}^{2}\mu _{3}^{2}+2(\mu _{1}+\mu _{2}+\mu _{3})\mu _{1}\mu _{2}\mu _{3}\end{aligned}}$

Zur gelösten Aufgabe