直角三角形30度角所对的边是斜边的一半是在什么时候学的