Again a remainder problem :)))

Determine the remainder when 1 7 17 17 17^ { { 17 }^ { 17 } } . is divided by 1729 1729


For those who are not aware of l A T e x lATex it is

17^17^17


The answer is 712.

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

Jared Low
Jan 2, 2015

Let 1 7 17 = S 17^{17}=S , then 1 7 1 7 17 = 1 7 S 17^{17^{17}}=17^S . To find 1 7 S ( m o d 1729 ) 17^S \pmod{1729} , we can just apply the Chinese Remained Theorem on the results 1 7 S ( m o d 7 ) 17^S \pmod{7} , 1 7 S ( m o d 13 ) 17^S \pmod{13} , 1 7 S ( m o d 19 ) 17^S \pmod{19} , since we have 1729 = 7 13 19 1729=7*13*19 .

We first note that:

S = 1 7 17 ( 1 ) 17 ( m o d 6 ) 5 ( m o d 6 ) S=17^{17}\equiv(-1)^{17}\pmod{6}\equiv5\pmod{6}

S = 1 7 17 ( 5 ) 17 ( m o d 12 ) 5 ( m o d 12 ) S=17^{17} \equiv(5)^{17}\pmod{12}\equiv5\pmod{12}

S = 1 7 17 ( 1 ) 17 ( m o d 18 ) 17 ( m o d 18 ) S=17^{17}\equiv(-1)^{17}\pmod{18}\equiv17\pmod{18}

These congruences help in the application of Fermat's Little Theorem to figure out the congruences later modulo the various primes. The second congruence is an extension from the result 5 4 1 ( m o d 12 ) 5^4\equiv1\pmod{12} as taken from Euler's totient theorem.

We then have:

1 7 S ( m o d 7 ) 3 S ( m o d 7 ) 3 5 ( m o d 7 ) 5 ( m o d 7 ) 17^S\pmod{7}\equiv3^S\pmod{7} \equiv3^5\pmod{7}\equiv5\pmod{7}

1 7 S ( m o d 13 ) 4 S ( m o d 13 ) 4 5 ( m o d 13 ) 10 ( m o d 13 ) 17^S\pmod{13}\equiv4^S\pmod{13} \equiv4^5\pmod{13}\equiv10\pmod{13}

1 7 S ( m o d 19 ) ( 2 ) S ( m o d 19 ) 2 17 ( m o d 19 ) 9 ( m o d 19 ) 17^S\pmod{19}\equiv(-2)^S\pmod{19} \equiv-2^{17}\pmod{19}\equiv9\pmod{19}

Then applying CRT on these congruences give us 1 7 S 712 ( m o d 1729 ) 17^S \equiv 712 \pmod{1729} , hence our answer is 712 \boxed{712}

Pranjal Jain
Dec 11, 2014

@Calvin Lin Can you correct this question properly?

I've fixed my comment.

Note that Latex does not recognize a^b^c, because it doesn't know what order to exponentiate in. You need to use more brackets.

Calvin Lin Staff - 6 years, 6 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...