Calculateur de Démonstrations Géométriques

Une preuve géométrique est un argument étape par étape qui démontre la vérité d'une affirmation à l'aide de définitions, de postulats et de théorèmes déjà démontrés. Le Calculateur de Preuves Géométriques prend une hypothèse (« donné ») et une conclusion (« à démontrer ») et produit une preuve complète en deux colonnes — étape, raison, étape, raison — en utilisant les postulats et théorèmes applicables. Ce tutoriel explique la structure d'une preuve en deux colonnes, ce qui constitue une raison valide, et les types de preuves les plus courants que vous rencontrerez en géométrie.

Le format de la preuve en deux colonnes

Le format traditionnel des preuves de géométrie au lycée comporte deux colonnes :

Chaque étape doit être accompagnée d'une justification sur le côté droit. Justifications acceptables :

• Donné — énoncé dans le problème
• Définition — selon la définition d'un terme (ex. « définition du milieu »)
• Postulat — une hypothèse fondamentale qui ne nécessite pas de preuve (ex. Postulat SSS)
• Théorème — une affirmation précédemment démontrée (ex. « Théorème des angles opposés par le sommet »)
• Propriété — une propriété algébrique (réflexive, symétrique, transitive, de substitution, distributive)
• CPCTC — Les parties correspondantes de triangles congruents sont congruentes (utilisé après avoir démontré la congruence de deux triangles)

Fonctionnement du calculateur

En arrière-plan, le calculateur utilise un grand modèle de langage entraîné sur des milliers de preuves géométriques. Vous fournissez :

1. Les données : les conditions de départ. Exemple : « AB = CD, BC = DE, ABCD est un quadrilatère ».
2. La conclusion : l'affirmation à démontrer. Exemple : « Le triangle ABE ≅ le triangle CDE ».
3. Optionnel : une photo de la figure. Le système de vision par IA peut lire à la fois le diagramme et les étiquettes imprimées.

L'IA :

1. Analyse les conditions données et l'objectif.
2. Identifie les théorème(s) qui les relient.
3. Construit la chaîne d'énoncés, en citant chaque justification.
4. Génère la preuve au format deux colonnes (ou sous forme de paragraphe sur demande).

Types de preuves standards

La plupart des preuves de géométrie introductive relèvent de l'une de ces catégories :

1. Preuves de congruence de triangles

Utilisez l'un des 5 postulats de congruence (SSS, SAS, ASA, AAS, HL) pour démontrer que deux triangles sont congruents. Utilisez ensuite CPCTC pour extraire des égalités spécifiques entre parties correspondantes.

Structure typique : identifier les éléments communs (côtés réflexifs, angles opposés par le sommet, angles alternes-internes), les associer, invoquer le postulat, conclure à la congruence.

2. Preuves de similitude de triangles

Utilisez l'un des 3 postulats de similitude (AA, SSS-sim, SAS-sim) pour montrer que deux triangles sont semblables. Utilisez ensuite la proportionnalité des côtés correspondants pour déduire des rapports spécifiques.

3. Preuves d'angles avec droites parallèles

Établissez que deux droites sont parallèles en montrant l'une des conditions angulaires équivalentes (angles correspondents égaux, angles alternes-internes égaux, angles consécutifs supplémentaires). Ou utilisez des droites déjà parallèles pour déduire des angles égaux.

4. Preuves de classification des quadrilatères

Démontrez qu'un quadrilatère est un parallélogramme, un losange, un rectangle, un carré, un cerf-volant ou un trapèze isocèle en démontrant ses propriétés définissantes.

Exemple : « Démontrer que ABCD est un parallélogramme. » Stratégie : montrer que les deux paires de côtés opposés sont parallèles, OU que les deux paires de côtés opposés sont égaux, OU que les deux paires d'angles opposés sont égaux, OU que les diagonales se coupent en leur milieu — UNE SEULE de ces conditions suffit.

5. Preuves de théorèmes sur les cercles

Théorème de l'angle inscrit, propriétés des tangentes, relations corde-arc, théorèmes des angles des quadrilatères cycliques.

6. Preuves de segments et d'angles

Medians, milieux, perpendiculaires, additions/soustractions d'angles. Utilisent souvent des propriétés algébriques (substitution, transitivité) conjointement avec des propriétés géométriques.

Qu'est-ce qui rend une preuve « rigoureuse » ?

Une preuve est rigoureuse lorsque chaque étape est justifiée par une affirmation préalablement établie — aucune intuition sautée, aucun « c'est évidemment vrai ». Les barèmes de notation standard de géométrie au lycée attendent :

• Chaque étape est numérotée.
• Chaque étape est justifiée par son nom (ex. « Théorème des angles opposés par le sommet », et non « évident »).
• La progression est logique — chaque étape découle des précédentes via le théorème/propriété cité.
• L'étape finale correspond exactement à la « conclusion à démontrer ».

Exemple détaillé

Donné : AB ∥ CD ; AB = CD.
À démontrer : △ABE ≅ △CDE (où E est l'intersection des diagonales AC et BD).

La preuve comporte 5 lignes, chacune justifiée, menant de l'hypothèse à la conclusion.

Conseils pour rédiger des preuves à la main

• Commencer par les données, finir par l'objectif. Assurez-vous que l'étape 1 cite un « donné » et que la dernière étape correspond exactement à « à démontrer ».
• Identifier tôt les éléments communs. Un côté partagé ou un angle partagé (réflexif) est souvent une étape gratuite qui relie les deux parties de votre preuve.
• Rechercher les droites parallèles. Elles vous donnent de nombreuses égalités d'angles « gratuitement » via les théorèmes sur les droites parallèles.
• Ne sautez pas d'étapes. Même les étapes algébriquement évidentes comme la substitution doivent être citées. « A = B, B = C, donc A = C » représente trois étapes, et non une seule.
• Écrire CPCTC, et non « parties correspondantes ». L'acronyme standard est universellement accepté.

Quand utiliser l'IA vs faire à la main

L'IA est la plus rapide pour :

• Vérifier que vous avez trouvé une preuve correcte (comparez votre travail à celui de l'IA).
• Générer une preuve lorsque vous êtes bloqué et avez besoin d'une stratégie de départ.
• Traduire une preuve de manuel du format paragraphe au format deux colonnes (ou inversement).
• Lire un problème sur une photo et obtenir une preuve instantanée.

Faites-le à la main quand :

• C'est un travail noté et l'enseignant l'exige.
• Vous révisez pour un examen (la rédaction manuelle des preuves ancre les schémas).
• La preuve est courte — pour des preuves de 3 lignes, l'IA est excessive.

Limitations

• L'IA peut citer le mauvais nom de théorème. Le raisonnement est généralement correct, mais le nom explicite (ex. « Théorème des angles opposés par le sommet » vs « Théorème de l'angle linéaire ») peut être incohérent. Lisez de manière critique.
• Les preuves longues à plusieurs étapes peuvent être résumées. Une preuve nécessitant 12 étapes ou plus peut être compressée en 6-7. Si vous avez besoin de chaque étape, demandez une « preuve complète en deux colonnes, sans étapes résumées ».
• Géométrie non euclidienne non prise en charge. L'IA suppose les axiomes euclidiens standards. Les preuves de géométrie sphérique, hyperbolique ou projective ne sont pas dans le périmètre.