Jump to content

Wikipedia:Reference desk/Archives/Mathematics/2020 February 13

From Wikipedia, the free encyclopedia
Mathematics desk
< February 12 << Jan | February | Mar >> February 14 >
Welcome to the Wikipedia Mathematics Reference Desk Archives
The page you are currently viewing is a transcluded archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.


February 13

[edit]

Even perfect numbers in duodecimal

[edit]

Is it true that every even perfect number other than 6 and 24 in duodecimal ends with the digits "54"? Remember that while the duodecimal number 24 may look like the number twenty-four, it really means twenty-eight, which, of course, we know is a perfect number.

As an example, consider the perfect number 496 (in decimal). In duodecimal, it becomes 354 (not to be confused with the decimal number three hundred and fifty-four). Notice that the last two digits here are "54". GeoffreyT2000 (talk) 06:01, 13 February 2020 (UTC)[reply]

Yes, it is true. Here is a simpler statement, not involving primality, that implies the one above about perfect numbers:
For all odd p, p ≥ 5, 22p−1 − 2p−1 ≡ 26 (mod 144).
This statement can easily be checked by checking it separately (using modular arithmetic) for each of the three congruence classes of odd p modulo 6. Note that 26·26 ≡ 26 (mod 144).  --Lambiam 08:39, 13 February 2020 (UTC)[reply]
The necessary arithmetic calculations can be somewhat simplified:
     22p−1 − 2p−1 ≡ 26 (mod 144)
⇔  22p+5 − 2p+5 ≡ 26 (mod 144)
⇔  24·(22p+1 − 2p+1) ≡ 24·4 (mod 24·9)
⇔  22p+1 − 2p+1 ≡ 4 (mod 9)
⇔  4·(22p−1 − 2p−1) ≡ 4 (mod 9)
⇐  22p−1 − 2p−1 ≡ 1 (mod 9).
So the original statement follows by modular arithmetic from the fact that sufficiently large (≥ 28) even perfects end on a digit 1 when expressed nonally. I see no obvious way of avoiding case analysis.  --Lambiam 13:58, 13 February 2020 (UTC)[reply]
Without case analysis. Let v = 2p−1. Since p is odd, we can write it in the form 2q + 1, so then v = 4q ≡ 1 (mod 3). Hence, v can be written in the form 3u + 1. Now, by elementary algebra,
    22p−1 − 2p−1
=  (2p−1)(2·2p−1 − 1)
=  v(2v − 1)
=  (3u + 1)(6u + 1)
=  18u2 + 9u + 1
≡  1 (mod 9).
 --Lambiam 19:20, 13 February 2020 (UTC)[reply]