与えられた関数 $f(x) = \int_0^x (t-x)\sin t \, dt$ を $x$ について微分せよ。解析学微分積分微積分学の基本定理定積分2025/3/291. 問題の内容与えられた関数 f(x)=∫0x(t−x)sint dtf(x) = \int_0^x (t-x)\sin t \, dtf(x)=∫0x(t−x)sintdt を xxx について微分せよ。2. 解き方の手順まず、f(x)f(x)f(x) を展開します。f(x)=∫0xtsint dt−∫0xxsint dtf(x) = \int_0^x t\sin t \, dt - \int_0^x x\sin t \, dtf(x)=∫0xtsintdt−∫0xxsintdtf(x)=∫0xtsint dt−x∫0xsint dtf(x) = \int_0^x t\sin t \, dt - x \int_0^x \sin t \, dtf(x)=∫0xtsintdt−x∫0xsintdt次に、f(x)f(x)f(x) を微分します。積の微分と微積分学の基本定理を用います。f′(x)=ddx(∫0xtsint dt)−ddx(x∫0xsint dt)f'(x) = \frac{d}{dx} \left( \int_0^x t\sin t \, dt \right) - \frac{d}{dx} \left( x \int_0^x \sin t \, dt \right)f′(x)=dxd(∫0xtsintdt)−dxd(x∫0xsintdt)f′(x)=xsinx−(∫0xsint dt+xsinx)f'(x) = x\sin x - \left( \int_0^x \sin t \, dt + x\sin x \right)f′(x)=xsinx−(∫0xsintdt+xsinx)f′(x)=xsinx−∫0xsint dt−xsinxf'(x) = x\sin x - \int_0^x \sin t \, dt - x\sin xf′(x)=xsinx−∫0xsintdt−xsinxf′(x)=−∫0xsint dtf'(x) = - \int_0^x \sin t \, dtf′(x)=−∫0xsintdt∫0xsint dt=[−cost]0x=−cosx−(−cos0)=−cosx+1=1−cosx\int_0^x \sin t \, dt = [-\cos t]_0^x = -\cos x - (-\cos 0) = -\cos x + 1 = 1 - \cos x∫0xsintdt=[−cost]0x=−cosx−(−cos0)=−cosx+1=1−cosxよって、f′(x)=−(1−cosx)=cosx−1f'(x) = -(1 - \cos x) = \cos x - 1f′(x)=−(1−cosx)=cosx−13. 最終的な答えf′(x)=cosx−1f'(x) = \cos x - 1f′(x)=cosx−1