How many triples of integers satisfy ?
This problem comes from the Cesenatico (IT) math final .''
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 idea is that if a = 0 , then there is a corresponding c exactly half the time (as expected, heuristically), and in that case there are two such c , so the total number of such solutions is 7 0 ⋅ 7 0 = 4 9 0 0 . Then it's easy to count the solutions when a = 0 : there are 2 ⋅ 7 0 + 1 = 1 4 1 (the lone 1 comes from a = b = c = 0 ). So the total answer is 5 0 4 1 , which happens to equal 7 1 2 .
The only thing we haven't justified is that first sentence, so let's write down a formal proof. First of all, 2 is a square mod 7 1 , so the equation is equivalent to a 2 + b 2 ≡ d 2 mod 7 1 . Now let x = d − b , y = d + b . The condition that a = 0 corresponds to x , y = 0 . Also, there is a one-to-one correspondence between pairs ( x , y ) and pairs ( b , d ) , so we can count ( x , y ) instead.
Our equation now is a 2 ≡ x y mod 7 1 . This has two solutions if x y is a square, and none if x y is not. A fancier way to write that number of solutions is that it's ( 7 1 x y ) + 1 , where ( 7 1 ⋅ ) is the Legendre symbol . This equals ( 7 1 x ) ( 7 1 y ) + 1 , so the total number of solutions with a = 0 equals x , y = 0 ∑ ( ( 7 1 x ) ( 7 1 y ) + 1 ) = 4 9 0 0 + x , y = 0 ∑ ( 7 1 x ) ( 7 1 y ) = 4 9 0 0 + x = 0 ∑ ( 7 1 x ) y = 0 ∑ ( 7 1 y ) . But both those sums on the right are equal to 0 , because there are 3 5 nonzero squares and 3 5 nonzero non-squares mod 7 1 .
Maybe there is a cleaner way to do this? I'd be interested to see it.