You are not logged in.

- Topics: Active | Unanswered

Pages: **1**

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

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

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

"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

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

diophantine equations has something about integer answers.

**igloo** **myrtilles** **fourmis**

Offline

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

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

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

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

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

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

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

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

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

| 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

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

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

**igloo** **myrtilles** **fourmis**

Offline

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

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

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

No. The normal way is with 3 lines:

x ≡ 0 (mod y)

IPBLE: Increasing Performance By Lowering Expectations.

Offline

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

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

IPBLE: Increasing Performance By Lowering Expectations.

Offline

Pages: **1**