重新叙述命题如下:
J是ABC的旁心,BC上一点E,AJE的外心是O,AJ中点是F,圆OAE和圆OFJ的交点为D,则D在圆ABC上.
倍长JD到K,则熟知(以JEA为基本三角形)AKEJ是调和四边形.且熟知(以IbIc为基本三角形)K在圆IbIIc上(三角形ABC的内心,B-旁心,C-旁心分别为I,Ib,Ic)
以Ia为中心进行B,Ic;C,Ib互反的反演变换,则可知上述命题等价于K'是I(即A')E'的中点.这由三角形JIbIc的九点圆和外接圆的位似关系显然.
于是,我成功地被骗进去了...做了至少两个小时...