已知x等于4满足方程