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:
- AB, BC e CD adiacenti
- AB≡CD
- BM≡MC
|
|
Tesi: AM≡MD
Dimostrazione.
Deduzioni dalla costruzione geometrica:
- AM = AB + BM . Ipotesi 1
Dimostrazione della tesi.
- AM = AB + BM. Per deduzione geometrica 1
- AM = CD + BM. Ipotesi 2
- AM = CD + MC. Ipotesi 3.
- AM = CD + MC = MD. Ipotesi 1