wir beweisen: 2 beliebige zahlen a und b sind gleich
jedenfalls gibt es immer ein c sodass
a = b + c
(nämlich c = a - b)
wir erweitern:
a . (a - b) = (b + c) . (a - b)
ausmultiplizieren:
a^2 - ab = ab + ac - b^2 - bc
auf beiden seiten -ac
a^2 - ab - ac = ab - b^2 - bc
links a herausheben, rechts b:
a (a - b - c) = b (a - b - c)
ergo
a = b
q.e.d.
oder wo isses falsch?
(ist fast ganz einfach!)
m.