Evolton

東京大学 2001年度 前期日程 第2次学力試験理系数学 第2問

次の等式を満たす関数f(x) (0x2π)がただ一つ定まるための
実数abの条件を求めよ。
また,そのときのf(x)を決定せよ。f(x)=a2π02πsin(x+y)f(y)dy+b2π02πcos(xy)f(y)dy+sinx+cosxただし,f(x)は区間0x2πで連続な関数とする。

難易度7/ 10計算量6/ 10目安20

積分三角関数関数 文字消去恒等式比較定積分評価必要十分条件

方針

加法定理で sin(x+y)cos(xy) を展開すると、右辺は必ず sinxcosx の一次結合になる。したがって解があるなら f(x)=αsinx+βcosx と置ける。直交性 02πsin2ydy=02πcos2ydy=π02πsinycosydy=0 を使って α,β の連立一次方程式に帰着し、和と差を取って一意性の条件を調べる。

解答

加法定理より sin(x+y)=sinxcosy+cosxsiny, cos(xy)=cosxcosy+sinxsiny である。したがって与えられた等式の右辺は、どのような連続関数 f に対しても sinxcosx の一次結合になる。よって解が存在するなら f(x)=αsinx+βcosx と書ける。

このとき02πsinyf(y)dy=α02πsin2ydy+β02πsinycosydy=παであり、同様に 02πcosyf(y)dy=πβ である。

これをもとの等式に代入すると、sinx の係数は a2β+b2α+1 であり、cosx の係数は a2α+b2β+1 である。したがって係数比較によりα=a2β+b2α+1,β=a2α+b2β+1を得る。両式を整理して2倍すると (2b)αaβ=2, aα+(2b)β=2 である。

この2式を加えると (2ab)(α+β)=4 であり、引くと (2+ab)(αβ)=0 である。

ここで 2ab=0 なら、上の和の式が 0=4 となり、解は存在しない。また 2+ab=0 のときは、差 αβ が一意に決まらない。ただし同時に 2ab=0 となる場合はすでに解が存在しない場合に含まれる。したがって、関数 f がただ一つ定まるための条件は 2ab0,2+ab0 である。すなわち b2a,b2+a である。

この条件のもとでは α+β=42ab,αβ=0 であるから α=β=22ab となる。よって求める関数は f(x)=22ab(sinx+cosx) である。

別解

解法2(2つの固有方向に分ける)

方針

右辺が sinx,cosx の一次結合になることを確認し、
sinx+cosxsinxcosx の2方向に分解する。
各方向の倍率が1でないことが一意性条件になる。

解答

加法定理から、積分を含む部分は任意の f に対して
sinx,cosx の一次結合になる。したがって解はf(x)=αsinx+βcosxの形に限られる。u=α+β,v=αβとおく。積分作用は sinx+cosx 方向を
(a+b)/2 倍し、sinxcosx 方向を
(ba)/2 倍する。また非斉次項は sinx+cosx である。
よって与式は(1a+b2)u=2,(1ba2)v=0と同値である。

第1の係数が0なら 0=2 となって解がなく、
第2の係数が0なら v が自由になって解が一意でない。
したがって一意に定まる条件はa+b2,ba2,すなわちb2a,b2+a.このときu=42ab,v=0だから α=β=2/(2ab) であり、f(x)=22ab(sinx+cosx).

総評

難度7、計算量6。積分方程式に見えるが、加法定理により未知量は sinxcosx の係数2つだけになる。採点上は、解がこの2次元の形に限られる理由、三角関数の直交性による積分計算、連立一次方程式の一意性条件を順に書く必要がある。特に b=2a では和の式が矛盾し、b=2+a では差が自由になるため、「係数が0だから除外」とだけ書くと説明不足になりやすい。目安は20分程度。 2つの解法は標準的な答案手順と、別の構造から検算できる経路に分けた。必要性と十分性、等号条件、範囲を明示し、積分・総和・極限と主要な分数は読みやすい表示形式に統一した。

冊子PDFで見る東大の積分の問題で問題集を作る

出典: 東京大学 2001年度 前期 数学 第2問。問題文はHTML表示のために再入力・数式組版しています。