ファレイ数列のソースを表示

[[数学]]で、'''ファレイ数列'''（ファレイすうれつ、'''フェアリー数列'''<ref>狭間節子, 橋本是浩 「[https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-06680246/ 数学的活動の形成についての研究-ジオボードを活用した実践的教材開発]」</ref>とも, <span lang="en">'''Farey sequence'''</span> {{IPA-en|ˈfɛəri -|}}<!-- https://www.youtube.com/watch?v=tDvL0eLhV4g -->) とは、既約[[分数]]を順に並べた一群の[[数列]]であり、以下に述べるような[[初等整数論]]における興味深い性質を持つ。 正確にいえば、
:[[自然数]] ''n'' に対して、'''''n'' に対応する（または、属する）ファレイ数列''' ({{Lang|en|Farey sequence of order ''n''}}) ''F{{sub|n}}'' とは、[[分母]]が ''n'' 以下で、 0 以上 1 以下の全ての既約分数を小さい順から並べてできる有限数列である。 ただし、整数 0, 1 はそれぞれ分数 {{sfrac|0|1}}, {{sfrac|1|1}} として扱われる。

定義によっては 0, 1 は数列から省かれる場合もある。 なお、英語では '''{{Lang|en|Farey series}}''' と呼ばれることも多いが、{{Lang|en|series}}（[[級数]]）の定義からいえば厳密には誤りである。

== 例 ==
ファレイ数列 ''F{{sub|n}}'' は、具体的に ''n'' = 1, …, 8 のとき次のようになる<ref>このときの要素の数は{{OEIS|A005728}}を参照</ref>：
:''F''{{sub|1}} = ({{sfrac|0|1}}, {{sfrac|1|1}})
:''F''{{sub|2}} = ({{sfrac|0|1}}, {{sfrac|1|2}}, {{sfrac|1|1}})
:''F''{{sub|3}} = ({{sfrac|0|1}}, {{sfrac|1|3}}, {{sfrac|1|2}}, {{sfrac|2|3}}, {{sfrac|1|1}})
:''F''{{sub|4}} = ({{sfrac|0|1}}, {{sfrac|1|4}}, {{sfrac|1|3}}, {{sfrac|1|2}}, {{sfrac|2|3}}, {{sfrac|3|4}}, {{sfrac|1|1}})
:''F''{{sub|5}} = ({{sfrac|0|1}}, {{sfrac|1|5}}, {{sfrac|1|4}}, {{sfrac|1|3}}, {{sfrac|2|5}}, {{sfrac|1|2}}, {{sfrac|3|5}}, {{sfrac|2|3}}, {{sfrac|3|4}}, {{sfrac|4|5}}, {{sfrac|1|1}})
:''F''{{sub|6}} = ({{sfrac|0|1}}, {{sfrac|1|6}}, {{sfrac|1|5}}, {{sfrac|1|4}}, {{sfrac|1|3}}, {{sfrac|2|5}}, {{sfrac|1|2}}, {{sfrac|3|5}}, {{sfrac|2|3}}, {{sfrac|3|4}}, {{sfrac|4|5}}, {{sfrac|5|6}}, {{sfrac|1|1}})
:''F''{{sub|7}} = ({{sfrac|0|1}}, {{sfrac|1|7}}, {{sfrac|1|6}}, {{sfrac|1|5}}, {{sfrac|1|4}}, {{sfrac|2|7}}, {{sfrac|1|3}}, {{sfrac|2|5}}, {{sfrac|3|7}}, {{sfrac|1|2}}, {{sfrac|4|7}}, {{sfrac|3|5}}, {{sfrac|2|3}}, {{sfrac|5|7}}, {{sfrac|3|4}}, {{sfrac|4|5}}, {{sfrac|5|6}}, {{sfrac|6|7}}, {{sfrac|1|1}})
:''F''{{sub|8}} = ({{sfrac|0|1}}, {{sfrac|1|8}}, {{sfrac|1|7}}, {{sfrac|1|6}}, {{sfrac|1|5}}, {{sfrac|1|4}}, {{sfrac|2|7}}, {{sfrac|1|3}}, {{sfrac|3|8}}, {{sfrac|2|5}}, {{sfrac|3|7}}, {{sfrac|1|2}}, {{sfrac|4|7}}, {{sfrac|3|5}}, {{sfrac|5|8}}, {{sfrac|2|3}}, {{sfrac|5|7}}, {{sfrac|3|4}}, {{sfrac|4|5}}, {{sfrac|5|6}}, {{sfrac|6|7}}, {{sfrac|7|8}}, {{sfrac|1|1}})

