1035

改证等价命题：ef过o，则以bf，ce为直径的圆与九点圆共点l。设他们的另一个交点t，由pascal，t在外接圆上，且由h到两圆等幂，lt过h，再由ih*th=bh*ch，可知l，t是外接圆和九点圆的位似逆对应点，所以l在九点圆上，证毕。

弄清楚了，帕斯卡线是EOF

372已经发过，垂极点性质特例