同济高数 第10章 第10-5-2题

教材习题

📝 题目

2.求下列函数的导数: (1)$\varphi(x)=\displaystyle{\int}_{\sin x}^{\cos x}\left(y^{2} \sin x-y^{3}\right) \mathrm{d} y$ ; (2)$\varphi(x)=\displaystyle{\int}_{0}^{x} \frac{\ln (1+x y)}{y} \mathrm{~d} y$ ; (3)$\varphi(x)=\displaystyle{\int}_{x^{2}}^{x^{3}} \arctan \frac{y}{x} \mathrm{~d} y$ ; (4)$\varphi(x)=\displaystyle{\int}_{x}^{x^{2}} \mathrm{e}^{-x y^{2}} \mathrm{~d} y$ .

💡 答案解析

[AI解答]

[AI解答]

---

### (1) $$ \varphi(x)=\int_{\sin x}^{\cos x} (y^{2} \sin x - y^{3})\, dy $$

这里积分变量是 $y$,但被积函数中还有 $\sin x$ 作为参数,且积分限也是 $x$ 的函数。 利用含参变量积分的求导公式(莱布尼茨公式):

$$ \frac{d}{dx} \int_{a(x)}^{b(x)} f(x,y)\, dy = f(x,b(x)) b'(x) - f(x,a(x)) a'(x) + \int_{a(x)}^{b(x)} \frac{\partial f}{\partial x} \, dy $$

此处 $a(x)=\sin x,\ b(x)=\cos x$ $f(x,y)=y^{2}\sin x - y^{3}$ 则 $\frac{\partial f}{\partial x}=y^{2}\cos x$

计算:

$$ \varphi'(x)= \big[(\cos^2 x \sin x - \cos^3 x)(-\sin x)\big] - \big[(\sin^2 x \sin x - \sin^3 x)(\cos x)\big] + \int_{\sin x}^{\cos x} y^{2}\cos x\, dy $$

先化简前两项:

第一项: $$ (\cos^2 x \sin x - \cos^3 x)(-\sin x) = -\sin x \cos^2 x \sin x + \sin x \cos^3 x = -\sin^2 x \cos^2 x + \sin x \cos^3 x $$

第二项: $$ - (\sin^3 x - \sin^3 x)(\cos x) = 0 $$ 因为 $\sin^2 x \sin x - \sin^3 x = 0$,所以第二项为0。

再计算积分部分:

$$ \int_{\sin x}^{\cos x} y^{2}\cos x\, dy = \cos x \cdot \left[\frac{y^{3}}{3}\right]_{\sin x}^{\cos x} = \frac{\cos x}{3} (\cos^3 x - \sin^3 x) $$

因此:

$$ \varphi'(x)= -\sin^2 x \cos^2 x + \sin x \cos^3 x + \frac{\cos x}{3}(\cos^3 x - \sin^3 x) $$

可以合并:

$$ \varphi'(x)= \sin x \cos^3 x - \sin^2 x \cos^2 x + \frac{\cos^4 x}{3} - \frac{\cos x \sin^3 x}{3} $$

---

### (2) $$ \varphi(x)=\int_{0}^{x} \frac{\ln(1+xy)}{y}\, dy $$

这里积分上限是 $x$,下限常数,被积函数显含 $x$。用莱布尼茨公式:

$$ \varphi'(x)= \frac{\ln(1+x\cdot x)}{x} \cdot 1 + \int_{0}^{x} \frac{\partial}{\partial x}\left( \frac{\ln(1+xy)}{y} \right) dy $$

第一项: $$ \frac{\ln(1+x^2)}{x} $$

第二项: $$ \frac{\partial}{\partial x} \frac{\ln(1+xy)}{y} = \frac{1}{y} \cdot \frac{y}{1+xy} = \frac{1}{1+xy} $$

所以:

$$ \int_{0}^{x} \frac{1}{1+xy}\, dy = \left[ \frac{\ln(1+xy)}{x} \right]_{y=0}^{y=x} = \frac{\ln(1+x^2)}{x} - \frac{\ln 1}{x} = \frac{\ln(1+x^2)}{x} $$

因此:

$$ \varphi'(x)= \frac{\ln(1+x^2)}{x} + \frac{\ln(1+x^2)}{x} = \frac{2\ln(1+x^2)}{x} $$

---

### (3) $$ \varphi(x)=\int_{x^{2}}^{x^{3}} \arctan\frac{y}{x}\, dy $$

应用莱布尼茨公式:

$a(x)=x^{2},\ b(x)=x^{3}$ $f(x,y)=\arctan\frac{y}{x}$

$$ \varphi'(x)= f(x,x^{3})\cdot 3x^{2} - f(x,x^{2})\cdot 2x + \int_{x^{2}}^{x^{3}} \frac{\partial}{\partial x}\arctan\frac{y}{x}\, dy $$

