如何证明直角三角形中30度角所对的直角边等于斜边的一半,可以用锐角三角函数证明