This problem’s question: What is the sum of m and n ? ( 3 n ) = m 2
The answer is small enough that a computer search is feasible. ( m ∣ n ) ∈ Z > 0 and n ≥ 7 .
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.
( 3 n ) = m 2 ⟹ n ( n − 1 ) ( n − 2 ) = 6 . m 2
I claim that there should be a one to one function between ( n , n − 1 , n − 2 ) and three possible forms ( A 2 , 2 B 2 , 3 C 2 ) , where A , B , C are positive integers. The argument is as below:
If there is a prime p α ( p ≥ 5 ) in one of ( n , n − 1 , n − 2 ) , such that α is odd, then another member of ( n , n − 1 , n − 2 ) should be divisible by p β ( β is odd to), so that we make m 2 being a square. For the case p = 3 , the same argument applies, except that power of 3 should end up odd. But, we know that if x is a multiple of p , the next number, that is a multiple of p , is p ≥ 5 units away from x , hence, integers ( n , n − 1 , n − 2 ) , that are at most 3 units away, can be of forms (not with exact order) ( 2 a A 2 , 3 b B 2 , C 2 ) or ( 2 a A 2 , 3 b B 2 , 2 c C 2 ) or ( 2 a 3 b A 2 , B 2 , 2 b C 2 ) , where A , B , C are positive integers, that are coprimes with respect to 6 . Note that ( 2 a 3 b A 2 , B 2 , C 2 ) is not a possible form, as B 2 and C 2 would become to squares, with maximum of 2 units difference. The mentioned possible forms can all be simplified to ( 2 A 2 , 3 B 2 , C 2 ) , when we allow the even powers 2 and 3 to be absorbed by A 2 , B 2 , C 2 .
Knowing the general form ( A 2 , 2 B 2 , 3 C 2 ) , I wrote squares in one row and, in the row below, I wrote the same squares, multiplied by 2 and in the next row, the squares, multiplied by 3 . Then I looked for 3 consecutive numbers, exactly from each and every row. There would be examples like 1 , 2 , 3 or 2 , 3 , 4 that should be ignored as they amount to an n < 7 . The smallest triple, that would satisfy our conditions, is ( 4 9 , 5 0 , 4 8 ) = ( A 2 , 2 B 2 , 3 C 2 ) . I am not sure if there is gonna be another triple.
n ( n − 1 ) ( n − 2 ) = 5 0 . 4 9 . 4 8 = 1 1 7 6 0 0 = 6 . 1 9 6 0 0 = 6 . ( 1 4 0 ) 2 ⟹ m + n = 1 4 0 + 5 0 = 1 9 0
( 3 5 0 ) ⇒ 1 4 0 There are no other solutions in positive integers for ( 3 n ) and n ≥ 7 .
This problem came from a Paul Ërdos proof. The book from which the problem was availed did not make the n ≥ 7 restriction readily apparent and I missed that restriction.
Problem Loading...
Note Loading...
Set Loading...
Let a = n − 1 , so the equation becomes 6 m 2 = a 3 − a . Let y = 3 6 m and x = 6 a ; then y 2 = x 3 − 3 6 x . Your favorite computer algebra package can find all the integral points on this elliptic curve; note that to give an integral solution to the original equation, you need x to be a multiple of 6 and y a multiple of 3 6 .
MAGMA says that the integral points consist of: ( − 6 , 0 ) , ( 0 , 0 ) , ( 6 , 0 ) , ( − 3 , ± 9 ) , ( − 2 , ± 8 ) , ( 1 2 , ± 3 6 ) , ( 1 8 , ± 7 2 ) , ( 2 9 4 , ± 5 0 4 0 ) . Of these, the first five don't give meaningful solutions, the sixth gives n = 3 , m = 1 , the seventh gives n = 4 , m = 2 , and the eighth gives n = 5 0 , m = 1 4 0 . This last solution is the only one that satisfies the problem conditions, so the answer is 1 9 0 . If you believe that these are all the integral points, this shows that the solution is unique.
(There might be a nice descent argument to solve the equation as well, I don't know. It seems like a bit of a headache.)