How many ordered sets of positive integers ( a , b , c , d ) satisfy the following equation?
a 2 + b 2 = 7 ( c 2 + d 2 )
Note: I didn't come up with this problem.
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.
The problem could actually be generalised when replacing 7 with any prime of the form 4k+3, e.g. 11,19,23 etc.
This reminds me of Euclid's proof that 2 is irrational...
Oh took 0,0,0,0 in positive integers
Note that 7 ∣ a 2 + b 2 . So 7 ∣ a and 7 ∣ b . Assuming there exist some solutions, consider the triplet a 1 , b 1 , c 1 , d 1 with smallest value of a . Substituting a 1 = 7 p , b 1 = 7 q gives:
a 1 2 + b 1 2 = 4 9 p 2 + 4 9 q 2 = 7 ( c 1 2 + d 1 2 ) ⟹ 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 ) with c 1 < a or 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.
Log in to reply
7 has exactly 4 distinct quadratic residues: 0 , 1 , 2 , 4 . We need to choose two of them, let's say, m and n such that m + n ≡ 0 ( m o d 7 ) . And that's possible iff m = n = 0 . Hence, 7 ∣ a and 7 ∣ b .
But when we're talking about 5 , 5 has 3 distinct quadratic residues: 0 , 1 , 4 . We can choose m = 1 , n = 4 and vice versa so that 1 + 4 = 5 ≡ 0 ( m o d 5 ) . So it's not necessary that 5 ∣ a and 5 ∣ b .
In the note it says "I didn't come up with this problem." So there is no solution for this problem. :P
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.
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.
It is apparent that the sum of \ a { 2 } and \ 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 , \ 2 \+ 5 , and \ 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 and \ b must be of the form \ 7 x . Squaring that is \ a { 2 } = 4 9 x { 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 } . Dividing by seven, \ 7\(x^\{2\}\+y^\{2\} = c { 2 } \+ d { 2 } \), which we have already proved to be impossible. Thus, there are \ b o x e d { 0 } sets of positive integers that work.
Great problem.
After factoring out 7 and cancelling howdid you show it is impossible?
Problem Loading...
Note Loading...
Set Loading...
It is evident that 7 ∣ a 2 + b 2 We see that for any number a , a 2 ≡ 0 , 1 , 2 , 4 ( m o d 7 ) .So for any two integers a and b , 7 divides a 2 + b 2 iff 7 |a & 7|b .So in this case ,let us assume a = 7 a 1 and b = 7 b 1 .
Hence we have 4 9 ( 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 ) Notice that we get the same equation with a 1 < a and 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 must be finite...hence we have a contradiction....This method is known as Fermat's Method of Infinite Descent ...
Hence there are 0 solutions!!