AD,BE,DF分别是三角形ABC的三条高线.求证他们相交于一点(用向量解决)