Midpoint using the butterfly theorem
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