Disegna due segmenti adiacenti fra loro congruenti, AO e OB, e considera i loro punti medi D e C. Dimostra che DC = AD + CB.

Ipotesi: AO≡OB e adiacenti AD≡DO OC≡CB

Tesi: $$DC=AD+CB

Dimostrazione.

• DC = DO + OC perchè adiacenti (ipotesi 1)
• DO = AD perche D è punto medio di AO (ipotesi 2)
• OC = CB perchè C è punto medio di OB (ipotesi 3)

Sostituendo in DC:

DC = DO + OC = AD + CB