Ta có: \(OA = OB (= R)\)
Suy ra tam giác \(AOB\) cân tại \(O\)
Hay \(\widehat {OAB} = \widehat {OBA}\) \((1)\)
Ta có: \( O’A = O’C ( = R’ )\)
Suy ra tam giác \(AO’C\) cân tại \(O’\)
Hay \(\widehat {O'AC} = \widehat {O'CA}\) \((2)\)
Từ \((1)\) và \((2)\) suy ra: \(\widehat {OBA} = \widehat {O'CA}\)
Suy ra: \(OB // O’C\) ( vì có hai góc ở vị trí đồng vị bằng nhau).