證明：∵AE⊥CD，
∴∠AEC=90°，
∴∠ACE+∠CAE=90°，（直角三角形兩個(gè)銳角互余）
∵∠ACE+∠BCF=90°，
∴∠CAE=∠BCF，（等角的余角相等）
∵AE⊥CD，BF⊥CD，
∴∠AEC=∠BFC=90°，
在△ACE與△CBF中，

∠AEC＝∠BFC ∠CAE＝∠BCF AC＝BC

∴△ACE≌△CBF（AAS），
∴AE=CF，CE=BF，
∴EF=CE-CF=BF-AE，
當(dāng)AE＞BF時(shí)，如圖，

同法可求EF=AE-BF，
即EF=|AE-BF|．