LHS Is Large

x 4 + y 4 = 4 x y 2 x^4 + y^4 = 4xy - 2

How many ordered pairs of integers ( x , y ) (x,y) satisfy the above expression?


The answer is 2.

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.

4 solutions

x 4 + y 4 = 4 x y 2 x^4+y^4=4xy-2

Adding 2 x 2 y 2 -2x^2y^2

x 4 + y 4 2 x 2 y 2 = 2 x 2 y 2 + 4 x y 2 x^4+y^4-2x^2y^2=-2x^2y^2+4xy-2

( x 2 y 2 ) 2 = 2 ( x y 1 ) 2 (x^2-y^2)^2=-2(xy-1)^2

or ( x 2 y 2 ) 2 + 2 ( x y 1 ) 2 = 0 (x^2-y^2)^2+2(xy-1)^2=0

Sum of 2 squares is 0. So both squares are 0.

x 2 y 2 = 0 x^2-y^2=0 and x y 1 = 0 xy-1=0

x = ± y x=\pm y and x y = 1 xy=1

So ( x = 1 , y = 1 ) (x=1,y=1) and ( x = 1 , y = 1 ) (x=-1,y=-1) are the 2 solutions

Very nice sum of squares!

Calvin Lin Staff - 4 years, 6 months ago
Rakshit Joshi
Nov 21, 2016

x 4 + y 4 = 4 x y 2 \large x^4 + y^4 = 4xy - 2 can be written as

x 4 + y 4 + 2 = 4 x y Also by AM- GM , we can say x 4 + y 4 + 1 + 1 4 x 4 y 4 4 x 4 + y 4 + 2 4 x y x^4 + y^4 + 2 = 4xy \\ \text{Also by AM- GM , we can say} \\ \dfrac{x^4+y^4 + 1 +1 }{4} \ge \large \sqrt[4]{x^4y^4} \\ \implies x^4+y^4 +2 \ge 4xy

equality comes at x = y = ± 1 x = y = \pm 1 .Hence only 2 \boxed{2} real solutions possible as 4 x y 4xy is maximum.

Ah, nice application of AM-GM directly.

The equality case could be dealt with clearer, namely stating the "first condition" of x 4 = y 4 = 1 = 1 x^ 4 = y^4 = 1 = 1 . Note that this only gives us x = ± 1 , y = ± 1 x = \pm 1, y = \pm 1 , and we further have to explain why x = y x = y .

Calvin Lin Staff - 4 years, 6 months ago
Kushal Bose
Nov 21, 2016

Applying A.M.-G.M. inequality :

x 4 + y 4 2 x 4 y 4 = 2 x 2 y 2 x^4+y^4 \geq 2 \sqrt{x^4y^4}=2x^2y^2

2 x 2 y 2 4 x y 2 x 2 y 2 2 x y + 1 0 ( x y 1 ) 2 0 2x^2y^2 \leq 4xy-2 \\ \implies x^2y^2-2xy+1 \leq 0 \\ \implies (xy-1)^2 \leq 0

A perfect square cannt be less than zero.So, it is equal to zero.

( x y 1 ) 2 = 0 x y 1 = 0 x y = 1 (xy-1)^2=0 \\ \implies xy-1=0 \\ \implies xy=1 .

From this the suitible solutions are ( 1 , 1 ) ; ( 1 , 1 ) (1,1);(-1,-1)

@Rakshit Joshi you have not mentioned that ordered pairs are integers or any real numbers. Plzz edit the question.

Kushal Bose - 4 years, 6 months ago

Log in to reply

After the application of the A.M- G.M inequality ,it is clear that the equality only holds at (1,1) and (-1,-1), and hence these are the only solution pairs over all real numbers.

Aditya Dhawan - 4 years, 6 months ago

Log in to reply

But when someone will read the question first he/she may be confused whether he should find only integers or all real values.

Kushal Bose - 4 years, 6 months ago

Log in to reply

@Kushal Bose Oh..,yes that would be a useful edit. I thought you were saying that the question should be adjusted for integral pairs. Also, I think your solution will be more complete if you mention points of equality.

Aditya Dhawan - 4 years, 6 months ago

Log in to reply

@Aditya Dhawan Which line ???

Kushal Bose - 4 years, 6 months ago

Log in to reply

@Kushal Bose After applying A.M-G.M, we see that minima occurs when x^4=y^4 which implies x=+-y. Thereby using this result after finding the value of xy, we confirm that (1,1) and (-1,-1) are the only possible pairs

Aditya Dhawan - 4 years, 6 months ago

ok, i will do with that , if it seems confusing , otherwise after once solve the equation we get to know, but still ok, thanks..

Rakshit Joshi - 4 years, 6 months ago

Side note: Always remember that in order to apply AM-GM, we need to ensure that the variables in the theorem are all positive.

Calvin Lin Staff - 4 years, 6 months ago

Log in to reply

Please also note that your first line is incorrect.

It should be x 4 + y 4 2 x 2 y 2 x^4 + y^4 \geq 2 x^2 y^2 . I do not think that you can fix the rest of the solution from here.

Calvin Lin Staff - 4 years, 6 months ago
William Isoroku
Nov 20, 2016

By observing the equation, it's obvious that 4 x y 4xy is the largest, so that limits down to ( 1 , 1 ) (1,1) and ( 1 , 1 ) (-1,-1) .

it's obvious that 4 x y 4xy is the largest

Why is this true?

Pi Han Goh - 4 years, 6 months ago

I disagree with "is the largest". A lot of the time, x 4 x^ 4 would be much larger than 4 x y 4xy .

Did you make the same inequality sign mistake as Kushal?

Calvin Lin Staff - 4 years, 6 months ago

Log in to reply

because x 4 + y 4 + 2 = 4 x y x^4+y^4+2=4xy thus either x , y x,y are both positive or both negative because x 4 + y 4 + 2 x^4+y^4+2 is positive. Either way, 4 x y 4xy would be positive and would be the greatest.

William Isoroku - 4 years, 6 months ago

Log in to reply

Say that x = 5 , y = 1 x = 5, y = 1 . What do you mean by " 4 x y 4xy is the largest"? Is it larger than x 4 x^4 ?

Calvin Lin Staff - 4 years, 6 months ago

Log in to reply

@Calvin Lin IN THIS CASE, 4 x y 4xy has to be the greatest since it's the sum of 3 positive integers. But of course like you pointed out, many wouldn't work in this case. But IN THIS PROBLEM specifically, 4 x y 4xy is larger than the rest of the other variables so only 2 ordered solutions would work.

William Isoroku - 4 years, 6 months ago

Log in to reply

@William Isoroku Ah, ic. In that case, can you fill in the gap between " 4 x y = x 4 + y 4 + 2 4xy = x^4 + y^4 + 2 is large " and "hence there are just two cases ( 1 , 1 ) , ( 1 , 1 ) (1, 1), (-1, -1) .

Currently, no one can see the mathematical reasoning that you took to arrive at the answer. Were you just lucky and guessed that there were 2 solutions? Or is there a rigorous approach taken to show that these are the only 2 solutions?

Calvin Lin Staff - 4 years, 6 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...