Neutral and interordinal intervals in MOS scales: Difference between revisions
Tags: Mobile edit Mobile web edit |
Tags: Mobile edit Mobile web edit |
||
| Line 136: | Line 136: | ||
Consider an m-note [[maximal evenness|maximally even]] mos of an n-equal division, and let 1 ≤ k ≤ m − 1. Then a k-step of that mos is either floor(nk/m)\n or ceil(nk/m)\n. | Consider an m-note [[maximal evenness|maximally even]] mos of an n-equal division, and let 1 ≤ k ≤ m − 1. Then a k-step of that mos is either floor(nk/m)\n or ceil(nk/m)\n. | ||
==== Proof ==== | ==== Proof ==== | ||
The circular word formed by stacking k-steps of the mos is itself a maximally even mos, considered as a subset of a kn-note equal tuning. One step of an m'-note maximally even mos of an n'-note equal tuning is either floor(n'/m')\n' | The circular word formed by stacking k-steps of the mos is itself a maximally even mos, considered as a subset of a kn-note equal tuning. One step of an m'-note maximally even mos of an n'-note equal tuning is either floor(n'/m')\n'{{angbr|E}} or ceil(n'/m')\n'{{angbr|E}}, implying the lemma. | ||
=== Proof of Theorem === | === Proof of Theorem === | ||