問題
1辺の長さが1の正五角形をとする。このとき,以下の問いに答えよ。
(1) の対角線の長さを求めよ。
(2) の周で囲まれた図形をとする。また,をの外接円の中心の周りに各だけ回転して得られる図形をとする。との共通部分の周の長さをとする。がの範囲を動くとき,の最小値がであることを示せ。
方針
(1) は正五角形の一辺と対角線の相似関係から,対角線の長さ が を満たすことを示す。(2) では正五角形を,中心から各辺までの距離が内接円半径 である5つの半平面の共通部分と見る。回転後の正五角形も同じ をもつため,共通部分の周は10本の支持直線でできる接多角形の周になる。隣り合う外向き法線の角度差が と で交互に現れるので,各辺長を と表し,三角比の恒等式で のとき最小になることを示す。
解答
(1)
正五角形の1辺の長さを1,対角線の長さを とする。正五角形の対角線を引くと,対角線どうしでできる小さい二等辺三角形と,もとの対角線を含む大きい二等辺三角形が相似になる。この相似関係から が成り立つ。したがって すなわち である。 なので である。
(2)
正五角形 の外接円の中心を とし,内接円の半径,すなわち中心 から各辺までの距離を とする。1辺の長さが1であり,各辺の中点と中心を結ぶ線分はその辺に垂直である。中心角は なので,その半分を用いた直角三角形から である。よって である。
正五角形 は,中心から距離 にある5本の辺の内側の共通部分である。 も同じ形を中心のまわりに だけ回転したものなので, は中心から距離 にある10本の直線の内側の共通部分になる。 では,これら10本の直線の外向き法線方向は円周上に交互に並び,隣り合う法線方向の角度差は を交互に繰り返す。
中心から距離 にある1本の辺を考える。その辺に隣り合う2本の辺の外向き法線方向との角度差をそれぞれ とする。この辺の両端は,中心から辺へ下ろした垂線の足から左右に だけ離れた点になる。したがってこの辺の長さは である。
今回の接多角形では,各辺について隣の角度差は と である。辺は全部で10本あるので,共通部分の周の長さは
である。
ここで とおくと, であり, である。三角関数の加法定理より
である。また
である。したがって
である。等号は ,すなわち のときに成り立つ。
よって
である。あとはこの値を計算する。(1)より正五角形の対角線の長さは であり,正五角形の中心角を用いると である。この値から半角公式を用いると が得られる。したがって である。等号は で成り立つので, における の最小値は である。