Disegna due segmenti, AB e CD, appartenenti alla stessa retta, uno interno all'altro, in modo che abbiano lo stesso punto medio.
Dimostra che i segmenti AC e BD sono congruenti.

Ipotesi: AB, CD ∈s AM≡MB CM≡MD

Tesi: $$AC≡DB

Dimostrazione.

Deduzioni dalla costruzione geometrica:

1. AM = AC + CM . Ipotesi 1
2. MB = MD + DB. Ipotesi 1

Dimostrazione della tesi.

• AC = AM - CM. Deduzione geometrica 1
• AC = MB - CM. Ipotesi 2
• AC = MB - MD. Ipotesi 3.
• AC = MB - MD = DB. Deduzione geometrica 2.