UNIVERSITE D ORLEANS SL01MA11, Groupes 1 et 5 Département de Mathématiques 2009-2010. N. El Hage Hassan S EXPRIMER EN MATHÉMATIQUES



Documents pareils
Logique. Plan du chapitre

Suites numériques 3. 1 Convergence et limite d une suite

Chapitre 2. Eléments pour comprendre un énoncé

III- Raisonnement par récurrence

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

Université Paris-Dauphine DUMI2E 1ère année, Applications

6. Les différents types de démonstrations

Chapitre 2 Le problème de l unicité des solutions

La mesure de Lebesgue sur la droite réelle

Sur certaines séries entières particulières

Continuité en un point

Image d un intervalle par une fonction continue

Problèmes de Mathématiques Filtres et ultrafiltres

Limites finies en un point

DOCM Solutions officielles = n 2 10.

Cours de mathématiques

Continuité d une fonction de plusieurs variables

Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications

avec des nombres entiers

Cours Fonctions de deux variables

Raisonnement par récurrence Suites numériques

Correction du Baccalauréat S Amérique du Nord mai 2007

Exercices - Polynômes : corrigé. Opérations sur les polynômes

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.

Pour l épreuve d algèbre, les calculatrices sont interdites.

3 Approximation de solutions d équations

Exo7. Limites de fonctions. 1 Théorie. 2 Calculs

Fonctions de plusieurs variables

Peut-on imiter le hasard?

Seconde Généralités sur les fonctions Exercices. Notion de fonction.

Dualité dans les espaces de Lebesgue et mesures de Radon finies

Développement décimal d un réel

Manuel d utilisation 26 juin Tâche à effectuer : écrire un algorithme 2

FONCTION EXPONENTIELLE ( ) 2 = 0.

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

Une forme générale de la conjecture abc

Proposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5.

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

Chapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme

Probabilités sur un univers fini

IUT de Laval Année Universitaire 2008/2009. Fiche 1. - Logique -

Chapitre 2. Matrices

I. Ensemble de définition d'une fonction

Moments des variables aléatoires réelles

LES TYPES DE DONNÉES DU LANGAGE PASCAL

Soit la fonction affine qui, pour représentant le nombre de mois écoulés, renvoie la somme économisée.

Calcul fonctionnel holomorphe dans les algèbres de Banach

Cours de Probabilités et de Statistique

Probabilités sur un univers fini

Le produit semi-direct

Théorème du point fixe - Théorème de l inversion locale

Construction d un cercle tangent à deux cercles donnés.

Loi binomiale Lois normales

Groupe symétrique. Chapitre II. 1 Définitions et généralités

Correction de l examen de la première session

Calcul différentiel sur R n Première partie

D'UN THÉORÈME NOUVEAU

Intégration et probabilités TD1 Espaces mesurés Corrigé

Marc HINDRY. Introduction et présentation. page 2. 1 Le langage mathématique page 4. 2 Ensembles et applications page 8

Puissances d un nombre relatif

Carl-Louis-Ferdinand von Lindemann ( )

Texte Agrégation limitée par diffusion interne

La fonction exponentielle

Date : Tangram en carré page

Cours3. Applications continues et homéomorphismes. 1 Rappel sur les images réciproques

Relation d ordre. Manipulation des relations d ordre. Lycée Pierre de Fermat 2012/2013 Feuille d exercices

I. Polynômes de Tchebychev

Cours d arithmétique Première partie

Fibonacci et les paquerettes

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre

1 Définition et premières propriétés des congruences

Chapitre 11. Séries de Fourier. Nous supposons connues les formules donnant les coefficients de Fourier d une fonction 2 - périodique :

Eteindre. les. lumières MATH EN JEAN Mme BACHOC. Elèves de seconde, première et terminale scientifiques :

Comparaison de fonctions Développements limités. Chapitre 10

Rappels sur les suites - Algorithme

