ad垂直于bc于点d bf=ac df=dc