∠AOB = 180° (развёрнутый угол)
∠AOD + ∠DOC + ∠COF + ∠BOF = 180°
2∠AOD + 2∠COD = 180°
∠AOD + ∠COD = 90°
Так как ∠AOD + ∠COD = ∠AOC, то ∠AOC = 90°, значит OC ⊥ AB
Объяснение: на фото
