ad=(ab+ac)/2
bc=(ac-ab)
ad*bc=(ab+ac)*(ac-ab)/2=(ab*ac+ac*ac-ab*ab-ab*ac)/2=(|ac|^2-|ab|^2)/2=0
所以ad垂直bc