Explicație pas cu pas:
[CA] ≡ [CB] => ΔCAB isoscel
∢CAB ≡ ∢CBA
[DA] ≡ [DB] => ΔDAB isoscel
∢DAB ≡ ∢DBA
=> ∢CAD ≡ ∢CBD
=> ΔCAD ≡ ΔCBD (cazul L.U.L.)
=> ∢ACD ≡ ∢BCD
notăm CD ∩ AB = {O}
ΔCAO ≡ ΔCBO (cazul L.U.L.)
=> [AO] ≡ [OB]
=> A este simetricul lui B față de dreapta CD
