on va vérifier la relation pour n=0
on a 4^n+15n-1=1+0-1=0 et cela est vrai
donc on suppose que 4^n+15n-1=9k pour n=0
on démontre que 4^n+1+15(n+1)-1=9k'
on a 4^n+1+15(n+1)-1=4^n*4+15(n+1)-1
=(9k+1-15n)4+15n+15-1
=36k+4-60n+15n+14
=36k+18-45n
=9(4k+2-5n)
Donc alors quelque soit n£N 4^n+15n-1 est divisible par 9.