Bulletin de l’APMEP. N° 421. p. 177-188. Démonstration automatique en géométrie. Une approche par la géométrie analytique.

English Title : Automatic proving in geometry: an approach through analytic geometry. (ZDM/Mathdi)

Une version texte intégral est en téléchargement sur le site Bibliothèque numérique des IREM et de l’APMEP Télécharger

Auteurs : Mainguené Jean ; Roy Marie-Françoise
Autre nom d’auteur : Coste-Roy Marie-Françoise

Résumé

Après un petit rappel historique, les auteurs présentent la méthode de Wu, qui est une des méthodes de démonstration automatique en géométrie. Puis, ils l’illustrent par un exemple tiré d’un manuel scolaire.
La méthode de Wu consiste en la conversion d’un énoncé géométrique en système d’équations polynomiales puis dans le traitement de celui-ci. Pour étudier des situations de géométrie concernant des inégalités, il faut utiliser d’autres méthodes issues du calcul formel. Ensuite sont présentés des résultats récents de géométrie élémentaire plane obtenus ainsi.

Notes

Cet article est publié sous la rubrique « Dossier : autour de la démonstration ».

Le Bulletin de l’APMEP (appelé « Bulletin Vert ») s’efforce, par des articles de fond : de couvrir l’actualité de l’enseignement des mathématiques de la maternelle à l’université, de contribuer à la formation approfondie des enseignants, d’entretenir, chez ceux-ci, l’esprit de recherche et de susciter des échanges avec ses lecteurs.
Il paraît 5 fois par an de sa création à 2018, année où suite à un changement de politique éditoriale, l’APMEP publie une revue unique Au Fil des Maths – le Bullletin de l’APMEP.

Données de publication

Éditeur Association des Professeurs de Mathématiques de l’Enseignement Public (APMEP) Paris , 1999 Format A5, p. 177-188 Index Bibliogr. p. 187-188
ISSN 0240-5709

Public visé chercheur, enseignant, formateur Niveau 1re, 2de, 3e, 4e, 5e, 6e, collège, lycée, terminale Âge 11, 12, 13, 14, 15, 16, 17

Type article de périodique ou revue Langue français Support papier