把三角形ABE旋转至三角形AGD处.
所以AG=AE,GD=BE
∴∠AFD=90°-∠2
∠FAD=90°-∠1
∵AF平分∠EAD,
∴∠1=∠2
∴∠AFD=∠FAD
所以AG=GD+DF
因为AG=AE,GD=BE
所以AE=BE+DF