根據角平分線的性質可知AE=AF
所以證2AE=AB+AD
即證AE+AF=AB+AD=(AE+EB)+(AF-DF)
即證EB=DF
即證直角三角形CDF全等於直角三角形CBE
易知CF=CE,
又因為角ADC+角B=角ADC+角CDF=180
所以角EBC=角FDC
所以三角形CDF全等於三角形CBE(AAS)
根據角平分線的性質可知AE=AF
所以證2AE=AB+AD
即證AE+AF=AB+AD=(AE+EB)+(AF-DF)
即證EB=DF
即證直角三角形CDF全等於直角三角形CBE
易知CF=CE,
又因為角ADC+角B=角ADC+角CDF=180
所以角EBC=角FDC
所以三角形CDF全等於三角形CBE(AAS)