MathDB
3x3 ineq system in Z, 3x^2 +2yz <= 1+y^2

Source: Czech and Slovak Olympiad 1980, National Round, Problem 5

September 13, 2024
algebrainequalitiesSystem

Problem Statement

Solve a set of inequalities in the domain of integer numbers: 3x2+2yz1+y23x^2 +2yz \le 1+y^2 3y2+2zx1+z23y^2 +2zx \le 1+z^2 3z2+2xy1+x23z^2 +2xy \le 1+x^2