6872三线共点

设L'在CD上满足L'G垂直于EF，由对称性只需证L'IJ共线，设圆I交GJ、GL、CD于U、V、W，由L'GE=90及角LGJ=角LCJ（倒角），有EIV、UIW共线，对EVGUWC用帕斯卡即得L'IJ共线