Accueil Publimath  Aide à la recherche   Recherche Avancée   Imprimer la fiche   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Mainguené Jean ; Roy Marie-Françoise

autre nom d'auteur : Coste-Roy Marie-Françoise

Titre : 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)

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

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

Public visé : chercheur, enseignant, formateur Niveau Niveau scolaire visé par l'article : collège, 6ème, 5ème, 4ème, 3ème, lycée, 2de, 1ère, terminale Age : 11, 12, 13, 14, 15, 16, 17

Classification : A33Revues, article de revue, article sur un site internet
Enseignement secondaire, collège
 A34Revues, article de revue, article sur un site internet
Enseignement secondaire, lycée
 A39Revues, article de revue, article sur un site internet
Formation à l'enseignement, initiale et continue.
 E53Méthodes de démonstration. Raisonnement et démonstrations en classe de mathématiques.
Enseignement secondaire, collège
 E54Méthodes de démonstration. Raisonnement et démonstrations en classe de mathématiques.
Enseignement secondaire, lycée
 E59Méthodes de démonstration. Raisonnement et démonstrations en classe de mathématiques.
Formation à l'enseignement, initiale et continue.
 G73Géométrie analytique. Géométrie vectorielle. Géométrie projective. Géométrie affine. Géométrie métrique.
Enseignement secondaire, collège
 G74Géométrie analytique. Géométrie vectorielle. Géométrie projective. Géométrie affine. Géométrie métrique.
Enseignement secondaire, lycée
 G79Géométrie analytique. Géométrie vectorielle. Géométrie projective. Géométrie affine. Géométrie métrique.
Formation à l'enseignement, initiale et continue.
 

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") paraît 5 fois par an. Il 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.

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

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 29/02/2020
Accueil Publimath  Aide à la recherche   Recherche Avancée   Imprimer la fiche   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional