問題
自然数に対して定まる関数
について,以下の問いに答えよ。
(1) 任意の実数に対して が成り立つことを示せ。
(2) 区間 においては相異なる2つの解を持つことを示せ。
(3) 区間における方程式のすべての解の和をとおくとき,極限を求めよ。
出典:九州大学 2020年度 後期日程 第2次学力試験 後期・理系 後期 第2問
方針
の周期が であることから(1)を示す。(2)は各小区間を角度 に対応させると、 が0から1へ上がって0へ戻る山になるので、 との交点が2個ある。(3)は各小区間内の2解が区間の中央に関して対称であることから、解を直接出さずに和だけ求める。別解では として2解を明示し、同じ和を確認する。
解答
(1)
は周期 をもつ。したがって、任意の整数 について
である。よって が成り立つ。
(2)
区間 を考える。このとき である。この区間で は、左端で0、中央で1、右端で0となる1つの山を作る。より具体的には、前半で単調に0から1へ増加し、後半で1から0へ減少する。
方程式 は と同値である。 なので、この高さは山の前半で1回、後半で1回だけ現れる。したがって、各区間で相異なる2つの解をもつ。
(3)
第 区間 にある2つの解は、その区間の中央 に関して対称である。したがって、第 区間にある2解の和は である。
これを について足すと
である。よって である。
別解。
とおくと、 である。第 区間の2解は である。和は となり、上と同じ計算で を得る。