Das Ziel ist es ja, zu schauen, ob man den Term so umformen kann, dass er zu der Behauptung passt.
Präziser vielleicht so:
Man hat eine Aussage ( Gleichung, was mit einer Summe, Teilbarkeitsaussage oder so) von der man annimmt, dass sie für ein n gilt.
Ziel ist ja, daraus die Aussage für n+1 herzuleiten. Bei Formeln mit Summen oder
Produkten erreicht man das ja oft, indem man den letzten Summanden bzw. Faktor
extra schreibt und den Rest so umzuformen versucht, dass er zu der Aussage mit
dem n passt.
Ich denke mal, dass man so ganz allgemein mehr gar nicht sagen kann.
Hier im Forum gab es allerdings schon ganz viele Beispiele (siehe "ähnliche Fragen") für solche Beweise;
da könntest du ja mal einige studieren.