Cho đoạn thẳng ,
sao cho
. Gọi
là một tiếp tuyến của đường tròn đường kính
với
là tiếp điểm. Biết
. Độ dài đoạn thẳng
là:
Hình vẽ minh họa
Ta có: suy ra
Suy ra
Áp dụng định lý Pythagore cho tam giác ATO vuông tại T (AT là tiếp tuyến của (O))) ta có: