Cho (O;R) và một đường thẳng (d) không cắt (O). Dựng đường thẳng OH vuông góc d tại điểm H.
Giải thích

Vì KA là tiếp tuyến của (O) nên AK⊥OA⇒KAO^=900
Lại có : OHK^=900( do OH⊥d)
Xét tứ giác AOKH có OAK^+OHK^=900+900=1800 mà 2 góc ở vị trí đối nhau nên OAKH là tứ giác nội tiếp (dhnb)