Browse · MathNet
PrintBulgarian National Olympiad
Bulgaria geometry
Problem
Find the least natural number for which can not be expressed in the form , where and are rational numbers.
Solution
We show that . Note that Further, it follows from that is a root of the equation , i.e. . It remains to prove that can not be expressed in the form , where and are rational numbers. Since we have that is a root of i.e. is a zero of . Suppose that , where . Now is a zero of with coefficients of the form , , i.e. from . Since the coefficient of is nonnegative we have that . Thus , where is a
polynomial of degree 1 or 2 with coefficients from and . If , then . If and does not divide , then is a zero of the remainder of divided by , i.e. again . If and divides then the zero of , which is from is also zero of . Thus, has a zero from . It is a zero of a polynomial of degree 1 or 2 with rational coefficients. It follows as above that has rational zero. Direct verification shows that none of the numbers (which are all possible rational zeroes of ) is a zero of , a contradiction.
polynomial of degree 1 or 2 with coefficients from and . If , then . If and does not divide , then is a zero of the remainder of divided by , i.e. again . If and divides then the zero of , which is from is also zero of . Thus, has a zero from . It is a zero of a polynomial of degree 1 or 2 with rational coefficients. It follows as above that has rational zero. Direct verification shows that none of the numbers (which are all possible rational zeroes of ) is a zero of , a contradiction.
Final answer
7
Techniques
TrigonometryIrreducibility: Rational Root Theorem, Gauss's Lemma, EisensteinField TheoryPolynomial operations