卡尔松不等式

陈一男学习网站[ ChenYinan.com ] - 中国数学学会 - 中国院士 - GeoGebra - 数学基础

卡尔松不等式（Carlson's Inequality）

卡尔松不等式是数学中一个重要的不等式，属于柯西不等式的推广形式，在处理多个数组的乘积和开方问题时具有极强的实用性。它在高中数学的不等式证明、最值求解等领域应用广泛，尤其在竞赛题和压轴题中频繁出现。

卡尔松不等式完整讲义

一、卡尔松不等式（Carleman不等式，也常称卡尔松乘积不等式）

区分：卡尔松不等式（Carlson）≠卡尔曼不等式（Carleman）

标准形式（\(m\times n\)矩阵形式，通用原版）

设实数矩阵（全部元素非负）

\(\begin{pmatrix}a_{11} & a_{12} & \dots & a_{1n}\\a_{21} & a_{22} & \dots & a_{2n}\\\vdots & \vdots & \ddots & \vdots\\a_{m1} & a_{m2} & \dots & a_{mn}\end{pmatrix}\)

每行取算术平均，相乘；大于等于：每列相乘后开\(m\)次方，再整体算术平均。

\(\prod_{i=1}^m \left(\frac{1}{n}\sum_{j=1}^n a_{ij}\right)\ge\left( \frac{1}{n}\sum_{j=1}^n \left(\prod_{i=1}^m a_{ij}\right)^{\frac{1}{m}} \right)^m\)

简洁文字叙述

非负实数构成的矩形数表：各行算术平均值之积 ≥ 各列几何平均值的算术平均的\(m\)次幂。

等价变形（最常用幂形式）

两边开\(m\)次根号：

\(\prod_{i=1}^m \left(\frac{1}{n}\sum_{j=1}^n a_{ij}\right)^{\frac{1}{m}}\ge\frac{1}{n}\sum_{j=1}^n \left(\prod_{i=1}^m a_{ij}\right)^{\frac{1}{m}}\)

等号成立条件

矩阵所有行对应元素成比例，即\(\exists \lambda_1,\lambda_2,\dots,\lambda_m>0\)，对任意\((j,k)\)：

\(\lambda_i a_{ij}=a_{kj},\quad \forall i,(j,k)\)

通俗：各行向量线性相关，成倍数关系。

特殊情形1：\((m=2)\)（两行矩阵，考试最高频！二元卡尔松）

\(\frac{a_1+a_2+\dots+a_n}{n}\cdot \frac{b_1+b_2+\dots+b_n}{n}\ge\left( \frac{\sqrt{a_1b_1}+\sqrt{a_2b_2}+\dots+\sqrt{a_nb_n}}{n} \right)^2\)

整理：

\(\left(\sum_{i=1}^n a_i\right)\left(\sum_{i=1}^n b_i\right)\ge \left(\sum_{i=1}^n\sqrt{a_ib_i}\right)^2\)

这就是柯西不等式！

结论：柯西不等式是卡尔松不等式 \((m=2)\) 的特例。

特殊情形2：\((n=2)\)（两列）

\(\frac{a_{11}+a_{12}}{2}\cdot\frac{a_{21}+a_{22}}{2}\cdots\frac{a_{m1}+a_{m2}}{2}\ge\left( \frac{\sqrt[m]{a_{11}a_{21}\dots a_{m1}}+\sqrt[m]{a_{12}a_{22}\dots a_{m2}}}{2} \right)^m\)

特殊情形3：\((m=n)\)方阵；\((m=1)\)直接退化为恒等式。

二、卡尔松不等式全部重要二级推论（二级结论）

所有变量默认：\(a_{ij}\ge 0\)

推论1（加权卡尔松不等式）

设行权重 \(p_1,p_2,\dots,p_m>0,\sum p_i=1\)

\(\prod_{i=1}^m \left(\sum_{j=1}^n w_j a_{ij}\right)^{p_i}\ge\sum_{j=1}^n w_j \prod_{i=1}^m a_{ij}^{p_i}\)

\(w_j\)为列权重，\(\sum w_j=1\)；原始卡尔松是等权 \(p_i=\tfrac1m,w_j=\tfrac1n\)。

推论2（赫尔德不等式 Hölder 可以由卡尔松导出）

