New Year's Countdown Day 10: Square ± \pm Ten

How many of the statements below are true?

  1. There exists an integer a a such that a 2 + 10 a^2 + 10 is divisible by 2017.
  2. There exists an integer a a such that a 2 10 a^2 - 10 is divisible by 2017.
  3. There exists an integer a a such that a 2 + 10 a^2 + 10 is divisible by 2027.
  4. There exists an integer a a such that a 2 10 a^2 - 10 is divisible by 2027.

Note : Both 2017 and 2027 are prime numbers.

0 1 2 3 4

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

Steven Yuan
Dec 10, 2017

For this solution, we use the Legendre symbol and its properties.

The problem is equivalent to finding how many of the expressions ( 10 2017 ) , ( 10 2017 ) , ( 10 2027 ) , ( 10 2027 ) \left ( \dfrac{10}{2017} \right ), \left ( \dfrac{-10}{2017} \right ), \left ( \dfrac{10}{2027} \right ), \left ( \dfrac{-10}{2027} \right ) are equal to 1. First, we calculate

( 1 2017 ) = ( 1 ) 2017 1 2 = ( 1 ) 1008 = 1 ( 1 2027 ) = ( 1 ) 2027 1 2 = ( 1 ) 1013 = 1. \left ( \dfrac{-1}{2017} \right ) = (-1)^{\frac{2017 - 1}{2}} = (-1)^{1008} = 1 \\ \left ( \dfrac{-1}{2027} \right ) = (-1)^{\frac{2027 - 1}{2}} = (-1)^{1013} = -1. \\

From this, we determine that if 10 is a quadratic residue mod 2017, then -10 is too (and vice versa); and if 10 is a quadratic residue mod 2027, then -10 is not (and vice versa).

Now, we calculate ( 10 2017 ) \left ( \dfrac{10}{2017} \right ) and ( 10 2027 ) \left ( \dfrac{10}{2027} \right ) using the law of quadratic reciprocity and other properties of the Legendre symbol:

( 10 2017 ) = ( 2 2017 ) ( 5 2017 ) = ( 2 2017 ) ( 2017 5 ) = ( 2 2017 ) ( 2 5 ) = ( 1 ) 201 7 2 1 8 ( 1 ) 5 2 1 8 = 1 ( 1 ) = 1. ( 10 2027 ) = ( 2 2027 ) ( 5 2027 ) = ( 2 2027 ) ( 2027 5 ) = ( 2 2027 ) ( 2 5 ) = ( 1 ) 202 7 2 1 8 ( 1 ) 5 2 1 8 = 1 ( 1 ) = 1. \begin{aligned} \left ( \dfrac{10}{2017} \right ) &= \left ( \dfrac{2}{2017} \right ) \left ( \dfrac{5}{2017} \right ) \\ &= \left ( \dfrac{2}{2017} \right ) \left ( \dfrac{2017}{5} \right ) \\ &= \left ( \dfrac{2}{2017} \right ) \left ( \dfrac{2}{5} \right ) \\ &= (-1)^{\frac{2017^2 - 1}{8}} \cdot (-1)^{\frac{5^2 - 1}{8}} \\ &= 1 \cdot (-1) \\ &= -1. \\ \\ \left ( \dfrac{10}{2027} \right ) &= \left ( \dfrac{2}{2027} \right ) \left ( \dfrac{5}{2027} \right ) \\ &= \left ( \dfrac{2}{2027} \right ) \left ( \dfrac{2027}{5} \right ) \\ &= \left ( \dfrac{2}{2027} \right ) \left ( \dfrac{2}{5} \right ) \\ &= (-1)^{\frac{2027^2 - 1}{8}} \cdot (-1)^{\frac{5^2 - 1}{8}} \\ &= -1 \cdot (-1) \\ &= 1. \end{aligned}

Thus, only ( 10 2027 ) = 1 \left ( \dfrac{10}{2027} \right ) = 1 , and only 1 \boxed{1} of the original statements is true.

A simple computer program reveals that 48 7 2 10 = 237159 = 117 × 2027 , 487^2 - 10 = 237159 = 117 \times 2027, among infinitely many other possible values of a a .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...