在直角三角形中求证30度角对应的直角边是斜边的一半