对 \(\dfrac1p+\dfrac1q=1,p,q>1\)

\(\sum a_kb_k\le \left(\sum a_k^p\right)^{\frac1p}\left(\sum b_k^q\right)^{\frac1q}\)

说明：赫尔德、柯西、幂平均不等式都可以作为卡尔松特例。

推论3（\(m\)重序列卡尔松，单列视角）

设有 \(m\) (\left(\sum_{k=1}^n x_k^m\right)\cdot \underbrace{\left(\sum_{k=1}^n1\right)\cdots\left(\sum_{k=1}^n1\right)}_{m-1个}\ge\left(\sum_{k=1}^n x_k\right)^m)非负数列 \(\{x_k^{(1)}\},\{x_k^{(2)}\},\dots,\{x_k^{(m)}\},k=1,2,\dots,n\)

\(\prod_{i=1}^m\left(\sum_{k=1}^n x_k^{(i)}\right)\ge\left(\sum_{k=1}^n \sqrt[m]{x_k^{(1)}x_k^{(2)}\cdots x_k^{(m)}}\right)^m\)

【高中竞赛最实用形式，务必熟记】

\(\boxed{\left(\sum_{k=1}^n x_k\right)\left(\sum_{k=1}^n y_k\right)\dots\left(\sum_{k=1}^n z_k\right)\ge\left( \sum_{k=1}^n \sqrt[m]{x_k y_k \cdots z_k} \right)^m}\)

这(\left(\sum_{k=1}^n x_k^m\right)\cdot \underbrace{\left(\sum_{k=1}^n1\right)\cdots\left(\sum_{k=1}^n1\right)}_{m-1个}

\ge\left(\sum_{k=1}^n x_k\right)^m)形式是竞赛书写首选！原始矩阵形式两边同乘\(n^m\)直接得到。

推论4（反向思考：分式放缩常用形式）

若 \(a_i,b_i>0\)，三组数列\(x_i,y_i,z_i\)

\((\sum x_i)(\sum y_i)(\sum z_i)\ge \left(\sum \sqrt[3]{x_iy_iz_i}\right)^3\)

推论5（单项放缩，\((n=1)\)无意义；\(n\ge2\)）

若其中某一行只有一(\left(\sum_{k=1}^n x_k^m\right)\cdot \underbrace{\left(\sum_{k=1}^n1\right)\cdots\left(\sum_{k=1}^n1\right)}_{m-1个}\ge\left(\sum_{k=1}^n x_k\right)^m)非零项，可以用来证明对称不等式。

推论6（齐次性结论）

卡尔松不等式是齐次不等式：所有\(a_{ij}\)同时乘以常数\((t>0)\)，不等式不变。

做题可以归一化！经常令\(\sum a_i=1\)简化运算。

推论7（几何均值版本：各行几何平均形式，卡尔松对偶形式）

\(\frac1n\sum_{j=1}^n \sqrt[m]{\prod_{i=1}^m a_{ij}}\ge\prod_{i=1}^m \left(\frac1n\sum_{j=1}^n a_{ij}\right)^{\frac1m}\)

就是原式移项，本质同一\(\left(\sum_{k=1}^n x_k^m\right)\cdot \underbrace{\left(\sum_{k=1}^n1\right)\cdots\left(\sum_{k=1}^n1\right)}_{m-1个}\ge\left(\sum_{k=1}^n x_k\right)^m\)式子。

推论8（循环不等式专用结论：三元对称循环）

\((a,b,c>0)\)

\((a+b+c)(d+e+f)(g+h+i)\ge \big(\sqrt[3]{adg}+\sqrt[3]{beh}+\sqrt[3]{cfi}\big)^3\)

推论9（均值链结论）

卡尔松 > 赫尔德 > 柯西；卡尔松可以统一推导出一大批均值不等式，

对正数\(x_1,\dots,x_n\)，算术平均≥几何平均（AM≥GM）也可以借助卡尔松证明。

推论10（无穷序列卡尔松，大学分析）

若级数收敛，有限和形式可以取极限推广到无穷项：

\(\prod_{i=1}^m\left(\sum_{k=1}^\infty x_k^{(i)}\right)\ge\left(\sum_{k=1}^\infty \sqrt[m]{\prod_{i=1}^m x_k^{(i)}}\right)^m\)

