已知直角三角形斜边长87厘米另条边72.5求另外一条边