Răspuns:
fie AP≡PB; OP⊥AB ⇒ ΔAPO dr si ΔBPO dr unde:
AP≡PB si OP (lat. com.) ⇒ ΔAPO dr ≡ ΔBPO dr ⇒ AO≡BO (1)
fie BM≡MC; OM⊥BC ⇒ ΔBMO dr si ΔCMO dr unde:
BM≡MC si OM (lat. com.) ⇒ ΔBMO dr si ΔCMO dr ⇒ BO≡CO (2)
(1), (2) ⇒ AO≡BO≡CO ⇒ A, B, C ∈ C(O, OA)
Explicație pas cu pas: