受你启发，想到一个不用三角函数的证明
首先GEFH四点共圆
用梅涅劳斯定理
AD/DH*HP/PC*CO/OA=1
所以
AD/DH=PC/HP=GC/CH=PG/PC
所以PC*PC=PH*PG=PE*PF
所以PC是切线。

【 在 LiaoFLS (C60) 的大作中提到: 】
: 可以用三角函数的方法
--
FROM 116.30.221.*