在直角三角形ABC中,AD是斜边BC上的高用向量法证明AD^2=BD*AC