Commun à tous les candidats

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?

TP 2 Réseaux. Adresses IP, routage et sous-réseaux

Précision d un résultat et calculs d incertitudes

Exercices - Nombres complexes : corrigé. Formes algébriques et trigonométriques, module et argument

LES GENERATEURS DE NOMBRES ALEATOIRES

Un K-espace vectoriel est un ensemble non vide E muni : d une loi de composition interne, c est-à-dire d une application de E E dans E : E E E

Continuité et dérivabilité d une fonction

Rappels et compléments, première partie : Nombres complexes et applications à la géométrie

Chapitre 3. Mesures stationnaires. et théorèmes de convergence

République Algérienne Démocratique et Populaire

BACCALAURÉAT GÉNÉRAL SESSION 2012 OBLIGATOIRE MATHÉMATIQUES. Série S. Durée de l épreuve : 4 heures Coefficient : 7 ENSEIGNEMENT OBLIGATOIRE

Cours de mathématiques Première année. Exo7

Correction du baccalauréat S Liban juin 2007

Résolution d équations non linéaires

Extrait du poly de Stage de Grésillon 1, août 2010

Chap 4. La fonction exponentielle Terminale S. Lemme : Si est une fonction dérivable sur R telle que : = et 0! = 1 alors ne s annule pas sur R.

PLAN NOTATIONS UTILISÉES

Résolution de systèmes linéaires par des méthodes directes

Equations cartésiennes d une droite

Nombres, mesures et incertitudes en sciences physiques et chimiques. Groupe des Sciences physiques et chimiques de l IGEN

PRIME D UNE OPTION D ACHAT OU DE VENTE

Baccalauréat S Antilles-Guyane 11 septembre 2014 Corrigé

Angles orientés et trigonométrie

Transcription:

UNIVERSITE D ORLEANS SL01MA11, Groupes 1 et 5 Département de Mathématiques 2009-2010 N. El Hage Hassan S EXPRIMER EN MATHÉMATIQUES 1 Les énoncés La plupart des phrases que l on rencontre dans un livre de mathématiques concernent des objects mathématiques. Ces phrases ont pour but de définir de tels objects ou bien d en affirmer des propriétés. Ces phrases s appellent des énoncés. Voici des exemples d énoncés. (1) Le nombre 711 7 11 est un entier positif. (2) Soit x un nombre réel strictement positif. (3) Il existe un entier naturel plus grand que 2 100. (4) Posons a = 1 0 e t2 dt. (5) Si n est un entier relatif, alors 16n 2 48n + 33 est un entier positif. (6) Si x est un nombre réel, le plus grand des nombres x et x s appelle la valeur absolue de x. (7) Notons I l intervalle [0, 1]. (8) Si n est un entier positif, alors ou bien n est impair, ou bien n(n + 2)(n + 3) est multiple de 4. (9) Pour tout réel x tel que x 2 > 2, on a x > 1. (10) Si x est un nombre réel, la valeur absolue de x se note x. Un énoncé comme (2) permet de se donner un objet mathématique, en l introduisant en général par le mot soit. L énoncé (6) définit et nomme un nouvel objet, la valeur absolue d un nombre réel. Un tel énoncé s appelle une définition. Il y a des énoncés, comme (4), (7) ou (10), qui indiquent simplement que l on va désigner par un certain symbole un objet précédement défini: ce sont des notations. Une notation est le plus souvent introduite par l un des mots posons ou notons. Certains énoncés affirment une propriété: ce sont des propositions. Par exemple, (1), (3), (5), (8) et (9) sont des propositions. Une proposition est soit vraie, soit fausse et elle ne peut être à la fois vraie et fausse. Par exemple, la proposition (1) est vraie, ainsi que (3). Par contre, la proposition (9) est fausse: en effet, 2 est un nombre réel, ( 2) 2 est strictement plus grand que 2 et 2 n est pas strictement plus grand que 1.

