Olympiad Maths Prep

Track / Stage 5 / 255 of 400 #855 of 2000

Problem 855

AIME late
Number theory Difficulty 5.6 Find the answer

3. (7 points) Find all triples (x,y,z)(x, y, z) of pairwise coprime natural numbers satisfying the system

{(a+b)x+ay=bz;(a+b)x3+ay3=bz3, where b>a are coprime natural numbers.  \left\{\begin{array}{l} (a+b) x+a y=b z ; \\ (a+b) x^{3}+a y^{3}=b z^{3}, \end{array} \quad \text { where } b>a\right. \text { are coprime natural numbers. }

In your answer, write the smallest possible value of x+y+zx+y+z.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Solution: Rewrite the system

{a(x+y)=b(zx);a(x3+y3)=b(z3x3);{a(x+y)=b(zx)a(x+y)(x2xy+y2)=b(zx)(z2+zx+x2) \left\{\begin{array} { l } { a ( x + y ) = b ( z - x ) ; } \\ { a ( x ^ { 3 } + y ^ { 3 } ) = b ( z ^ { 3 } - x ^ { 3 } ) ; } \end{array} \Longrightarrow \left\{\begin{array}{l} a(x+y)=b(z-x) \\ a(x+y)\left(x^{2}-x y+y^{2}\right)=b(z-x)\left(z^{2}+z x+x^{2}\right) \end{array}\right.\right.

Since x,y,zx, y, z are natural numbers, then a(x+y)=b(zx)>0a(x+y)=b(z-x)>0. Therefore, in the second equation, we can divide both sides by the same non-zero number.

{a(x+y)=b(zx);x2xy+y2=z2+zx+x2;{a(x+y)=b(zx);(yz)(y+z)=x(y+z);{a(x+y)=b(zx)yz=x \left\{\begin{array} { l } { a ( x + y ) = b ( z - x ) ; } \\ { x ^ { 2 } - x y + y ^ { 2 } = z ^ { 2 } + z x + x ^ { 2 } ; } \end{array} \Longrightarrow \left\{\begin{array} { l } { a ( x + y ) = b ( z - x ) ; } \\ { ( y - z ) ( y + z ) = x ( y + z ) ; } \end{array} \Longrightarrow \left\{\begin{array}{l} a(x+y)=b(z-x) \\ y-z=x \end{array}\right.\right.\right.

Substitute xx with yzy-z in the first equation

{a(2yz)=b(2zy);x=yz{(2a+b)y=(a+2b)zx=yz \left\{\begin{array} { l } { a ( 2 y - z ) = b ( 2 z - y ) ; } \\ { x = y - z } \end{array} \Longrightarrow \left\{\begin{array}{l} (2 a+b) y=(a+2 b) z \\ x=y-z \end{array}\right.\right.

Since yy and zz are coprime, then y=a+2by=a+2 b and z=2a+bz=2 a+b. Therefore, x=yz=(a+2b)(2ab)=bax=y-z=(a+2 b)-(2 a-b)=b-a. Since b>ab>a are coprime natural numbers, x,y,zx, y, z are pairwise coprime numbers.

It remains to compute

x+y+z=(ba)+(a+2b)+(2a+b)=2a+4b x+y+z=(b-a)+(a+2 b)+(2 a+b)=2 a+4 b

## Answers:

| Option | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 |
| :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: | :---: |
| Answer | 34 | 44 | 38 | 40 | 38 | 58 | 46 | 46 | 50 | 40 | 46 |

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.