It gets Smaller and Smaller

How many ordered sets of positive integers ( a , b , c , d ) (a, b, c, d) satisfy the following equation?

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

Note: I didn't come up with this problem.


The answer is 0.

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.

6 solutions

Eddie The Head
Mar 4, 2014

It is evident that 7 a 2 + b 2 7|a^{2}+b^{2} We see that for any number a a , a 2 0 , 1 , 2 , 4 ( m o d 7 ) a^{2} \equiv 0,1,2,4 \pmod{7} .So for any two integers a and b , 7 divides a 2 + b 2 a^{2}+b^{2} iff 7 |a & 7|b .So in this case ,let us assume a = 7 a 1 a = 7a_1 and b = 7 b 1 b=7b_1 .

Hence we have 49 ( a 1 2 + b 1 2 ) = 7 ( c 2 + d 2 ) 49(a_1^{2}+b_1^{2}) = 7(c^{2}+d^{2}) Cancelling 7 from both sides we get 7 ( a 1 2 + b 1 2 ) = ( c 2 + d 2 ) 7(a_1^{2}+b_1^{2}) = (c^{2}+d^{2}) Notice that we get the same equation with a 1 < a a_1 < a and b 1 < b b_1 < b ,we can repeatedly do this as many times as we like to obtain a decreasing sequence of integers but in reality there cannot exist any infinitely decreasing sequence of positive integers as a , b , c , d a,b,c,d must be finite...hence we have a contradiction....This method is known as Fermat's Method of Infinite Descent ...

Hence there are 0 \boxed{0} solutions!!

The problem could actually be generalised when replacing 7 with any prime of the form 4k+3, e.g. 11,19,23 etc.

Bogdan Simeonov - 7 years, 3 months ago

Log in to reply

Indeed!

Eddie The Head - 7 years, 3 months ago

This reminds me of Euclid's proof that 2 \sqrt{2} is irrational...

Tanishq Aggarwal - 7 years, 3 months ago

Oh took 0,0,0,0 in positive integers

U Z - 6 years, 5 months ago
Jubayer Nirjhor
Mar 4, 2014

Note that 7 a 2 + b 2 7\mid a^2+b^2 . So 7 a 7\mid a and 7 b 7\mid b . Assuming there exist some solutions, consider the triplet a 1 , b 1 , c 1 , d 1 a_1,b_1,c_1,d_1 with smallest value of a a . Substituting a 1 = 7 p a_1=7p , b 1 = 7 q ~b_1=7q gives:

a 1 2 + b 1 2 = 49 p 2 + 49 q 2 = 7 ( c 1 2 + d 1 2 ) c 1 2 + d 1 2 = 7 ( p 2 + q 2 ) a_1^2+b_1^2=49p^2+49q^2=7(c_1^2+d_1^2)~~\Longrightarrow ~ c_1^2+d_1^2=7(p^2+q^2)

So we have another triplet ( a , b , c , d ) = ( c 1 , d 1 , p , q ) (a,b,c,d)=(c_1,d_1,p,q) with c 1 < a c_1 < a or d 1 < a d_1<a creating a contradiction. So there exists no solution.

Can you justify the first step? (I know it's true, but why?).

The first step need not be true if 7 was replaced by (say) 5.

Calvin Lin Staff - 7 years, 3 months ago

Log in to reply

7 7 has exactly 4 4 distinct quadratic residues: 0 , 1 , 2 , 4 0,1,2,4 . We need to choose two of them, let's say, m m and n n such that m + n 0 ( m o d 7 ) m+n\equiv 0 \pmod7 . And that's possible iff m = n = 0 m=n=0 . Hence, 7 a 7\mid a and 7 b 7\mid b .

But when we're talking about 5 5 , 5 5 has 3 3 distinct quadratic residues: 0 , 1 , 4 0,1,4 . We can choose m = 1 m=1 , n = 4 n=4 and vice versa so that 1 + 4 = 5 0 ( m o d 5 ) 1+4=5\equiv 0 \pmod5 . So it's not necessary that 5 a 5\mid a and 5 b 5\mid b .

Jubayer Nirjhor - 7 years, 3 months ago
Wira Abdillah
Mar 27, 2014

In the note it says "I didn't come up with this problem." So there is no solution for this problem. :P

Vitor Pacela
Mar 11, 2014

Let's think that they are Pitágoras Therms. We don't know any triple of Pitágoras Therms with 7 being the hypotenuse. If we had one, or more, we could say that

7(c² + d²) = (a² + b²) -> 7 = x² + y²,

when (x²+y²)(c²+d²)=a²+b². As it doesn't exist, we should say there is no solution.

Vishal Sharma
Mar 11, 2014

Any perfect square when divided by 7 gives remainder 0,1,4,2. In the question right hand side is multiple of 7,Hence LHS should also be divisible by 7. if a^{2} gives remainder 1 then b^2 should give 6 which is impossible. Similar is the case with 4 and 2.4 needs 3 and 2 needs 5 both of which are not possible.

Finn Hulse
Mar 4, 2014

It is apparent that the sum of \ a { 2 } a^\{2\}\\ and \ b { 2 } b^\{2\}\\ must be a multiple of seven. The only way that this can happen is this:

  • Case 1: Both squares are the squares of a multiple of seven.

  • Case 2: Both squares are not multiples of seven and just happen to add up to a multiple of seven.

Let us examine the second case. First look at the pairs that add to seven. \ 1 \+ 6 1\+6\\ , \ 2 \+ 5 2\+5\\ , and \ 3 \+ 4 3\+4\\ . We see that no matter what we multiply by (remember, it will be distributed to both numbers in the pair), there will never be perfect squares for both pairs. Therefore Case 2 is invalid. For Case 1, both \ a a\\ and \ b b\\ must be of the form \ 7 x 7x\\ . Squaring that is \ a { 2 } = 49 x { 2 } a^\{2\}=49x^\{2\}\\ . Now look at the other side of the equation. By substitution and factoring out 49, \ 49\(x^\{2\}\+y^\{2\} =7 c { 2 } \+ d { 2 } c^\{2\}\+d^\{2\}\\ . Dividing by seven, \ 7\(x^\{2\}\+y^\{2\} = c { 2 } \+ d { 2 } c^\{2\}\+d^\{2\} \), which we have already proved to be impossible. Thus, there are \ b o x e d { 0 } \\boxed\{0\}\\ sets of positive integers that work.

Great problem.

Finn Hulse - 7 years, 3 months ago

After factoring out 7 and cancelling howdid you show it is impossible?

Eddie The Head - 7 years, 3 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...