まず、微積分学の基本定理と合成関数の微分法を用いて、定積分で定義された関数の微分を計算します。
dxd(∫x2xcos2tdt)=dxd(∫02xcos2tdt−∫0xcos2tdt) =dxd(∫02xcos2tdt)−dxd(∫0xcos2tdt) =cos2(2x)⋅dxd(2x)−cos2(x)⋅dxd(x) =2cos2(2x)−cos2(x) 次に、計算結果と与えられた式を比較します。
2cos2(2x)−cos2(x)=(ア)cos22x+(イ)cos2x したがって、(ア) = 2, (イ) = -1 となります。