證明：過D分別作AB、AC的垂線,垂足分別為P、Q 所以∠APD=∠AQD=90° 因為AD平分∠BAC 所以DP=DQ（角平分線上的點到角兩邊的距離相等） 在四邊形APDQ中∠PAD+∠APD+∠AQD+∠PDQ=360°（四邊形的內角和為360°） 而∠APD+∠AQD=180° 所以∠PAD+∠PDQ=180° 即∠BAC+∠PDQ=180° 而∠EDF+∠BAC=180° 所以∠EDF=∠PDQ 因為AD是∠BAC的平分線,DQ⊥AC,DP⊥AB 所以AD也是∠PDQ的平分線 故∠PDA=∠ADQ,∠BAD=∠DAC ∠EDP=∠ADE-∠ADP ∠FDQ=∠ADQ-∠ADF 所以∠EDP-∠FDQ=∠ADE-∠ADP-∠ADQ+∠ADF=∠ADE+∠ADF-(∠ADP+∠ADQ)=∠EDF-∠PDQ 已證∠EDF=∠PDQ 所以∠EDP-∠FDQ=0 即∠EDP=∠FDQ 在直角三角形EDP和直角三角形FDQ中 ∠EDP=∠FDQ（已求） DQ=DQ（已求） ∠EPD=∠FQD=90°(已知) 所以直角三角形EDP和直角三角形FDQ全等（ASA） 所以DE=DF（全等三角形的對應邊相等）.