17年8月新上市股票:在三角形ABC中,AB=AC,AD垂直BC,DE垂直AB,DF垂直AC,求证DE=DF