and are two integers.
and are divisible by a common integer(1 is not to be counted).
and are divisible by a common integer(1 is not to be counted).
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.
From the given conditions we have:
n 2 = 0 m o d a (1) and ( n + 1 ) 2 = 0 m o d a (2).
(2) can be simplified to 2 n = − 1 m o d a after expanding and using (1).
If a is prime, then (1) only has the solution n = 0 m o d p (3). Substituting into (2) leads to 0 = − 1 m o d p , which is not true.
Now consider composite a , with prime factorization 1 c 0 × p 1 c 1 × p 2 c 2 × . . . × p i c i . The solutions to (1) must be of the form 1 c 0 × p 1 c 1 × p 2 c 2 × . . . p b 2 c b × . . . × p i c i , with 0 ≤ b ≤ i and even c b (as odd c b would result in non integral n , which is prohibited by the given conditions), leading to n = p 1 c 1 × p 2 c 2 × . . . p b 2 c b × . . . × p i c i m o d a (4). If b = 0 , then the result is (3), which does not solve the problem. If 1 ≤ b ≤ i , then after substituting into (2), 2 × ( p 1 c 1 × p 2 c 2 × . . . p b 2 c b × . . . × p i c i ) = − 1 m o d a . Now, all p b 2 c b ≥ 2 (with the exception of b = 0 , covered above). This means that a ≥ 2 × ( p 1 c 1 × p 2 c 2 × . . . p b 2 c b × . . . × p i c i ) , and the difference between them will never be 1 (try very low values of p b 2 c b ). This means that 2 n will never be − 1 m o d a , and therefore (1) and (2) cannot both hold.
To prove the same result for n 3 and ( n + 1 ) 3 , (3) holds, and for composite a , the general form of the solutions is 1 c 0 × p 1 c 1 × p 2 c 2 × . . . p b 3 c b × . . . × p i c i ., with 0 ≤ b ≤ i and c b divisible by 3 .
While 1 is neither prime nor composite, I included it in my prime factorization in order to make the general form cover all solutions.
Please comment with feedback.