Explicație pas cu pas:
mA=mB =>triunghiul EAB -isoscel
P-mij AB => EP mediatoare AB
In triunghiul DBA si CAB avem:
DB=CA (ABCD tr. is.)
mA=mB (ABCD tr.is )
si AB latura comuna
=> L.U.L Triunghiul DBA=CAB => mDBA=mCAB <=>
mOAB=mOBA => triunghiul OAB -is => OA=OB
=>O€mediatoarea AB <=> O€EP <=>E,O,P coliniare