Certaines propositions sont des expressions mathématiques écrites sous forme purement symbolique, comme par exemple π 6 < 5 ou bien sin(t) dt = 0. Ces propositions n étant pas des phrases, 2 0 on doit les employer en utilisant des formes grammaticales correctes, notamment en ce qui concerne les verbes. Par exemple, il convient d écrire puisque l on a 6 < 25, on en déduit 6 < 5 et non 4 2 pas 6 < 5 car 6 < 25. Cependant, pour ne pas alourdir le style, des libertés sont permises, à 2 4 la condition expresse qu elles ne nuisent pas au sens. Par exemple, l expression on a 6 < 5 car 2 6 < 25 est permise en mathématiques. 4 Dans un livre de mathématiques, les propositions à retenir sont en général introduites par le mot Proposition. Certains énoncés particulièrement importants sont signalés par le mot Théorème. Un Corollaire est une propriété qui résulte d un théorème ou d une proposition précédente. Un Lemme est une propriété dont on a besoin pour la suite et qui mérite d être mise en évidence. Un énoncé qui définit un nouvel objet mathématique s appelle une Définition. 2 Opérations logiques Voici les opérations que l on peut effectuer avec des propositions. I. La négation. Soit P une proposition. On désigne par non P la proposition qui est vraie si P est fausse et qui est fausse si P est vraie. Elle est appelée négation de P et se lit non P. Par exemple, la négation de la proposition 2 n est pas un entier naturel est tout simple la proposition 2 est un entier naturel. II. L opération ou. Considérons la proposition suivante, où n et p sont des entiers relatifs: R : np est pair ou n 2 p 2 est multiple de 8. Cette proposition est du type (P ou Q), où P est la proposition np est pair et où Q est la proposition n 2 p 2 est multiple de 8. Par définition, une proposition de la forme (P ou Q) est vraie si et seulement si l une au moins des propositions P ou Q est vraie; si P et Q sont fausses toutes les deux, alors la proposition (P ou Q) est fausse. Dans notre exemple, choisissons n = 5 et p = 3. Alors la proposition P est fausse et la proposition Q est vraie, donc R est vraie lorsque n = 5 et p = 3. Si n = 5 et p = 2, la proposition P est vraie et la proposition Q est fausse, donc R est vraie. Si n = 6 et p = 2, chacune des deux propositions P et Q est vraie, donc R est vraie aussi dans ce cas. III. L opération et. Considérons la proposition suivante, où x est un nombre réel: R : x est strictement positif et x 2 + 3x 4 est strictement négatif. Cette proposition est du type (P et Q), où P est la proposition x est strictement positif et où Q est la proposition x 2 + 3x 4 est strictement négatif. Par définition, une proposition de la forme (P et Q) est vraie si et seulement si les

