# show that the equation has only one solution

• Oct 31st 2010, 10:02 AM
Dreamer78692
show that the equation has only one solution
This question really has me stumped..... (Lipssealed)

a^2 + b^2 = 6( c^2 + d^2 )

Any clues or hints to start this question...

I think we suppose to use congruences to try an solve this...

Any help greatly appreciated
• Oct 31st 2010, 10:35 AM
tonio
Quote:

Originally Posted by Dreamer78692
This question really has me stumped..... (Lipssealed)

a^2 + b^2 = 6( c^2 + d^2 )

Any clues or hints to start this question...

I think we suppose to use congruences to try an solve this...

Any help greatly appreciated

The RHS is being expressed as the sum of two squares. This is possible iff all the primes $=3\!\!\pmod 4$ that divide the RHS

appear at an even power....now, we have there $6=2\cdot 3$ , so....try to complete the argument now.

Tonio
• Oct 31st 2010, 12:10 PM
Dreamer78692
Sorry Im not quite getting it .....

c^2 + d^2 can be expressed as (2^k)*p1..pk*q1...ql
a^2 + b^2 can be expressed as (2^g)*s1..sm*t1...tn

where p1...pk and s1...sm are primes =1 mod 4
and where q1...ql and t1...tn are primes =3 mod 4 with even power...

then
a^2 + b^2 = 6( c^2 + d^2 )
can be expressed as
(2^g)*s1..sm*t1...tn = 6*(2^k)*p1..pk*q1...ql

am i on the right track... I don't really know where to go from there

Another guy posted this solution is this correct
MathBin.net - Untitled
• Oct 31st 2010, 12:55 PM
tonio
Quote:

Originally Posted by Dreamer78692
Sorry Im not quite getting it .....

c^2 + d^2 can be expressed as (2^k)*p1..pk*q1...ql
a^2 + b^2 can be expressed as (2^g)*s1..sm*t1...tn

where p1...pk and s1...sm are primes =1 mod 4
and where q1...ql and t1...tn are primes =3 mod 4 with even power...

then
a^2 + b^2 = 6( c^2 + d^2 )
can be expressed as
(2^g)*s1..sm*t1...tn = 6*(2^k)*p1..pk*q1...ql

am i on the right track... I don't really know where to go from there

Another guy posted this solution is this correct
MathBin.net - Untitled

I don't think it is: he only managed to prove, perhaps, that both a,b are multiples of 3...

Tonio
• Oct 31st 2010, 01:04 PM
Dreamer78692
Quote:

Originally Posted by Dreamer78692
then
a^2 + b^2 = 6( c^2 + d^2 )
can be expressed as
(2^g)*s1..sm*t1...tn = 6*(2^k)*p1..pk*q1...ql

am i on the right track... I don't really know where to go from there

could you show me how to do it... pretty please
• Oct 31st 2010, 08:27 PM
tonio
Quote:

Originally Posted by Dreamer78692
could you show me how to do it... pretty please

The only thing I can really think of is what I already told you: it is a very well known result in number theory that the only primes that can

be expressed as the sum of two squares are $2 \,\,and\,\,those\,\,which\,\,are\,\, =1\!\!\pmod 4$ , and from here we get that a natural

number is expressable as the sum of two squares iff all its prime divisors which are $=3\!\!\pmod 4$ appear in the prime decomposition

of this natural number at even powers.

Thus, for example, $5\cdot 7\cdot 13$ can't be written as the sum of two squares, but $5\cdot 7^2\cdot 13$ can...

Tonio