∠A+∠C=180
所以∠ADC+∠B=180
又BE﹑DF平分∠ABC﹑∠ADC
∠ADF+∠ABE=90 (1)
在三角形AFD中
∠ADF+∠AFD=90 (2)
根据(1)、(2)
∠ABE=∠AFD
所以 BE∥DF