Browse · MathNet
PrintBelarus2022
Belarus 2022 algebra
Problem
Find all positive integers for which there exists a polynomial with integer coefficients such that
Solution
where is an arbitrary positive integer.
Suppose that the integer and the polynomial satisfy the condition. For the polynomial , the equalities from the condition have the form and . Since the coefficients of the polynomial are integers, the equality is true. Therefore the numbers and satisfy the equality , i.e. they are roots of the polynomial . According to Bezout's theorem, the polynomial is divisible by . Let , then the Gauss lemma implies that the rational coefficients of the polynomial are integers. Substitute into the resulting equality and take into account that , after transformations we obtain the equality Since the coefficients of the polynomial are integers, Let's multiply this equality with (1): Since the expression in brackets is a product of conjugate numbers, it is an integer, so is divisible by . This is equivalent to saying that is congruent to or modulo .
For the numbers , , equality (1) takes the form which is equivalent to which is impossible, since the coefficients are integers.
For numbers , , equality (1) takes the form which is equivalent to therefore, one can choose the polynomial . Therefore, all such numbers satisfy the condition.
Suppose that the integer and the polynomial satisfy the condition. For the polynomial , the equalities from the condition have the form and . Since the coefficients of the polynomial are integers, the equality is true. Therefore the numbers and satisfy the equality , i.e. they are roots of the polynomial . According to Bezout's theorem, the polynomial is divisible by . Let , then the Gauss lemma implies that the rational coefficients of the polynomial are integers. Substitute into the resulting equality and take into account that , after transformations we obtain the equality Since the coefficients of the polynomial are integers, Let's multiply this equality with (1): Since the expression in brackets is a product of conjugate numbers, it is an integer, so is divisible by . This is equivalent to saying that is congruent to or modulo .
For the numbers , , equality (1) takes the form which is equivalent to which is impossible, since the coefficients are integers.
For numbers , , equality (1) takes the form which is equivalent to therefore, one can choose the polynomial . Therefore, all such numbers satisfy the condition.
Final answer
a = 7k - 2 for any positive integer k
Techniques
PolynomialsIrreducibility: Rational Root Theorem, Gauss's Lemma, EisensteinModular ArithmeticAlgebraic numbers