若直角三角形的两条直角边a、b满足关系(a^2+b^2-1)(a^2+b^2+3)=32求三角形斜边长