Ein Quadrat q² dividiert durch 4 ist stets ein Quadrat
Bist du sicher?
Versuch's mal mit q = 7 : Ist q ² / 4 = 49 / 4 eine Quadratzahl?
Außerdem steht in der Behauptung etwas ganz anderes, nämlich:
Jede natürliche Zahl n kann dargestellt werden als die positive Differenz der jeweils durch 4 dividierten Quadrate ihrer beiden Nachbarzahlen.
Beispiel: 6 = ( ( 6 + 1 ) ² / 4 ) - ( ( 6 - 1 ) ² / 4 ) = ( 49 / 4 ) - ( 25 / 4 ) = ( 24 / 4 ) = 6
So etwas beweist man immer gern mit der Vollständigen Induktion:
Induktionsanker:
Für n = 1 gilt die Behauptung, denn:
1 = ( ( 1 + 1 ) ² / 4 ) - ( ( 1 - 1 ) ² / 4 ) = ( 4 / 4 ) - ( 0 / 4 ) = 4 / 4 = 1
Induktionsvoraussetzung:
Gelte für ein festes m ≥ 1:
m = ( ( m + 1 ) ² / 4 ) - ( ( m - 1 ) ² / 4 )
Behauptung: Dann gilt für m + 1 :
m + 1 = ( ( m + 2 ) ² / 4 ) - ( m ² / 4 )
Beweis:
Zeige unter Verwendung der Induktionsvoraussetzung, dass die Behauptung gilt:
( ( m + 2 ) ² / 4 ) - ( m ² / 4 )
= ( m ² + 4 m + 4 ) / 4 - ( m ² / 4 )
= ( ( m ² + 2 m + 1 + 2 m + 3 ) / 4 ) - ( ( m ² - 2 m + 1 + 2 m - 1 ) / 4 )
= ( ( m + 2 ) ² / 4 ) - ( ( m - 1 ) ² / 4 ) + ( ( 2 m + 3 ) / 4 ) - ( ( 2 m - 1 ) / 4 )
Gemäß Induktionsvoraussetzung ist ( ( m + 2 ) ² / 4 ) - ( ( m - 1 ) ² / 4 ) = m , also:
= m + ( ( 2 m + 3 ) / 4 ) - ( ( 2 m - 1 ) / 4 )
= m + ( 2 m + 3 - 2 m + 1 ) / 4
= m + ( 4 / 4 )
= m + 1
q.e.d
Damit gilt wegen des Axioms von der Vollständigen Induktion die ursprüngliche Behauptung
n = ( ( n + 1 ) ² / 4 )- ( ( n - 1 ) ² / 4 )