Xét `(O)` có:
`hat{CAx} = hat{ABC} ( = 1/2 Sđ \stackrel\frown{AC})`
Tam giác `ABC` cân tại `A `
`=> hat{ABC} = hat{ACB}`
`=> hat{ACB} = hat{CAx}`
mà 2 góc này sole trong
`=> Ax` // `BC`
Kẻ đường cao AH=> AH⊥BC(1)
vì tam giác ABC cân
=> AH là tia phân giác
=> AH đi qua O=> A, O, H thẳng hàng
Ta có: OA⊥Ax
=> AH⊥Ax (2)
Từ (1) và (2) => BC//Ax