Rank-3 scale theorems: Difference between revisions
| Line 117: | Line 117: | ||
# from g2 (even) g1 g3 g1 (even) g2, get a3 = (n/2-1) g1 + (n/2-1) g2 + g3 | # from g2 (even) g1 g3 g1 (even) g2, get a3 = (n/2-1) g1 + (n/2-1) g2 + g3 | ||
# from g1 (odd) g1 g3 g1 (odd) g1, get a4 = n/2 g1 + (n/2-2) g2 + g3. | # from g1 (odd) g1 g3 g1 (odd) g1, get a4 = n/2 g1 + (n/2-2) g2 + g3. | ||
Choose a tuning where g0 is different enough from g3 + g1 (the imperfect gen of the mos generated by g0) and g1 | Choose a tuning where g0 is different enough from g3 + g1 (the imperfect gen of the mos generated by g0), and where g1 and g2 are both very close to but not exactly 1/2*g0. We have 4 distinct sizes for n/2-steps, a contradiction to MV3: | ||
(1) a1, a2 and a3 are clearly distinct. | (1) a1, a2 and a3 are clearly distinct. | ||