如何证明一个角为30度的直角三角形 对边长为斜边的一半?