推论11（单序列幂次放缩结论，竞赛高频）

取全部\(m\)(\left(\sum_{k=1}^n x_k^m\right)\cdot \underbrace{\left(\sum_{k=1}^n1\right)\cdots\left(\sum_{k=1}^n1\right)}_{m-1个}\ge\left(\sum_{k=1}^n x_k\right)^m)数列相同：\(x_k=y_k=z_k=\dots=t_k\)

左边\((\sum t_k)^m\)，右边\(\left(\sum \sqrt[m]{t_k^m}\right)^m=\left(\sum t_k\right)^m\)，取等；

说明：各组数列差异越大，左右差距越大。

推论12（分式不等式经典模型）

已知\(a_i>0\)，求证

\(\prod_{i=1}^m \sum_{j=1}^n a_{ij}\ge \left(\sum_{j=1}^n \sqrt[m]{\prod_{i=1}^m a_{ij}}\right)^m\)

直接去掉分母的标准版，日常书写全部使用这条。

总结核心二级结论记忆清单（应试只背这两条足够）

1. 【核心公式】\(m\)(\left(\sum_{k=1}^n x_k^m\right)\cdot \underbrace{\left(\sum_{k=1}^n1\right)\cdots\left(\sum_{k=1}^n1\right)}_{m-1个}\ge\left(\sum_{k=1}^n x_k\right)^m)和式相乘：

\(\left(\sum a_k\right)\left(\sum b_k\right)\cdots\left(\sum l_k\right)\ge\left(\sum\sqrt[m]{a_kb_k\cdots l_k}\right)^m\)

2. \((m=2)\)退化成柯西；\((m=3)\)三元三数列形式最常用于联赛。

三、20道卡尔松不等式例题（由易到难，含思路+简答，无表格）

变量若无说明，均满足正数条件。

基础1（两行形式=柯西验证）

例1：已知\(a_1,a_2,b_1,b_2>0\)，证明

\((a_1+a_2)(b_1+b_2)\ge(\sqrt{a_1b_1}+\sqrt{a_2b_2})^2\)

解：取\((m=2),(n=2)\)卡尔松，直接得到，即为柯西不等式。等号\(\dfrac{a_1}{b_1}=\dfrac{a_2}{b_2}\)。

例2：设\((x,y>0)\)，求证\((1+x)(1+y)\ge(1+\sqrt{xy})^2\)

解：数列\(\{1,x\},\{1,y\}\)，使用\((m=2)\)卡尔松，展开也可直接验证。

基础2（\((m=3)\)三元三数列入门）

例3：\((a,b,c>0)\)，证明

\((a+b+c)(1+1+1)(1+1+1)\ge\big(\sqrt[3]{a}+\sqrt[3]{b}+\sqrt[3]{c}\big)^3\)

解：构造三组数列：\(\{a,b,c\},\{1,1,1\},\{1,1,1\}\)，套用核心卡尔松公式。

例4：已知\((x,y,z>0)\)，求证

\((x+y+z)(y+z+x)(z+x+y)\ge \big(\sqrt[3]{xyz}+\sqrt[3]{yxz}+\sqrt[3]{zxy}\big)^3\)

化简右边\(=(3\sqrt[3]{xyz})^3=27xyz\)，即证明常见不等式\((x+y+z)^3\ge27xyz\)（AM≥GM）。

中档分式不等式（联赛典型题型）

例5：\((a,b,c>0)\)，证明

\(\left(\frac{a}{b}+\frac{b}{c}+\frac{c}{a}\right)(a+b+c)(ab+bc+ca)\ge(a+b+c)^3\)

思路：三组数列：\(\left\{\dfrac{a}{b},\dfrac{b}{c},\dfrac{c}{a}\right\},\{a,b,c\},\{ab,bc,ca\}\)，使用\((m=3)\)卡尔松，计算每一组对应项三次根乘积化简。

例6：设\((a,b,c>0)\)，求证

\((a^2+b^2+c^2)(1+1+1)(1+1+1)\ge(a^{\frac{2}{3}}+b^{\frac{2}{3}}+c^{\frac{2}{3}})^3\)

解：三组序列：\(\{a^2,b^2,c^2\},\{1,1,1\},\{1,1,1\}\)直接套用。

例7：\((x,y,z>0)\)，证明

