Chứng minh $MA.MB=MC.MD$Có 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 \sim MCB (g-g)$ từ đó suy ra điều phải chứng minh
+) Chứng minh $MT^2=MA.MB$
Xét hai tam giác $MAT\sim 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