PROPRIETE
(P)
Tout couple d'entiers
naturels est constitué d'entiers égaux.
comme (1,1) puis (2,2) etc...
Et (2,3
) ... que devient-il
?
DEMONSTRATION
Le résultat
est obtenu par récurrence.
La récurrence
se fait sur le maximum des deux nombres a et b que nous allons noter
max(a,b).
Rang 0
Si max(a,b)
= 0, alors il est clair que a = b = 0
Hypothèse
de récurrence
Rang
p
Supposons
la propriété (P)
vraie quand le maximum de a et b est p, c'est-à-dire que
si
max(a,b)=p alors a = b = p
Montrons
alors que la propriété est vraie quand le maximum
est (p+1).
Rang p+1
Prenons donc un couple (a,b) tel que max (a,b)=p+1.
Le maximum de (a-1) et de (b-1) est donc p.
Par hypothèse de récurrence, nous avons : a -1 =
b -1 = p
d'où a - 1 + 1 = b - 1 + 1 = p + 1
et finalement a = b = p + 1.
RECAPITULONS
Nous
avons vérifié la propriété (P)
au rang 0,
Quand
la propriété est supposée vraie au rang p,
nous avons montré qu'elle était vraie au rang p+1
sans autre condition.
Il semble donc que nous ayions montré par récurrence
que quel que soit
le couple d'entiers
naturels a
et b nous
obtenions
a = b
Trouvez l'erreur...