The power

Let n n and m m be positive integers such that the following equation holds true: ( n 1 ) ! + 1 = n m . (n-1)!+1=n^m. If ( n 1 , m 1 ) , , ( n i , m i ) (n_1,m_1),\ldots,(n_i,m_i) are all the solutions, give your answer as k = 1 i n k m k . \displaystyle \sum _{k=1} ^i n_k \cdot m_k .


The answer is 15.

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.

2 solutions

Kazem Sepehrinia
Jul 16, 2017

Observe that n > 1 n>1 . Let q q be a prime divisor of n n . Then q n m ( n 1 ) ! = 1 q \mid n^m-(n-1)!=1 . Contradiction. Thus n n is a prime number. Let n = p n=p be a prime number greater than 5 5 . Then the equation becomes ( p 2 ) ! = p m 1 + p m 2 + + p + 1 ( 1 ) (p-2)!=p^{m-1}+p^{m-2}+ \dots + p+1 \qquad (1) Notice that 2 < p 1 2 < p 2 2<\frac{p-1}{2}<p-2 . Hence p 1 ( p 2 ) ! p-1 \mid (p-2)! and from equation ( 1 ) (1) p m 1 + p m 2 + + p + 1 m 0 ( m o d p 1 ) p^{m-1}+p^{m-2}+ \dots + p+1 \equiv m \equiv 0 \pmod{p-1} Therefore, p 1 m p-1 \mid m and p m p p 1 > ( p 1 ) ! + 1 p^m \ge p^{p-1}>(p-1)!+1 . Contradiction. Thus p 5 p \le 5 .

Its easy to see that ( n , m ) = ( p , m ) = ( 2 , 1 ) , ( 3 , 1 ) , ( 5 , 2 ) (n, m)=(p, m)=(2, 1), (3, 1), (5, 2) are solutions.

Filippo Olivetti
Jul 8, 2017

Relevant wiki: Lifting the exponent lemma

The couples are ( 2 , 1 ) , ( 3 , 1 ) , ( 5 , 2 ) (2,1), (3,1), (5,2) .

Rewrite the equation as ( n 1 ) ! = n m 1 (n-1)! = n^m-1

Then let's start to consider every possible couple where n > 6 n>6 . The main idea consists to analyze the factorization of the LHS and of the RHS of the equation, focusing on the power of a single prime factor.

In the left-hand side the power of a generical prime p p corresponds to: k = 1 n 1 p k \sum _{k=1} ^{ \infty} \lfloor \frac {n-1}{p^k} \rfloor

In the right-hand side the power of a generical prime p 2 p \ne 2 corresponds to: v p ( n m 1 ) v_p (n^m-1) Thus, assuming that ( p , m ) = 1 (p,m) = 1 , v p ( n m 1 ) = v p ( n m 1 m ) = v p ( n 1 ) v_p (n^m-1) = v_p (n^m-1^m) = v_p (n-1) Since the two sides of the equation must be equal, then the factorization must be equal too and then also the power of every prime factor. In particular: k = 1 n 1 p k = v p ( n 1 ) \sum _{k=1} ^{ \infty} \lfloor \frac {n-1}{p^k} \rfloor = v_p (n-1) Define α = v p ( n 1 ) \alpha = v_p (n-1) , so: k = 1 n 1 p k 1 + p + p 2 + + p α 1 > 1 + 2 + 2 2 + + 2 α 1 = 2 α 1 > α = v p ( n 1 ) \sum _{k=1} ^{ \infty} \lfloor \frac {n-1}{p^k} \rfloor \ge 1+p+p^2+ \dots+p^{\alpha-1} > 1+2+2^2+ \dots +2^{\alpha-1} = 2^{\alpha}-1 > \alpha = v_p (n-1) k = 1 n 1 p k > v p ( n 1 ) \rightarrow \sum_{k=1} ^{ \infty} \lfloor \frac {n-1}{p^k} \rfloor > v_p (n-1) If α > 1 \alpha >1 for at least one prime of the factorization of ( n 1 ) ! (n-1)! , then there aren't solutions: this happens when 3 2 ( n 1 ) ! n > 6 3^2|(n-1)! \rightarrow n>6 , since 3 2 3^2 is first power of a prime with α > 1 \alpha>1 and p 2 p \ne 2 .

Finally, we must analyze the case ( p , m ) > 1 (p,m) > 1 for every prime until n 1 n-1 (otherwise we would go back to the previous case) . Let m = i = 0 k p i m = \prod _{i=0} ^k p_i where p k p_k is the greatest prime n 1 \le n-1 ; then: ( n 1 ) ! < n ! < n n n m 1 (n-1)! < n! < n^n \le n^m-1 since n < i = 0 k p i n<\prod _{i=0} ^k p_i if n 3 n \ge 3 .

Checking the remaining cases by hand ( n 6 n \le 6 ), we find the couples ( 2 , 1 ) , ( 3 , 1 ) , ( 5 , 2 ) (2,1), (3,1), (5,2) .

The answer is 15 \boxed{15}

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...