一道高考数学题引发的关于柯西不等式的解析几何证明

这是一篇2013年的旧文

昨天在尝试做一道湖北省2013年高考数学题时遇到了一些阻碍，后来发现用柯西不等式很容易证明，但是在这个过程中有个同学提出了用解析几何来计算的方法，虽然很麻烦，但是我觉得不失为一个很有趣的想法。晚上入睡前，再次思考了这个问题，发现了一个用解析几何来证明柯西不等式的好方法。高考题如下：

这道题的正确解答如下：

由柯西不等式
当切仅当 时成立。
可得

于是有

，又已知

所以可以求得

于是有
解答完毕。

解析几何解答

注意到本题的解在解析几何上的意义就是平面

与球面相切于点
。
从几何意义上说，如果一个点要同时满足
和

那么他们必定是平面与球面的交点，而平面与球面有交集的必要条件是平面到球心的距离必然小于或者等于球的半径，等于的时候刚好相切。

于是我得出了如下的柯西不等式的解析几何证明。
先说说课本上关于柯西不等式的证明，课本是用的是构造法。

柯西不等式的一般证明

首先构造一个二次方程：

等式左边恒大于或者等于0，所以有方程的判别式恒小于或者等于0 将方程化为标准式为：

判别式为：

化简既得

取等号时有：

柯西不等式的解析几何证明

先从二维的情形讲起：

已知圆
和直线有交集，
也就是求方程组
的解， 其解为圆c和直线l的交点，在二维情况下解最多只有两个。 同时方程要有解必须满足直线 到圆 的距离小于其半径。 有点
到直线
的距离公式有（此公式高中时证明过，印象深刻）：

当
为原点时：

也就得到：

这就是二维的柯西不等式 如下图所示：

现在说三维的情形: 解方程组

相当于求
球面
与平面的交点，
方程有解的条件同样是平面到球面的距离小于其半径;
空间点
到平面
的距离公式有

当
为坐标原点时：

即得到

取等号时平面
与球面
相切。

以此可以推证到n维的情形。

解方程组

N维超球面
与超平面
有交集（其中将
视为坐标，视为
参数）， 空间点
到平面
的距离公式有

当
为坐标原点时：

即得到：

当且仅当超平面与超球面相切时取等号。
此时

所以有向量
平行于超平面的法向量

于是有
。

由柯西不等式解析几何解法引发的思考

根据柯西不等式解析几何解法求解的过程，如果换个角度思考，以三维为例，

已知方程组

要求解 的最大值或者最小值。

这是一个典型的非线性条件极值问题。
条件极值的实质是已知条件给要求解的函数值限定了一个不规则的定义域，而这个问题中的定义域恰好是方程组的解的空间，这个解空间实质上是一个三维空间中的圆（假设解不唯一）而所求函数实质是一簇平行的空间平面在各坐标轴上的截距与其对应平面参数的乘积。所以直观上来看，令 为一空间平面 ，那么平面 与其夹角越小，函数 的解的空间越小，反之越大（但是不超过圆的直径）。
现在问题是是否有一种直观的算法，求出其极大值（极小值）。如下图所示：

假设平面
与
相交于直线

其中直线
的法向量
可以用
与的法向量
求得， 也即

而当
与圆

（也即是次方程的解空间）相切时，函数
能取到极值。
可以证明直线
与球面
相切，根据
的法向量可以算出切点
的坐标。


又有P点在球面上所以

联立上述两个方程即可算出 点坐标，而此时对应于函数
的极大值（极小值）。

另外一个问题
若已经方程组 求 的极值。
这个问题其实用几何方法更好解，方程组 决定的定义域实质上一条直线，这条直线到原点的距离即是该问题的极小值，也是最小值。