「スーパーパーティキュラー」の版間の差分
Dummy index (トーク | 投稿記録) 編集の要約なし |
Dummy index (トーク | 投稿記録) 編集の要約なし |
||
| 29行目: | 29行目: | ||
* 2個の連続する隣接整数比の積み重ね(乗算)は約分されて隣接整数比になるか、そうでなければデルタ2比になる。 | * 2個の連続する隣接整数比の積み重ね(乗算)は約分されて隣接整数比になるか、そうでなければデルタ2比になる。 | ||
* 隣接整数比は2個の隣接整数比の積にすることができる。 | * 隣接整数比は2個の隣接整数比の積にすることができる。 | ||
** <math>\frac{n+1}{n} = \frac{2n+1}{2n}\times\frac{2n+2}{2n+1}</math> である。例えば <math>\frac{9}{8} \times \frac{10}{9} = \frac{10}{8} = \frac{5 \times 2}{4 \times 2} = \frac{5}{4}</math> | ** <math>\frac{n+1}{n} = \frac{2n+1}{2n}\times\frac{2n+2}{2n+1}</math> である。例えば <math>\frac{9}{8} \times \frac{10}{9} = \frac{10}{8} = \frac{5 \times 2}{4 \times 2} = \frac{5}{4}</math> となる。(任意の項数に一般化できるのも明らか) | ||
** ほかの例として <math>\frac{12}{11} \times \frac{33}{32} = \frac{396}{352} = \frac{9 \times 44}{8 \times 44} = \frac{9}{8}</math>(4分割して小さいほうの3個をまとめて約分しただけともいう) | ** ほかの例として <math>\frac{12}{11} \times \frac{33}{32} = \frac{396}{352} = \frac{9 \times 44}{8 \times 44} = \frac{9}{8}</math>(4分割して小さいほうの3個をまとめて約分しただけともいう) | ||
* {{w|ファレイ数列}}の連続する2項を ''a''/''b'' と ''c''/''d'' とすると、それは ''a''/''b'' < ''c''/''d'' かつ ''bc'' - ''ad'' = 1 ということでもあるのだが、ゆえに (''c''/''d'')/(''a''/''b'') = ''bc''/''ad'' は隣接整数比となる。 | * {{w|ファレイ数列}}の連続する2項を ''a''/''b'' と ''c''/''d'' とすると、それは ''a''/''b'' < ''c''/''d'' かつ ''bc'' - ''ad'' = 1 ということでもあるのだが、ゆえに (''c''/''d'')/(''a''/''b'') = ''bc''/''ad'' は隣接整数比となる。 | ||
| 35行目: | 35行目: | ||
* [[Wikipedia:en:Størmer's theorem|Størmerの定理]]によると、それぞれの[[リミット]]において隣接整数比は有限個しかない。 | * [[Wikipedia:en:Størmer's theorem|Størmerの定理]]によると、それぞれの[[リミット]]において隣接整数比は有限個しかない。 | ||
== | == 一般化 == | ||
Taylorは一般化した用語について記述している。 | |||
* '' | * (実のところ ''n'' の値ひとつづつに対応した用語があるのだが、現代ではすたれているので略) | ||
* '' | * ''superbipartient'' (or ''odd-particulars''(''隣接奇数比'')) 分子割る分母が1余り2である、つまりデルタ2比のうち 5/3 以降が該当する。 | ||
* '' | * ''supertripartient'' (or ''throdd-particulars'') 分子割る分母が1余り3である、つまりデルタ3比のうち 7/4 以降が該当する。 | ||
* ''multiple superparticular'' 分子割る分母が''m''余り1である。''m''=2 の時duple、''m''=3 の時triple、…<ref>Taylor, Thomas (1816), ''[https://books.google.com.au/books?id=VuY3AAAAMAAJ Theoretic Arithmetic, in Three Books]'', p. 45-50</ref> | |||
Generalisation in the "meta" direction gives rise to [[square superparticular]]s and then [[ultraparticular]]s, under the idea that if a superparticular is the difference between two adjacent harmonics then a square superparticular is the difference between two adjacent superparticulars and an ultraparticular is the difference between two adjacent square superparticulars. This gives rise to descriptions of infinite comma families of which many known commas are examples. A notable property is that just as "all [[superpartient ratio]]s can be constructed as products of [consecutive] superparticular numbers", all ratios between two superparticular intervals (e.g ([[8/7]])/([[11/10]]) = 80/77) can be constructed as a product of consecutive [[square superparticular]] numbers (e.g [[64/63]] * [[81/80]] * [[100/99]] = S8 * S9 * S10), for the same algebraic reason as in the corresponding case of [[superpartient ratio]]s. (There is a corresponding analogy with ultraparticulars too, for the same reason.) | Generalisation in the "meta" direction gives rise to [[square superparticular]]s and then [[ultraparticular]]s, under the idea that if a superparticular is the difference between two adjacent harmonics then a square superparticular is the difference between two adjacent superparticulars and an ultraparticular is the difference between two adjacent square superparticulars. This gives rise to descriptions of infinite comma families of which many known commas are examples. A notable property is that just as "all [[superpartient ratio]]s can be constructed as products of [consecutive] superparticular numbers", all ratios between two superparticular intervals (e.g ([[8/7]])/([[11/10]]) = 80/77) can be constructed as a product of consecutive [[square superparticular]] numbers (e.g [[64/63]] * [[81/80]] * [[100/99]] = S8 * S9 * S10), for the same algebraic reason as in the corresponding case of [[superpartient ratio]]s. (There is a corresponding analogy with ultraparticulars too, for the same reason.) | ||