如图7,已知AB=AC,D为AB上的一点,DE垂直BC,ED的延长线于F,求证三角形ADF为等腰三角形