Evolton

九州大学 2007年度 前期日程 第2次学力試験理系数学 第5問

関数f(x)が0でない定数pに対して,つねにf(x+p)=f(x)を満たすとき
f(x)は周期関数であるといい,pを周期という.
正の周期のうちで最小のものを特に基本周期という.
たとえば,関数sinxの基本周期は2πである.
このとき,次の問いに答えよ.

(1) y=sinxのグラフをかき,関数sinxの基本周期を求めよ.

(2) 自然数mnに対して関数f(x)f(x)=sinmxsinnxとおく.
pが関数f(x)の周期ならば
f(p2)=f(p2)=0
が成り立つことを示せ.

また,このときmpπの整数倍であり,np2πの整数倍であることを示せ.

(3) mnは1以外の公約数をもたない自然数とする.
(2)の結果を用いて関数sinmxsinnxの基本周期を求めよ.

難易度7/ 10計算量5/ 10目安25

三角関数論証・証明 場合分け、必要十分条件三角比の利用

方針

(1) は零点間隔から基本周期を決める。(2)は奇関数性で p/2 を零点にし、どちらの因子が0になるかで場合分けする。積から一因子の周期性を取り出す際は、他方が0でない開区間で割り、連続性で全実数へ拡張する。(3)は必要条件を整数の整除関係へ直す。

解答

(1) sin(x+π)=sinx=sinxなので π は周期である。正の零点は π,2π, であり、0に最も近い正の零点が π だから、それより短い正の周期は存在しない。よって基本周期は π である。

(2)

f は奇関数であり、p が周期ならf(p2)=f(p2+p)=f(p2)=f(p2).したがってf(p2)=f(p2)=0.よってsinmp2=0またはsinnp2=0.前者なら mp2πZ で、絶対値因子は p だけずらしても変わらない。周期条件から、絶対値因子が0でない区間ではsinn(x+p)=sinnx.連続性によりこれは全実数で成り立ち、np2πZ である。

後者なら np2πZ で、正弦因子は p だけずらしても変わらない。同様に0でない区間で割って連続性を使うとsinm(x+p)=sinmxが全実数で成り立つ。x=0 を代入して sin(mp)=0、すなわち mpπZ を得る。

したがって常にmpπZ,np2πZ.(3)

mp=rπnp=2sπ とおくとrn=2sm.m,n は互いに素なので mrr=mk と書けば p=kπ であり、さらに nk は偶数である。

n が偶数なら最小の正の k は1で、p=πn が奇数なら最小の正の k は2で、p=2π。どちらも直接代入して周期であることを確認できる。よって基本周期={π(n が偶数),2π(n が奇数)である。

負の山を上へ折り返すと、同じ山形が長さ π ごとに繰り返される。

総評

難度7,計算量5。周期関数の抽象的な論証が中心で,計算問題ではない。(2)では,奇関数性と周期性を組み合わせて p/2 が零点になることをまず示すのが要点である。そのあと,sinmx の周期が π/m 型,sinnx の周期が 2π/n 型であることを,積全体の周期条件から必要条件として取り出す。(3)は互いに素という条件により p=kπ まで絞れ,最後は n の偶奇で決まる。目安時間は25分前後。

冊子PDFで見る九大の三角関数の問題で問題集を作る

出典: 九州大学 2007年度 数学(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。