問題
を自然数とする。半径 の円を互いに重なり合わないように半径 の円に外接させる。このとき外接する円の最大個数を とする。 を求めよ。
出典:東京工業大学 1982年度 前期日程 理系 第1問
方針
小円の中心は半径 の同心円上に並ぶ。小円どうしが重ならない条件を,隣り合う中心の中心角の下限 に直す。円周をこの角以上の弧に分ける必要十分条件から をはさみ, により極限を求める。
解答
半径 の小円の中心は,もとの円と同じ中心をもつ半径 の円周上にある。2つの小円が重ならないためには,それらの中心間の距離が 以上であればよい。
を で定める。すなわち である。小円の中心を円周上に順に並べたとき,隣り合う中心の中心角はいずれも 以上でなければならないから, 個並べられるなら である。したがって である。
逆に, なら,半径 の円周を 等分して中心を置けば,隣り合う中心角は である。よって隣り合う中心間距離は 以上であり,小円は互いに重ならない。したがって は を満たす。
ここで とおくと, であり である。よって から ,すなわち である。上の不等式より であるから, となる。ゆえに求める極限は である。