V
Jester schrieb:
Ich finde sie von dem her eigentlich recht gut, daß von dem ausgegangen wird, was gezeigt werden soll. Man liest lauter Äquivalenzen und das letzte ist trivial richtig. Also ist auch das erste wahr.
mhmm. mein normales verlangen beim beweislesen ist, zu prüfen, ob alles korrekt ist.
da hilft mir vor allem, wenn ich möglichst nicht nachdenken muss. ich hasse denken-müssen. ja, ich werde alt, wie in einem anderen thread steht.
n(n-1) >= 1
=> //ausmultiplizieren
n²-n>=1
=> //beide seiten plus n
n² >= n+1
=> //beide seiten mal (n+1)
n²(n+1) >= (n+1)²
wenn ich dann doch mehr nachdenken will und schauen will, wie er evtl drauf kam, lese ich die kette rückwärts.