d ⊥ BC
D, E ∈ d } => [BC] mediatoarea [DE]
DA = AE
BA = AC
DA = AD } => BECD = romb => BD = DC = CE = EB
(diagonalele rombului sunt perpendiculare si se injumatatesc)
