已知直角三角形ABC中,角BAC为90度 AD垂直于BC于D 利用正弦证明AB的平方=BD乘BC