La géométrie euclidienne par l'informatique

Jean-Paul JURZAK

La démonstration automatique en géométrie euclidienne est désormais accessible à tous.

L'auteur autorise la libre diffusion des fichiers téléchargeables et l'utilisation à des fins personnelles de la méthode de résolution.

	Résolvez automatiquement les exercices et les théorèmes les plus compliqués de la géométrie cercles, sphères, distances, coniques
Téléchargez les diverses leçons proposées, et vous découvrirez une méthode surpuissante de résolution Pour étudiants, enseignants et futurs enseignants, chercheurs et informaticiens
	Découvrez le multi-produit scalaire et le multi-rapport
	De nouveaux concepts.
	Découvrez les multiples théorèmes de la géométrie du plan et la géométrie automatique dans l'espace
Téléchargez la table des matières pour plus d'informations. Ce site présente la résolution de la majorité des exercices et théorèmes relatifs aux cercles, sphères, distances, coniques.
	Si vous disposez de Maple ou de Mathematica, un prouveur vous est proposé

	Chaque fichier propose une série d'exercices corrigés relatifs à un même thème. Un prouveur est un programme de résolution automatique. Cliquez sur l'icône ci-contre pour utiliser le prouveur indiqué.

Chaque chapitre est téléchargeable individuellement.

*Préface* . pdf	*Table des matières* . pdf
1. *Introduction* . pdf	10. *Théorème de Pascal* . pdf	19. *Changement de repère* . pdf
2. *Distances dans le quadrilatère* . pdf	11. *Introduction aux coniques* . pdf	20. *Triangle tangentiel* . pdf
3. *Le cercle des neuf points d'Euler* . pdf	12. *Céviennes* . pdf	21. *Groupe orthocentrique* . pdf
4. *Points classiques* . pdf	13. *Triangle orthique* . pdf	22. *Cercles d'Apollonius* . pdf
5. *Droites orthogonales* . pdf	14. *Points de Nagel et de Gergonne* . pdf	23. *Théorèmes de Varignon et Wittenbauer* . pdf
6. *Points cocycliques* . pdf	15. *Théorèmes du Papillon* . pdf	24. *Cercles de Brocard* . pdf
7. *Formes fondamentales* . pdf	16. *Théorèmes de Napoléon et théorèmes semblables* . pdf	25. *Le tétraèdre* . pdf
8. *Le multi-rapport* . pdf	17. *Point de Lemoine, triangle podaire* . pdf	26. *Orthocentre dans un tétraèdre* . pdf
9. *Projection orthogonale* . pdf	18. *Cercles de Lemoine et de Tucker* . pdf

Vous pouvez également consulter la géométrie vectorielle par l'informatique

Mail: Jean-Paul JURZAK

Université de Bourgogne

FRANCE

(Mise à jour 9 juin 2005)