Nous allons réaliser cette démonstration par récurrence.
Soit
n un entier naturel tel que
n≥2 ; notons par
P(n) la propriété associée à la formule suivante :
P(n):4n≥(2nn)▶Etape1:L′initialisationSoit
n=2, vérifions si la propriété
P(2) est bien vérifiée. On a :
D'une part :
42=16D'autre part :
(2×22)=2!(4−2)!4! ce qui donne
(42)=6Ainsi
42≥(42)Ce qui est indéniablement vrai. Donc la propriété
P(2) est bien vérifiée.
▶▶Etape2:LatransmissionDans cette deuxième étape de la démonstration, nous allons supposer que la propriété
P(n) est vraie, et sous cette vérité, démontrer que la propriété
P(n+1) est également vraie. Autrement dit, nous allons démontrer que
P(n)⟹P(n+1).
Nous voulons donc démontrer que
4n+1≥(2n+2n+1)D'après l'hypothèse de récurrence, on a :
4n≥(2nn)4n≥(2n−n)!(2n−n)!(2n)! 4n≥n!n!(2n)! 4n×(n+1)(n+1)(2n+1)(2n+2)≥n!n!(2n)!×(n+1)(n+1)(2n+1)(2n+2) Or
(n+1)(n+1)(2n+1)(2n+2)≤4 car
n+12n+1≤n+12n+2≤2 et
(n+1)(2n+2)=2On peut donc écrire que :
4≥(n+1)(n+1)(2n+1)(2n+2) équivaut successivement à :
4n×4≥4n×(n+1)(n+1)(2n+1)(2n+2) 4n+1≥4n×(n+1)(n+1)(2n+1)(2n+2) Ainsi :
4n+1≥4n×(n+1)(n+1)(2n+1)(2n+2)≥n!n!(2n)!×(n+1)(n+1)(2n+1)(2n+2) Donc :
4n+1≥n!n!(2n)!×(n+1)(n+1)(2n+1)(2n+2) 4n+1≥(n!×(n+1))(n!×(n+1))(2n)!×(2n+1)(2n+2) 4n+1≥(n+1)!(n+1)!(2n+2)! Finalement :
4n+1≥(2n+2n+1) On constate alors que la propriété
P(n+1) est donc bien vérifiée. On a donc bien démontré que
P(n)⟹P(n+1).
▶▶▶Etape3:LaconclusionEn vertu des axiomes de la récurrence la propriété
P(n):k=0∑2n−1k+1(−1)k=k=n+1∑2nk1 est vraie pour tout entier naturel
n≥2.
■