ad垂直bc于点d ef垂直bc交bc于点f