即需证DF+AF=CD+DF
即需证AF=CD
即需证△BCD≌△CAF
又∠DCB+∠BCD=90=∠DCB+∠FCA
所以∠BCD=∠FCA
又∠FAC+∠FCA=90=∠FCA+∠DCB
所以∠FAC=∠DCB
又AC=CB
所以角边角
△BCD≌△CAF
所以AF=CD
即DF+AF=CD+DF
即DF+AF=CF
即需证DF+AF=CD+DF
即需证AF=CD
即需证△BCD≌△CAF
又∠DCB+∠BCD=90=∠DCB+∠FCA
所以∠BCD=∠FCA
又∠FAC+∠FCA=90=∠FCA+∠DCB
所以∠FAC=∠DCB
又AC=CB
所以角边角
△BCD≌△CAF
所以AF=CD
即DF+AF=CD+DF
即DF+AF=CF