Chapitre 4. Quelques types de raisonnement



Documents pareils
Problème 1 : applications du plan affine

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

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

Probabilités sur un univers fini

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

avec des nombres entiers

Logique. Plan du chapitre

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

Problèmes de Mathématiques Filtres et ultrafiltres

Objets Combinatoires élementaires

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

LES GENERATEURS DE NOMBRES ALEATOIRES

Cours de mathématiques

III- Raisonnement par récurrence

Axiomatique de N, construction de Z

Initiation à la programmation en Python

Introduction à l étude des Corps Finis

Moments des variables aléatoires réelles

Calcul fonctionnel holomorphe dans les algèbres de Banach

UNIVERSITE IBN ZOHR Faculté des sciences Agadir. Filière SMA & SMI. Semestre 1. Module : Algèbre 1

Le produit semi-direct

Image d un intervalle par une fonction continue

Suites numériques 4. 1 Autres recettes pour calculer les limites

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

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

ÉPREUVE COMMUNE DE TIPE Partie D

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.

Probabilités. Rappel : trois exemples. Exemple 2 : On dispose d un dé truqué. On sait que : p(1) = p(2) =1/6 ; p(3) = 1/3 p(4) = p(5) =1/12

Chap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1

Feuille TD n 1 Exercices d algorithmique éléments de correction

Probabilités. I Petits rappels sur le vocabulaire des ensembles 2 I.1 Définitions... 2 I.2 Propriétés... 2

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

Résolution d équations non linéaires

Exo7. Calculs de déterminants. Fiche corrigée par Arnaud Bodin. Exercice 1 Calculer les déterminants des matrices suivantes : Exercice 2.

Exo7. Matrice d une application linéaire. Corrections d Arnaud Bodin.

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

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

Fonctions linéaires et affines. 1 Fonctions linéaires. 1.1 Vocabulaire. 1.2 Représentation graphique. 3eme

Continuité et dérivabilité d une fonction

Probabilité. Table des matières. 1 Loi de probabilité Conditions préalables Définitions Loi équirépartie...

Triangle de Pascal dans Z/pZ avec p premier

Fibonacci et les paquerettes

Probabilités sur un univers fini

Gestion des Clés Publiques (PKI)

TP3 : Manipulation et implantation de systèmes de fichiers 1

Définitions. Numéro à préciser. (Durée : )

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

Structures algébriques

Factorisation Factoriser en utilisant un facteur commun Fiche méthode

Rappels sur les suites - Algorithme

Correction de l examen de la première session

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

EXERCICE 4 (7 points ) (Commun à tous les candidats)

6. Les différents types de démonstrations

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

CONDITIONS DE REUSSITE, DISPENSES, REPORTS ET CREDITS DANS L ENSEIGNEMENT SUPERIEUR

Dérivation : cours. Dérivation dans R

PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES

Sur certaines séries entières particulières

Introduction à la théorie des graphes. Solutions des exercices

La mesure de Lebesgue sur la droite réelle

CHAPITRE V SYSTEMES DIFFERENTIELS LINEAIRES A COEFFICIENTS CONSTANTS DU PREMIER ORDRE. EQUATIONS DIFFERENTIELLES.

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

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

Présentation du langage et premières fonctions

Mathématiques Algèbre et géométrie

INTRODUCTION À L ANALYSE FACTORIELLE DES CORRESPONDANCES

Partie 1 - Séquence 3 Original d une fonction

Fonctions de plusieurs variables

Carl-Louis-Ferdinand von Lindemann ( )

Corps des nombres complexes, J Paul Tsasa

TP 1 Prise en main de l environnement Unix

Théorie et Codage de l Information (IF01) exercices Paul Honeine Université de technologie de Troyes France

Limites finies en un point

Une forme générale de la conjecture abc

Probabilités. C. Charignon. I Cours 3

Le théorème de Thalès et sa réciproque

L exclusion mutuelle distribuée

1 radian. De même, la longueur d un arc de cercle de rayon R et dont l angle au centre a pour mesure α radians est α R. R AB =R.

Date : Tangram en carré page

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

Bureau N301 (Nautile)

LE PROCESSUS ( la machine) la fonction f. ( On lit : «fonction f qui à x associe f (x)» )

