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

Différences entre les versions de « Midpoint using the butterfly theorem »

De Preparation for joint work, connecting dynamic geometry with proof and construction tools
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 butterly theorem =====
+
===== 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
Program in GCL