Differenz/Doppelsumme/Größenverhältnis/Aufgabe/Lösung


Aus der Annahme

folgt mit (der echt größer Version von) Fakt  (2) der Widerspruch

zur Voraussetzung. Wenn man zu der zu beweisenden Gleichheit

beidseitig addiert, so erhält man die wahre Gleichung

Wegen der Abziehregel muss dann auch die in Frage stehende Gleichung wahr sein.