• logicbomb@lemmy.world
    link
    fedilink
    arrow-up
    0
    ·
    1 year ago

    Also, any number whose digits sum to a multiple of 3 is divisible by 3. For 51, 5+1=6, and 6 is a multiple of 3, so 51 can be cleanly divided by 3.

    • Sadbutdru@sopuli.xyz
      link
      fedilink
      arrow-up
      0
      ·
      1 year ago

      Does this also work the other way round, i.e. do all multiples of three have digits that sum to a multiple of 3? All the ones I’ve checked so far do, but is it proven?

      • Goddard Guryon@sopuli.xyz
        link
        fedilink
        arrow-up
        0
        ·
        1 year ago

        Indeed, an integer is divisible by 3 if and only if the sum of its digits is divisible by 3.

        For proof, take the polynomial representation of an integer n = a_0 * 10^k + a_1 * 10^{k-1} + … + a_k * 1. Note that 10 mod 3 = 1, which means that 10^i mod 3 = (10 mod 3)^i = 1. This makes all powers of 10 = 1 and you’re left with n = a_0 + a_1 + … + a_k. Thus, n is divisible by 3 iff a_0 + a_1 + … + a_k is. Also note that iff answers your question then; all multiples of 3 have to, by definition, have digits whose sum is a multiple of 3

    • vortic@lemmy.world
      link
      fedilink
      arrow-up
      0
      ·
      edit-2
      1 year ago

      I’d forgotten this trick. It works for large numbers too.

      122,300,223÷3 = 40,766, 741

      1+2+2+3+2+2+3 = 15

  • Dagwood222@lemm.ee
    link
    fedilink
    arrow-up
    0
    ·
    1 year ago

    Any number where the individual digits add up to a number divisible by ‘3’ is divisible by 3.

    51 = 5+1 = 6, which is divisible by three.

    Try it, you’ll see it always works.

    • letsgo@lemm.ee
      link
      fedilink
      arrow-up
      0
      ·
      1 year ago

      There are tricks like that for a lot of numbers. For 7, chop off the last digit, double it and add it to what’s left. Repeat as required. If the result is divisible by 7 then the original number was. eg: 356 -> 35+12=47 not db7. 357 =>35+14 both db7 so we don’t even need to do the add.