作图:延长CB到D',使BD‘=DF,连接AD',作图完成.可知,三角形ABD'和ADF全等.
说明1)∠BAF+∠1=∠BAF+∠2=90度,∠AFD=∠BAF,所以∠BAF+∠1>∠AFD
2)因为∠2’=∠2=∠1,所以∠D'AE=∠BAF=∠AFD,又∠AFD=∠AD'B,所以∠D'AE=∠AD'B,即三角形EAD'是等腰三角形,且EA=ED',ED'=BE+D'B,D'B=FD,所以BE+DF=AE.
作图:延长CB到D',使BD‘=DF,连接AD',作图完成.可知,三角形ABD'和ADF全等.
说明1)∠BAF+∠1=∠BAF+∠2=90度,∠AFD=∠BAF,所以∠BAF+∠1>∠AFD
2)因为∠2’=∠2=∠1,所以∠D'AE=∠BAF=∠AFD,又∠AFD=∠AD'B,所以∠D'AE=∠AD'B,即三角形EAD'是等腰三角形,且EA=ED',ED'=BE+D'B,D'B=FD,所以BE+DF=AE.