Daca faceam desenul mai bine, A apartinea de B'C'.
a)
Comparam triunghiurile ANB' si CNB
N mijloc AC→ AN=NC
m(ANB')=m(BNC) (unghiuri opuse la varf)
NB' simetricul lui NB→ NB=NB'
↓
triunghiurile ANB' si CNB congruente
↓
unghiurile BCN congruent cu NAB
BCN si NAB alterne interne
↓
AB'||BC
C'€AB'
↓
C'B'||BC
b)triunghiurile AC'M congruente BCM
(e aceeasi situatie ca la triunghiurile AB'N si CBN)
↓
AC'=BC
triunghiurile AB'N si CBN congruente
↓
AB'=CB
AC'+AB'=BC+BC
C'B'=2BC