“证明：设EF延长线交BC延长线于J（画图省略）。”
“结论1：JD与△ABC，DEF外接圆相切。”
“我们分为以下几个小部分证明。”
“（1）B，F，E，C四点共圆。作△ABC外接圆，延长AD交外接圆于M……”
“（2）△DBC和△DEF外接圆相切，设EF交AD于H，由（1）的结论……”
“（3）JD为两圆公切线。由蒙日定理……”
“结论2：X，B，E，T四点共圆……”
“结论3：X，K，E，D和B，D，T，K四点共圆……”
“结论4：JK=JD。”
“以J为反演中心，JD^2为反演幂的变换将E变为F，C变为B，A 变为T……”
过程，非常之复杂。
毕竟是IMO的真题备选，正常的解题时间，是四个半小时三道题，即每道题一个半小时，也就是九十分钟。
这也是为何之前葛天行说，林北和赵清菡能在45分钟内做出，便承认他们厉害的原因所在，毕竟这真不是一般的难。
即便林北和赵清菡已把字迹压缩到了极限，都各自写了