Chứng minh rằng AD // OO'
Giải chi tiết:
Hạ OH, O’K ⊥ AD, ta có HA = HB = = = KD và OH // O’K.
Do đó OH2 = OA2 - HA2 = O’D2 - KD2 = O’K2.
Vì AB không đi qua O nên H ≠ O, OH > 0.
Suy ra tứ giác OHKO’ là hình bình hành (vì OH //= 0’K), mà H = 90° nên OHKO’ là hình chữ nhật.
Ta có HK // OO’ hay AD // OO’.