Die Zahl n soll eine ungerade natürlich Zahl sein, dann ist n2 - 1 immer durch 8 teilbar.
Das soll man durch einen direkten Beweis beweisen:
Sei x eine beliebige natürliche Zahl, dann ist (2x - 1) eine beliebige ungerade natürliche Zahl, also n. Dann folgt daraus, dass (2x - 1)2 - 1 immer durch 8 teilbar ist. Also:
(2x - 1)2 - 1
= 4x2 - 4x + 1 - 1
= 4x(x - 1)
Weiter komme ich jedoch nicht. Wie kann ich nun endgültig beweisen, dass das immer durch 8 teilbar ist? Der Klammerausdruck (x - 1) wirft immer eine gerade Zahl raus, aber wie beweise ich nun, dass diese mit 4n multipliziert auch immer durch 8 teilbar ist?