== 性質 ==
=== 隣接する分数と中間数 ===
2 つの分数 ''{{sfrac|a|b}}'' と ''{{sfrac|c|d}}'' が、あるファレイ数列で隣接しているならば、この 2 つの分数の間に新たな分数が加わるのは次数 ''b'' + ''d'' のファレイ数列においてであり、それは ''{{sfrac|a|b}}'', ''{{sfrac|c|d}}'' の'''{{仮リンク|中間数|en|Mediant (mathematics)}}'''（{{lang-en-short|mediant}}）と呼ばれる分数、
:{{sfrac|''a'' + ''c''|''b'' + ''d''}}
である。 例えば、''F''{{sub|5}} では隣接している {{sfrac|1|3}} と {{sfrac|2|5}} の間に現れる最初の項は ''F''{{sub|8}} の {{sfrac|3|8}} である。
[[画像:Farey_Sequence.png|thumb|center|600px|{{sfrac|0|1}}, {{sfrac|1|1}} から中間数を繰り返し取ることによって得られる 1 から 8 までに対応するファレイ数列]]
もし ''{{sfrac|a|b}}'' と ''{{sfrac|c|d}}'' が、あるファレイ数列でこの順で隣接するなら、その差は {{sfrac|''bc'' &minus; ''ad''|''bd''}} となるが、ファレイ数列の隣接する分数では ''bc''&minus;''ad''&nbsp;=&nbsp;1 が成立し、差は分母の積の逆数 {{sfrac|1|''bd''}} に等しくなる。  例えば、{{sfrac|1|3}} と {{sfrac|2|5}} の差は {{sfrac|1|15}} である。この逆もまた真となる。 もし 0 ≤ ''{{sfrac|a|b}}'' < ''{{sfrac|c|d}}'' ≤ 1 であるような負でない整数 ''a'', ''c'' と正の整数 ''b'', ''d'' に対し、''bc'' &minus; ''ad'' = 1 が成り立つならば、''{{sfrac|a|b}}'' と ''{{sfrac|c|d}}'' は、max {''b'', ''d''} に対応するファレイ数列において隣接する。

なお、'''{{仮リンク|シュターン＝ブロコ木|en|Stern–Brocot tree}}'''（スターン＝ブロコット木、{{lang-en-short|Stern–Brocot tree}}）として知られている[[木 (数学)|木構造]]は、0 = {{sfrac|0|1}} と便宜的な無限大の表現 {{sfrac|1|0}} から始め、中間数を繰り返し取ることによって 0 以上の既約分数列を作り上げる方法を示すものであり、ファレイ数列と密接な関係がある。

=== 連分数 ===
ファレイ数列で隣接する分数は[[連分数]]展開と密接な関係がある。

全ての分数は最後の項が 1 となるように連分数展開を行うことができる。 例えば、{{sfrac|3|8}} のこのような連分数展開は、
:<math>\frac{3}{8} =0+\frac{1}{2+\frac{1}{1+\frac{1}{2}}} =0+\frac{1}{2+\frac{1}{1+\frac{1}{1+\frac{1}{1}}}} = [0;2,1,1,1]</math>
となる。

一般に、もし ''{{sfrac|p|q}}'' がファレイ数列 ''F{{sub|q}}'' で初めて現れる分数で連分数展開
:[0; ''a''{{sub|1}}, ''a''{{sub|2}}, ..., ''a''{{sub|''n''&minus;1}}, ''a{{sub|n}}'', 1]
を持つならば、''F{{sub|q}}'' で ''{{sfrac|p|q}}'' に隣接する 2 つの分数のうち、値として近い方の分数（これは、分母がより大きな方となる）は、連分数
:[0; ''a''{{sub|1}}, ''a''{{sub|2}}, …, ''a''{{sub|''n''&minus;1}}, ''a{{sub|n}}'']
に展開され、もう一方の隣接する分数は、
:[0; ''a''{{sub|1}}, ''a''{{sub|2}}, …, ''a''{{sub|''n''&minus;1}}]
となる。 例えば、''F''{{sub|8}} で {{sfrac|3|8}} = [0; 2, 1, 1, 1] に隣接する分数 {{sfrac|2|5}} と {{sfrac|1|3}} では、{{sfrac|2|5}} の方が {{sfrac|3|8}} に近く、連分数 [0; 2, 1, 1] に展開される。他方の {{sfrac|1|3}} は [0; 2, 1] となる。

