Explicație pas cu pas:
∢A'OB + ∢A'OC = 180°
OD și OE bisectoare
A'D ⊥ OD
A'E ⊥ OE
∢EOD = ∢A'OD + ∢A'OE = 180°÷2 = 90°
=> ODA'E este dreptunghi
A'O ∩ DE = {M}
OA' și DE sunt diagonale în dreptunghi
=> MD ≡ MO => ΔOMD este isoscel
=> ∢MOD ≡ ∢MDO
∢MOD ≡ ∢DOB => ∢MDO ≡ ∢DOB
=> MD || OB <=> DE || BC