Bonjour
la différence, c'est que dans la forte, on suppose que la propriété est vraie jusqu'à n, pour en déduire qu'alors elle est vraie pour n+1, alors que dans la simple, on suppose la propriété vraie pour n, pour en déduire qu'alors elle est vraie pour n+1.
Ceci dit, toute récurrence forte peut être formulée comme une récurrence simple : il suffit de démontrer par récurrence (simple) que la propriété Q(n) est vraie où Q(n) : "Les propriétés P(0), P(1),...,P(n) sont vraies"
Donc pour un exemple non faisable par récurrence simple mais seulement par récurrence forte, ça va pas être possible ...