Angeordneter Körper/Summe von Quadratwurzeln/Vergleich/4/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

was stimmt. Also ist