直角三角形短边是斜边的一半