===フォードの円===
[[Image:Ford circles.png|thumb|right|180px|フォードの円]]
ファレイ数列と'''[[フォードの円]]''' ({{Lang|en|[[:en:Ford circle]]}}) との間にも面白い関係がある。

任意の既約分数 ''{{sfrac|p|q}}'' に対して、フォードの円 ''C''[''{{sfrac|p|q}}''] は中心が平面座標 <math>\left( \frac{p}{q} ,\frac{1}{2q^2} \right)</math> にある半径 <math>\frac{1}{2q^2}</math> の円である。 異なる 2 つの分数に対する 2 つのフォードの円は、互いに交わらないか接しているかのどちらかであって交わることはない。 もし、0 < ''{{sfrac|p|q}}'' < 1 ならば、''C''[''{{sfrac|p|q}}''] に接するフォードの円とはまさにあるファレイ数列において隣接する分数のフォードの円に他ならない。

例えば、''C''[{{sfrac|1|2}}], ''C''[{{sfrac|1|3}}] に接する円は {{sfrac|1 + 1|2 + 3}} から 中間数 ''C''[{{sfrac|2|5}}] の円を作っている。両端の円は {{sfrac|0|1}} , {{sfrac|1|1}} と考えれば他の円においても同様である。<!--

1998年の[[東京大学]]前期の理系数学の入試問題第3問は、この[[フォードの円]]を題材として出題された[http://hiw.oo.kawai-juku.ac.jp/nyushi/honshi/98/problem.cgi/t1/math-b?page=2]。-->

=== 数列の長さ ===
''n'' に対応するファレイ数列の長さ |''F{{sub|n}}''| は、[[オイラーのφ関数|オイラーの (トーティエント) 関数]] ''φ'' を用いて、
:<math>|F_n |=1+\sum_{m=1}^n \varphi (m)</math>
と書ける。 この |''F{{sub|n}}''| の漸近的振舞いは、オイラーの関数の性質から、
:<math>|F_n| \sim \frac {3n^2}{\pi^2}</math>
となることが知られている。

数列の長さがオイラーの関数で書けることは次のようにして確かめられる。 ''n'' に対応するファレイ数列は、定義から明らかなように ''n'' 未満の正の整数に対応するファレイ数列の数を全て含んでいなければならない。 特に、''n'' に対応するファレイ数列 ''F{{sub|n}}'' (''n'' > 1) は、''F''{{sub|''n''&minus;1}} に、分母が ''n'' で分子が ''n'' と互いに素な ''n'' 未満の各数であるような分数を付け加えたものになる。 例えば、''F''{{sub|8}} は ''F''{{sub|7}} に {<nowiki/>{{sfrac|1|8}}, {{sfrac|3|8}}, {{sfrac|5|8}}, {{sfrac|7|8}}<nowiki/>} を加えて並べ替えたものである。

オイラーの関数はまさにその引数以下でその数と互いに素な数の個数を表すものであるから、 |''F{{sub|n}}''| と |''F''{{sub|''n''&minus;1}}| (''n'' > 1) の関係は、
:|''F{{sub|n}}''| = |''F''{{sub|''n''&minus;1}}| + ''φ''(''n'')
となることになり、初項 |''F''{{sub|1}}| = 2 から最初の式が従う。

== 非線形現象に現れるファレイ数列 ==
[[非線形力学]]のような意外な場面で、このファレイ数列や[[シュターン＝ブロコ木]]（[[:en:Stern–Brocot tree|英]]）のような分数の関係が現れることがある。 それぞれ単独では振動数（固有振動数）の異なる 2 つの振動子が非線形な影響を与え合う場合、適当な条件の下でそれらが一定の位相のずれをもって振動数が一致する、もしくはある単純な有理数比になることがある。 例えば元の振動数の比が 1 対 2 にある程度近ければ、それらを結合させると正確に 1 対 2 で振動するようになる。 これは[[引き込み現象]]として知られている。

一方の振動子のパラメータを操作し固有振動数を変えていくと、引き込みの起きない領域を間に挟んで、固有振動数の比に近いさまざまな有理数比で引き込むことになる。 このとき、ある理想的な場合には、有理数比の現れる順序と現れやすさがシュターン＝ブロコ木の構成と本質的に一致している。 すなわち例えば、1 対 2 と 2 対 3 で引き込むパラメータ領域の間には、それらの中間数である 3 対 5 で引き込むようなより狭い範囲のパラメータ領域が存在している。

==歴史==<!--
:『「ファレイ数列」の歴史はとても興味あるものだ』 &mdash; Hardy & Wright (1979) Chapter III<ref>Hardy, G.H. & Wright, E.M. (1979) ''An Introduction to the Theory of Numbers'' (Fifth Edition). Oxford University Press. ISBN 0198531710</ref>
:『…ここでもまた、数学的関係に名前を与えられた人物は、記録にある限りではその元々の発見者ではなかった』 &mdash; Beiler (1964) Chapter XVI<ref>Beiler, Albert H. (1964) ''Recreations in the Theory of Numbers'' (Second Edition). Dover. ISBN 0486210960</ref>-->

ファレイ数列という名前は、[[イギリス]]の[[地質学]]者{{ill2|ジョン・フェアリー|en|John Farey Sr.}}に因む。 [[1816年]]の「[[フィロソフィカル・マガジン]]」(''Philosophical Magazine'') にこの数列を扱ったフェアリーの要約論文が掲載されている。 この中でフェアリーは、ファレイ数列の各項が、隣接する数の中間数になると推測しているが、知られている限りではフェアリーはこの証明を与えていない。 [[オーギュスタン・コーシー|コーシー]]<!--Augustin Cauchy-->はフェアリーの論文を読み、著作 ''{{Lang|fr|Exercises de mathématique}}'' においてその証明を与え、その結果をフェアリーによるものとしている。 おそらくフェアリーやコーシーの知るところではなかったが、類似の結果は [[1802年|1802 年]]に数学者{{ill2|シャルル・アロ|en|Charles Haros}}によってすでに出版されていた。 よって、この数列にフェアリーの名が与えられているのは歴史のいたずらの一つといえる。

== 参考文献 ==
*コンウェイ, J.H., ガイ, R.K （根上生也訳）『数の本』, 2001, シュプリンガー・フェアラーク東京, ISBN 4431707700;<br>{{Lang|en|Conway, J.H. & Guy, R.K., ''The Book of Numbers'', c1996, Copernicus: New York, ISBN 038797993X.}}
*ハーディ, G.H., ライト, E.M.（示野信一、矢神毅訳）『数論入門 (1)』, 2001, シュプリンガー・フェアラーク東京, ISBN 4431708480;<br>{{Lang|en|Hardy, G.H. & Wright, E.M., ''An Introduction to the Theory of Numbers'' (5th ed), 1979, Oxford Univ. Pr. ISBN 0198531710.}}<!--

== 外部リンク ==
*[http://www.cut-the-knot.org/blue/Farey.shtml Farey series] at [[cut-the-knot]]
*[http://www.cut-the-knot.org/blue/Stern.shtml Stern-Brocot Tree] at [[cut-the-knot]]
*[http://mathworld.wolfram.com/Stern-BrocotTree.html MathWorld page on Stern-Brocot trees]
*[http://www.linas.org/math/chap-minkowski/chap-minkowski.html The Minkowski Question Mark and the Modular Group SL(2,Z)] reviews the isomorphisms of the Stern-Brocot Tree.
*[http://www.linas.org/math/chap-takagi/chap-takagi.html Symmetries of Period-Doubling Maps] reviews connections between Farey Fractions and Fractals.-->

== 脚注 ==
{{reflist}}

== 外部リンク ==
*{{高校数学の美しい物語|1167|ファレイ数列の４つの性質とその証明}}
*{{MathWorld|title=Farey Sequence|urlname=FareySequence}}
*{{MathWorld|title=Ford Circle|urlname=FordCircle}}
*[http://www.cut-the-knot.org/blue/FareyHistory.shtml Farey Series, A Story]{{en icon}}

{{Normdaten}}
{{DEFAULTSORT:ふあれいすうれつ}}
[[Category:分数]]
[[Category:数論]]
[[Category:数学に関する記事]]