Chứng minh tứ giác ABOC là hình vuông.
Giải thích

Ta có: ABO^=ACO^=900(tính chất tiếp tuyến) (1)
AB = AC =OA2−OB2 =R = OB = OC (2).
Từ (1) và (2) suy ra ABOC là hình vuông.

Ta có: ABO^=ACO^=900(tính chất tiếp tuyến) (1)
AB = AC =OA2−OB2 =R = OB = OC (2).
Từ (1) và (2) suy ra ABOC là hình vuông.