Dựng tam giác đều BCK ( A,K cùng phía với BC)
Δ cân ABC có A^ = 80* => B^ = C^ = 50*
=> ACK^ = ABK^ = 10*
theo giả thiết: OCB^ = 10*
=> OCB^ = ACK^ (1)
lại có: AK là trung trực của BC => AKC^ = 30*
theo giả thiết: OBC^ = 30*
=> AKC^ = OBC^ (2)
theo cách dựng có:
BC = CK (3)
(1) (2) và (3) => ΔOBC = Δ ACK => CA = CO => Δ ACO cân tại C