Inspired by Anish Harsha

How many positive integers a a less than 289 are there such that a 2 + 6 a + 7 a^2+6a+7 is divisible by 289?


Inspiration .


The answer is 2.

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.

2 solutions

Andy Hayes
Nov 3, 2015

Not sure if I solved this in the most efficient way. I used to love these kind of problems in Number Theory class.

a 2 + 6 a + 7 0 ( m o d 289 ) a^2+6a+7\equiv0\pmod{289}

a 2 + 6 a 7 ( m o d 289 ) a^2+6a\equiv-7\pmod{289}

a 2 + 6 a + 9 2 ( m o d 289 ) a^2+6a+9\equiv2\pmod{289}

( a + 3 ) 2 2 ( m o d 289 ) (a+3)^2\equiv2\pmod{289}

Let x = a + 3 x=a+3

In order for 2 2 to be a quadratic residue modulo 289 289 , it must be a quadratic residue modulo 17 17 . A quick search yields x 2 2 ( m o d 17 ) x^2\equiv2\pmod{17} only when x 6 ( m o d 17 ) x\equiv6\pmod{17} or x 11 ( m o d 17 ) x\equiv11\pmod{17} .

Case 1: x = 17 k + 6 x=17k+6 , k Z k\in\mathbb{Z}

( 17 k + 6 ) 2 2 ( m o d 289 ) (17k+6)^2\equiv2\pmod{289}

289 k 2 + 204 k + 36 2 ( m o d 289 ) 289k^2+204k+36\equiv2\pmod{289}

204 k 34 ( m o d 289 ) 204k\equiv-34\pmod{289}

12 k 2 ( m o d 17 ) 12k\equiv-2\pmod{17}

6 k 1 ( m o d 17 ) 6k\equiv-1\pmod{17}

6 k 18 ( m o d 17 ) 6k\equiv-18\pmod{17}

k 3 ( m o d 17 ) k\equiv-3\pmod{17}

k 14 ( m o d 17 ) k\equiv14\pmod{17}

a = 17 k + 3 a=17k+3

a a must be a positive integer less than 289 289 , and 14 14 is the only possible value for k k that would put a a in this range. a = 17 ( 14 ) + 3 = 241 a=17(14)+3=241 .

Case 2: x = 17 k + 11 x=17k+11 , k Z k\in\mathbb{Z}

( 17 k + 11 ) 2 2 ( m o d 289 ) (17k+11)^2\equiv2\pmod{289}

289 k 2 + 374 k + 121 2 ( m o d 289 ) 289k^2+374k+121\equiv2\pmod{289}

85 k 119 ( m o d 289 ) 85k\equiv-119\pmod{289}

5 k 7 ( m o d 17 ) 5k\equiv-7\pmod{17}

5 k 10 ( m o d 17 ) 5k\equiv10\pmod{17}

k 2 ( m o d 17 ) k\equiv2\pmod{17}

a = 17 k + 8 a=17k+8

a a must be a positive integer less than 289 289 , and 2 2 is the only possible value for k k that would put a a in this range. a = 17 ( 2 ) + 8 = 42 a=17(2)+8=42 .

There are only 2 \boxed{2} solutions for a a that are positive integers less than 289 289 : a = 42 a=42 and a = 241 a=241 .

Thank you for this very careful and detailed solution, Andy! (+1)

Polynomial equations in modular arithmetic are often solved with the help of Hensel's Lemma . If you use that lemma, it suffices to solve the problem modulo 17, as you did... Since those are simple roots, the number of solutions modulo 289 will be the same.

Otto Bretscher - 5 years, 7 months ago

Log in to reply

Thanks, Otto. I learned something new, today.

Andy Hayes - 5 years, 7 months ago

I think the second last line (congruence) of case 1 should be a = 17 k 3 a = 17k - 3 as k 14 3 ( m o d 17 ) k \equiv14 \equiv-3 \pmod{17} .

Anyway nice solution!.

If i am wrong, please explain me how you got a = 17 k + 3 a = 17k + 3 from k 14 ( m o d 17 ) k \equiv14 \pmod{17}

Priyanshu Mishra - 5 years, 7 months ago
Otto Bretscher
Nov 3, 2015

Andy has written a fine solution... let me suggest an alternative, for the sake of variety. All congruences will be modulo 289.

Like Aareyan, I'm writing ( a + 3 ) 2 2 (a+3)^2\equiv 2 . If we let a + 3 = b a+3=b , we can write b 2 2 b^2\equiv 2 ... we have to count the "square roots" of 2 modulo 289. We quickly see that b = ± 45 b=\pm 45 are solutions, but the key step is to show that there are no other solutions. We will argue by contradiction, assuming that there exists an x x that is congruent to neither 45 nor -45 such that 4 5 2 x 2 2 45^2\equiv x^2 \equiv 2 . Then ( 4 5 2 x 2 ) = ( 45 x ) ( 45 + x ) 0 (45^2-x^2)=(45-x)(45+x)\equiv 0 , meaning that both 45 + x 45+x and 45 x 45-x are divisible by 17. This implies that 90 is divisible by 17, a contradiction.

Thus our congruence has only 2 \boxed{2} solutions.

We quickly see that b = ± 45 b=\pm 45 are solutions.

How did you this to be true so easily?

Pi Han Goh - 5 years, 6 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...