在三角形abc中ab=ac角bac=90度,d为bc上的任意一点,df垂直ab