柯西判别法证明_【“数”你好看】柯西不等式Cauchy-Schwarts Inequality

前两天有学生问柯西不等式，其实在IB、Alevel或者AP等国际数学教材中是不考察这个知识点的。当然，这不是说不考察不等式而是不会考那么难的不等式应用，最多考考绝对值不等式以及高次不等式。不过高考还是要求的，之前在《基本不等式：从高考到竞赛》一文中简单介绍了不等式链以及柯西不等式：

图：基本不等式链

图：柯西不等式

今天详细介绍一下柯西不等式的证明以及应用：

当且仅当

或

时取到等号。

一、柯西不等式的证明

【方法一】向量

令

根据向量点乘

，于是

，

而

所以，

。

那么什么时候取到等号呢？

那就是

也就是

两向量共线，

,即

。

注：用向量点乘来记忆非常简洁且取等号条件比较直观。

【方法二】判别式法

令

，显然

恒成立。

将上式展开可得：

因为

恒成立，所以一元二次函数的判别式

于是，

。

那么什么时候取到等号呢？

只有对于任意

都有

成立，

也就是

。

注：还有其他的柯西不等式的证明方法就不在这里提了，大家有兴趣可以去搜一下。

二、柯西不等式的应用

利用柯西不等式求解极值（最大最小值）的题目挺多的，在高考、竞赛中也很常见，那么这里就不分享了，其难点就是怎么样凑才能得到定值，且极值能取到。

因为近期有学生做夏校申请测试卷，其中就用到了柯西不等式，不过今年的夏校申请还没有结束，所以放出来不太好，我找了两道往年的题目打个样：

Question 1: 2018-AwesomeMath Test C-3(b)

Solve in real numbers the system of equations

.

解：
根据柯西不等式

而

所以，上述式子取到等号，
于是

易解：

.

这里不是常规考察了告诉我们定值然后去算定值，而是借助不等式取到极值的条件来求解一个不定方程，挺有意思的。类似的做法在当年的第5题又出现：

Question 2: 2018-AwesomeMath Test C-5

Let

be positive real numbers such that

.

Evaluate

.

解：
根据柯西不等式可知，

又取到了等号，所以

于是，

.

下面是今年的两道题有兴趣可以做一下：

想了解更多关于国际数学竞赛及课程的知识，可参阅：

双木止月Tong：国际数学竞赛及课程​zhuanlan.zhihu.com