Réalisabilité et extraction de programmes

P1 : Corrigés des exercices

COURS EULER: PROGRAMME DE LA PREMIÈRE ANNÉE

Cours d arithmétique Première partie

C f tracée ci- contre est la représentation graphique d une

CALCUL DES PROBABILITES

Modèles de Calcul. Yassine Lakhnech. 2007/08 Université Joseph Fourier Lab.: VERIMAG. Modèles de Calcul Start p.

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

CORRECTION EXERCICES ALGORITHME 1

Chapitre 1 Qu est-ce qu une expression régulière?

TP1 - Prise en main de l environnement Unix.

Installer Joomla Pearson France Joomla! Le guide officiel Jennifer Marriott, Elin Waring

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


RÉALISATION DE GRAPHIQUES AVEC OPENOFFICE.ORG 2.3

Cours d Analyse I et II

Fondements de l informatique Logique, modèles, et calculs

Transcription:

Chapitre 4 Quelques types de raisonnement 1. Aide à la rédaction d un raisonnement 1.1. Analyse du problème La première chose est de distinguer les hypothèses (= propositions vraies) de la question (=proposition à démontrer) : il faut savoir clairement distinguer ce qui est connu ou admis de ce qui est à montrer. Une fois reconnues toutes les hypothèses, il faut les expliciter, éventuellement les écrire sous une forme synonyme : introduisez des notations (il faut nommer les objets afin de pouvoir en parler), rappelez-vous des propriétés que les hypothèses peuvent entrainer. Remarque - Les hypothèses interviennent généralement au cours du raisonnement ; elles en sont rarement le point de départ. Il faut trouver le bon endroit où les utiliser. On s intéresse ensuite au problème à montrer : essayer de le rapprocher d un problème déjà résolu faire une figure peut être une aide (mais non une démonstration) regarder des cas particuliers (pour se faire une idée) ne pas oublier d hypothèses et ne pas les affaiblir 1.2. Rédaction d une démonstration Annoncez ce que vous allez faire et donnez vous conclusions : structurez vos démonstrations Fixez vos notations : si vous introduisez une nouvelle notation, définissez-la clairement : soit x un réel positif Justifiez les étapes de votre démonstration : citez les théorèmes avec leurs hypothèses et vérifiez ces hypothèses (multiplication d une inégalité par un terme positif) Relisez la démonstration pour voir si elle est claire et vérifier que vous n avez pas oublié de cas 1.3. Quelques erreurs à éviter attention aux négations quelques exemples ne font pas une démonstration attention aux notations : ne pas donner le même nom à deux objets différents et ne pas supposer que deux objets ayant deux noms distincts sont distincts. 2. Montrer que (P ou Q) est vraie Pour montrer que l assertion (P ou Q) est vraie, on peut montrer que l une des deux assertions P ou Q est vraie. On peut également montrer que si l une des deux propositions est fausse, alors l autre est vraie. En pratique, on utilise la deuxième méthode sauf si l une des deux propositions est vérifiée de manière évidente. Exercice - Soit x un entier relatif. Montrer que (x est impair ou x 2 est pair).

Méthodes indirectes 3. Montrer une implication 3.1. Méthode directe Soit deux assertions P et Q. On veut montrer que l assertion P = Q est vraie. Si P est fausse, l assertion P = Q est vraie, quelle que soit la valeur de vérité de Q Il suffit donc de se placer dans le cas où P est vraie et montrer que Q est vraie. Le début de la démonstration s écrit donc : Supposons que P soit vraie. Montrons alors que Q est vraie. Exercice - Soit x un réel. Montrer que (x 2 x = x = x). 3.2. Par contraposition Proposition - Les assertions (P = Q) et ( (non Q) = (non P) ) ont la même valeur de vérité. Le raisonnement par contraposition s utilise lorsque l assertion (non Q) est plus facile à formaliser que P ou lorsqu il parait plus simple de passer de (non Q) à (non P) que de P à Q. Exercice - Soit n Z. Montrer que, (n 2 impair = n impair). 4. Montrer une équivalence 4.1. Par deux implications Il est fortement conseillé de démontrer une équivalence P Q en montrant que les deux implications P = Q et Q = P sont vraies. Exercice - Résoudre x = 2 x. 4.2. Cas de plusieurs équivalences Pour montrer que P Q R, on n est pas obligé de montrer 6 implications. Il suffit de montrer que les trois assertions P = Q, Q = R et R = P sont vraies. 5. Ensembles 5.1. Montrer une inclusion d ensembles Soit A et B deux sous-ensembles d un ensemble E. Pour montrer que A B, on cosidére un élément quelconque de l ensemble A et on montre qu il est élément de B. Exercice - Montrer que A A B et A B A. 5.2. Montrer une égalité d ensembles Pour montrer que deux ensembles A et B sont égaux, on montre que A B et B A. 6. Méthodes indirectes 18

