Comment écrire une preuve indirecte?
Méthode 2 sur 2: preuve mathématique indirecte: un triangle ne peut pas avoir plus d'un angle droit.
Dans une preuve directe, vous suivez une série d'énoncés logiques menant à l'énoncé que vous souhaitez prouver. La preuve indirecte est un peu plus délicate. Vous commencez par une déclaration "et si". En suivant la chaîne logique jusqu'à une conclusion qui n'a aucun sens, vous prouvez que l'énoncé «et si» est faux.
Méthode 1 sur 2: écrire une preuve indirecte
- 1Commencez par deux déclarations possibles. Les preuves indirectes fonctionnent si vous pouvez décrire la situation de deux manières possibles. Puisqu'il n'y a que deux options, une fois que vous prouverez qu'une déclaration est fausse, vous saurez que l'autre est correcte. Ce ne sont généralement que deux opposés: «A est vrai» et «A n'est pas vrai.»
- «Exemple:» Pensez à un suspect dans une enquête policière. Il y a deux explications possibles: le suspect est innocent; ou le suspect est coupable. Si nous pouvons exclure l'idée qu'il est coupable, nous savons automatiquement qu'il est innocent.
- 2Écrivez ce que vous savez être vrai. Ces déclarations sont souvent appelées «axiomes» ou «données» (comme dans les informations qui vous sont données). Vous n'êtes pas obligé d'écrire tous les faits que vous connaissez, mais il peut être utile d'écrire des déclarations connexes et prouvées. Ceux-ci peuvent vous aider à tirer des conclusions logiques.
- Exemple: «La personne qui a commis le crime était sur les lieux du crime». et "Une personne ne peut pas être à deux endroits à la fois." sont deux exemples de «donnés» réels. Ceux-ci doivent être si évidents que vous pouvez les inclure dans votre preuve sans avoir besoin de preuves.
- 3Supposons que l'une des affirmations est vraie. Choisissez celui que vous pensez pouvoir réfuter le plus facilement. Commencez par l'idée «et si cette affirmation était réellement vraie?» C'est ce qu'on appelle un postulat. Le but de la preuve indirecte est de montrer où mène ce postulat.
- Exemple: Supposons que le suspect est coupable. Ce n'est peut-être pas vrai, mais c'est ce que cette preuve nous dira.
- 4Tirez des conclusions logiques et recherchez les contradictions. Pourquoi est-il utile de supposer quelque chose qui pourrait ne pas être vrai? Le but n'est pas de découvrir la vérité, mais de chercher des contradictions. Si votre hypothèse conduit à deux déclarations contradictoires, ou si elle contredit l'une de vos «données», cela signifie que votre hypothèse doit être fausse.
- Exemple: Si le suspect est coupable, comme vous l'avez supposé, il doit avoir été présent pendant que le crime a été commis.
Des témoins ont vu le suspect dans une autre ville le jour du crime.
Ces deux faits se contredisent. - Si vous ne trouvez aucune contradiction, cela ne signifie pas que votre hypothèse était correcte, mais seulement que c'est possible.
Imaginez un triangle avec deux angles droits (angles a et b) et un angle inconnu (angle c). - Exemple: Si le suspect est coupable, comme vous l'avez supposé, il doit avoir été présent pendant que le crime a été commis.
- 5Concluez que votre hypothèse était incorrecte. Si vous avez trouvé une contradiction et qu'il n'y a aucun défaut dans votre logique, votre hypothèse initiale doit avoir été fausse.
- Exemple: Le suspect n'a pas pu commettre le crime et se trouver dans une autre ville en même temps. Par conséquent, l'hypothèse selon laquelle le suspect était coupable doit être erronée.
- 6En déduire que l'autre affirmation doit être correcte. Vous savez maintenant qu'une affirmation est incorrecte. Puisqu'il n'y a qu'une seule autre affirmation possible, celle-ci doit avoir raison. Vous avez maintenant prouvé indirectement cette affirmation.
- Exemple: Puisque le suspect ne peut pas être coupable, il doit être innocent.
- Notez que vous n'avez pas besoin de passer du temps à étudier l'autre affirmation.
Méthode 2 sur 2: preuve mathématique indirecte: un triangle ne peut pas avoir plus d'un angle droit
- 1Lister les deux possibilités. Voici un exemple plus mathématique. Les deux déclarations sont "Un triangle peut avoir plus d'un angle droit" et "Un triangle ne peut pas avoir plus d'un angle droit". Une seule de ces affirmations peut être correcte.
- 2Configurez les informations fournies. Dans ce cas, l'information nécessaire pour cette preuve est "la somme de tous les angles d'un triangle est de 180 degrés". Ceci est généralement prouvé plus tôt dans le manuel de mathématiques, ou fourni comme une déclaration véridique.
- 3Supposons qu'un triangle puisse avoir plusieurs angles droits. C'est l'affirmation qui semble la plus facile à réfuter, c'est donc par là qu'il faut commencer. Imaginez un triangle avec deux angles droits (angles a et b) et un angle inconnu (angle c).
- 4Additionner les deux angles droits. Chaque angle droit est de 90 degrés. Les angles a et b sont tous deux des angles droits, donc a + b = 90 + 90 = 180 degrés.
- 5Essayez de trouver la valeur de l'angle inconnu. Nos informations fournies indiquent que les trois angles totalisent 180 degrés. Cela signifie que les angles a + b + c = 180 degrés. Résoudre pour c:
- 'a + b + c = 180
- Nous avons déjà trouvé que a + b = 180, donc 180 + c = 180.
- c = 180 - 180 = 0.
Dans une preuve directe, vous suivez une série d'énoncés logiques menant à l'énoncé que vous souhaitez prouver. - 6Recherchez les contradictions. La solution selon laquelle l'angle c est de 0 degré est impossible, car un triangle avec un angle de zéro degré est impossible.
- 7Conclure. Puisque vous avez trouvé une contradiction, l'hypothèse "un triangle peut avoir plus d'un angle droit" doit être fausse. Par conséquent, par preuve indirecte, l'autre affirmation doit être correcte. Un triangle ne peut pas avoir plus d'un angle droit.
- Ce type d'argument est aussi appelé reductio ad absurdum, latin pour «réduction au ridicule». En démontrant qu'une hypothèse conduit à une déclaration ridicule (clairement fausse), vous réfutez cette hypothèse.
Lisez aussi: Comment identifier la renouée?
En parallèle
