関数 $\int_{x}^{3x} t \cos t dt$ を $x$ で微分する問題です。解析学積分微分定積分合成関数積分区間の関数2025/6/51. 問題の内容関数 ∫x3xtcostdt\int_{x}^{3x} t \cos t dt∫x3xtcostdt を xxx で微分する問題です。2. 解き方の手順まず、積分の上端と下端がともに xxx の関数である積分を微分するための公式を使います。ddx∫g(x)h(x)f(t)dt=f(h(x))h′(x)−f(g(x))g′(x)\frac{d}{dx} \int_{g(x)}^{h(x)} f(t) dt = f(h(x)) h'(x) - f(g(x)) g'(x)dxd∫g(x)h(x)f(t)dt=f(h(x))h′(x)−f(g(x))g′(x)この公式を問題に適用します。f(t)=tcostf(t) = t \cos tf(t)=tcostg(x)=xg(x) = xg(x)=xh(x)=3xh(x) = 3xh(x)=3xしたがって、g′(x)=1g'(x) = 1g′(x)=1 と h′(x)=3h'(x) = 3h′(x)=3 です。公式に代入すると、ddx∫x3xtcostdt=(3x)cos(3x)⋅3−(x)cos(x)⋅1\frac{d}{dx} \int_{x}^{3x} t \cos t dt = (3x) \cos(3x) \cdot 3 - (x) \cos(x) \cdot 1dxd∫x3xtcostdt=(3x)cos(3x)⋅3−(x)cos(x)⋅1=9xcos(3x)−xcos(x)= 9x \cos(3x) - x \cos(x)=9xcos(3x)−xcos(x)3. 最終的な答え9xcos(3x)−xcos(x)9x \cos(3x) - x \cos(x)9xcos(3x)−xcos(x)