先算前两项: $f(x,x^{3}) = \arctan(x^{2})$ $f(x,x^{2}) = \arctan(x)$

所以前两项为: $$ 3x^{2}\arctan(x^{2}) - 2x\arctan x $$

再算偏导: $$ \frac{\partial}{\partial x}\arctan\frac{y}{x} = \frac{1}{1+(y/x)^{2}} \cdot \left(-\frac{y}{x^{2}}\right) = -\frac{y}{x^{2}+y^{2}} $$

因此积分:

$$ \int_{x^{2}}^{x^{3}} -\frac{y}{x^{2}+y^{2}}\, dy = -\frac12 \int_{x^{2}}^{x^{3}} \frac{2y}{x^{2}+y^{2}}\, dy = -\frac12 \left[ \ln(x^{2}+y^{2}) \right]_{y=x^{2}}^{y=x^{3}} $$

$$ = -\frac12 \left[ \ln(x^{2}+x^{6}) - \ln(x^{2}+x^{4}) \right] = -\frac12 \ln\frac{x^{2}(1+x^{4})}{x^{2}(1+x^{2})} = -\frac12 \ln\frac{1+x^{4}}{1+x^{2}} $$

所以:

$$ \varphi'(x)= 3x^{2}\arctan(x^{2}) - 2x\arctan x - \frac12 \ln\frac{1+x^{4}}{1+x^{2}} $$

---

### (4) $$ \varphi(x)=\int_{x}^{x^{2}} e^{-x y^{2}}\, dy $$

莱布尼茨公式:

$a(x)=x,\ b(x)=x^{2}$ $f(x,y)=e^{-x y^{2}}$

$$ \varphi'(x)= e^{-x (x^{2})^{2}} \cdot 2x - e^{-x (x)^{2}} \cdot 1 + \int_{x}^{x^{2}} \frac{\partial}{\partial x} e^{-x y^{2}}\, dy $$

第一项: $e^{-x^{5}} \cdot 2x$ 第二项: $- e^{-x^{3}}$

偏导: $$ \frac{\partial}{\partial x} e^{-x y^{2}} = -y^{2} e^{-x y^{2}} $$

所以积分:

$$ \int_{x}^{x^{2}} -y^{2} e^{-x y^{2}}\, dy $$

这个积分没有初等原函数,保留形式即可。

因此:

$$ \varphi'(x)= 2x e^{-x^{5}} - e^{-x^{3}} - \int_{x}^{x^{2}} y^{2} e^{-x y^{2}}\, dy $$

---

**难度评级**:★★★☆☆ (涉及莱布尼茨公式、含参积分求导、部分化简较繁琐)

📋 详细解题步骤

步骤 1/4
目标:对第(1)题应用莱布尼茨公式求导
设 a(x)=sin x, b(x)=cos x, f(x,y)=y^2 sin x - y^3。则 φ'(x)=f(x,cos x)·(-sin x) - f(x,sin x)·cos x + ∫_{sin x}^{cos x} ∂f/∂x dy。计算得 φ'(x)= -sin^2 x cos^2 x + sin x cos^3 x + (cos x/3)(cos^3 x - sin^3 x)。
公式:d/dx ∫_{a(x)}^{b(x)} f(x,y) dy = f(x,b(x))b'(x) - f(x,a(x))a'(x) + ∫_{a(x)}^{b(x)} ∂f/∂x dy
提示:注意被积函数中显含x,需对x求偏导。
步骤 2/4
目标:对第(2)题应用莱布尼茨公式求导
设 a(x)=0, b(x)=x, f(x,y)=ln(1+xy)/y。则 φ'(x)=f(x,x)·1 + ∫_0^x ∂f/∂x dy。计算得 φ'(x)=2ln(1+x^2)/x。
公式:同上
提示:∂f/∂x = 1/(1+xy),积分后与第一项合并。
步骤 3/4
目标:对第(3)题应用莱布尼茨公式求导
设 a(x)=x^2, b(x)=x^3, f(x,y)=arctan(y/x)。则 φ'(x)=f(x,x^3)·3x^2 - f(x,x^2)·2x + ∫_{x^2}^{x^3} ∂f/∂x dy。计算得 φ'(x)=3x^2 arctan(x^2) - 2x arctan x - (1/2) ln((1+x^4)/(1+x^2))。
公式:同上
提示:∂f/∂x = -y/(x^2+y^2),积分用换元法。
步骤 4/4
目标:对第(4)题应用莱布尼茨公式求导
设 a(x)=x, b(x)=x^2, f(x,y)=e^{-xy^2}。则 φ'(x)=f(x,x^2)·2x - f(x,x)·1 + ∫_x^{x^2} ∂f/∂x dy。计算得 φ'(x)=2x e^{-x^5} - e^{-x^3} - ∫_x^{x^2} y^2 e^{-xy^2} dy。
公式:同上
提示:积分部分无初等原函数,保留积分形式。

📷 拍照上传批改

拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。