Behauptung A(n): 29n + 62n-1 ist für alle n∈ℕ ein Vielfaches von 7
A(1) ist wahr: 291 + 62-1 = 29 + 6 = 35 = 5 * 7
A(n) → A(n+1):
29n+1 + 62·(n+1)-1 = 29n+1 + 62n+1 = 29 * 29n + 62 * 62n-1
= 29 * 29n + 36 * 62n-1 = 29 * 29n + 29 * 62n-1 + 7 * 62n-1
= 29 * ( 29n + 62n-1) + 7 * 62n-1
Vielfaches von 7 ( = k * 7 , k∈ℤ) nach Induktionsvoraussetzung A(n)
= 7 * ( 29*k + 62n-1 ) mit k∈ℤ
Gruß Wolfgang