Cube & Square Difference

Let x x and y y be integers satisfying x 3 y 2 = 11 x^3 - y^2 = 11 .

Find the sum of all possible values of x x satisfying this equation.


The answer is 18.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Marco Brezzi
Jan 12, 2018

First of all check the parity of an integral solution. Suppose that y y is odd, this implies that x x is even but

x 3 = y 2 + 11 x = 2 x , y = 2 y + 1 x^3=y^2+11\qquad x=2x',y=2y'+1

8 x 3 = 4 y 2 + 4 y + 12 \Longrightarrow 8x'^3=4y'^2+4y'+12

2 x 3 = y ( y + 1 ) + 3 2x'^3=y'(y'+1)+3

But the L H S LHS is even while the R H S RHS is odd, so our assumption was false and a solution (if there exist any) must have odd x x and even y y

Now, since 11 11 is a Heegner number , we can exploit the fact that the ring Z [ 1 2 + 11 2 ] = { m + n ( 1 2 + 11 2 ) m , n Z } \mathbb{Z}\left[\frac{1}{2}+\frac{\sqrt{-11}}{2}\right]=\left\{m+n\left(\frac{1}{2}+\frac{\sqrt{-11}}{2}\right) \mid m,n\in\mathbb{Z}\right\} is a UFD

Factor the R H S RHS

x 3 = ( y + 11 ) ( y 11 ) x^3=(y+\sqrt{-11})(y-\sqrt{-11})

We wish to prove that this two factors are coprime in the ring

Define the norm function as

N ( m + n d ) = m 2 n 2 d N(m+n\sqrt{d})=m^2-n^2d

It's easy to prove that it has the property

α β N ( α ) N ( β ) \alpha\mid\beta \Longrightarrow N(\alpha)\mid N(\beta)

We are now going to consider a δ \delta such that

δ y + 11 δ y 11 \delta\mid y+\sqrt{-11}\qquad\delta\mid y-\sqrt{-11}

It follows that

N ( δ ) y 2 + 11 N(\delta)\mid y^2+11

And y 2 + 11 y^2+11 is odd so N ( δ ) N(\delta) must be odd too. In addition

δ ( y + 11 ) ( y 11 ) δ 2 11 \delta\mid (y+\sqrt{-11})-(y-\sqrt{-11})\equiv \delta\mid 2\sqrt{-11}

We now know that N ( δ ) N(\delta) is odd and divides 44 44 , so it must be 11 11 or 1 1

If N ( δ ) = 11 N(\delta)=11 then both x x and y y would be divisible by 11 11 , implying that

1331 x 3 = 121 y 2 + 11 1331x''^3=121y''^2+11

But v 11 ( L H S ) 3 v_{11}(LHS)\geq 3 while v 11 ( R H S ) = 1 v_{11}(RHS)=1

Hence N ( δ ) = 1 N(\delta)=1 and δ \delta is a unit, so y + 11 y+\sqrt{-11} and y 11 y-\sqrt{-11} are coprime

We have two coprime numbers whose product is a cube, so they must be two cubes themselves, up to some units

We can avoid the last restrinction noting that the units in the ring are ± 1 \pm 1 which are both cubes

Now what is left are some calculations and casework

y + 11 = [ m + n ( 1 2 + 11 2 ) ] 3 y+\sqrt{-11}=\left[m+n\left(\frac{1}{2}+\frac{\sqrt{-11}}{2}\right)\right]^3

8 y + 8 11 = [ 2 m + n ( 1 + 11 ) ] 3 8y+8\sqrt{-11}=\left[2m+n\left(1+\sqrt{-11}\right)\right]^3

8 y + 8 11 = 8 m 3 + 12 m 2 n ( 1 + 11 ) + 6 m n 2 ( 1 + 11 ) 2 + n 3 ( 1 + 11 ) 3 8y+8\sqrt{-11}=8m^3+12m^2n(1+\sqrt{-11})+6mn^2(1+\sqrt{-11})^2+n^3(1+\sqrt{-11})^3

8 y + 8 11 = 8 m 3 + 12 m 2 n 60 m n 2 32 n 3 + ( 12 m 2 n + 12 m n 2 8 n 3 ) 11 8y+8\sqrt{-11}=8m^3+12m^2n-60mn^2-32n^3+(12m^2n+12mn^2-8n^3)\sqrt{-11}

Equating coefficients and simplifying

{ 2 y = 2 m 3 + 3 m 2 n 15 m n 2 8 n 3 2 = 3 m 2 n + 3 m n 2 2 n 3 \begin{cases} 2y=2m^3+3m^2n-15mn^2-8n^3\\ 2=3m^2n+3mn^2-2n^3 \end{cases}

From the second equation we get that n 2 n\mid 2 , so n = ± 1 , ± 2 n=\pm 1,\pm 2

  • n = 1 n=1 yelds no integer values for m m

  • n = 1 n=-1 gives m = 0 m=0 or m = 1 m=1 , which yelds y = ± 4 y=\pm 4

  • n = 2 n=2 gives m = 1 m=1 or m = 3 m=-3 , which yelds y = ± 58 y=\pm 58

  • n = 2 n=-2 yelds no integer values for m m

To conclude, the solutions to the equation are ( 3 ; ± 4 ) , ( 15 ; ± 58 ) (3;\pm 4), (15;\pm 58) and the sum of all the distinct values of x x is 15 + 3 = 18 15+3=\boxed{18}

Intriguing solution! @Worranat Pakornrat do you have any elementary solution?

Dr. High Einstien - 3 years, 4 months ago

In the 5th row, R H S \boxed { RHS } is a congruence with S S S , S A S , A S A , R H A \boxed { \boxed { SSS }, \boxed { SAS }, \boxed { ASA }, \boxed { RHA } } .

. . - 3 months, 3 weeks ago
Patrick Corn
Jan 8, 2018

I would be somewhat surprised if there were an elementary way to solve this problem. I used MAGMA:

1
2
3
E := EllipticCurve([0,-11]);
E;
IntegralPoints(E);

with output

1
2
3
Elliptic Curve defined by y^2 = x^3 - 11 over Rational Field
[ (3 : -4 : 1), (15 : 58 : 1) ]
[ <(3 : -4 : 1), 1>, <(15 : 58 : 1), 1> ]

Apparently this gives you all the integral points up to the sign of y . y. So the answer is 3 + 15 = 18 . 3+15 = \fbox{18}.

By the way, this particular curve has infinitely many rational points; MAGMA says it has rank 2 (and no nontrivial torsion).

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...