フォードの円

テンプレート:Math2 に対するフォードの円。テンプレート:Math2 の円に テンプレート:Math を記し、テンプレート:Mvar の値ごとに色分けしている。それぞれの円は基準線および隣り合う円に接している。同じ分母を持つ既約分数は同じ大きさの円を持つ。(画像を大きなサイズで見たい場合クリック)

数学において、フォードの円（テンプレート:Lang-en-short）とは、中心が $(\frac{p}{q},\frac{1}{2q^2})$、半径が $\frac{1}{2q^2}$ の円である。ただし、テンプレート:Math は既約分数であり、すなわち テンプレート:Math2 は互いに素な整数。それぞれのフォードの円は水平軸 テンプレート:Math2) に接しており、それらのうち任意の2つの円は互いに共有しないか外接しているかのどちらかである。

歴史

フォードの円は、互いに外接しており、基準線 (テンプレート:Math2) は半径が無限大の円と考えられる。互いに接する円の体系は、アポロニウスの問題やアポロニウスのギャスケットなどに名が残るペルガのアポロニウスによって研究された。17世紀にはルネ・デカルトが、互いに接する円の半径の逆数間の関係に関するものであるデカルトの定理を発見した。

フォードの円は日本の和算の算額にも登場する。このうち代表的な問題として、1824年の群馬県の算額にて出題されたものが挙げられる。この問題は共通の接線を持ち互いに外接する3つの円に関するものである。この問題は2つの外接する円が与えられているとき、その2つの円と共通外接線の中に外接する小さな円の大きさを答えよというものであった。この問題の答えはフォードの円に等しい。

$\frac{1}{\sqrt{r_{\text{middle}}\phantom{A}}}=\frac{1}{\sqrt{r_{\text{left}}\phantom{A}}}+\frac{1}{\sqrt{r_{\text{right}}\phantom{A}}}.$

フォードの円は1938年にフォードの円について言及したアメリカの数学者テンプレート:仮リンクの名前に因んで名づけられた。

性質

分数 テンプレート:Math に対するフォードの円は $C\left[\frac{p}{q}\right]$ あるいは $C[p,q]$ と表記される。すべての有理数に、対応したフォードの円が存在する。さらに、直線 テンプレート:Math2 はフォードの円の一つとしてカウントされる。これは、直線 テンプレート:Math2 が テンプレート:Math に対する、半径無限大のフォードの円であると考えられるためである。

異なる2つのフォードの円は、互いに共有点を持たないか外接しているかのどちらかである。テンプレート:Mvar軸上の有理数である点には、1つのフォードの円が接している。0 と 1 の間の テンプレート:Math に対して、$C\left[\frac{p}{q}\right]$ に接するフォードの円は次のようにさまざまに表現することができる。

1. 円 $C\left[\frac{r}{s}\right]$ ただし $|ps-qr|=1$。
2. ファレイ数列において、分数 テンプレート:Math に隣接する分数 テンプレート:Math に対する円。
3. テンプレート:仮リンクにおいて、テンプレート:Math が テンプレート:Math よりも一つ大きい、あるいは一つ小さい ancestor であるときの円 $C\left[\frac{r}{s}\right]$、あるいは テンプレート:Math が テンプレート:Math より1つ大きい、あるいは1つ小さい ancestor のときの円 $C\left[\frac{r}{s}\right]$。

フォードの円はまた複素平面上の曲線としても考えられる。複素平面の変換のモジュラー群はフォードの円をフォードの円へと写す。

複素平面の上半平面を双曲平面のモデル（ポワンカレの上半平面モデル）と解釈することで、フォードの円はテンプレート:仮リンクによる双曲平面のタイリングとも解釈することができる。任意の 2 つのフォードの円は双曲幾何学において合同である。$C\left[\frac{p}{q}\right]$ と $C\left[\frac{r}{s}\right]$ が互いに接しているフォードの円ならば、$(\frac{p}{q},0)$ と $(\frac{r}{s},0)$ を結ぶ、テンプレート:Mvar軸に垂直な半円は双曲的直線であり、この双曲的直線は2つの円の接点も通る。

フォードの円は テンプレート:Math2 と円 $C\left[\frac{0}{1}\right]$ によって作られるアポロニウスのギャスケットの部分集合である。

フォードの円の総面積

フォードの円（円板）の面積、オイラーのトーシェント関数 $\phi$、リーマンゼータ関数 $\zeta$、アペリーの定数 $\zeta (3)$ の間には繋がりがある。フォードの円全体：

$\{C[p,q]:0<\frac{p}{q}\le 1,(p,q)=1\}$

は、どの2つも交わらないので、総面積は 1 よりも小さい。ゆえにフォードの円の総面積は収束し、その総面積は

$A=\sum _{q\ge 1}\sum _{\genfrac{}{}{0ex}{}{(p,q)=1}{1\le p\le q}}\pi {\left(\frac{1}{2q^2}\right)}^2$

である。この式を単純化することで次の式を得る。

$A=\frac{\pi }{4}\sum _{q\ge 1}\frac{1}{q^4}\sum _{\genfrac{}{}{0ex}{}{(p,q)=1}{1\le p\le q}}1=\frac{\pi }{4}\sum _{q\ge 1}\frac{\phi (q)}{q^4}=\frac{\pi }{4}\frac{\zeta (3)}{\zeta (4)},$

ただし、最後の等号はオイラーのトーシェント関数 $\phi (q)$ に関する母関数としてのディリクレ級数を反映している。$\zeta (4)=\frac{{\pi }^4}{90}$ なので、最終的に次のようになる。

$A=\frac{45}{2}\frac{\zeta (3)}{{\pi }^3}\approx 0.872284041.$

関連項目

• ファレイ数列

外部リンク

• テンプレート:高校数学の美しい物語
• cut-the-knotというウェブサイトのFord's Touching Circles
• テンプレート:Mathworld