下册 7.5 多元函数微分的应用 第21题

数学分析早年真题

📝 题目

21.求解下列各题. (1)设 $f(x, y, z)=x^{100} y^{200} z^{300}(x>0, y>0, z>0)$ ,求 $f(x, y, z)$ 在条件 $x+y+z=1$ 下的极值点和最值. (2)求函数 $\displaystyle f(x, y)=\frac{1}{2}\left(x^{n}+y^{n}\right)(n$ 为正整数 $)$ 在条件 $x+y=a,(x>0, y>0, a>0)$ 下的极值,并证明不等式 $\displaystyle \frac{1}{2}\left(x^{n}+y^{n}\right) \geqslant\left(\frac{x+y}{2}\right)^{n}$ . (3)求函数 $f=a_{1} x_{1}+a_{2} x_{2}+\cdots+a_{n} x_{n}\left(a_{i}>0\right)$ 在条件 $x_{1}^{2}+x_{2}^{2}+\cdots+x_{n}^{2} \leqslant 1$ 限制下的最小值.

💡 答案解析

\section*{解题过程:} (1)作函数 $L(x, y, z, \lambda)=x^{100} y^{200} z^{300}+\lambda(x+y+z-1),(x>0, y>0, z>0)$ 。解方程组 $$ \left\{\begin{array}{l} L_{x}=100 x^{99} y^{200} z^{300}+\lambda=0 \\ L_{y}=200 x^{100} y^{199} z^{300}+\lambda=0 \\ L_{z}=300 x^{100} y^{200} z^{299}+\lambda=0 \\ L_{\lambda}=x+y+z-1=0 \end{array}\right. $$ 得函数的唯一稳定点 $\displaystyle x=\frac{1}{6}, y=\frac{1}{3}, z=\frac{1}{2}$ . 因稳定点唯一,由题意知最小值是存在的,所以函数 $f(x, y, z)=x^{100} y^{200} z^{300}$ 的最小值在唯一稳定点取得,即 $\displaystyle \left(\frac{1}{6}, \frac{1}{3}, \frac{1}{2}\right)$ 是函数 $f(x, y, z)=x^{100} y^{200} z^{300}$ 的极小值点,其极小值也是最小值 $\displaystyle f_{\min }=f\left(\frac{1}{6}, \frac{1}{3}, \frac{1}{2}\right)=\frac{1}{6^{100}} \cdot \frac{1}{3^{200}} \cdot \frac{1}{2^{300}}$. (2)先求 $\displaystyle F(x, y)=\frac{x^{n}+y^{n}}{2}$ 在条件 $x+y=a$ 下的最小值. 设 $\displaystyle L(x, y, \lambda)=\frac{x^{n}+y^{n}}{2}+\lambda(x+y-a)$ .对 $L$ 求偏导数,并令它们都等于零,有 $$ \left\{\begin{array}{l} L_{x}=\frac{n}{2} x^{n-1}+\lambda=0 \\ L_{y}=\frac{n}{2} y^{n-1}+\lambda=0 \\ L_{\lambda}=x+y-a=0 \end{array}\right. $$ 解之得 $\displaystyle x=y=\frac{a}{2}$ . 由于当 $x \rightarrow \infty$ 或 $y \rightarrow \infty$ 时,$F$ 都趋于 $\infty$ ,故 $F$ 必在唯一稳定点 $\displaystyle \left(\frac{a}{2}, \frac{a}{2}\right)$ 处有最小值,即 $$ F_{\text {最小值 }}=F\left(\frac{a}{2}, \frac{a}{2}\right)=\left(\frac{a}{2}\right)^{n} \text {. } $$ 所以 $\displaystyle \frac{x^{n}+y^{n}}{2} \geqslant\left(\frac{a}{2}\right)^{n}=\left(\frac{x+y}{2}\right)^{n}$ ,即 $\displaystyle \frac{x^{n}+y^{n}}{2} \geqslant\left(\frac{x+y}{2}\right)^{n}$ 成立。 (3)由于 $f\left(x_{1}, x_{2}, \cdots, x_{n}\right)$ 在区域 $\left\{\left(x_{1}, x_{2}, \cdots, x_{n}\right) \mid x_{1}^{2}+x_{2}^{2}+\cdots+x_{n}^{2}<1\right\}$ 内没有稳定点,所以只需求 $f\left(x_{1}, x_{2}, \cdots, x_{n}\right)$ 在约束条件 $x_{1}^{2}+x_{2}^{2}+\cdots+x_{n}^{2}=1$ 下的最大值与最小值。 令 $L\left(x_{1}, x_{2}, \cdots, x_{n}, \lambda\right)=a_{1} x_{1}+a_{2} x_{2}+\cdots+a_{n} x_{n}-\lambda\left(x_{1}^{2}+x_{2}^{2}+\cdots+x_{n}^{2}-1\right)$ 。求偏导数并令其为零,得 $$ L_{x_{k}}=a_{k}-2 \lambda x_{k}=0, k=1, \cdots, n $$ 解之得 $\displaystyle x_{k}=\frac{a_{k}}{2 \lambda}, k=1, \cdots, n$ 。代人约束条件 $x_{1}^{2}+x_{2}^{2}+\cdots+x_{n}^{2}=1$ 得 $2 \lambda= \pm \sqrt{\sum_{k=1}^{n} a_{k}^{2}}$ 。于是 $$ f\left(x_{1}, x_{2}, \cdots, x_{n}\right)=\frac{1}{ \pm \sqrt{\sum_{k=1}^{n} a_{k}^{2}}} \sum_{k=1}^{n} a_{k}^{2}= \pm \sqrt{\sum_{k=1}^{n} a_{k}^{2}} $$ 从而 $f_{\text {max }}=\sqrt{\sum_{k=1}^{n} a_{k}^{2}}, f_{\text {min }}=-\sqrt{\sum_{k=1}^{n} a_{k}^{2}}$ 。

📋 详细解题步骤

步骤 1/8
目标:构造拉格朗日函数并求偏导
对于问题(1),构造拉格朗日函数 $L(x,y,z,\lambda)=x^{100}y^{200}z^{300}+\lambda(x+y+z-1)$,其中 $x>0,y>0,z>0$。然后求各偏导数并令其为零: $$\begin{cases} L_x = 100x^{99}y^{200}z^{300}+\lambda = 0 \\ L_y = 200x^{100}y^{199}z^{300}+\lambda = 0 \\ L_z = 300x^{100}y^{200}z^{299}+\lambda = 0 \\ L_\lambda = x+y+z-1 = 0 \end{cases}$$
公式:拉格朗日乘数法:$L=f+\lambda g$
提示:注意定义域 $x>0,y>0,z>0$,否则对数求导可能无意义。
步骤 2/8
目标:解方程组得到稳定点
由前三个方程可得 $100x^{99}y^{200}z^{300} = 200x^{100}y^{199}z^{300} = 300x^{100}y^{200}z^{299}$,化简得 $100/x = 200/y = 300/z$,即 $y=2x, z=3x$。代入 $x+y+z=1$ 得 $x+2x+3x=1$,解得 $x=1/6, y=1/3, z=1/2$。因此唯一稳定点为 $(1/6,1/3,1/2)$。
提示:注意比例关系推导时,要确保分母不为零。
步骤 3/8
目标:判断极值并求最值
由于函数在边界 $x\to0^+$ 或 $y\to0^+$ 或 $z\to0^+$ 时趋于0,且函数值非负,而稳定点处函数值为正,故该点为极小值点,也是最小值点。最小值 $f_{\min}= (1/6)^{100} (1/3)^{200} (1/2)^{300}$。
提示:注意边界趋势分析:当变量趋近0时,幂函数趋近0,但需考虑指数大小。
步骤 4/8
目标:构造拉格朗日函数并求偏导(问题2)
对于问题(2),构造 $L(x,y,\lambda)=\frac{x^n+y^n}{2}+\lambda(x+y-a)$。求偏导: $$\begin{cases} L_x = \frac{n}{2}x^{n-1}+\lambda = 0 \\ L_y = \frac{n}{2}y^{n-1}+\lambda = 0 \\ L_\lambda = x+y-a = 0 \end{cases}$$
提示:注意 $n$ 为正整数,$x>0,y>0$。
步骤 5/8
目标:解方程组得到稳定点
由前两个方程得 $\frac{n}{2}x^{n-1} = \frac{n}{2}y^{n-1}$,即 $x^{n-1}=y^{n-1}$,由于 $x,y>0$,得 $x=y$。代入 $x+y=a$ 得 $x=y=a/2$。稳定点为 $(a/2,a/2)$。
提示:注意 $n=1$ 时,$x^{0}=y^{0}$ 恒成立,但此时函数为线性,极值在边界,但题目条件 $x>0,y>0$,仍需考虑。
步骤 6/8
目标:判断极值并证明不等式
由于当 $x\to0^+$ 或 $y\to0^+$ 时,$F\to +\infty$(因为 $n>0$),且稳定点唯一,故该点为最小值点。最小值为 $F(a/2,a/2)=(a/2)^n$。因此 $\frac{x^n+y^n}{2} \ge \left(\frac{x+y}{2}\right)^n$,即不等式成立。
公式:均值不等式推广:幂平均不等式
提示:注意 $n$ 为正整数,当 $n$ 为偶数时,$x,y$ 可为负,但题目限制 $x>0,y>0$。
步骤 7/8
目标:构造拉格朗日函数并求偏导(问题3)
对于问题(3),约束为 $x_1^2+\cdots+x_n^2 \le 1$,但内部无稳定点,故考虑边界 $x_1^2+\cdots+x_n^2=1$。构造 $L(x_1,\dots,x_n,\lambda)=a_1x_1+\cdots+a_nx_n-\lambda(x_1^2+\cdots+x_n^2-1)$。求偏导: $$L_{x_k}=a_k-2\lambda x_k=0,\quad k=1,\dots,n$$
提示:注意拉格朗日函数中符号可任取,但需与后续求解一致。
步骤 8/8
目标:解方程组并求最值
由 $L_{x_k}=0$ 得 $x_k = \frac{a_k}{2\lambda}$。代入约束得 $\sum_{k=1}^n \left(\frac{a_k}{2\lambda}\right)^2 = 1$,即 $\frac{\sum a_k^2}{4\lambda^2}=1$,解得 $2\lambda = \pm \sqrt{\sum a_k^2}$。于是 $f = \sum a_k x_k = \sum a_k \cdot \frac{a_k}{2\lambda} = \frac{\sum a_k^2}{2\lambda} = \pm \sqrt{\sum a_k^2}$。因此最大值为 $\sqrt{\sum a_k^2}$,最小值为 $-\sqrt{\sum a_k^2}$。
公式:柯西不等式:$(\sum a_k x_k)^2 \le (\sum a_k^2)(\sum x_k^2)$
提示:注意 $\lambda$ 可正可负,对应最大值和最小值。

📷 拍照上传批改

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