S-expression: Difference between revisions
m →Derivation: clarify |
m →Meaning |
||
| Line 1,919: | Line 1,919: | ||
$$ \frac{L/M}{M/s} = \frac{ \left(\frac{k}{k-2}\right)/\left(\frac{k+1}{k-1}\right) }{ \left(\frac{k+1}{k-1}\right)/\left(\frac{k+2}{k}\right) } = \frac{Ls}{M^2} = \frac{\frac{k+2}{k-2}}{\left(\frac{k+1}{k-1}\right)^2} $$ | $$ \frac{L/M}{M/s} = \frac{ \left(\frac{k}{k-2}\right)/\left(\frac{k+1}{k-1}\right) }{ \left(\frac{k+1}{k-1}\right)/\left(\frac{k+2}{k}\right) } = \frac{Ls}{M^2} = \frac{\frac{k+2}{k-2}}{\left(\frac{k+1}{k-1}\right)^2} $$ | ||
… and notice that the latter expression is the one we have shown is equal to S(''k'' - 1)/S(''k'' + 1) | … and notice that the latter expression is the one we have shown is equal to S(''k'' - 1)/S(''k'' + 1) up to an offset ''k'' (→ [[S-expression/Advanced results #Mathematical derivations]]). In other words, that tempering out S(''k'' - 1)/S(''k'' + 1) results in (''k'' + 1)/(''k'' - 1) being half of (''k'' + 2)/(''k'' - 2) is an implication that it makes (''k'' + 2)/''k'', (''k'' + 1)/(''k'' - 1), and ''k''/(''k'' - 2) equidistant. | ||
Also note that in the above, (''k'' + 1)/(''k'' - 1) is the mediant of the adjacent two intervals, meaning that division of an interval into two via tempering out a semiparticular is in some sense 'optimal' relative to the complexity. This also means that if ''k'' is a multiple of 2, this corresponds to a natural way to split the square superparticular S(''k''/2) into two parts. For example, if ''k'' = 10, then we have (10 + 2)/10, (10 + 1)/(10 - 1), 10/(10 - 2) as equidistant, which simplified is 6/5, 11/9, 5/4, with 11/9 being the mediant of 6/5 and 5/4, and therefore the corresponding superparticular S5 = (5/4)/(6/5) is split into two parts which are tempered together: (5/4)/(11/9) = 45/44 and (11/9)/(6/5) = 55/54. The semiparticular is therefore S(10 - 1)/S(10 + 1) = S9/S11 = 243/242 = (45/44)/(55/54) = ((10 + 2)/(10 - 2))/((10 + 1)/(10 - 1))<sup>2</sup>. | Also note that in the above, (''k'' + 1)/(''k'' - 1) is the mediant of the adjacent two intervals, meaning that division of an interval into two via tempering out a semiparticular is in some sense 'optimal' relative to the complexity. This also means that if ''k'' is a multiple of 2, this corresponds to a natural way to split the square superparticular S(''k''/2) into two parts. For example, if ''k'' = 10, then we have (10 + 2)/10, (10 + 1)/(10 - 1), 10/(10 - 2) as equidistant, which simplified is 6/5, 11/9, 5/4, with 11/9 being the mediant of 6/5 and 5/4, and therefore the corresponding superparticular S5 = (5/4)/(6/5) is split into two parts which are tempered together: (5/4)/(11/9) = 45/44 and (11/9)/(6/5) = 55/54. The semiparticular is therefore S(10 - 1)/S(10 + 1) = S9/S11 = 243/242 = (45/44)/(55/54) = ((10 + 2)/(10 - 2))/((10 + 1)/(10 - 1))<sup>2</sup>. | ||