凹円と定円を用いた極大円の作図問題を解説｜中心・接点が一直線になる理由と条件の証明

古典的な幾何学の問題には、円と円の接触条件を利用して最大の円を作図する問題があります。本問は、凹円（内側に曲がった円弧）と一定半径の円を利用し、その間に入る最大の円を考えることで、中心・接点・定円の中心が一直線になることを証明する内容です。

また、単に図形的な性質を示すだけではなく、その構成が成立するために必要な条件や、定円の半径を無限大にした場合の極限についても考察します。

この記事では、問題文を現代的な数学表現に置き換えながら、円の接線条件と中心間距離を利用して分かりやすく解説します。

問題文を現代的な表現に整理する

古い日本語表記では「凹円線」「中軸径」「定円」などの言葉が使われていますが、内容を整理すると次のような問題になります。

凹円（内側にある円弧）の中心をOとし、その軸上に一定半径rの円（定円）を描く。この定円と凹円の内側に接する最大の円を考える。その最大円の中心をP、凹円との接点をT、定円の中心をAとすると、P・T・Aの3点が一直線上にあることを証明せよ。

さらに、定円の中心Aと凹円の変曲点または基準点との距離が、中軸径の3分の1以下では条件が成立しないことを示し、定円の半径を無限大にした場合の別の円の直径を求めることが求められています。

まず重要な基本性質として、2つの円が接するとき、接点とそれぞれの円の中心は必ず一直線上にあります。

これは、接点における共通接線に対して、両方の半径が垂直になるためです。つまり、接点から中心へ引いた2本の半径は同じ直線上に存在します。

例えば、2つの円が外接している場合でも内接している場合でも、中心と接点を結ぶ線分は円の位置関係を決める重要な軸になります。

求める最大円は、凹円と定円の両方に接しています。そのため、最大円と凹円の接点Tでは、凹円の中心O、最大円の中心P、接点Tが一直線になります。

同様に、最大円と定円の接点では、定円の中心A、最大円の中心P、接点が一直線になります。

最大円が両方の円に同時に接するためには、中心間距離が半径の和または差として一定になります。この条件から、最大円の中心Pは、2つの基準となる中心を結ぶ線上に存在することになります。

凹円の半径をR、最大円の半径をx、定円の半径をrとします。

最大円が凹円の内部に接する場合、中心間距離はR-xとなります。また、定円との接触条件では中心間距離はr+xになります。

したがって、中心間の位置関係は次のように表せます。

OP=R-x、AP=r+x

この2つの距離が同じ直線上で成立するため、点A・P・Oは一直線上に配置されます。そして接点Tも半径方向に存在するため、A・P・Tも一直線となります。

問題文にある条件は、最大円が実際に存在できる範囲を示しています。円を配置するには、中心間距離が半径条件を満たす必要があります。

定円の中心が凹円の中心に近すぎる場合、最大円を入れるための空間が不足します。その結果、2つの接触条件を同時に満たす円を作ることができません。

つまり、距離条件は単なる計算上の制限ではなく、幾何学的に円が存在するための必要条件になります。

定円の半径を無限大にするということは、円の一部がほぼ直線になる極限を考えることです。

半径が非常に大きい円では、局所的には曲率がほぼ0となり、円ではなく直線に近い形になります。そのため、この問題は円と直線の間に入る最大円を求める問題へ変化します。

この場合も基本となる考え方は変わらず、接点と中心を結ぶ半径方向の関係を利用して直径を求めることができます。

この古典幾何の問題では、円同士の接触という基本性質を利用することで、最大円の中心や接点の位置関係を説明できます。

特に重要なのは、円が接するときには「中心と接点が一直線になる」という性質です。この性質を使うことで、複雑に見える作図問題も中心間距離の問題として整理できます。

また、距離条件や無限大の極限を考えることで、単なる作図だけではなく、幾何学における存在条件や極限概念まで理解できる問題になっています。