Maths Olympiad Prep

Library / /3 of 23

Number theory Difficulty 5.3 AIME, harder Prove it Romania

A triple of integers (a,b,c)(a, b, c) is called artistic if the number ab+bc+caa+b+c\frac{ab+bc+ca}{a+b+c} is also an integer.

a) Determine the integers nn for which the triples (n,n+1,n+3)(n, n+1, n+3) are artistic.

b) If (x,y,z)(x, y, z) is an artistic triplet, prove that x4+y4+z4x+y+z\frac{x^4+y^4+z^4}{x+y+z} is an integer.

Solution

a) The triple (n,n+1,n+3)(n, n+1, n+3), nZn \in \mathbb{Z}, is artistic iff 3n2+8n+33n+4=n+4n+33n+4\frac{3n^2+8n+3}{3n+4} = n + \frac{4n+3}{3n+4} is an integer. It follows that 3n+43n+4 divides 4(3n+4)3(4n+3)=74(3n+4)-3(4n+3) = 7, whence we obtain n{1,1}n \in \{-1, 1\}, therefore the solutions are (1,0,2)(-1, 0, 2) and (1,2,4)(1, 2, 4).

b) Since x+y+zx + y + z and xy+yz+zxx+y+z\frac{xy+yz+zx}{x+y+z} are both integers, x2+y2+z2x+y+z=(x+y+z)2xy+yz+zxx+y+z\frac{x^2+y^2+z^2}{x+y+z} = (x+y+z) - 2 \cdot \frac{xy+yz+zx}{x+y+z} and x2y2+y2z2+z2x2x+y+z=(xy+yz+zx)xy+yz+zxx+y+z2xyz\frac{x^2y^2+y^2z^2+z^2x^2}{x+y+z} = (xy+yz+zx) \cdot \frac{xy+yz+zx}{x+y+z} - 2xyz are also integers. Thus, x4+y4+z4x+y+z=(x2+y2+z2)x2+y2+z2x+y+z2x2y2+y2z2+z2x2x+y+z\frac{x^4+y^4+z^4}{x+y+z} = (x^2+y^2+z^2) \frac{x^2+y^2+z^2}{x+y+z} - 2 \cdot \frac{x^2y^2+y^2z^2+z^2x^2}{x+y+z} is an integer.

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.