Is it possible?

Number Theory Level pending

n n and n + 1 n+1 are two integers.

( 1 ) (1) n 2 n^{2} and ( n + 1 ) 2 (n+1)^2 are divisible by a common integer(1 is not to be counted).

( 2 ) (2) n 3 n^{3} and ( n + 1 ) 3 (n+1)^{3} are divisible by a common integer(1 is not to be counted).

(1) is true while (2) is false Both (1) and (2) are false Both (1) and (2) are right (2) is true while (1) is false

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

Alex G
Apr 19, 2016

From the given conditions we have:

n 2 = 0 m o d a n^2= 0 \mod a (1) and ( n + 1 ) 2 = 0 m o d a {(n+1)}^2= 0 \mod a (2).

(2) can be simplified to 2 n = 1 m o d a 2n = -1\mod a after expanding and using (1).

If a a is prime, then (1) only has the solution n = 0 m o d p n=0 \mod p (3). Substituting into (2) leads to 0 = 1 m o d p 0= -1 \mod p , which is not true.

Now consider composite a a , with prime factorization 1 c 0 × p 1 c 1 × p 2 c 2 × . . . × p i c i 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 c b 2 × . . . × p i c i 1^{c_0}×{p_1}^{c_1}×{p_2}^{c_2}×...{p_b}^{ \frac {c_b} {2}}×...×{p_i}^{c_i} , with 0 b i 0 \leq b \leq i and even c b c_b (as odd c b c_b would result in non integral n n , which is prohibited by the given conditions), leading to n = p 1 c 1 × p 2 c 2 × . . . p b c b 2 × . . . × p i c i m o d a n ={p_1}^{c_1}×{p_2}^{c_2}×...{p_b}^{ \frac {c_b} {2}}×...×{p_i}^{c_i} \mod a (4). If b = 0 b=0 , then the result is (3), which does not solve the problem. If 1 b i 1 \leq b \leq i , then after substituting into (2), 2 × ( p 1 c 1 × p 2 c 2 × . . . p b c b 2 × . . . × p i c i ) = 1 m o d a 2×({p_1}^{c_1}×{p_2}^{c_2}×...{p_b}^{ \frac {c_b} {2}}×...×{p_i}^{c_i})=-1 \mod a . Now, all p b c b 2 2 {p_b}^{\frac {c_b} {2}} \geq 2 (with the exception of b = 0 b=0 , covered above). This means that a 2 × ( p 1 c 1 × p 2 c 2 × . . . p b c b 2 × . . . × p i c i ) a \geq 2×({p_1}^{c_1}×{p_2}^{c_2}×...{p_b}^{ \frac {c_b} {2}}×...×{p_i}^{c_i}) , and the difference between them will never be 1 1 (try very low values of p b c b 2 {p_b}^{\frac {c_b} {2}} ). This means that 2 n 2n will never be 1 m o d a -1 \mod a , and therefore (1) and (2) cannot both hold.

To prove the same result for n 3 n^3 and ( n + 1 ) 3 {(n+1)}^3 , (3) holds, and for composite a a , the general form of the solutions is 1 c 0 × p 1 c 1 × p 2 c 2 × . . . p b c b 3 × . . . × p i c i 1^{c_0}×{p_1}^{c_1}×{p_2}^{c_2}×...{p_b}^{ \frac {c_b} {3}}×...×{p_i}^{c_i} ., with 0 b i 0 \leq b \leq i and c b c_b divisible by 3 3 .

While 1 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.

Quite Impressive, This is the correct solution for it, but sometimes it is more beneficial to solve the problem without going into the details.

Like take n=6, and n+1=7 they will never be divided by a common number, therefore there squares as well as there cube or there n t h n^{th} power will never be divided by a common number.

Your efforts are no doubt flawless and Excellent. :)

Abhay Tiwari - 5 years, 1 month ago

Log in to reply

Thank you for your kind words. When you wrote the problem, did you mean to specify that n n has to be an integer? In your wording you said that n n is a "number", which would mean that the proof is incomplete, as it does not cover irrational numbers, not to mention trancendential.

Alex G - 5 years, 1 month ago

Log in to reply

Ya, I think I should change the sentence. Actually while forming the Question sometimes it happens that, you forget about the limitation of the question. And thats what happened right now. Thanks a lot.

Abhay Tiwari - 5 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...