辅助线如图。
直径CG⊥O1C, O1A⊥AC,所以O1AG共线。
O1O2是△ABH中位线，且O1O2⊥AB，所以HB⊥AB。∠AHB=pi/2-∠HAB=pi/2-∠EDB=∠DJF=∠AJB，所以AJHB四点共圆。
进而，∠HJA=pi/2, HJ//EF,又H是AE重点，所以J是AF中点。
【 在 calculus2000 的大作中提到: 】
:

[upload=1][/upload]
--
FROM 61.152.216.52