Cái này lớp 10 học nhưng lớp 9 hiểu nôm na thế này
Cho đường tròn tâm O . Ngoài (O) , có 1 điểm bất kì chẳng hạn điểm A
Kẻ cát tuyến ABC (AC>AB), và bao nhiêu cát tuyến cũng đc.
Nói chung là cát tuyến bất kì ;

. Ví thêm cát tuyến AMN ( AM>AN)
Tiếp tuyến AD (cũng bất kì, bao nhiêu cũng đc

)
Rồi có hệ thức $AB.AC=AD^2$
$AB.AC=AN.AM$
Tương tự các cặp còn lại..........
Chứng minh = xét tam giác đồng dạng
( có góc chung và chú ý tứ giác nội tiếp or nếu tiếp tuyến thì cùng chắn 1 cung)