\((x^3+y^3+z^3)(1+1+1)(1+1+1)\ge(x+y+z)^3\)

经典幂平均不等式，可以用卡尔松直接证明。

对称条件约束题型

例8：正数\((a+b+c=1)\)，求证

\(\left(a+\frac1a\right)\left(b+\frac1b\right)\left(c+\frac1c\right)\ge\left(\sqrt[3]{a\cdot\frac1a}+\sqrt[3]{b\cdot\frac1b}+\sqrt[3]{c\cdot\frac1c}\right)^3=27\)

解：三组数列\(\{a,b,c\},\{\tfrac1a,\tfrac1b,\tfrac1c\},\{1,1,1\}\)，卡尔松直接放缩。

例9：已知\((x,y>0),x+y=1\)，证明\((x+\dfrac1x)(y+\dfrac1y)\ge\dfrac{25}{4}\)

思路：\((m=2)\)卡尔松：\((x+\tfrac1x)(y+\tfrac1y)\ge(\sqrt{xy}+\sqrt{\frac1{xy}})^2\)，令\(t=\sqrt{xy}\le\dfrac12\)求最小值。

例10：\((a,b,c>0)\)，证明

\((a+b)(b+c)(c+a)\ge 8\sqrt{abc(a+b+c-\sqrt{ab}-\sqrt{bc}-\sqrt{ca})}\)

提示：先用卡尔松处理左边乘积，再结合均值二次放缩。

四元、多变量拓展例题

例11：四(\left(\sum_{k=1}^n x_k^m\right)\cdot \underbrace{\left(\sum_{k=1}^n1\right)\cdots\left(\sum_{k=1}^n1\right)}_{m-1个}ge\left(\sum_{k=1}^n x_k\right)^m)正数\((a,b,c,d)\)，求证

\((a+b+c+d)(1+1+1+1)\ge(\sqrt{a}+\sqrt{b}+\sqrt{c}+\sqrt{d})^2\)

\((m=2)\)卡尔松（柯西）直接得到。

例12：\((a,b,c,d)>0\)，证明

\((a^3+b^3+c^3+d^3)(1+1+1+1)(1+1+1+1)\ge(a+b+c+d)^3\)

三组数列，\((m=3)\)卡尔松。

竞赛经典求最值（卡尔松求极值）

例13：\((x,y,z>0),x+y+z=3\)，求\(P=\left(x+\dfrac2x\right)\left(y+\dfrac2y\right)\left(z+\dfrac2z\right)\)最小值。

解：卡尔松：

\(P\ge\left(\sqrt[3]{x\cdot\frac2x}+\sqrt[3]{y\cdot\frac2y}+\sqrt[3]{z\cdot\frac2z}\right)^3=\big(3\cdot\sqrt[3]{2}\big)^3=54\)

等号\((x=y=z=1)\)可取，最小值54。

例14：\((a,b>0,2a+b=4)\)，求\((a+\dfrac1a)(b+\dfrac2b)\)最小值。

思路：二元卡尔松：\(\ge\left(\sqrt{a\cdot\frac1a}+\sqrt{b\cdot\frac2b}\right)^2=(1+\sqrt{2})^2\)，检验等号能否满足约束。

带参数与三角型不等式

例15：设\(\alpha,\beta,\gamma\in(0,\frac{\pi}{2})\)，求证

\((\sin^3\alpha+\sin^3\beta+\sin^3\gamma)(1+1+1)(1+1+1)\ge(\sin\alpha+\sin\beta+\sin\gamma)^3\)

直接使用\((m=3)\)卡尔松。

例16：正数\(x_1,x_2,\dots,x_n\)，证明

\(\left(\sum_{k=1}^n x_k^m\right)\cdot \underbrace{\left(\sum_{k=1}^n1\right)\cdots\left(\sum_{k=1}^n1\right)}_{m-1(\left(\sum_{k=1}^n x_k^m\right)\cdot \underbrace{\left(\sum_{k=1}^n1\right)\cdots\left(\sum_{k=1}^n1\right)}_{m-1个}\ge\left(\sum_{k=1}^n x_k\right)^m)}\ge\left(\sum_{k=1}^n x_k\right)^m\)

通用幂平均不等式，卡尔松标准例题。

