How many positive integers a less than 289 are there such that a 2 + 6 a + 7 is divisible by 289?
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.
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.
I think the second last line (congruence) of case 1 should be a = 1 7 k − 3 as k ≡ 1 4 ≡ − 3 ( m o d 1 7 ) .
Anyway nice solution!.
If i am wrong, please explain me how you got a = 1 7 k + 3 from k ≡ 1 4 ( m o d 1 7 )
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 . If we let a + 3 = b , we can write b 2 ≡ 2 ... we have to count the "square roots" of 2 modulo 289. We quickly see that b = ± 4 5 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 that is congruent to neither 45 nor -45 such that 4 5 2 ≡ x 2 ≡ 2 . Then ( 4 5 2 − x 2 ) = ( 4 5 − x ) ( 4 5 + x ) ≡ 0 , meaning that both 4 5 + x and 4 5 − x are divisible by 17. This implies that 90 is divisible by 17, a contradiction.
Thus our congruence has only 2 solutions.
We quickly see that b = ± 4 5 are solutions.
How did you this to be true so easily?
Problem Loading...
Note Loading...
Set Loading...
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 2 8 9 )
a 2 + 6 a ≡ − 7 ( m o d 2 8 9 )
a 2 + 6 a + 9 ≡ 2 ( m o d 2 8 9 )
( a + 3 ) 2 ≡ 2 ( m o d 2 8 9 )
Let x = a + 3
In order for 2 to be a quadratic residue modulo 2 8 9 , it must be a quadratic residue modulo 1 7 . A quick search yields x 2 ≡ 2 ( m o d 1 7 ) only when x ≡ 6 ( m o d 1 7 ) or x ≡ 1 1 ( m o d 1 7 ) .
Case 1: x = 1 7 k + 6 , k ∈ Z
( 1 7 k + 6 ) 2 ≡ 2 ( m o d 2 8 9 )
2 8 9 k 2 + 2 0 4 k + 3 6 ≡ 2 ( m o d 2 8 9 )
2 0 4 k ≡ − 3 4 ( m o d 2 8 9 )
1 2 k ≡ − 2 ( m o d 1 7 )
6 k ≡ − 1 ( m o d 1 7 )
6 k ≡ − 1 8 ( m o d 1 7 )
k ≡ − 3 ( m o d 1 7 )
k ≡ 1 4 ( m o d 1 7 )
a = 1 7 k + 3
a must be a positive integer less than 2 8 9 , and 1 4 is the only possible value for k that would put a in this range. a = 1 7 ( 1 4 ) + 3 = 2 4 1 .
Case 2: x = 1 7 k + 1 1 , k ∈ Z
( 1 7 k + 1 1 ) 2 ≡ 2 ( m o d 2 8 9 )
2 8 9 k 2 + 3 7 4 k + 1 2 1 ≡ 2 ( m o d 2 8 9 )
8 5 k ≡ − 1 1 9 ( m o d 2 8 9 )
5 k ≡ − 7 ( m o d 1 7 )
5 k ≡ 1 0 ( m o d 1 7 )
k ≡ 2 ( m o d 1 7 )
a = 1 7 k + 8
a must be a positive integer less than 2 8 9 , and 2 is the only possible value for k that would put a in this range. a = 1 7 ( 2 ) + 8 = 4 2 .
There are only 2 solutions for a that are positive integers less than 2 8 9 : a = 4 2 and a = 2 4 1 .