AB=BC=CD 是同一圆的切线，BC 切圆于 E 点，AC,BD 交于一点 F ，求证：EF 垂直于 BC

luyuanhong

谢谢楼上 Future_maths 的解答。我已将帖子转贴到“陆老师的《数学中国》园地”。

ccmmjj

我不发答案了，因为已经发过了。

denglongshan

假设圆心在原点，文字标记改动一下，从下面的计算结果可以发现其它结论。

denglongshan

以上表达式错误，改正如图，变形后可以得到图中结论，不知公理方法是否容易证明。