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:51 par Neuper (discussion | contributions) (→‎The butterly theorem)
(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 butterfly theorem
Specification

Text:

Specification:

  • given : TODO
  • precondition : TODO
  • find : TODO
  • postcondition : TODO
Program in GCL