没有趁手的工具，凑合看吧

作PI切园于I，连接BI，显然B和I关于PC对称，BI⊥PC。BI交PC于J，J可能在OH之间也可能在DH之间，方法和结果都是一样的。这里假设在OH之间。

连接OI、FI、FB，

因为∠AFB=90°=∠HJB，所以HJBF四点共圆。
所以∠PHF=∠FBJ
又因为∠FIB=∠PBF，且∠PIB=∠PBI，
所以∠PIF=∠FBI(∠FBJ)=∠PHF
所以PIHF四点共圆
所以∠AFE=∠PIH

又因为∠OIH=∠OBH，∠ABE=∠AFE，
所以 90°=∠OIH+∠PIH=∠OBH+∠ABE=∠HBE


【 在 hyk84 的大作中提到: 】
: 可是怎么证明HB⊥BE？
:


--
FROM 27.38.242.*