为什么有一个角是30度的直角三角形的短直角边是斜边的一半?