“证明：设ef延长线交bc延长线于j（画图省略）。”

    “结论1：jd与△abc，def外接圆相切。”

    “我们分为以下几个小部分证明。”

    “（1）b，f，e，c四点共圆。作△abc外接圆，延长ad交外接圆于。