Chứng minh MA.MB=MC.MDCó thể dùng tính chất của tứ giác ABDC nội tiếp đường tròn O là suy ra được
Hoặc xét 2 tam giác MAD∼MCB(g−g) từ đó suy ra điều phải chứng minh
+) Chứng minh MT2=MA.MB
Xét hai tam giác MAT∼MTB(g−g) Từ đây cũng suy ra điều phải chứng minh
Vậy hệ thức được chứng minh