To prove: AC=EF, we have to prove
ΔABC=ΔDEF
Here BA=DE (given) …(i)
BA⊥AC and DE⊥FE
∠BAC=∠DEF=900 (each) …(ii)
Also BF=CD (given) …(iii)
Adding FC in equation (iii), we get
BF+FC=CD+FC
BC=FD …(iv)
From (i), (ii) and (iv), we get
ΔABC=ΔDEF (by RHS congruency property)
AC=EF (by c.p.c.t)
Hence proved.