6.1. Raisonnement par l absurde QUELQUES TYPES DE RAISONNEMENT dans une théorie mathématique, une assertion est soit vraie, soit fausse ; elle ne peut être les deux à la fois. Montrer qu une assertion P est vraie est donc équivalent à montrer que l assertion (non P) est fausse. Le raisonnement par l absurde consiste à supposer que (non P) est une assertion vraie (on rajoute donc une hypothèse) et à essayer de trouver une contradiction, par exemple qu une assertion Q est vraie ainsi que sa négation. Exercice - Montrer que 0 n est pas racine de A(x) = x 4 + 12x 1. On raisonne par l absurde. Supposons que 0 soit racine de A. Par définition, on aurait donc A(0) = 0 ; or le calcul montre que A(0) = 1, d où 1 = 0. On obtient une contradiction. Remarque - Le raisonnement par l absurde s utilise en particulier pour montrer qu un ensemble est vide (on suppose qu il ne l est pas et on considère un élément de cet ensemble) ou encore pour montrer l unicité d un certain élément (on suppose qu il y en a deux distincts et on cherche une contradiction). 6.2. Disjonction des cas Une assertion P peut se manipuler plus facilement si on suppose qu une proposition Q est également vraie. Dans ce cas, on démontre les deux assertions (P et (Q) et ( P et (non Q) ). Exercice - Résoudre x 1 x 4. 7. Raisonnement par récurrence On note N l ensemble des entiers naturels. Le raisonnement par récurrence s applique aux propositions dont l énoncé dépend d un entier naturel n. Il est une conséquence de la construction de l ensemble des entiers naturels N (basée sur les axiomes de Peano). Ce raisonnement peut prendre différentes formes ; nous étudierons le cas de la récurrence simple. Si les hypothèses suivantes sont vérifiées la propriété est vraie en n 0, lorsque la propriété est vraie pour k n 0, elle est vraie pour k + 1, alors la propriété est vraie pour tout entier n n 0. Exercice - Montrer que, pour tout entier naturel n, 2 n > n. Remarques - Définissez clairement l hypothèse de récurrence, donnez-lui un nom qui mette en évidence qu elle dépend d un entier. Si l hypothèse de récurrence ne vous est pas donnée, il faut essayer de la découvrir avec les cas n = n 0, n = n 0 + 1,... SOMME ET PRODUIT Soit p et q deux entiers naturels avec p q et f une application de N dans C. On note f(i) la somme des nombres f(i) lorsque i varie de p à q : f(i) = f(p) + f(p + 1) + + f(q 1) + f(q). q f(i) le produit de ces mêmes termes : 19

Raisonnement par récurrence q f(i) = f(p) f(p + 1) f(q 1) f(q). Remarques - f(i) = f(j). j=p n 1 f(i) = f(i) + f(n). i=1 i=1 Exemples - 1 = n i=1 n 1 = 1 i=1 Remarque - La récurrence ne sert pas qu à démontrer certaines propriétés sur l ensemble des entiers naturels ; elle permet de donner des définitions. Par exemple, le symbole est défini de manière correcte par pour q p = 0 si q p 0 f(i) = f(p) q+1 f(i) = f(i) + f(q + 1) Exemple - Pour n entier naturel, calculer la somme S n = (2i + 1). On peut commencer par étudier les cas n = 1, n = 2, etc. On trouve S 0 = 1, S 1 = 4, S 2 = 9 et on peut deviner que l on a S n = (n + 1) 2 pour tout n. Reste à le vérifier en écrivant une démonstration de cette proposition. Démonstration - On va montrer que pour tout entier n, on a : (2i + 1) = (n + 1) 2. Pour n entier naturel, notons S n la somme S n = (2i + 1). et P(n) la propriété S n = (n + 1) 2. Il faut montrer que P(n) est vraie pour tout n. On procède par récurrence sur n. Montrons que P(0) est vraie. Pour n = 0, on a : 0 S 0 = (2i + 1) = 1 et (n + 1) 2 = 1. Donc P(0) est vraie. Soit k un entier tel que P(k) est vraie ; montrons qu alors P(k + 1) est vraie. L hypothèse est S k = (k + 1) 2 et on veut montrer que l on a S k+1 = (k + 2) 2. Or on a : k+1 S k+1 = (2i + 1) = S k + (2k + 3). En utilisant l hypothèse, on obtient : S k+1 = (k + 1) 2 + (2k + 3) = k 2 + 4k + 4 = (k + 2) 2. 20

QUELQUES TYPES DE RAISONNEMENT Donc P(k + 1) est vraie. On a donc montré que P(n) est vraie pour tout n, ce qui est équivalent au résultat cherché. Commentaire - L utilisation d une récurrence permet très souvent de répondre à ce type de question. Il faut prendre la peine de bien préciser l hypothèse de récurrence, de lui donner un nom (ici P(n)) et de bien signaler les étapes. Il faut également faire attention au démarrage : vérifiez que le passage de k k +1 marche dès le départ et qu il n y ait pas un cas particulier pour n 0, n 0 + 1,... Exercice - 1 ) Montrer, par récurrence sur n, que i = n(n + 1)/2. i=1 8. Les quantificateurs 8.1. Le quantificateur universel Supposons que l on ait à démontrer une assertion du type ( x E, P(x) ). La démonstration consiste généralement par : soit x un élément (quelconque) de E, montrons que l assertion P(x) est vraie. Cette écriture fixe l élément x mais ne lui impose aucune particularité autre que d appartenir à E. Remarque - Si E = N, penser à la récurrence. 8.2. Contre-exemple Pour montrer qu une assertion du type ( x E, P(x) ) est fausse, il suffit de montrer que sa négation ( x E, non P(x) ) est vraie. Il suffit donc de trouver un élément x de E qui vérifie (non P(x)) : on dit qu on a trouvé un contre-exemple. 8.3. Le quantificateur existenciel On veut démontrer une assertion du type ( x E, P(x) ). Ces propriétés sont souvent plus difficiles à montrer, sauf si on peut se rattacher à un théorème d existence déjà connu. Le plus souvent, on est amené à construire l élément x vérifiant P. Il faut alors essayer d analyser le problème pour avoir l intuition d une solution possible. Il ne reste ensuite qu à vérifier que le x ainsi construit vérifie bien P et qu il est bien élément de E. Exercice - Montrer qu il existe x R tel que x = x + 6. Si x existe, alors il vérifie (x 6) 2 = x, d où x = 4 ou x = 9. On vérifie que x = 9 convient. 21

TABLE DES MATIERES IV - Quelques types de raisonnement 17 1. Aide à la rédaction d un raisonnement............................... 17 1.1. Analyse du problème......................................... 17 1.2. Rédaction d une démonstration................................. 17 1.3. Quelques erreurs à éviter...................................... 17 2. Montrer que (P ou Q) est vraie..................................... 17 3. Montrer une implication.......................................... 17 3.1. Méthode directe............................................. 18 3.2. Par contraposition........................................... 18 4. Montrer une équivalence.......................................... 18 4.1. Par deux implications......................................... 18 4.2. Cas de plusieurs équivalences................................... 18 5. Ensembles..................................................... 18 5.1. Montrer une inclusion d ensembles............................... 18 5.2. Montrer une égalité d ensembles................................. 18 6. Méthodes indirectes.............................................. 18 6.1. Raisonnement par l absurde.................................... 18 6.2. Disjonction des cas........................................... 19 7. Raisonnement par récurrence....................................... 19 8. Les quantificateurs.............................................. 21 8.1. Le quantificateur universel..................................... 21 8.2. Contre-exemple.............................................. 21 8.3. Le quantificateur existenciel.................................... 21 i