Exemples de demonstration automatique en geometrie reelle

par AHMED GUERGUEB

Thèse de doctorat en Sciences et techniques communes

Sous la direction de M. F. COSTE-ROY.

Soutenue en 1990

à Rennes 1 .

    mots clés mots clés


  • Résumé

    La these est consacree a l'etude de certains problemes de demonstration automatique en geometrie elementaire qui concernent des proprietes de natures reelles (existence d'intersections reelles, inegalites) et qui ne peuvent donc pas etre traitees par des methodes comme la methode de wu ou la methode des bases standard. Plus precisement on demontre par le calcul algebrique les proprietes suivantes: tout triangle a quatre cercles tritangents reels; le cercle circonscrit ne coupe pas le cercle inscrit mais coupe chacun des cercles exinscrits; le rayon du cercle inscrit est toujours inferieur ou egal a la moitie du rayon du cercle circonscrit. On dit qu'un cercle verifie la propriete p lorsque son rayon est inferieur a la moitie du cercle circonscrit. La methode de calcul qu'on utilise est basee sur les techniques de calcul formel sur les inegalites developpees depuis plusieurs annees a rennes (suites de sturm-habicht, etude de courbes). Ces calculs sont beaucoup trop importants pour etre menes a la main et sont donc effectues grace au systeme de calcul formel reduce (ces calculs en reduce sont donnes en annexe). On etudie les triangles avec un des cotes fixes et on identifie donc l'ensemble de ces triangles au plan affine. Des proprietes interessantes des triangles sont mises en evidence par les calculs faits. C'est ainsi qu'on peut montrer le resultat suivant: suivant la forme du triangle il existe un, deux ou trois cercles tritangents dont le rayon est inferieur ou egal a la moitie du rayon du cercle circonscrit


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (84 f.)
  • Annexes : 16

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1990/143
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.