Dễ dàng nhận thấy tam giác OAB cân tại O, và tam giác O'AC cân tại O'.
Do đó: \(\widehat{OO'C}=2\widehat{OAC};\widehat{O'OB}=180^o-2\widehat{OAB}=180^o-2\left(90^o-\widehat{OAC}\right)=2\widehat{OAC}\).
Từ đó \(\widehat{OO'C}=\widehat{O'OB}\).
Mà hai góc này ở vị trí so le trong nên OB // O'C.