Preparation for joint work, connecting dynamic geometry with proof and construction tools

Midpoint using the butterfly theorem

De Preparation for joint work, connecting dynamic geometry with proof and construction tools
Révision datée du 9 novembre 2010 à 18:49 par Neuper (discussion | contributions)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)
Aller à la navigation Aller à la recherche

Midpoint using the butterfly theorem

This is a simple looking example, but at a closer look, the butterfly theorem belongs to projective geometry.

The butterly theorem
Specification

Text: Specification: given: TODO precondition: TODO find: TODO postcondition: TODO

Program in GCL
Récupérée de « https://dg-proofs-construction.icube.unistra.fr/index.php?title=Midpoint_using_the_butterfly_theorem&oldid=1626 »