Maths Olympiad Prep

Library / Indian National Mathematical Olympiad /3 of 103

Indian National Mathematical Olympiad

Algebra Difficulty 4.6 AIME Prove it India

Problem:

Let a,b,c,da, b, c, d be positive integers such that a≥b≥c≥da \geq b \geq c \geq d. Prove that the equation x4−ax3−bx2−cx−d=0x^{4}-a x^{3}-b x^{2}-c x-d=0 has no integer solution.

Solution

Solution:

Suppose that mm is an integer root of x4−ax3−bx2−cx−d=0x^{4}-a x^{3}-b x^{2}-c x-d=0. As d≠0d \neq 0, we have m≠0m \neq 0.

Suppose now that m>0m>0. Then m4−am3=bm2+cm+d>0m^{4}-a m^{3}=b m^{2}+c m+d>0 and hence m>a≥dm>a \geq d. On the other hand d=m(m3−am2−bm−c)d=m\left(m^{3}-a m^{2}-b m-c\right) and hence mm divides dd, so m≤dm \leq d, a contradiction.

If m<0m<0, then writing n=−m>0n=-m>0 we have n4+an3−bn2+cn−d=n4+n2(an−b)+(cn−d)>0n^{4}+a n^{3}-b n^{2}+c n-d=n^{4}+n^{2}(a n-b)+(c n-d)>0, a contradiction.

This proves that the given polynomial has no integer roots.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.