如图de垂直ab,df垂直ac