Some squares

How many triples of integers a , b , c { 0 , 1 , 2... , 70 } a,b,c \in \{0,1,2...,70\} satisfy 71 a 2 + b 2 2 c 2 71 \mid a^2+b^2-2c^2 ?

This problem comes from the Cesenatico (IT) math final .''


The answer is 5041.

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.

1 solution

Patrick Corn
Nov 29, 2017

The idea is that if a 0 , a \ne 0, then there is a corresponding c c exactly half the time (as expected, heuristically), and in that case there are two such c , c, so the total number of such solutions is 70 70 = 4900. 70 \cdot 70 = 4900. Then it's easy to count the solutions when a = 0 a=0 : there are 2 70 + 1 = 141 2 \cdot 70+1 = 141 (the lone 1 1 comes from a = b = c = 0 a=b=c=0 ). So the total answer is 5041 , \fbox{5041}, which happens to equal 7 1 2 . 71^2.

The only thing we haven't justified is that first sentence, so let's write down a formal proof. First of all, 2 2 is a square mod 71 , 71, so the equation is equivalent to a 2 + b 2 d 2 a^2+b^2 \equiv d^2 mod 71. 71. Now let x = d b , y = d + b . x=d-b, y = d+b. The condition that a 0 a \ne 0 corresponds to x , y 0. x,y \ne 0. Also, there is a one-to-one correspondence between pairs ( x , y ) (x,y) and pairs ( b , d ) , (b,d), so we can count ( x , y ) (x,y) instead.

Our equation now is a 2 x y a^2 \equiv xy mod 71. 71. This has two solutions if x y xy is a square, and none if x y xy is not. A fancier way to write that number of solutions is that it's ( x y 71 ) + 1 , \left( \frac{xy}{71} \right) + 1, where ( 71 ) \left( \frac{\cdot}{71} \right) is the Legendre symbol . This equals ( x 71 ) ( y 71 ) + 1 , \left( \frac{x}{71} \right) \left( \frac{y}{71} \right) + 1, so the total number of solutions with a 0 a \ne 0 equals x , y 0 ( ( x 71 ) ( y 71 ) + 1 ) = 4900 + x , y 0 ( x 71 ) ( y 71 ) = 4900 + x 0 ( x 71 ) y 0 ( y 71 ) . \sum_{x,y \ne 0} \left( \left(\frac{x}{71}\right)\left(\frac{y}{71}\right) + 1\right) = 4900 + \sum_{x,y \ne 0} \left(\frac{x}{71}\right)\left(\frac{y}{71}\right) = 4900 + \sum_{x \ne 0} \left(\frac{x}{71}\right) \sum_{y \ne 0} \left(\frac{y}{71}\right). But both those sums on the right are equal to 0 , 0, because there are 35 35 nonzero squares and 35 35 nonzero non-squares mod 71. 71.

Maybe there is a cleaner way to do this? I'd be interested to see it.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...