Ta có = (so le trong) (1)
= (2)
( là góc tạo bởi tiếp tuyến và dây cung, chắn cung AB, là góc nội tiếp chắn cung AB)
Từ (1) và (2) suy ra:
= (3)
Xét hai tam giác AMN và ACB. chúng có:
chung
=
Vậy ∆AMN ~ ∆ACB, từ đó = , suy ra AB. AM = AC . AN