柯朗微积分与数学分析习题选解(1.1 节 e)

一直在读《陶哲轩实分析》，陶的书非常的严谨，环环相扣，但是也有个缺点就是计算性的例子和应用方面的例子太少了。所以就又找了本柯朗的《微积分与数学分析》搭配着看。柯朗的书的习题与陶的风格完全不同，里面有大量的考察技巧性的习题，有些题相当有难度，第一卷又没有提供习题答案。我试着解了一小部分习题，放到这里，供有需要的同学参考。能力有限，有些题确实搞不定，有些题给的答案可能是错的。所以仅供参考。

柯朗微积分与数学分析习题选解(1.1 节 e)

第四题

两个正数 $a$ ，$b$ 的调和平均值 $\varepsilon$ 定义为：

$$\frac{1}{\varepsilon} = \frac{1}{2} \left(\frac{1}{a} + \frac{1}{b}\right)$$
试证明调和平均值不超过几何平均值。 $\varepsilon \le \sqrt{ab}$ 试问两平均值何时相等。

$$a+ b \ge 2 \sqrt{ab}\\ \frac{a+b}{ab} \geq \frac{2}{\sqrt{ab}} \\ \frac{1}{2} (\frac{1}{a} + \frac{1}{b}) \geq \frac{1}{\sqrt{ab}} \\ \frac{1}{\varepsilon} \geq \frac{1}{\sqrt{ab}} \\ \varepsilon \leq \sqrt{ab}$$

当 $a = b$ 时两平均值相等。

第五题

试导出下列不等式
(a) $x^2 + y^2 + xy \geq 0$

$x^2 + y^2 + xy = (x + \frac{1}{2} y)^2 + \frac{3}{4} y^2 \geq 0$

(b)$x^{2n} + x^{2n-1}y + x^{2n-2}y^2 + \cdots + y^{2n} \geq 0$

当 $x \neq y$ 时，有

$$x^{2n} + x^{2n-1}y + x^{2n-2}y^2 + \cdots + y^{2n} = \frac{x^{2n+1}- y^{2n+1}}{x - y} \gt 0$$

当 $x = y$ 时，有

$$x^{2n} + x^{2n-1}y + x^{2n-2}y^2 + \cdots + y^{2n} = (2n+1) x^{2n} \geq 0$$

只有 $x = y = 0$ 时

$$x^{2n} + x^{2n-1}y + x^{2n-2}y^2 + \cdots + y^{2n} = 0$$

(c) $x^4 + 3 x^3 + 4 x^2 - 3 x + 1 \geq 0$

$$x^4 + 3 x^3 + 4 x^2 - 3 x + 1 = (x^2 + \frac{3}{2} x - 1)^2 + \frac{15 x^4}{4} \gt 0$$

$x$ 取任何值等号都不会成立。

第六题

6 考虑两个向量 $A = (a_1,a_2,a_3)$ 和 $B = (b_1,b_2,b_3)$
那么有

$$|A||B| \geq |AB|$$
展开后就是
$$\sqrt{a_1^2 + a_2^2 + a_3^2} \sqrt{b_1^2 + b_2^2 + b_3^2} \geq |a_1 b_1 + a_2 b_2 + a_3 b_3|$$
两边平方：
$$(a_1^2 + a_2^2 + a_3^2)^2 (b_1^2 + b_2^2 + b_3^2)^2 \geq (a_1 b_1 + a_2 b_2 + a_3 b_3)^2$$

第九题

(a) $a^2+b^2+c^2 \geq ab + bc + ac$

$$a^2+b^2+c^2 = \frac{1}{2}(a^2+b^2) +\frac{1}{2} (a^2+c^2) + \frac{1}{2} (b^2+c^2) \\ \geq ab + bc+ ac$$

(b) $(a+b)(b+c)(c+a) \geq 8 abc$

$$(a+b)(b+c)(c+a) = a^2 b + a b^2 + a^2 c + 2 a b c + b^2 c + a c^2 + b c^2 \\ \geq 2 abc + 6 \sqrt[6]{a^2 b \times a b^2 \times a^2 c \times b^2 c \times a c^2 \times b c^2} = 8 abc$$

(c) $a^2 b^2 + b^2 c^2 + a^2 c^2 \geq abc(a+b+c)$

