Intereting Posts

Evaluating $\int_{0}^{1}\frac{1-x}{1+x}\frac{\mathrm dx}{\ln x}$
Prove the divergence of the sequence $\left\{ \sin(n) \right\}_{n=1}^{\infty}$.
Understanding the concept behind the Lagrangian multiplier
Proof of the inequality $(x+y)^n\leq 2^{n-1}(x^n+y^n)$
Euler characteristic of a boundary?
The Last Man Standing
$\mathcal{F_t}$-martingales with Itô's formula?
Computing $\lim\limits_{n\to+\infty}n\int_{0}^{\pi/2}xf(x)\cos ^n xdx$
Logic and number theory books
Are Complex Substitutions Legal in Integration?
Proof of the product rule. Trick. Add and subtract the same term.
Number partition – prove recursive formula
How to show that $^{\omega}$ is not locally compact in the uniform topology?
Factor $x^{14}+8x^{13}+3$ over the rationals
differential equations, diagonalizable matrix

Let $x$ and $y$ be positive integers. Is it possible that $(x+2)(x+1)x=3(y+2)(y+1)y$?

I ran a program for $1\le{x,y}\le1\text{ }000\text{ }000$ and found no solution, so I believe there are none.

- Primes as quotients
- How to find solutions of linear Diophantine ax + by = c?
- Can $x^{n}-1$ be prime if $x$ is not a power of $2$ and $n$ is odd?
- Does the special Pell equation $X^2-dY^2=Z^2$ have a simple general parameterization?
- Odd binomial sum equality has only trivial solution?
- Diophantine equation involving prime numbers : $p^3 - q^5 = (p+q)^2$

- Last few digits of $n^{n^{n^{\cdot^{\cdot^{\cdot^n}}}}}$
- To prove that $ + ++\dots ++$ is even.
- Show that if $c\mid a-b$ and $c\mid a'-b'$ then $c\mid aa'-bb'$
- Decimal/hex palindromes: why multiples of 53?
- Elementary proof that $3$ is a primitive root of a Fermat prime?
- Help with proof of showing idempotents in set of Integers Modulo a prime power are $0$ and $1$
- How to determine whether a number can be written as a sum of two squares?
- Diophantine equation: $n^p+3^p=k^2$
- Prove $\binom{p-1}{k} \equiv (-1)^k\pmod p$
- Prove the identity $\Sigma_{d|n}\phi(d) = n$, where the sum is extended over all the divisors $d$ of $n$.

The equation $x(x+1)(x+2) = 3y(y+1)(y+2)$ is equivalent to $\left(\frac{24}{3y-x+2}\right)^2 = \left(\frac{3y-9x-6}{3y-x+2}\right)^3-27\left(\frac{3y-9x-6}{3y-x+2}\right)+90$.

This is an elliptic curve of conductor $3888$. Cremona’s table says its group of rational points is of rank $2$, and is generated by the obvious solutions $(x,y) \in \{-2;-1;0\}^2$

I am not sure how one would go about proving an upper bound for the integral solutions of the original equation. There are papers on the subject (for example, Stroeker and de Weger’s “Solving elliptic diophantine equations: The general cubic case.” seems to be applicable here)

Also, see How to compute rational or integer points on elliptic curves

It seems unlikely. The search you have done seems to get us out of the law of small numbers. Somebody’s law says that when the reciprocal powers in an equation like this sum to less than $1$ you should expect finitely many solutions. Here it is $\frac 23$. The equation can be written $(x+1)((x+1)^2-1)=3(y+1)((y+1)^2-1)$ so you need $\frac {x+1}{y+1}$ to be very close to $\sqrt[3]3$ You could use the continued fraction to find convergents

Completing mercio’s answer: There are no other integer solutions.

**Mercio’s portion:**

Let $(x,y)$ be an integer solution to $x(x+1)(x+2)=3y(y+1)(y+2)$.

We can rewrite it as

$$\left(\dfrac{24}{3y-x+2}\right)^2=\left(\dfrac{3y-9x-6}{3y-x+2}\right)^3-27\left(\dfrac{3y-9x-6}{3y-x+2}\right)+90$$

or simply

$$E:Y^2=X^3-27X+90.$$

$E$ is an Elliptic curve since $\Delta=-139968\neq 0$.

Since $x,y$ are integers, they give rise to a rational solution in $E(\mathbb Q)$, via

