∠edf=90°-a
∵∠A=∠B ∠C=a
∴∠A=(180°-a)/2
∵DE⊥AC
∴∠ade=90°-(180°-a)/2=½a
∵FD⊥AB
∴∠ade+∠edf=90°
∴∠edf=90°-a