Différences entre les versions de « Midpoint using the butterfly theorem »
Aller à la navigation
Aller à la recherche
Ligne 3 : | Ligne 3 : | ||
This is a simple looking example, but at a closer look, the butterfly theorem belongs to projective geometry. | This is a simple looking example, but at a closer look, the butterfly theorem belongs to projective geometry. | ||
− | ===== The | + | ===== The butterfly theorem ===== |
===== Specification ===== | ===== Specification ===== |
Version actuelle datée du 9 novembre 2010 à 18:51
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