IMO!

Let k k and n n be positive integers for which 7 k 3 n 7^k - 3^n divides k 4 + n 2 k^4 + n^2 then find k + n = ? k + n = ?

31 10 6 51

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

Arjen Vreugdenhil
Sep 22, 2015

Since A = 7 k 3 n A = 7^k - 3^n is the difference of two odd numbers, it must be even. This implies that B = k 4 + n 2 B = k^4 + n^2 must also be even, showing that k k and n n are of the same parity (both odd or both even).

First, see if k k and n n could be odd: say, k = 2 h + 1 k = 2h+1 and n = 2 m + 1 n = 2m+1 . We have A = 7 ( 48 + 1 ) h 3 ( 8 + 1 ) m = ( 8 c 1 + 7 ) ( 8 c 2 + 3 ) = 4 ( 2 c 3 + 1 ) . A = 7\cdot (48+1)^h - 3\cdot (8+1)^m = (8c_1+7) - (8c_2+3) = 4(2c_3+1). B = ( 8 c + 1 ) + ( 4 m 2 + 4 m + 1 ) = 2 ( 4 c + 2 m ( m + 1 ) + 1 ) = 2 ( 4 c + 1 ) . B = (8c + 1) + (4m^2 + 4m + 1) = 2(4c + 2m(m+1) + 1) = 2(4c' + 1). But if A B A|B then 4 2 4|2 , which is impossible.

Therefore k k and n n must be even: k = 2 h k = 2h , n = 2 m n = 2m . Then A = ( 48 + 1 ) h ( 8 + 1 ) m = 8 c , A = (48+1)^h - (8+1)^m = 8c, B = 16 h 4 + 4 m 2 = 4 ( 4 h 4 + m 2 ) , B = 16h^4 + 4m^2 = 4(4h^4+m^2), A B 8 c 4 ( 4 h 4 + m 2 ) . A|B\ \ \ \Longleftrightarrow\ \ \ 8c|4(4h^4 + m^2). This implies that m m is even, say m = 2 m = 2\ell so that n = 4 n = 4\ell . Now we have A = 4 9 h 8 1 = ( 48 + 1 ) h ( 80 + 1 ) = 16 c , A = 49^h - 81^\ell = (48+1)^h-(80+1)^\ell = 16c', B = 16 ( h 4 + m 2 ) . B = 16(h^4 + m^2). A B c h 4 + m 2 . A|B\ \ \ \Longleftrightarrow\ \ \ c'|h^4 + m^2.

The smallest h , m h, m for which this can be true is h = m = 1 h = m = 1 . This gives k = 2 , n = 4 k = 2, n= 4 . Check: 7 2 3 4 = 49 81 = 32 32 = 16 + 16 = 2 4 + 4 2 . 7^2 - 3^4 = 49 - 81 = -32 | 32 = 16 + 16 = 2^4 + 4^2. I don't know if there are more solutions; for small k , n k, n certainly not. The divisor 7 k 3 n 7^k-3^n will be somewhat smallish if n / k log 7 / log 3 1.7712 n/k \approx \log 7/\log 3 \approx 1.7712 , but whether it will be small enough to divide k 4 + n 2 k^4 + n^2 is not certain.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...