在rt三角形中斜边等于直角边的一半