$$(x,y)\mapsto \left(\dfrac{3y-9x-6}{3y-x+2},\dfrac{24}{3y-x+2}\right)=(X,Y).$$

However this only makes sense if $3y-x+2\neq 0$. Suppose otherwise, $x=3y+2$, then

$$24^2(3y-x+2)=(3y-9x-6)^3-27(3y-9x-6)(3y-x+2)^2+90(3y-x+2)^3$$

$$0=3y-9x-6\Leftrightarrow 0=y-3x-2$$

Together with $x=3y+2$, we have

$$ y-9y-6-2=0\implies y=-1$$

So it fails when $(x,y) = (-1,-1)$.

Ignoring this, then each $(x,y)$ integral solution must give rise to a rational point $(X,Y)$ in $E$.

We can use the following commands in Sage:

E = EllipticCurve([0,0,0,-27,90]);

E.rank()

E.gens()

Which will tell us that $E(\mathbb Q)$ is torsion free and of rank 2 and generated by $(-5, 10), (-3, 12)$.

Therefore all the rational points on $E$ can be written as:

$$P\in E(\mathbb Q)\Longleftrightarrow P = [a](-5,10)\oplus [b](-3,12)$$

for some $a,b\in\Bbb Z$.

**Solving for $(x,y)$ using $E(\mathbb Q)$**:

If any $P\in E(\mathbb Q)$ can be mapped from an integral solution $(x,y)$, then we have relations

$$\dfrac{3y-9x-6}{3y-x+2}=X,\dfrac{24}{3y-x+2}=Y,$$

and we can check validity by solving the simultaneous equations.

Note that for $Y$, the numerator will always be small since $x$ and $y$ are integers.

Therefore all we have to do is to generate all $(a,b)\in \mathbb Z^2$, then form $P=(X,Y)$ and check if it satisfies the simultaneous equations.

The problem is $\{(a,b)\}$ is an infinite set.

However, a (Height) property of Elliptic curve tells us that:

(1) As we add more points, we expect $X$ and $Y$ to be not integers.

(2) Since they are not torsion points, we also expect numerator/denominator to grow exponentially.

(3) Numerator and denominator will have approximately same number of digits as they grow.

**Combining all (3), this says that gradually the numerator of $Y$ must increase.**

**Edit2:** Not quite enough. This is true for almost all points but we need to show that we did not miss any. Temporary solution in comments, will add proper solution after checking my workings.

**End_Edit_2**

As an example, let $P=(-5,10)$ and consider $\varphi(P)=\{P,[2]P,\dots\}$.

We will get:

$$\left\{(-5,10),\left(\dfrac{394}{25}, \dfrac{-7478}{125} \right), \left(\dfrac{148795}{269361},\dfrac{1212735770}{139798359} \right), \left(\dfrac{25189696321}{5592048400},\dfrac{-3233187530793631}{418173379352000}\right),\left(\dfrac{41697179388698395}{10487471993072881}, \dfrac{7244632674771290918438950}{1074004796869053110612279}\right),\dots\right\}$$

We then observe that for our solution in $(x,y)$, we require $Y=24/(3y-x+2)$.

In particular, this says that the numerator must be rather small.

Therefore it suffices to check for $P=[a](-5,10)\oplus [b](-3,12)$ for small values of $(a,b)$.

(For example, say $-5\leq a,b\leq 5$.)

We will then find that the only solutions are the trivial negative ones.

- Is there a constructive way to exhibit a basis for $\mathbb{R}^\mathbb{N}$?
- Subgroups of a direct product
- Integrating trigonometric function problem $\int \frac{3\sin x+2\cos x}{2\sin x+3\cos x}dx$
- Is $(\mathbb{Q},+)$ the direct product of two non-trivial subgroups?
- Find the value of : $\lim\limits_{n\to \infty} \sqrt {\frac{(3n)!}{n!(2n+1)!}} $
- Evaluate $\int_0^\infty\frac{\ln x}{1+x^2}dx$
- How do you calculate the decimal expansion of an irrational number?
- Difference of two binomial random variables
- If xy + yz + zx = 1, …
- How to prove $\lim_{n\rightarrow \infty} {a^n \over n!}=0$
- Clarify definitions of relation and 0-ary relation
- What's an example of an infinitesimal?
- What's the connection between the indefinite integral and the definite integral?
- Convergence of sequence in uniform and box topologies
- Variation of the Kempner series – convergence of series $\sum\frac{1}{n}$ where $9$ is not a digit of $1/n$.