if AD ⊥ BC