直角等腰三角形知一个斜边.求边长的公式