在得出那三条角分线（AI DI FI）交于I点的结论以后
立刻就知道I是四边形AHFD的内心
对边和相等 即AD+HF=AH+DF 以及AD=DF+BG
就能得出结论
【 在 hound 的大作中提到: 】
: 作三角形DEF外接圆I，角DEF=45度，角DIF=90度，角IFD=角IFG=45度，DIB三点共线。三角形AID全等于AIE，延长AI交GF延长线于J，易得AH=HJ。角ICF=角IAD=角IJF, 角IFJ=角IFC=135度，三角形IFJ全等于IFC，进而AH=HF+CF=HF+BG。
: 发自「今日水木 on iPhone 13 Pro」
--
FROM 111.199.185.*