已知ab满足方程组