What is the sum of m and n?

This problem’s question: {\color{#D61F06}\text{This problem's question:}} What is the sum of m m and n n ? ( n 3 ) = m 2 \dbinom{n}{3}=m^2

The answer is small enough that a computer search is feasible. ( m n ) Z > 0 (m|n)\in \mathbb Z_{> 0} and n 7 n\ge 7 .


The answer is 190.

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 solutions

Patrick Corn
Sep 16, 2019

Let a = n 1 , a = n-1, so the equation becomes 6 m 2 = a 3 a . 6m^2 = a^3-a. Let y = 36 m y = 36m and x = 6 a x = 6a ; then y 2 = x 3 36 x . y^2 = x^3 - 36x. 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 x to be a multiple of 6 6 and y y a multiple of 36. 36.

MAGMA says that the integral points consist of: ( 6 , 0 ) , ( 0 , 0 ) , ( 6 , 0 ) , ( 3 , ± 9 ) , ( 2 , ± 8 ) , ( 12 , ± 36 ) , ( 18 , ± 72 ) , ( 294 , ± 5040 ) . (-6,0), (0,0), (6,0), (-3, \pm 9), (-2, \pm 8), (12,\pm 36), (18, \pm 72), (294, \pm 5040). Of these, the first five don't give meaningful solutions, the sixth gives n = 3 , m = 1 , n=3, m=1, the seventh gives n = 4 , m = 2 , n=4, m=2, and the eighth gives n = 50 , m = 140. n=50, m=140. This last solution is the only one that satisfies the problem conditions, so the answer is 190 . \fbox{190}. 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.)

( n 3 ) = m 2 n ( n 1 ) ( n 2 ) = 6. m 2 \binom n 3=m^2 \implies 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 ) (n,n-1,n-2) and three possible forms ( A 2 , 2 B 2 , 3 C 2 ) (A^2,2B^2,3C^2) , where A , B , C A,B,C are positive integers. The argument is as below:

If there is a prime p α p^\alpha ( p 5 p\geq 5 ) in one of ( n , n 1 , n 2 ) (n,n-1,n-2) , such that α \alpha is odd, then another member of ( n , n 1 , n 2 ) (n,n-1,n-2) should be divisible by p β p^{\beta} ( β \beta is odd to), so that we make m 2 m^2 being a square. For the case p = 3 p=3 , the same argument applies, except that power of 3 3 should end up odd. But, we know that if x x is a multiple of p p , the next number, that is a multiple of p p , is p 5 p\geq 5 units away from x x , hence, integers ( n , n 1 , n 2 ) (n,n-1,n-2) , that are at most 3 3 units away, can be of forms (not with exact order) ( 2 a A 2 , 3 b B 2 , C 2 ) (2^{a}A^2,3^{b}B^2,C^2) or ( 2 a A 2 , 3 b B 2 , 2 c C 2 ) (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 ) (2^{a}3^{b}A^2,B^2,2^{b}C^2) , where A , B , C A,B,C are positive integers, that are coprimes with respect to 6 6 . Note that ( 2 a 3 b A 2 , B 2 , C 2 ) (2^{a}3^{b}A^2,B^2,C^2) is not a possible form, as B 2 B^2 and C 2 C^2 would become to squares, with maximum of 2 2 units difference. The mentioned possible forms can all be simplified to ( 2 A 2 , 3 B 2 , C 2 ) (2A^2,3B^2,C^2) , when we allow the even powers 2 2 and 3 3 to be absorbed by A 2 , B 2 , C 2 A^2,B^2,C^2 .

Knowing the general form ( A 2 , 2 B 2 , 3 C 2 ) (A^2,2B^2,3C^2) , I wrote squares in one row and, in the row below, I wrote the same squares, multiplied by 2 2 and in the next row, the squares, multiplied by 3 3 . Then I looked for 3 3 consecutive numbers, exactly from each and every row. There would be examples like 1 , 2 , 3 1,2,3 or 2 , 3 , 4 2,3,4 that should be ignored as they amount to an n < 7 n<7 . The smallest triple, that would satisfy our conditions, is ( 49 , 50 , 48 ) = ( A 2 , 2 B 2 , 3 C 2 ) (49,50,48)=(A^2,2B^2,3C^2) . I am not sure if there is gonna be another triple.

n ( n 1 ) ( n 2 ) = 50.49.48 = 117600 = 6.19600 = 6. ( 140 ) 2 m + n = 140 + 50 = 190 n(n-1)(n-2)=50.49.48=117600=6.19600=6.(140)^2 \implies m+n=140+50=190

( 50 3 ) 140 \sqrt{\binom{50}{3}} \Rightarrow 140 There are no other solutions in positive integers for ( n 3 ) \sqrt{\binom{n}{3}} and n 7 n\geq 7 .

This problem came from a Paul Ërdos proof. The book from which the problem was availed did not make the n 7 n\geq 7 restriction readily apparent and I missed that restriction.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...