在AB的延长线上截取BH=AB=1, 则AH=AB+BH=1+1=2
在BH上截取BG=DF,连接CG
易证三角形CBG与CDF全等,得 所以HG=BH-BG=1-BG=1-DF=AF 所以EG=AH-AE-HG=2-AE-AF=EF 因为 CG=CF, EG=EF, CE=CE,所以三角形CEF与CEG全等,得 又因为 所以
所以HG=BH-BG=1-BG=1-DF=AF
所以EG=AH-AE-HG=2-AE-AF=EF
因为 CG=CF, EG=EF, CE=CE,所以三角形CEF与CEG全等,得 又因为 所以
又因为 所以
所以