Aufgabe:
Ungerichteter Graph mit n≥2 Knoten; jeder Knoten mit jedem anderen durch eine Kante verbunden → vollständiger Graph, daher n*(n-1)/2 Kanten → vollständige Induktion
Problem/Ansatz:
n*(n-1)/2 = K, wobei K die Anzahl der Kanten ist. Bei so ziemlich jedem anderen Induktionsbeispiel könnte ich nun auch die rechte Seite anpassen, wenn ich links statt n -> n+1 einsetze.
Wenn man zum Beispiel nur beweisen müsste, dass es auch bei Erhöhung von n noch immer durch eine bestimmte Zahl teilbar sein sollte, wüsste man mit der rechten Seite etwas anzufangen. In diesem Beispiel kann ich jedoch nur durch Einsetzen in die ursprüngliche Formel herausfinden, ob das Ergebnis stimmt. Dadurch hätte ich aber vor und nach dem "=" schon im ersten Schritt dasselbe stehen, was ja nicht Zweck der Induktion ist.
(n+1)*n /2 = (n+1)*n /2
Wie beweist man Formeln, deren Ergebnis man einzig und allein durch die Formel selbst bestätigen kann?