在直角三角形中,短的直角边等于斜边的一半 ,能直接证明短的直角边所对的角为30°吗