证明：∵∠C=90°，ED⊥BC交AB于E，
∴DE∥AC，
∵DF∥AB，
∴四边形AEDF为平行四边形．
AD平分∠BAC，
∴∠EAD=∠FAD．
又∵AEDF为平行四边形，
∴∠FAD=∠ADE，
∴AE=ED，
∴四边形AEDF是菱形．