在直角三角形中,如果一个锐角等于30°那么它所对的直角边等于斜边的一半