有理数p/qに対応するフォード円は、直径が1/q^2であって、数直線のp/qにおいて接する円である。

一方、分母が高々ｄの有理数からなる数列を位数ｄのファレイ数列といい、その各項は高さが1/d^2以上1/(d+1)^2未満の任意の水平線と交わるフォード円と対応している。

位数４のファレイ数列は[0/1,1/4,1/3,1/2,2/3,3/4,1/1]であることが分かる

また、これよりディオファントス近似に関する定理

｜α-p/q｜＜1/2q^2を満たすものが無数に存在することも理解される

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】ファレイ数列の生成

　ｎ位のファレイ数列とは分子と分母がｎを超えない既約な正の有理数全体を大きさの順に並べたものであるが，まず［０／１，１／１］からはじめ，（０＋１）／（１＋１）＝１／２をはじめの２つの分数の間に挿入する．→［０／１，１／１］

漸次，隣接する２項ｐ／ｑとｒ／ｓの間に中間分数

　　（ｐ＋ｒ）／（ｑ＋ｓ）

を挿入する操作を可能な限り続けることによって得られる．

［０／１，１／１］

→［０／１，１／２，１／１］（２位のファレイ数列）

→［０／１，１／３，１／２，２／３，１／１］（３位のファレイ数列）

→［０／１，１／４，１／３，１／２，２／３，３／４，１／１］（４位のファレイ数列）

→［０／１，１／４，１／３，２／５，１／２，３／５，２／３，３／４，１／１］（５位のファレイ数列）

→［０／１，１／６，１／５，１／４，１／３，２／５，１／２，３／５，２／３，３／４，４／５，５／６，１／１］（６位のファレイ数列）

→［・・・，０／１，１／７，１／６，１／５，１／４，２／７，１／３，２／５，３／７，１／２，４／７，３／５，２／３，５／７，３／４，４／５，５／６，６／７，１／１，・・・］（７位のファレイ数列）

→［０／１，１／５，１／４，２／７，１／３，３／８，２／５，３／７，１／２，４／７，３／５，５／８，２／３，５／７，３／４，４／５，１／１］（８位のファレイ数列）

が得られる．

　位数ｎのファレイ数列の長さは，オイラー関数φ（ｎ）を用いて，

　　１＋φ（１）＋φ（２）＋・・・＋φ（ｎ−１）＋φ（ｎ）

　〜３（ｎ／π）^2〜０．３０３９６ｎ^2

になる．この近似はｎが大きくなるにつれてよくなっていく．

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

　ファレイ数列では相隣り合う２項［ｍ1／ｎ1，ｍ2／ｎ2］の分母と分子からなる行列式の値ｍ1ｎ2−ｍ2ｎ1は±１である．すなわち，交差積ｍ1ｎ2とｍ2ｎ1は連続する整数になる．

（証）［０／１，１／１］に対して，０・１−１・１＝−１．ａｄ−ｂｃ＝−が成り立っているような［ａ／ｂ，ｃ／ｄ］の間に，（ａ＋ｃ）／（ｂ＋ｄ）を挿入すれば

　　ａ（ｂ＋ｄ）−ｂ（ａ＋ｃ）＝（ａ＋ｃ）ｄ−（ｂ＋ｄ）ｃ＝−１

　さらにｌ＜ｎでかつａ／ｂ＜ｋ／ｌ＜ｃ／ｄとなるようなｋ／ｌは存在しない．もし存在したとすれば

　　ｋ／ｌ−ａ／ｂ≧１／ｌｂ，ｃ／ｄ−ｋ／ｌ≧１／ｌｄ

　　ｃ／ｄ−ａ／ｂ≧（ｂ＋ｄ）／ｌｂｄ＞１／ｂｄ

となって矛盾を生ずる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