Generator-offset property: Difference between revisions
| Line 96: | Line 96: | ||
'''Claim 2''': If a binary scale ''U'' has ''b'' Y's and ''b'' Z's, gcd(''j'', 2''b'') = 1, and consecutively stacked ''j''-steps in ''U'' occur in 2 alternating sizes, the ''b'' Y's and ''b'' Z's alternate. | '''Claim 2''': If a binary scale ''U'' has ''b'' Y's and ''b'' Z's, gcd(''j'', 2''b'') = 1, and consecutively stacked ''j''-steps in ''U'' occur in 2 alternating sizes, the ''b'' Y's and ''b'' Z's alternate. | ||
Proof: Write η and ζ for the two sizes of ''j''-steps. Since gcd(''j'', 2''b'') = 1 there exists ''m'' such that stacking ''m''-many ''j''-steps yields scale steps of ''U'', and ''m'' is odd. Hence the scale steps of ''U'' are ηζ…ζη mod e and ζη…ηζ mod e, and the step sizes clearly alternate. | Proof: Write η and ζ for the two sizes of ''j''-steps. Since gcd(''j'', 2''b'') = 1 there exists ''m'' such that stacking ''m''-many ''j''-steps yields scale steps of ''U'', and ''m'' is odd because gcd(''m'', 2''b'') = 1. Hence the scale steps of ''U'' are ηζ…ζη mod e and ζη…ηζ mod e, and the step sizes clearly alternate. | ||
These two claims prove that ''E''<sub>X</sub>(S) = (YZ)<sup>''b''</sup>, which also proves that the two alternants' sizes differ by replacing one Y for a Z. | These two claims prove that ''E''<sub>X</sub>(S) = (YZ)<sup>''b''</sup>, which also proves that the two alternants' sizes differ by replacing one Y for a Z. | ||