.............
没人来我来~~
借一下7楼的图~~~~
假设两边不等,且AC>BC
因此∠CBA>∠CAB,∠GBA>∠EAB
根据平行可得∠E=∠EAB=∠EAC,∠G=∠GBA=∠GBC,因此CG=CB,CE=CA,
然后有CE>CG
显然S三角形AGB=S三角形AEB,0.5*AB*BG*sin∠GBA=0.5*AB*AE*sin∠EAB
sin∠GBA>sin∠EAB,因此AE>BG,AD=AE-DE>BG-GF=BF
根据平行可得
CG/AB=GF/BF
CE/AB=ED/AD
两式相除得到
CG/CE=BF/AD<1
因此说明CG<CE,这和前面的CG>CE矛盾
因此假设不成立,只能CG=CE,AC=BC