Considera tre segmenti adiacenti, AB, BC e CD, con AB ≡CD. Dimostra che il punto medio M di BC è anche punto medio di AD.

Ipotesi:
  1. AB, BC e CD adiacenti
  2. AB≡CD
  3. BM≡MC
Segment proof 5



Tesi: AM≡MD



Dimostrazione.


Deduzioni dalla costruzione geometrica:


  1. AM = AB + BM . Ipotesi 1



Dimostrazione della tesi.