+ Reply to Thread
Results 1 to 8 of 8

Mathematical proof

  1. #1
    Forum Expert Pepe Le Mokko's Avatar
    Join Date
    05-14-2009
    Location
    Belgium
    MS-Off Ver
    O365 v 2402
    Posts
    13,448

    Mathematical proof

    I know the solution provided is correct, but I am unable to prove it mathematically. Does anyone have an idea or a link to a full-proof demonstration ? Many thanks

    http://www.excelforum.com/excel-gene...ml#post3811796

  2. #2
    Forum Guru xladept's Avatar
    Join Date
    04-14-2012
    Location
    Pasadena, California
    MS-Off Ver
    Excel 2003,2010
    Posts
    12,378

    Re: Mathematical proof

    Hi Pepe,

    These guys use a digit sum chart and(it appears, induction)?
    If I've helped you, please consider adding to my reputation - just click on the liitle star at the left.

    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~(Pride has no aftertaste.)

    You can't do one thing. XLAdept

    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~aka Orrin

  3. #3
    Forum Moderator zbor's Avatar
    Join Date
    02-10-2009
    Location
    Croatia
    MS-Off Ver
    365 ProPlus
    Posts
    15,607

    Re: Mathematical proof

    Numerals whose sum of digits is divisible by 9 represent numbers divisible by 9!

    The whole number is divisible by 9 if and only if the sum of the digits is.

    This test may be applied recursively.

    Any number you can present as n*9+k here 9 is greatest character of base 10. (k=0,1,2,3...,9 and n € Z (n = Integer))
    If you take 28 = 3*9+1 then k=1 because 2+8 = 10 is not divisible by 9.
    As you can repeat this recursively 1+0 will return 1.

    At the end you will get k as with formula you provide.

    For details go find more about divisibility by 9.

  4. #4
    Forum Expert Pepe Le Mokko's Avatar
    Join Date
    05-14-2009
    Location
    Belgium
    MS-Off Ver
    O365 v 2402
    Posts
    13,448

    Re: Mathematical proof

    Quote Originally Posted by zbor View Post
    Numerals whose sum of digits is divisible by 9 represent numbers divisible by 9!

    The whole number is divisible by 9 if and only if the sum of the digits is.

    This test may be applied recursively.

    Any number you can present as n*9+k here 9 is greatest character of base 10. (k=0,1,2,3...,9 and n € Z (n = Integer))
    If you take 28 = 3*9+1 then k=1 because 2+8 = 10 is not divisible by 9.
    As you can repeat this recursively 1+0 will return 1.

    At the end you will get k as with formula you provide.

    For details go find more about divisibility by 9.
    The divisibility by 9 is well known thank you.
    This does not prove that mod9 returns the sum of each digit

  5. #5
    Forum Expert Pepe Le Mokko's Avatar
    Join Date
    05-14-2009
    Location
    Belgium
    MS-Off Ver
    O365 v 2402
    Posts
    13,448

    Re: Mathematical proof

    Quote Originally Posted by xladept View Post
    Hi Pepe,

    These guys use a digit sum chart and(it appears, induction)?
    Thank you

    I had a look but could not find a proof

  6. #6
    Forum Expert
    Join Date
    04-22-2013
    Location
    .
    MS-Off Ver
    .
    Posts
    4,418

    Re: Mathematical proof

    http://www.math.uiuc.edu/~hildebr/pu...rgrad10sol.pdf

    Number 2 is what you are talking about I believe.

  7. #7
    Forum Expert Pepe Le Mokko's Avatar
    Join Date
    05-14-2009
    Location
    Belgium
    MS-Off Ver
    O365 v 2402
    Posts
    13,448

    Re: Mathematical proof

    That is it, thank you so much I am not very familiar with modular arithmetic, I'll brush up on it

  8. #8
    Forum Guru xladept's Avatar
    Join Date
    04-14-2012
    Location
    Pasadena, California
    MS-Off Ver
    Excel 2003,2010
    Posts
    12,378

    Re: Mathematical proof

    I almost had it - I was on a similar track and had shown that the modulo 9 was tantamount to the sum of the digits and was trying to use the reductio

+ Reply to Thread

Thread Information

Users Browsing this Thread

There are currently 1 users browsing this thread. (0 members and 1 guests)

Similar Threads

  1. [SOLVED] Data Validation with fool-proof system
    By Sundarvlr in forum Excel General
    Replies: 2
    Last Post: 10-24-2013, 04:58 PM
  2. Creating sort proof formulas
    By sum1 in forum Excel General
    Replies: 5
    Last Post: 12-06-2011, 04:51 PM
  3. Proof of Calculation
    By jxw100 in forum Excel General
    Replies: 2
    Last Post: 10-30-2008, 01:56 PM
  4. Proof/Safety Valve formula
    By ExcelNewby in forum Excel Formulas & Functions
    Replies: 2
    Last Post: 11-17-2007, 08:48 PM
  5. [SOLVED] Offset() returns reference, first not value (proof)
    By Jim May in forum Excel General
    Replies: 2
    Last Post: 10-22-2005, 12:05 PM

Bookmarks

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts

Search Engine Friendly URLs by vBSEO 3.6.0 RC 1