30度直角三角形的短边是长边的一半?