Maths Olympiad Prep

Library / /215 of 383

, 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,RAP, Q, R \in \mathcal{A}. Find the smallest non-negative integer nn such that xiyjzkBx^{i} y^{j} z^{k} \in \mathcal{B} for all nonnegative integers i,j,ki, j, k satisfying i+j+kni+j+k \geqslant n.
(Venezuela)

Solution

We start by showing that n4n \leqslant 4, i.e., any monomial f=xiyjzkf=x^{i} y^{j} z^{k} with i+j+k4i+j+k \geqslant 4 belongs to B\mathcal{B}. Assume that ijki \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=(xx)(xy)(xz)=x3px2+qxr, 0=(x-x)(x-y)(x-z)=x^{3}-p x^{2}+q x-r,
therefore x3Bx^{3} \in \mathcal{B}. Next, x2y2=xyq(x+y)rBx^{2} y^{2}=x y q-(x+y) r \in \mathcal{B}.
If k1k \geqslant 1, then rr divides ff, thus fBf \in \mathcal{B}. If k=0k=0 and j2j \geqslant 2, then x2y2x^{2} y^{2} divides ff, thus we have fBf \in \mathcal{B} again. Finally, if k=0,j1k=0, j \leqslant 1, then x3x^{3} divides ff and fBf \in \mathcal{B} in this case also.

In order to prove that n4n \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=01a+d=0 \neq 1.

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

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