∵DE∥CA，DF∥BA，
∴四边形AEDF是平行四边形；
∵AD平分∠BAC，
∴∠EAD=∠FAD，
∴∠FAD=∠ADF，
∴AF=DF，
∴四边形AEDF是菱形．