难度提升：复合型不等式（联赛二试难度）

例17：\((a,b,c>0)\)，证明

\((a^2+ab+b^2)(b^2+bc+c^2)(c^2+ca+a^2)\ge(ab+bc+ca)^3\)

思路：三组序列：\(\{a^2+ab+b^2,\dots\}\)，合理拆分构造卡尔松。

例18：\((a,b,c>0)\)，求证

\(\left(\frac{a^2}{b+c}+\frac{b^2}{a+c}+\frac{c^2}{a+b}\right)(a+b+c)\ge(a^2+b^2+c^2)\)

方法1：柯西；方法2：\((m=2)\)卡尔松，两种方法互通。

例19：设\(x_i>0,i=1,2,\dots,n\)，证明

\(\prod_{i=1}^k \left(\sum_{j=1}^n x_j^{p_i}\right)\ge

\left(\sum_{j=1}^n x_j^{\frac{p_1+p_2+\dots+p_k}{k}}\right)^k\)

通用幂乘积形式卡尔松。

例20：已知\((a,b,c>0)\)，满足\((abc=1)\)，证明

\((a+2)(b+2)(c+2)\ge27\)

构造三组数列\(\{\sqrt[3]{a},\sqrt[3]{b},\sqrt[3]{c}\},\{\sqrt[3]{2},\sqrt[3]{2},\sqrt[3]{2}\},\{\sqrt[3]{2},\sqrt[3]{2},\sqrt[3]{2}\}\)

\((a+2)(b+2)(c+2)\ge\big(\sqrt[3]{a\cdot2\cdot2}+\sqrt[3]{b\cdot2\cdot2}+\sqrt[3]{c\cdot2\cdot2}\big)^3\)

由\((abc=1)\)，\(\sqrt[3]{4a}+\sqrt[3]{4b}+\sqrt[3]{4c}\ge3\sqrt[3]{4\sqrt[3]{abc}}=3\cdot4^{1/3}\)，代入即可证明。

四、解题使用卡尔松的通用步骤

1. 观察不等式左侧：是否为若干(\left(\sum_{k=1}^n x_k^m\right)\cdot \underbrace{\left(\sum_{k=1}^n1\right)\cdots\left(\sum_{k=1}^n1\right)}_{m-1个}\ge\left(\sum_{k=1}^n x_k\right)^m\)求和式相乘；

2. 统计相乘因子(\left(\sum_{k=1}^n x_k^m\right)\cdot \underbrace{\left(\sum_{k=1}^n1\right)\cdots\left(\sum_{k=1}^n1\right)}_{m-1个}\ge\left(\sum_{k=1}^n x_k\right)^m\)数\(m\)；

3. 每(\left(\sum_{k=1}^n x_k^m\right)\cdot \underbrace{\left(\sum_{k=1}^n1\right)\cdots\left(\sum_{k=1}^n1\right)}_{m-1个}\ge\left(\sum_{k=1}^n x_k\right)^m\)求和项内部项数必须相等，构造\(m\)条长度相同的数列；

4. 右侧构造：同位置元素相乘再开\(m\)次方，全部相加，最后\(m\)次方；

5. 检验等号条件，确认极值可以取到；

6. 注意前提：所有变量非负！负数不能直接使用卡尔松。

补充易混提醒

1. Carlsson不等式（卡尔松）≠ Carleman不等式（卡莱曼级数不等式），竞赛圈经常混用名字，本文全部使用矩阵乘积形式的卡尔松不等式（竞赛标准）；

2. 卡尔松只能正向放缩：多(\left(\sum_{k=1}^n x_k^m\right)\cdot \underbrace{\left(\sum_{k=1}^n1\right)\cdots\left(\sum_{k=1}^n1\right)}_{m-1个}

\ge\left(\sum_{k=1}^n x_k\right)^m)和相乘≥根式和的幂，不能反向；想要反向放缩选用切比雪夫、反向赫尔德；

3. 当题目只有两(\left(\sum_{k=1}^n x_k^m\right)\cdot \underbrace{\left(\sum_{k=1}^n1\right)\cdots\left(\sum_{k=1}^n1\right)}_{m-1个}

\ge\left(\sum_{k=1}^n x_k\right)^m)和相乘，优先考虑柯西（卡尔松特例），不要强行写矩阵形式。