S(n0)
S(n)uS(n+1)
la récurrence forte démontre
S(n0)
S(n0).S(n1).... .S(n)uS(n+1)
C’est donc un raisonnement qui suppose que l’hypothèse tient sur tous les éléments .
i[n
Exemple 1 : pour démontrer que , donc pour
n
nombre_premier
x
&nombre_premier
y
&
démontrer que tout nombre entier est le produit d’un ensemble de nombres premiers, on procède
comme suit :
d’abord la base en prenant : , 2 est clairement un nombre premier (très
n
2
particulier);
ensuite supposons que l’hypothèse tienne pour alors :
n
2,3,4, ...,n
nombrePr emier
n
1
n
1
sinon :
a avec 1^a^n+1tq
=b
n+1=a&b
alors, puisque , par hypothèse a et b sont produit de nombres entiers.
aŸn.bŸ
Exemple 2 : pour la suite des nombres de Fibonacci , avec , nous pouvons formuler
f
a=1+5
l’hypothèse . Pour démontrer cette hypothèse, il faut alors d’abord
f
+
f
f
−
Ÿa
considérer le cas de et celui de (les deux membres de la suite qui ne sont pas exprimable
f
f
comme somme de deux prédécesseurs) :
cas de f0:a
=
+
¦0=f0
cas de f
:a
a
1¦1
f
ensuite, prenons l’hypothèse que
mŸn,f
Ÿa
reste à démontrer que f
+
Ÿa
notons tout d’abord que de l’hypothèse original : nous pouvons aisémentf
+
f
f
−
Ÿa
conclure que et que , doncf
Ÿa
f
−
Ÿa
f
+
f
f
−
Ÿa
a
a
&
a
1
reconnaissant que nous pouvons réécrire l’équation ci-dessus comme :a
a
1
fn+fn−1Ÿan−1+an−2=an−2&(a+1)
Ÿan−2&a2
Ÿan
Ÿa(n+1)−1í
Ok ?
Raisonnement par récurrence
___________________________________________________________________________
___________________________________________________________________________
H. Wertz 3