Maths Olympiad Prep

Library / IMO Shortlist /202 of 365

IMO Shortlist, 2020

Algebra Difficulty 8.7 Shortlist Prove it IMO

Let A\mathcal{A} denote the set of all polynomials in three variables x,y,zx, y, z with integer coefficients. Let B\mathcal{B} denote the subset of A\mathcal{A} formed by all polynomials which can be expressed as
(x+y+z)P(x,y,z)+(xy+yz+zx)Q(x,y,z)+xyzR(x,y,z) (x+y+z) P(x, y, z)+(x y+y z+z x) Q(x, y, z)+x y z R(x, y, z)
with P,Q,R∈AP, Q, R \in \mathcal{A}. Find the smallest non-negative integer nn such that xiyjzk∈Bx^{i} y^{j} z^{k} \in \mathcal{B} for all nonnegative integers i,j,ki, j, k satisfying i+j+k⩾ni+j+k \geqslant n.
(Venezuela)

Solution

We start by showing that n⩽4n \leqslant 4, i.e., any monomial f=xiyjzkf=x^{i} y^{j} z^{k} with i+j+k⩾4i+j+k \geqslant 4 belongs to B\mathcal{B}. Assume that i⩾j⩾ki \geqslant j \geqslant k, the other cases are analogous.
Let x+y+z=px+y+z=p, xy+yz+zx=qx y+y z+z x=q and xyz=rx y z=r. Then
0=(x−x)(x−y)(x−z)=x3−px2+qx−r, 0=(x-x)(x-y)(x-z)=x^{3}-p x^{2}+q x-r,
therefore x3∈Bx^{3} \in \mathcal{B}. Next, x2y2=xyq−(x+y)r∈Bx^{2} y^{2}=x y q-(x+y) r \in \mathcal{B}.
If k⩾1k \geqslant 1, then rr divides ff, thus f∈Bf \in \mathcal{B}. If k=0k=0 and j⩾2j \geqslant 2, then x2y2x^{2} y^{2} divides ff, thus we have f∈Bf \in \mathcal{B} again. Finally, if k=0,j⩽1k=0, j \leqslant 1, then x3x^{3} divides ff and f∈Bf \in \mathcal{B} in this case also.

In order to prove that n⩾4n \geqslant 4, we show that the monomial x2yx^{2} y does not belong to B\mathcal{B}. Assume the contrary:
x2y=pP+qQ+rR \begin{equation*} x^{2} y=p P+q Q+r R \tag{1} \end{equation*}
for some polynomials P,Q,RP, Q, R. If polynomial PP contains the monomial x2x^{2} (with nonzero coefficient), then pP+qQ+rRp P+q Q+r R contains the monomial x3x^{3} with the same nonzero coefficient. So PP does not contain x2,y2,z2x^{2}, y^{2}, z^{2} and we may write
x2y=(x+y+z)(axy+byz+czx)+(xy+yz+zx)(dx+ey+fz)+gxyz x^{2} y=(x+y+z)(a x y+b y z+c z x)+(x y+y z+z x)(d x+e y+f z)+g x y z
where a,b,c;d,e,f;ga, b, c ; d, e, f ; g are the coefficients of xy,yz,zx;x,y,z;xyzx y, y z, z x ; x, y, z ; x y z in the polynomials PP; Q;RQ ; R, respectively (the remaining coefficients do not affect the monomials of degree 3 in pP+qQ+rRp P+q Q+r R ). By considering the coefficients of xy2x y^{2} we get e=−ae=-a, analogously e=−be=-b, f=−b,f=−c,d=−cf=-b, f=-c, d=-c, thus a=b=ca=b=c and f=e=d=−af=e=d=-a, but then the coefficient of x2yx^{2} y in the right hand side equals a+d=0≠1a+d=0 \neq 1.

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.