在直角三角形中,30度角所对的直角边等于斜边的一半,是什么定理