How Are They Similar?

10 0 m 9 n 6 4 j 7 k \large 100^m-9^n\\ \large 64^j-7^k

Let m , n , j m, n, j and k k be positive integers. If A A and B B are the smallest positive integers that can be written in the form of the first and the second expressions above respectively, find A × B A\times B .


The answer is 285.

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

Xuming Liang
Feb 24, 2016

A , B A,B are 19 , 15 19,15 respectively(taken when m = 1 , n = 2 m=1, n=2 ), giving the answer 19 15 = 285 19\cdot 15=\boxed {285} . To see why, we prove a more general result: Given positive integer p p , the smallest positive integer that can be expressed as ( 2 p ) 2 m ( 2 p 1 ) n (2p)^{2m}-(2p-1)^n is 4 p 1 4p-1 , where m , n m,n are still positive integers.

Note that p = 5 , 4 p=5,4 respectively for our original problem.


We consider two cases for n n :

If n n is even, then ( 2 p ) 2 m ( 2 p 1 ) n = ( 2 p ) 2 m ( 2 p 1 ) 2 ( n 2 ) ) = ( ( 2 p ) m ( 2 p 1 ) n 2 ) ( ( 2 p ) m + ( 2 p 1 ) n 2 ) 2 p + 2 p 1 = 4 p 1 \begin{aligned} (2p)^{2m}-(2p-1)^n &=(2p)^{2m}-(2p-1)^{2(\frac {n}{2})}) \\ &=((2p)^m-(2p-1)^{\frac {n}{2}})((2p)^m+(2p-1)^{\frac {n}{2}}) \\ &\ge 2p+2p-1 \\ &=4p-1 \end{aligned} The inequality is valid since ( 2 p ) m ( 2 p 1 ) n 2 > 0 (2p)^m-(2p-1)^{\frac {n}{2}}>0 because we want a positive number and m , n 2 m, \frac {n}{2} are positive integers. Thus, equality holds when m = 1 , n = 2 m=1, n=2 .

If n n is odd, then consider the modulo 4 p 4p of ( 2 p ) 2 m ( 2 p 1 ) n (2p)^{2m}-(2p-1)^n . Clearly ( 2 p ) 2 m 0 ( m o d 4 p ) (2p)^{2m}\equiv 0 \pmod {4p} , while ( 2 p 1 ) n = ( 2 p ) n n ( 2 p ) n 1 + . . . + n ( 2 p ) 1 n ( 2 p ) 1 2 p 1 ( m o d 4 p ) \begin{aligned} (2p-1)^n &= (2p)^n-n(2p)^{n-1}+...+n(2p)-1 \\ &\equiv n(2p)-1 \\ &\equiv 2p-1 \pmod {4p} \end{aligned} by binomial expansion and ( 2 p ) k 0 ( m o d 4 p ) (2p)^k\equiv 0 \pmod {4p} for k > 1 k>1 .

This means that ( 2 p ) 2 m ( 2 p 1 ) n 2 p 1 (2p)^{2m}-(2p-1)^n \ge 2p-1 . However, the equality clearly cannot hold since 2 p 1 ( 2 p ) 2 m 2p-1|(2p)^{2m} but ( 2 p 1 , 2 p ) = 1 (2p-1,2p)=1 . Hence ( 2 p ) 2 m ( 2 p 1 ) n 4 p + 2 p 1 = 6 p 1 (2p)^{2m}-(2p-1)^n \ge 4p+2p-1=6p-1 , which is greater than the lower bound we found for n n is even. Thus we have proven our proposition.

An alternate solution can be found by considering the modulo 4 p 2 4p-2 of the expression, which will involve proving that the expression cannot equal to 1 1 . Although the Diophantine equation derived from that is a good exercise, I found the above solution that bypasses such concerns.

Xuming Liang - 5 years, 3 months ago

Nice problem and solution @Xuming Liang

Anuj Shikarkhane - 5 years, 3 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...