Xét tứ giác `BCEF`,có:
Góc `hat{BFC}` nhìn cung `hat{BC}` dưới góc `90^0`
Góc `hat{CEB}` nhìn cung `hat{BC}` dưới góc `90^0`
Lại có: `hat{BFC}=hat{CEB}` (`=90^0`)
`=>` Tứ giác `BCEF` nội tiếp đường tròn đường kính `BC`
(Nếu tứ giác có hai đỉnh cùng kề một cạnh cùng nhìn một cung dưới hai góc bằng nhau thì tứ giác đó nội tiếp đc đường tròn)