Je séche lamentablement sur l'exo "de base" suivant:
Démontrer par récurrence que 5^(n+2)>=4^(n+2)+3^(n+2). (>= supérieur ou égal)
Pas de probléme pour l'initialisation :si n=0, alors 25>=(16 + 9)=25.
Mais pour démontrer l'hérédité de la propriété, alors là je ne vois pas l'ombre du "truc".
multiplier 5^(n+2) par 5 va bien donner 5^(n+3) mais l'autre membre fois 5 ne conduit pas à 4^(n+3)+3^(n+3)...

J'apprécierais grandement un coup de main.
D'avance merci.