$$a^2 b^2 + b^2 c^2 + a^2 c^2 = \frac{1}{2}(a^2 b^2 + b^2 c^2) +\frac{1}{2}(a^2 b^2 + a^2 c^2) + \frac{1}{2}(a^2 c^2 + b^2 c^2) \\ \geq abc(a+b+c)$$

第十题

$$\begin{eqnarray} a_{11}x_{1}^2+a_{12} x_1 x_2 + \cdots + a_{33} x_3^2 &\geq& (a_{11}+\frac{a_{12}+a_{21}+a_{31}+a_{13}}{2}) x_1^2 + (a_{11}+\frac{a_{12}+a_{21}+a_{32}+a_{23}}{2}) x_2^2 + (a_{11}+\frac{a_{32}+a_{23}+a_{31}+a_{13}}{2}) x_3^2 \\ &\geq& 3M (x_1^2 + x_2^2 + x_3^2) \\ &\geq& 3M \end{eqnarray}$$

第十一题

$$\sum_{i=1}^{n} (a_i-b_i)^2 \\ = \sum_{i=1}^{n} a_i^2 + \sum_{i=1}^{n} b_i^2 - 2 \sum_{i=1}^{n} (a_i b_i) \\ \leq \sum_{i=1}^{n} a_i^2 + \sum_{i=1}^{n} b_i^2 + 2 \sqrt{\sum_{i=1}^{n} a_i^2} \sqrt{\sum_{i=1}^{n} b_i^2} \\ = \left(\sqrt{\sum_{i=1}^{n} a_i^2} + \sqrt{\sum_{i=1}^{n} b_i^2} \right)^2$$

所以：

$$\sqrt{\sum_{i=1}^{n} (a_i-b_i)^2} \leq \sqrt{\sum_{i=1}^{n} a_i^2} + \sqrt{\sum_{i=1}^{n} b_i^2}$$
$n \leq 3$ 时表示的是三角形一边的边长小于另外两边边长之和。

第十二题

因为：

$$\sum_{i=1}^{n} a_i b_i \leq \sqrt{\sum_{i=1}^{n} a_i^2}\sqrt{\sum_{i=1}^{n} b_i^2}\\ \sum_{i=1}^{n} a_i c_i \leq \sqrt{\sum_{i=1}^{n} a_i^2}\sqrt{\sum_{i=1}^{n} c_i^2}\\ \cdots\\ \sum_{i=1}^{n} a_i z_i \leq \sqrt{\sum_{i=1}^{n} a_i^2}\sqrt{\sum_{i=1}^{n} z_i^2}\\ \cdots\\ \sum_{i=1}^{n} y_i z_i \leq \sqrt{\sum_{i=1}^{n} y_i^2}\sqrt{\sum_{i=1}^{n} b_i^2}$$
所以：

$$\sum_{i=1}^{n} a_i b_i + \cdots + \sum_{i=1}^{n} y_i z_i \leq \sqrt{\sum_{i=1}^{n} a_i^2}\sqrt{\sum_{i=1}^{n} b_i^2} + \cdots + \sqrt{\sum_{i=1}^{n} y_i^2}\sqrt{\sum_{i=1}^{n} z_i^2}$$

所以：

$$\sum_{i=1}^{n} a_i^2 + \cdots + \sum_{i=1}^{n} z_i^2 + 2 \left( \sum_{i=1}^{n} a_i b_i + \cdots + \sum_{i=1}^{n} y_i z_i \right) \leq \sum_{i=1}^{n} a_i^2 + \cdots + \sum_{i=1}^{n} z_i^2 + 2 \left( \sqrt{\sum_{i=1}^{n} a_i^2}\sqrt{\sum_{i=1}^{n} b_i^2} + \cdots + \sqrt{\sum_{i=1}^{n} y_i^2}\sqrt{\sum_{i=1}^{n} z_i^2} \right)$$

所以：

$$(a_1 + \cdots + z_1)^2 + \cdots + (a_n + \cdots + z_n)^2 \leq \left(\sqrt{a_1^2+ \cdots + a_n^2} + \cdots + \sqrt{z_1^2 + \cdots + z_n^2}\right)^2$$

所以：

$$\sqrt{(a_1 + \cdots + z_1)^2 + \cdots + (a_n + \cdots + z_n)^2} \leq \sqrt{a_1^2+ \cdots + a_n^2} + \cdots + \sqrt{z_1^2 + \cdots + z_n^2}$$

第十三题

这道题以前做过，解答过程在这里。
http://blog.csdn.net/liyuanbhu/article/details/47057393