Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Replies: 15   Last Post: Dec 14, 2012 6:05 AM

 Messages: [ Previous | Next ]
 Dr J R Stockton Posts: 3 Registered: 12/4/12
Posted: Dec 6, 2012 6:38 PM

In sci.math message <Pine.NEB.4.64.1212041922190.1746@panix1.panix.com>,
Tue, 4 Dec 2012 19:48:01, William Elliot <marsh@panix.com> posted:

>On Tue, 4 Dec 2012, Dr J R Stockton wrote:
>> Sun, 2 Dec 2012 19:47:28, William Elliot <marsh@panix.com> posted:
>> >On Sat, 1 Dec 2012, William Elliot wrote:
>>
>> >> "What's 5^2012 mod 7?" is a Putnam question? ;-}
>
>> >phi(7) = 6; 5^2012 = 5^(6 * 335 + 2) = 5^2 = 25 = 4 (mod 7)
>>
>> Correct by direct calculation in Bases 7, 10, 13, using my longcalc.exe.

>
>For all n in N, 5^n = 5 (mod 10)
>Proof by induction. 5^1 = 5 (mod 10).
>If 5^n = 5 (mod 10), then 5^(n+1) = 5^n * 5 = 5 * 5 = 25 = 5 (mod 10)
>
>phi(13) = 12;
>5^2012 = 5^(12 * 168 + 6) = 5^6 = 25^3 = (-1)^3 = -1 = 12 (mod 13)
>
>1200
> 720
> 96
>
>longcalc.exe is too smart for it's britches.

In that calculation, longcalc uses only elementary arithmetic, as used
to be taught in schools in my day. Your proof, however, is 50%
incomprehensible to me. Though it may well be right. Longcalc found an
error in *a* printed representation of (3^349-1)/2, which you might have
difficulty with. Fx : checks : I think it has found another one.

--
(c) John Stockton, Surrey, UK. ?@merlyn.demon.co.uk Turnpike v6.05 MIME.
Web <http://www.merlyn.demon.co.uk/> - FAQish topics, acronyms, & links.
Proper <= 4-line sig. separator as above, a line exactly "-- " (SonOfRFC1036)
Do not Mail News to me. Before a reply, quote with ">" or "> " (SonOfRFC1036)

Date Subject Author
12/1/12 Dmitry Yu. Mitin
12/1/12 William Elliot
12/1/12 Bart Goddard
12/1/12 William Elliot
12/2/12 William Elliot
12/3/12 Bart Goddard
12/4/12 Dr J R Stockton
12/4/12 William Elliot
12/5/12 Butch Malahide
12/6/12 Dr J R Stockton
12/8/12 Dr J R Stockton
12/8/12 Richard Tobin
12/9/12 Wasell
12/13/12 Dr J R Stockton
12/14/12 Pubkeybreaker
12/5/12 Phil Carmody