Find the total number of positive integer pairs ( n , m ) that are solutions of the equation ( n ! ) 2 ( 2 n ) ! = m 2 If the number of solutions is infinite, enter − 1 . Provide proof of your answer.
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 taking your time to write a solution to this problem, Mark!
By direct calculation, we can verify that the equation does not have any solution for n = 1 and n = 2 . Thus, we can assume that n ≥ 3 and are going to prove that the equation does not have any solution in this case either. Using Bertrand's Postulate , we can draw the conclusion that for any integer n ≥ 3 , there is a prime number p such that n < p < 2 n . Since n ≥ 3 , then p 2 > n 2 > 2 n . Now, we can use the property that the exponent of the prime number p in the prime factorization of any number of the form r ! is given by the sum k = 1 ∑ ∞ ⌊ p k r ⌋ . where ⌊ ⋅ ⌋ represents the floor function (for an explanation of this formula, use the following link ). Then the exponent of p in the prime factorization of the number ( n ! ) 2 ( 2 n ) ! is k = 1 ∑ ∞ ( ⌊ p k 2 n ⌋ − 2 ⌊ p k n ⌋ ) . Using the inequalities mentioned above for p and n , we obtain that the exponent must be 1. Hence the number ( n ! ) 2 ( 2 n ) ! cannot be a perfect square. Therefore, the number of integer solutions of the given equation is 0 .
Note : It is easy to see that ( n ! ) 2 ( 2 n ) ! is a positive integer number for any positive integer n , because it gives the total number of combinations of 2 n elements taken n at the time.
Problem Loading...
Note Loading...
Set Loading...
Erdos proved that ( k n ) , for 3 ≤ k ≤ 2 1 n is only ever the power of an integer in the case ( 3 5 0 ) = 1 4 0 2 . Thus ( n 2 n ) is never a perfect square for n ≥ 3 , and it is easy to check that ( 1 2 ) = 2 and ( 2 4 ) = 6 are not perfect squares. Thus there are 0 solutions.