Angeordneter Körper/Summe von Quadratwurzeln/Vergleich/5/Aufgabe/Lösung

Wir fragen uns, ob

ist. Dies ist, da das Quadrieren von positiven Zahlen eine Äquivalenzumformung für die Größenbeziehung ist, äquivalent zu

Dies ist durch Subtraktion mit äquivalent zu

Durch Quadrieren ist dies äquivalent zu

Dies ist äquivalent zu

Quadrieren liefert

was stimmt. Also ist