bd⊥ac,AD平方加BC平方等于AB平方加CD平方