Angenommen, n ist ein Vielfaches von t und n+1 ist ein Vielfaches von t mit
n,t∈N,t≥2.
Dann gilt
n=at,a∈N∧n+1=bt,b∈N, also
n+1=bt⇔n=bt−1 und mit
n=at:
bt−1=at⇔bt−at=1⇔t(b−a)=1⇔t=b−a1.
t ist aber eine natürliche Zahl und 1/(b-a) kann nur natürlich sein, wenn 0 < (b-a) <= 1.
0 < b-a < 1 kann nie gelten, da a und b natürlich sind. Ist b-a = 1, ist t = 1, aber t muss größer gleich 2 sein. Also ist die Annahme für alle t >= 2 falsch und damit gilt die Negation: Ist n ein Vielfaches von t, dann ist n+1 kein Vielfaches von t.