Maths Olympiad Prep

Library / /456 of 520

Algebra Difficulty 7.0 National olympiad Find the answer

12. Find the integer solutions of the indeterminate equation x6+x3y=y3+2y2x^{6}+x^{3} y=y^{3}+2 y^{2}.

Translate the above text into English, please keep the original text's line breaks and format, and output the translation result directly.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

12. Let (x,y)(x, y) be the integer solution of the equation, then when x=0x=0, y2(y+2)=0y^{2}(y+2)=0, we get y=y= 0 or -2. When y=0y=0, x6=0x^{6}=0, we get x=0x=0. It is known that when x,yx, y have one equal to zero, the solutions are (x,y)=(0,0)(x, y)=(0,0) or (0,2)(0,-2).

Below, we discuss the case where xy0x y \neq 0. For any prime factor pp of yy, let pmyp^{m} \| y, then px6p \mid x^{6}, hence pxp \mid x. Suppose pnxp^{n} \| x, there are two possibilities.
(1) pp is an odd prime, then p2m(y3+2y2)p^{2 m} \|\left(y^{3}+2 y^{2}\right). And x6+x3y=x3(x3+y)x^{6}+x^{3} y=x^{3}\left(x^{3}+y\right). If 3nm3 n \leq m, then we get 3n+m=2m3 n+m=2 m, which implies m=3nm=3 n. Therefore, we always have m=3nm=3 n.
(2) p=2p=2, if m2m \geqslant 2, then 22m+1(y3+2y2)2^{2 m+1} \|\left(y^{3}+2 y^{2}\right), similarly to (1) we get m=3nm=3 n or 3n13 n-1.

Using the conclusions from (1) and (2), we can set (x,y)=(ab,2b3),(ab,b3)(x, y)=\left(a b, 2 b^{3}\right),\left(a b, b^{3}\right) or (ab,b32)\left(a b, \frac{b^{3}}{2}\right), where a,bZa, b \in \mathbf{Z}. Substituting into the original equation, we get
1a6+a3=b3+21^{\circ} a^{6}+a^{3}=b^{3}+2,
2a6+2a3=8b3+82^{\circ} a^{6}+2 a^{3}=8 b^{3}+8,
38a6+4a3=b3+43^{\circ} \quad 8 a^{6}+4 a^{3}=b^{3}+4.
For equation 11^{\circ}, if a>1a>1, then
(a2+1)3>b3=a6+a32>(a2)3,\left(a^{2}+1\right)^{3}>b^{3}=a^{6}+a^{3}-2>\left(a^{2}\right)^{3},

no solution. If ab3>(a21)3,a b^{3}>\left(a^{2}-1\right)^{3},

also no solution. Hence a=0,x=0a=0, x=0 or a=1,b=0,y=0a=1, b=0, y=0, both contradict xy0x y \neq 0.
For equation 22^{\circ}, if a>0a>0, then
(a2+1)3>(2b)3=a6+2a38>(a2)3,\left(a^{2}+1\right)^{3}>(2 b)^{3}=a^{6}+2 a^{3}-8>\left(a^{2}\right)^{3},

no solution. If a(2b)3>(a21)3,a(2 b)^{3}>\left(a^{2}-1\right)^{3},

also no solution. For a=2,1,0a=-2,-1,0, all lead to xy=0x y=0.
For equation 33^{\circ}, if a>1a>1, then
(2a2+1)3>b3=8a6+4a34>(2a2)3.\left(2 a^{2}+1\right)^{3}>b^{3}=8 a^{6}+4 a^{3}-4>\left(2 a^{2}\right)^{3} .

If ab3>(2a21)3a b^{3}>\left(2 a^{2}-1\right)^{3}

Hence, only a{1,0,1}a \in\{-1,0,1\}. Only when a=1,b=2a=1, b=2, there is a solution (x,y)=(2,4)(x, y)=(2,4) such that xy0x y \neq 0.

In summary, the integer solutions of the equation are (x,y)=(0,0),(0,2)(x, y)=(0,0),(0,-2) or (2,4)(2,4).

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.