Mathematics of MOS: Difference between revisions
ArrowHead294 (talk | contribs) m →Proofs |
ArrowHead294 (talk | contribs) |
||
| Line 260: | Line 260: | ||
Let {{nowrap|1 > ''m'' > ''n''|gcd(''m'', ''n'') {{=}} d}}, and ME(''m'', ''n'') be as in [[Maximal evenness]]. An arbitrary ''k''-step in ME(''m'', ''n'') has size {{nowrap|''u'' {{=}} ⌊(''i'' + ''k'') {{frac|''n''|''m''}}⌋ − ⌊{{frac|''in''|''m''}}⌋}}, and | Let {{nowrap|1 > ''m'' > ''n''|gcd(''m'', ''n'') {{=}} d}}, and ME(''m'', ''n'') be as in [[Maximal evenness]]. An arbitrary ''k''-step in ME(''m'', ''n'') has size {{nowrap|''u'' {{=}} ⌊(''i'' + ''k'') {{frac|''n''|''m''}}⌋ − ⌊{{frac|''in''|''m''}}⌋}}, and | ||
<math>\lfloor in/m \rfloor + \lfloor kn/m\rfloor - \lfloor in/m\rfloor = \lfloor kn/m\rfloor \leq u | <math>\lfloor in/m \rfloor + \lfloor kn/m\rfloor - \lfloor in/m\rfloor = \lfloor kn/m\rfloor \leq u | ||
\leq \lfloor in/m \rfloor + \lfloor kn/m \rfloor - \lfloor in/m \rfloor + 1 = \lfloor kn/m \rfloor + 1.</math> | \leq \lfloor in/m \rfloor + \lfloor kn/m \rfloor - \lfloor in/m \rfloor + 1 = \lfloor kn/m \rfloor + 1.</math> | ||