已知三角形ABC中,E、F分别为AB、AC的中点,CD平分角BCA交EF于D,求证:AD垂直DC