La preuve est un élément très important des mathématiques. En tant que mathématiciens, nous ne pouvons pas croire un fait s'il n'a pas été entièrement prouvé par d'autres faits que nous connaissons.
Nous passerons ensuite à des éléments de preuve plus difficiles, une preuve spéciale appelée induction mathématique.
Ces preuves sont relativement simples et méthodiques, cependant, nous examinerons quelques astuces que l'on peut utiliser pour accélérer le processus.
Qu'est-ce qu'une preuve par contre-exemple ?
La preuve par contre-exemple est probablement l'une des preuves les plus élémentaires que nous allons étudier. Elle correspond à peu près à ce qu'elle énonce et consiste à prouver quelque chose en trouvant un contre-exemple.
Les étapes sont les suivantes.
Étape
Pourquoi ?
Énonce clairement ta conjecture et ce que tu dois prouver.
Démontrer l'objectif de cette preuve.
Trouve un contre-exemple, nous pouvons le faire en testant des exemples et nous finirons par trouver un bon exemple.
Celui-ci réfutera notre conjecture.
Conjecture : Énoncé de ce que nous essayons de prouver ou de réfuter.
Prenons un petit exemple pour nous aider à comprendre ce qui se passe.
Démontre par un contre-exemple que toutes les valeurs desont impaires, pour.
SOLUTION :
Si on laisse,
4 ne peut pas s'écrire sous la formeavec.
Donc 4 n'est pas impair.
Nous avons trouvé un contre-exemple qui réfute la conjecture.
Qu'est-ce que la preuve par épuisement ?
La preuve par épuisement consiste à tester tous les exemples pertinents et à vérifier qu'ils satisfont tous la conjecture. Cette méthode, utilisée lorsque les cas sont limités, permet donc de tester tous les exemples pertinents, ce qui ne prend pas beaucoup de temps. Voyons comment nous procédons en plusieurs étapes :
Étape
Pourquoi ?
Énonce ta conjecture.
Trouve l'objectif de notre preuve.
Trouve tous les exemples nécessaires à tester.
Permet de voir quels sont les cas que nous devons tester.
Teste tous les cas pertinents.
Vérifie que tous nos cas "épuisés" fonctionnent.
Fais une déclaration au sujet de ta preuve.
Résume bien la preuve.
Voyons un petit exemple de fonctionnement.
Prouve par épuisement que les nombres pairs positifs consécutifs inférieurs à 10, s'additionnent en nombres pairs.
SOLUTION :
Nous voulons voir que la somme de deux nombres pairs positifs consécutifs inférieurs à 10 est paire.
Les nombres que nous allons utiliser sont donc 2, 4, 6 et 8.
6, 10 et 14 sont tous des nombres pairs car ce sont tous des multiples de 2 :
Par conséquent, ces sommes sont toutes des nombres pairs.
Notre conjecture a donc été prouvée.
Il existe quelques symboles utiles que nous pouvons utiliser pendant et après avoir terminé une preuve. Cela peut donner à notre preuve une allure un peu plus fantaisiste. Ces symboles sont les suivants :
Symbole
Explication
Q.E.D
Q.E.D. signifie quod erat demonstrandum. En latin, cela signifie qu'il a été prouvé.
Cela signifie exactement la même chose que Q.E.D..
Cela implique que. Tu utiliseras donc cette expression lorsqu'une affirmation en implique directement une autre.
Lorsque deux affirmations s'impliquent l'une et l'autre, on utilise cette flèche.
∴
Ces trois points signifient donc que l'on utilise un énoncé de fait comme base pour un nouvel énoncé de fait, par exemple a=2 ∴ a+2=4.
Qu'est-ce que la preuve par la contradiction ?
La preuve par contradiction consiste à tenter de prouver le contraire de ce que l'on nous demande. Réalise ensuite qu'il y a une contradiction dans notre preuve listée.
Il n'y a pas vraiment de liste d'étapes à suivre. Nous commençons simplement par essayer de prouver le contraire, puis nous utilisons des manipulations algébriques pour finalement montrer que c'est faux. Examinons un exemple clé de cette méthode, qui devrait être suffisamment explicite.
Prouve queest irrationnel.
SOLUTION :
Tout d'abord, décomposons ce qui nous est demandé. Nous voulons montrer quene peut pas s'écrire sous forme de fraction.
Essayons donc de prouver que c'est une fraction et trouvons notre contradiction.
Soitoùest une fraction dans sa forme la plus simple.
Si nous élevons les deux côtés au carré :
doit être pair, carest pair et la racine carrée d'un nombre pair est paire.
Soit,
Cela signifie queest pair. Par conséquent, cela signifie queest pair.
Si à la foisetsont pairs, cela signifie quen'est pas dans sa forme la plus simple.
Il s'agit d'une contradiction puisque nous avons supposé à l'origine queétait sous sa forme la plus simple.
Par conséquentn'est pas rationnel et est irrationnel.
Dans cet exemple, nous avons utilisé la manipulation algébrique et des faits mathématiques de base pour déplacer certains termes et montrer que quelque chose est irrationnel. Par conséquent, chaque fois que l'on nous pose une question comme celle-ci, il suffit d'utiliser l'algèbre et les faits relatifs aux nombres pour montrer qu'il y a une contradiction.
En latin, on parle de reductio ad absurdum, c'est-à-dire de preuve par l'absurde : on suppose quelque chose d'erroné et on trouve une contradiction.
Qu'est-ce que l'induction mathématique ?
L'induction mathématique est le processus par lequel nous utilisons des valeurs antérieures pour trouver de nouvelles valeurs. Nous l'utilisons donc lorsque nous essayons de prouver que quelque chose est vrai pour toutes les valeurs. Voici donc la liste des étapes à suivre pour répondre à une question générale :
Prouve que la"conjecture" est vraie pour toutes les valeurs n≥m.
Étape
Pourquoi ?
1. Prouve que c'est vrai pour notre valeur la plus faible, (n=m dans ce cas).
Montre que notre valeur bornée inférieure est vraie.
2. Suppose qu'elle est vraie pour la valeur n=k.
Nous supposons que la conjecture est vraie pour une certaine valeur de notre plage pour l'utiliser en référence future.
3. Utilise le fait que n=k est vrai, prouve que n=k+1 est vrai.
Cela montre que pour certains n=k, n=k+1 est vrai. Par induction, cela signifie que les valeurs sont vraies.
4. Fais une déclaration pour conclure ceci dans la structure :Cela a été prouvé pour n=m, et pour certains n=k, n=k+1 est vrai. La conjecture est donc vraie pour toutes les valeurs n≥m.
Cela donne un énoncé récapitulatif à notre preuve et nous permet de voir notre objectif prouvé.
Voyons deux exemples de cela, l'un qui est plus général et l'autre qui est spécifique aux séries et aux suites.
Prouve par induction mathématique queest divisible par 4 pour tous les.
SOLUTION :
Étape 1: Nous devons d'abord testerce qui donne.
Il s'agit donc d'un multiple de 4.
Étape 2: Suppose que lorsquel'énoncé est correct.
Si nous l'écrivons en notation mathématique, nous obtenonsoù m est un nombre positif.
Étape 3: Utilisons maintenant le fait queest vrai pour prouver que pour:
Nous remplaçons maintenantà la place dedans lenous obtenons :
Étape 4: Par conséquent, en se basant sur le fait queest un multiple de 4,est un multiple de 4.
C'est donc vrai pouret pour certains, c'est vrai pour certains.
La conjecture est donc prouvée.
Voyons un autre exemple spécifique aux séries et aux séquences.
Prouve par induction mathématique quepour tout.
SOLUTION :
Étape 1: Tout d'abord, nous devons tester le cas où.
Étape 2: Nous supposons que le cas deest correct.
Étape 3: Maintenant, en utilisant le fait, nous devons tester pour:
Si nous simplifions cela, nous obtenons :
Si nous annulons le termedu numérateur et du dénominateur, nous obtenons :
Si nous annulons le terme du numérateur et du dénominateur, nous obtenons : , si nous revenons au fait que,
Étape 4: On a donc prouvé que lorsqueet pour certainsil a été prouvé pour. Par conséquent, c'est vrai pour tout.
Nous voyons donc qu'il suffit de manipuler l'algèbre et d'utiliser certaines règles sur les séries pour prouver des conjectures pour toutes les valeurs.
Preuve et induction mathématique - Principaux points à retenir
Il existe trois principaux types de preuves : le contre-exemple, l'épuisement et la contradiction.
Le contre-exemple est relativement simple et consiste à trouver un exemple pour réfuter une affirmation.
L'épuisement consiste à tester tous les cas pertinents et à voir s'ils sont vrais.
La contradiction consiste à essayer de prouver le contraire et à constater que l'affirmation est contredite.
L'induction mathématique consiste à vérifier que le cas le plus bas est vrai. Ensuite, on suppose que la conjecture est vraie pour un cas avant d'utiliser ce fait pour prouver que le cas un peu plus élevé que le précédent est vrai.
Apprends plus vite avec les 6 fiches sur Preuve et Induction Mathématique
Inscris-toi gratuitement pour accéder à toutes nos fiches.
Questions fréquemment posées en Preuve et Induction Mathématique
Qu'est-ce que l'induction mathématique ?
L'induction mathématique est une méthode de preuve qui consiste à démontrer qu'une proposition est vraie pour tous les nombres entiers naturels.
Comment fonctionne une preuve par induction ?
Une preuve par induction fonctionne en deux étapes : la base (vérifier la proposition pour un cas initial) et l'étape inductive (montrer que si la proposition est vraie pour n, elle l'est aussi pour n+1).
Pourquoi utiliser l'induction mathématique ?
L'induction mathématique permet de démontrer facilement des propositions concernant les nombres entiers, surtout quand une démonstration directe est complexe.
Quelle est la différence entre induction et déduction ?
L'induction généralise à partir de cas particuliers pour établir une règle générale, tandis que la déduction applique des règles générales à des cas particuliers.
How we ensure our content is accurate and trustworthy?
At StudySmarter, we have created a learning platform that serves millions of students. Meet
the people who work hard to deliver fact based content as well as making sure it is verified.
Content Creation Process:
Lily Hulatt
Digital Content Specialist
Lily Hulatt is a Digital Content Specialist with over three years of experience in content strategy and curriculum design. She gained her PhD in English Literature from Durham University in 2022, taught in Durham University’s English Studies Department, and has contributed to a number of publications. Lily specialises in English Literature, English Language, History, and Philosophy.
Gabriel Freitas is an AI Engineer with a solid experience in software development, machine learning algorithms, and generative AI, including large language models’ (LLMs) applications. Graduated in Electrical Engineering at the University of São Paulo, he is currently pursuing an MSc in Computer Engineering at the University of Campinas, specializing in machine learning topics. Gabriel has a strong background in software engineering and has worked on projects involving computer vision, embedded AI, and LLM applications.