Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫  π  -¹ ² ³ °

You are not logged in.

## #1 2006-02-27 06:58:41

mling
Member
Registered: 2006-02-27
Posts: 2

### Proof that equation can't be solved

Hi,
can anyone give me a hint how to prove that the following equation can not be solved with integers for x and y?
x³+y³=4(x²y+xy²+1)

thanks

Offline

## #2 2006-02-27 10:38:24

ryos
Member
Registered: 2005-08-04
Posts: 394

### Re: Proof that equation can't be solved

"Want proof? Well, YOU try solving it!"

I have nothing of value to add, just my lame sense of humor.

El que pega primero pega dos veces.

Offline

## #3 2006-02-27 11:24:32

John E. Franklin
Member
Registered: 2005-08-29
Posts: 3,588

### Re: Proof that equation can't be solved

igloo myrtilles fourmis

Offline

## #4 2006-02-27 14:32:37

mikau
Member
Registered: 2005-08-22
Posts: 1,504

### Re: Proof that equation can't be solved

well theres the sum and difference of two cubes identity, though I don't really see how that would help you here.

A logarithm is just a misspelled algorithm.

Offline

## #5 2006-03-01 19:30:51

mling
Member
Registered: 2006-02-27
Posts: 2

### Re: Proof that equation can't be solved

Thanks, Diophantine Equations helped me, cause they led me to Fermat's Theorem(Generalized Equation: x^n+y^n=c*z^n)

x³+y³=4(x²y+xy²+1)  |*2
2x³+2y³= (x²y+xy²+1)*8[or: 2^3]
Therefore no integer-solutions are possible.

Last edited by mling (2006-03-01 19:31:08)

Offline

## #6 2006-03-02 02:21:37

krassi_holmz
Real Member
Registered: 2005-12-02
Posts: 1,905

### Re: Proof that equation can't be solved

Here's my proof:
Let A is the equation:

Let x=p+y, p is an integer. When we substitute in A and simplify, we get the equation:

This is very pretty. We'll take two cases:
1.p is even:
Then (p+2y) is even.
4|p^2.
1.1.y is even
Then 2|3y and 2|p+y => 4|3y(p+y) => 4|p^2-3y(p+y) =>(p^2-3y(p+y))=+ or - 4. therefore we get that (p+2y) must be +   or -1, but (p+2y) is even so y isn't even.
1.2. y is odd
Then 4 don't divides (p+2y) so p+2y is + or -2 and (p^2-3y(p+y))=+ of - 2.
But 2 doesn't divide 3y and 2 doesn't divide p+y so 2 doesn't divide 3y(p+y) so 2 doesn't divide p^2-3y(p+y) so   p^2-3y(p+y) is odd but it must be +-2 so y is not odd.
2.p is odd:
p^2 is odd.
p+2y is odd too.
That means that p+2y=+-1 and p^2-3y(y+p) must be +-4
2.1. y is even:
then 3y is even and 3y(y+p) is even so p^2-3y(y+p) is odd which can't be +-4.
2.2. y is odd:
p is odd too so p+y is even so 3y(p+y) is even again and p^2-3y(p+y) is odd. And it just can't be +-4.
The proof is done.

IPBLE:  Increasing Performance By Lowering Expectations.

Offline

## #7 2006-03-02 06:47:39

John E. Franklin
Member
Registered: 2005-08-29
Posts: 3,588

### Re: Proof that equation can't be solved

krassi, It appears you've been learning a lot of new stuff lately.
That's terrific.
What does the "|" symbol mean in above work?

igloo myrtilles fourmis

Offline

## #8 2006-03-02 09:04:16

Ricky
Moderator
Registered: 2005-12-04
Posts: 3,791

### Re: Proof that equation can't be solved

| means divides.

2 | 4
3 | 30

The equivalent of:

x | y

is:

y = xk, where k is some integer

That is, y is a multiple of x (and k).

"In the real world, this would be a problem.  But in mathematics, we can just define a place where this problem doesn't exist.  So we'll go ahead and do that now..."

Offline

## #9 2006-03-02 09:08:03

John E. Franklin
Member
Registered: 2005-08-29
Posts: 3,588

### Re: Proof that equation can't be solved

so x | y  means  y mod x = 0 ,  Thanks.

igloo myrtilles fourmis

Offline

## #10 2006-03-02 15:06:32

Ricky
Moderator
Registered: 2005-12-04
Posts: 3,791

### Re: Proof that equation can't be solved

yes, but the normal way to write that is:

y = 0 mod x.

Don't get me wrong, your way is perfectly fine too.  I guess I'm just used to seeing the mod and 0 on the right.

"In the real world, this would be a problem.  But in mathematics, we can just define a place where this problem doesn't exist.  So we'll go ahead and do that now..."

Offline

## #11 2006-03-02 22:17:29

krassi_holmz
Real Member
Registered: 2005-12-02
Posts: 1,905

### Re: Proof that equation can't be solved

No. The normal way is with 3 lines:
x ≡ 0 (mod y)

IPBLE:  Increasing Performance By Lowering Expectations.

Offline

## #12 2006-03-02 22:19:24

krassi_holmz
Real Member
Registered: 2005-12-02
Posts: 1,905

### Re: Proof that equation can't be solved

My proof makes me think that the Fetmat's generalized equation is true.

IPBLE:  Increasing Performance By Lowering Expectations.

Offline