day k:
        mk = k + 1/5*(m - k - [Sum(mj) j = 1..k-1])
day k+1:
        mk+1 = k + 1 + 1/5*(m - k - 1 - [Sum(mj) j = 1..k]) =
                = k + 1 + 1/5*(m - k - 1 - mk - [Sum(mj) j = 1..k-1]) =
                = 1 - 1/5 - mk/5 + k + 1/5*(m - k - [Sum(mj) j = 1..k-1]) =
                = 1 - 1/5 - mk/5 + mk =
                = 4/5*(mk + 1)
Therefore, all (mk + 1) must be a multiple of 5.
If (m1 + 1) = 5 =>  m1 = 4, m2 = 4, and all other  mk = 4
That works.  From
        m1 = 1 + 1/5*(m - 1)
you can calculate that m = 16.  Therefore, n = 4.
If (m1 + 1) = 10 =>  m1 = 9, m2 = 8, but m3 = 7.2
If (m1 + 1) = 15 =>  m1 = 14, m2 = 12, but m3 = 10.4
If (m1 + 1) = 20 =>  m1 = 19, m2 = 16, but m3 = 13.6
If (m1 + 1) = 25 =>  m1 = 24, m2 = 20, but m3 = 16.8
If (m1 + 1) = 30 =>  m1 = 29, m2 = 24, m3 = 20, but m4 = 16.8
If (m1 + 1) = 35 =>  m1 = 34, m2 = 28, but m3 = 23.2
Increasing the factor that multiplies 5 sometimes pushes the fractional mks to higher values of k, but doesn’t eliminate them.
This is not foolproof, but a spreadsheet calculation has verified  that there are no other solutions for m1 up to more than 800.
 
No comments:
Post a Comment