propositions P et Q sont toutes les deux vraies. Si la proposition P est fausse ou si la proposition Q est fausse, alors la proposition (P et Q) est fausse. Puisque l on a x 2 + 3x 4 = (x 1)(x + 4), la proposition Q est vraie si et seulement si x vérifie les inégalités 4 < x < 1, donc la proposition R est vraie si et seulement si l on a 0 < x < 1. IV. L implication. Si P et Q sont des propositions, la proposition si P, alors Q exprime que si P est vraie, alors Q est vraie aussi. Les propositions de ce type sont tellement utilisées que l on leur a donné un nom: on les appelle des implications. La proposition si P, alors Q peut aussi s exprimer par P implique Q ou encore par P donc Q. Lorsque les propositions P et Q sont constituées de symboles mathématiques, et seulement dans ce cas, on peut utiliser le signe = qui se lit implique et l on écrit P = Q pour exprimer que la proposition P implique la proposition Q. Voici des exemples de formulation: Si n est un entier positif, alors n 3 n est multiple de 3. n est un entier positif implique n 3 n est multiple de 3. 6 < 25 = 6 < 5. 4 2 x appartient à l intervalle ] 4, 1[, donc x 2 + 3x 4 est strictement négatif. x ], 4[= x 2 + 3x 4 > 0. Si P et Q sont des propositions, la proposition (P = Q) est vraie seulement dans l un des cas suivants: ou bien P et Q sont vraies, ou bien P est fausse. Ainsi, (P = Q) est vraie si et seulement si l une des propositions non P ou Q est vraie. Par exemple, la propostion (5) est vraie, de même que la proposition (8) qui est du même type. La proposition (9) a également la structure si..., alors..., car elle pourrait aussi bien se formuler sous la forme si x est un nombre réel tel que x 2 > 2, alors on a x > 1. Cette proposition (9) est fausse: en effet, 2 est un nombre réel tel que ( 2) 2 soit strictement plus grand que 2 et 2 ne soit pas strictement plus grand que 1. V. L équivalence. Si P et Q sont des propositions, la proposition ((P = Q) et (Q = P )) se note (P Q). Le signe se lit équivaut à ou si et seulement si. Donc, la proposition (P Q) est vraie si et seulement si les deux propositions (P = Q) et (Q = P ) sont vraies. Lorsque la proposition (P Q) est vraie, on dit aussi que les propositions P et Q sont équivalentes. Par exemple, lorsque z et z sont des nombres complexes, on a l équivalence zz = 0 (z = 0 ou z = 0). On peut résumer les définitions précédentes dans un tableau, appelé table de vérité. Ce tableau indique, pour chaque valeur possible Vraie ou Fausse des propositions P et Q la valeur de (non P ), (P et Q), (P ou Q), (P = Q) et (P Q): P Q non P (P et Q) (P ou Q) (P = Q) (P Q) V V F V V V V V F F F V F F F V V F V V F F F V F F V V Table de vérité Exercice. En complétant la table de vérité précédente, démontrer les équivalences suivantes: Soient P et Q des propositions. On a:

1. non(p ou Q) (non(p ) et non(q)). 2. non(p et Q) (non(p ) ou non(q)). 3. (P = Q) (non(p ) ou Q) non(p et non(q)). Exercice. En dressant une table de vérité, démontrer l implication suivante: Soient A, B et C des propositions. On a la propriété de transitivité: ((A = B) et (B = C)) = (A = C). 3 Quantificateurs Certaines propositions sont exprimées à l aide d une ou plusieurs variables qui peuvent prendre différentes valeurs. Des telles propositions sont vraies ou fausses selon les valeurs que prennent ces variables. Par exemple, la proposition x est un nombre réel et x 2 +3x 4 est strictement négatif est une proposition P (x) qui dépend de la variable x. La proposition P (x) n est pas toujours vraie: elle ne l est que lorsque x est un nombre appartenant à l intervalle ] 4, 1[. De même, la proposition x est un nombre réel et x 5 + x 1 = 0 est une proposition Q(x) qui dépend de la variable x. Il peut être utile d affirmer que l on peut trouver un nombre réel x tel que x 5 +x 1 = 0. Pour préciser ces différents cas de figure, on définit deux opérateurs, appelés quantificateurs. I. Le quantificateur pour tout. Pour exprimer que l on a x 2 + 3x 4 < 0 à chaque fois que x est un nombre de l intervalle ] 4, 1[, nous dirons pour tout nombre x appartenant à ] 4, 1[, on a x 2 + 3x 4 < 0 ou bien quel que soit le nombre x appartenant à ] 4, 1[, on a x 2 + 3x 4 < 0. Lorsque l on veut exprimer par des symboles mathématiques une proposition qui commence par l expression pour tout, on utilise le signe, qui se lit pour tout et le signe, qui se lit appartient à et qui affirme qu un élément est dans l ensemble considéré. Ainsi, notre proposition se formalise de la manière suivante: ( x ] 4, 1[, x 2 + 3x 4 < 0) Plus généralement, supposons que P (x) est une proposition qui dépend d un objet appartenant à un certain ensemble E. La proposition ( x E, P (x)) est vraie si et seulement si P (x) est vraie à chaque fois que x est un élément de l ensemble E. Par exemple, la proposition ( x ] 4, 1[, x 2 +3x 4 < 0) est vraie. Pour que la proposition ( x E, P (x)) soit fausse, il suffit de trouver un élément x appartenant à E pour lequel la proposition P (x) est fausse. Par exemple, la proposition ( x ]0, 3[, x 2 + 3x 4 < 0) est fausse car le nombre 2 appartient à ]0, 3[ et le nombre 2 2 + 3 2 4 n est pas strictement négatif. II. Le quantificateur il existe. Supposons que l on veuille affirmer la possibilité de trouver un nombre réel x vérifiant la propriété x 2 + 53x 231 = 0. Nous dirons il existe un nombre réel x tel que x 2 + 53x 231 = 0. En fait, il est facile de calculer deux nombres réels ayant cette propriété; mais pour être assuré que la proposition précédente est vraie, il suffit de trouver l un de ces nombres, ou bien sans faire de calculs; d expliquer pourquoi il est possible d en trouver un (le discriminant du trinôme est positif). On peut employer le signe, qui se lit il existe, pour formuler par des symboles une proposition commençant par l expression il existe. Par exemple, on écrit x R, x 2 + 53x 231 = 0.

D une façon générale, supposons que P (x) est une proposition qui dépend d un objet appartenant à un certain ensemble E. La proposition ( x E, P (x)) est fausse si et seulement si la proposition P (x) est fausse pour tous les éléments de E. Ces quatificateurs et satisfont l axiome suivant: La négation de la proposition ( x E, P (x)) est la proposition ( x E, non(p (x))). La négation de la proposition ( x E, P (x)) est la proposition ( x E, non(p (x))). Remarque. La proposition ( m N, n N, m + n est un nombre pair) exprime que, quel que soit l entier naturel m, il existe un entier naturel n tel que m + n soit un nombre pair. On démontre facilement que cette proposition est vraie. Par contre la proposition ( n N, m N, m + n est un nombre pair) qui exprime qu il existe un entier naturel n tel que, quel que soit l entier naturel m, m + n soit un nombre pair est fausse, comme on le montre facilement. On voit donc que l ordre dans lequel sont écrits les quatificateurs et est très important. 4 Différents types de raisonnement Pour affirmer qu une proposition Q est vraie, on fait un raisonnement ou une démonstration. Pour cela, on utilise des propositions que l on sait déjà être vraies et l on en déduit la proposition grâce à un petit nombre de rèles précises. Voici différents types de raisonnement. I. Le raisonnement direct. En général la démonstration consiste à établir une chaîne d implications aboutissant à Q. Pour montrer une proposition de la forme pour tout x E, Q, on se donne un élément quelconque x appartenant à l ensemble E et l on démontre que la proposition Q est vraie. La démonstration débute par l expression soit x un élément de E ou bien par soit x E et se termine par donc Q. Exemple. Démontrer la proposition suivante: pour tout entier relatif n, 16n 2 48n + 33 est un entier positif. Démonstration. Soit n un entier relatif. Puisqu un produit, une somme et une différence d entiers relatifs sont des entiers relatifs, on en déduit que 16n 2 48n + 33 est un entier. D autre part, on a l égalité 16n 2 48n + 33 = 4(2n 3) 2 3. Puisque n est un entier relatif, 2n 3 est un entier relatif différent de 0, par suite on a 2n 3 1, d où (2n 3) 2 1. Il s ensuit que l on a 4(2n 3) 2 3 4 3 = 1, donc 16n 2 48n + 33 est un entier positif. Pour démontrer une proposition de la forme il existe x E, Q, le plus direct est d exhiber un élément de l ensemble E pour lequel la proposition Q est vraie. Mais quelquefois, il n est pas possible de calculer explicitement un tel élément. Dans ce cas, il faut penser à appliquer un résultat du cours affirmant qu un tel élément existe. II. Le raisonnement cas par cas. Il s applique lorsque l on veut démontrer une implication de la forme ((P ou Q) = R). On distingue deux cas: ou bien P est vraie et il faut démontrer qu alors R est vraie, ou bien Q est vraie et il faut démontrer qu alors R est vraie. La structure du raisonnement est

premier cas: supposons que P est vraie,... donc R. second cas: supposons que Q est vraie,... donc R. Exemple. Démontrer que pour tout nombre réel x, on a l inégalité x 2 < x 2 2x + 3. Démonstration. Soit x un nombre réel. Premier cas: supposons x 2. On a x 2 = x 2 et x 2 2x+3 x 2 = x 2 3x+5 = (x 3 2 )2 + 11 4, donc x 2 2x + 3 x 2 > 0. Par conséquent, il vient x 2 < x 2 2x + 3. Second cas: supposons x < 2. On a x 2 = 2 x et x 2 2x +3 x 2 = x 2 x+1 = (x 1 2 )2 + 3 4, donc x 2 2x + 3 x 2 > 0. Par conséquent, il vient x 2 < x 2 2x + 3. Nous avons ainsi démontré que l inégalité x 2 < x 2 2x+3 est vraie quel que soit le nombre réel x. Exemple. Démontrer que si n et p sont des entiers relatifs, alors np est pair ou n 2 p 2 est multiple de 8. Démonstration. Premier cas: l un au moins des entiers relatifs n ou p est pair. Alors le produit np est pair. Second cas: n et p sont impairs. Alors il existe des entiers relatifs k et l tels que n = 2k + 1 et p = 2l + 1. Il vient n 2 p 2 = 4k 2 + 4k + 1 4l 2 4l 1 = 4(k(k + 1) l(l + 1)). Puisque k et k + 1 sont des entiers relatifs consécutifs, le produit k(k + 1) est pair. Il en est de même du produit l(l + 1). Il s ensuit que k(k + 1) l(l + 1) est pair, par suite l entier relatif n 2 p 2 est multiple de 8. III. Le raisonnement par contraposée. Il s agit d une règle de raisonnement permettant de démontrer qu une implication (P = Q) est vraie. On voit sur une table de vérité que les propositions (P = Q) et (non(q) = non(p )) sont équivalentes. Il en résulte que, pour démontrer le proposition (P = Q), on peut, si c est plus commode, démontrer la proposition (non(q) = non(p )). Pour cela, on fait l hypothèse que non(q) est vraie et l on démontre que non(p ) est vraie. On dit que l on raisonne par contraposée. Exemple. Soient x et y des nombres réels. Démontrer que si x et y sont différents, alors les nombres (x + 1)(y 1) et (x 1)(y + 1) sont différents. Il s agit de démontrer l implication (x y) = ((x + 1)(y 1) (x 1)(y + 1)). Démonstration. On raisonne par contraposée. Autrement dit, on démontre l implication ((x + 1)(y 1) = (x 1)(y + 1)) = (x = y). Supposons l égalité (x+1)(y 1) = (x 1)(y+1) vraie, c est-à-dire supposons que l on a xy x+y 1 = xy + x y 1. En simplifiant, il vient x + y = x y, d où 2(x y) = 0. On en déduit x y = 0, ou encore x = y. IV. Le raisonnement par l absurde. Pour démontrer l implication (P = Q) en raisonnant par l absurde, on fait les hypothèses que P est vraie et que Q est fausse; on cherche alors une proposition A qui sous ces hypothèses, serait à la fois vraie et fausse, ce qui n est pas possible: on dit que c est une contradiction ou que c est contradictoire. Les deux hypothèses P vraie et Q fausse ne

peuvent donc pas être vérifiées en même temps. Cela signifie que l une des deux au moins n est pas vraie, autrement dit P est fausse ou bien Q est vraie. Cette affirmation exprime exactement que l implication (P = Q) est vraie. Exemple. Démontrer, en raisonnant par l absurde, que si n est un entier strictement positif, alors n 2 + 1 n est pas le carré d un entier naturel. Démonstration. Supposons que n est un entier strictement positif et que n 2 + 1 est le carré d un entier naturel a. On a alors n 2 + 1 = a 2, donc a 2 n 2 = 1, d où (a n)(a + n) = 1. Comme a + n est un entier positif, il s ensuit que a n est un entier positif. Un produit d entiers positifs n est égal à 1 que si chacun d entre eux est égal à 1. On en déduit a n = 1, ou encore a = n + 1. Il vient a 2 = n 2 + 2n + 1 et a 2 = n 2 + 1, d où par soustraction 2n = 0. Puisque n est strictement positif, ceci est une contradiction. V. Le raisonnement par récurrence. Soit a un entier naturel. Supposons que pour tout entier n supérieur ou égal à a, nous ayons défini une propriété qui dépend de n et qu il est donc commode de noter P n. Principe de récurrence. Si la propriété P a est vraie et si pour tout entier naturel n supérieur ou égal à a, on a l implication (P n = P n+1 ), alors la propriété P n est vraie quel que soit l entier naturel n supérieur ou égal à a. Exemple. Démontrer, en raisonnant par récurrence, que pour tout entier naturel n, on a l inégalité 2 n > n. Démonstration. Soit P n la propriété: 2 n > n. On a 2 0 = 1 et 1 > 0, donc la propriété P 0 est vraie. Soit n un entier naturel. Supposons la propriété P n est vraie et démontrons que la propriété P n+1 est vraie. On a 2 n+1 = 2 n 2 = 2 n + 2 n. Par hypothèse de récurrence, on a l inégalité 2 n > n. On en déduit l inégalité 2 n+1 > n + 2 n. Puisque l on a 2 n 1, il vient 2 n+1 > n + 1. Nous avons ainsi démontré que pour tout entier naturel n, l implication (P n = P n+1 ) est vraie. Puisque la propriété P 0 est vraie, le principe de récurrence affirme que l inégalité 2 n > n est vraie quel que soit l entier naturel n. Exemple. Démontrer, en raisonnant par récurrence, que pour tout entier naturel n supérieur ou égal à 5, on a l inégalité 2 n > n 2. Démonstration. Soit P n la propriété: 2 n > n 2. On a 2 5 = 32 et 5 2 = 25, par suite la propriété P 5 est vraie. Soit n un entier naturel supérieur ou égal à 5. Supposons la propriété P n est vraie et démontrons que la propriété P n+1 est vraie. Puisque l on a 2 n+1 = 2 n + 2 n et 2 n > n 2 par hypothèse de récurrence, on en déduit 2 n+1 > 2n 2. D autre part, on a 2n 2 (n + 1) 2 = n 2 2n 1 = (n 1) 2 2. Or on a n 5, donc à fortiori n 3. Il s ensuit n 1 2, puis (n 1) 2 4. On en déduit 2n 2 > (n + 1) 2 et donc 2 n+1 > (n + 1) 2. Nous avons ainsi démontré que pour tout entier naturel n supérieur ou égal à 5, l implication (P n = P n+1 ) est vraie. Le principe de récurrence affirme que l inégalité 2 n > n 2 est vraie quel que soit l entier naturel n supérieur ou égal à 5. Remarque. Dans l exemple précédent, on a démontré que l implication (P n = P n+1 ) est vraie pour tout entier naturel n supérieur ou égal à 3. Mais les propriétés P 3 et P 4 sont fausses.