就那条 发视频的 提到的 一定理 之证明

即

幂平均不等式

之证明

令

F(x）=xlnx

G(x)=ln((x1^x+x2^x+...+xn^x）/n）/x

H(x)=((x1^x+x2^x+...+xn^x）/n）^(1/x)

F''(x）=1/x

又

x∈(0，+∞)

即

F''(x）＞0

令

a1，a2，...，an不尽相等

有

(a1lna1+a2lna2+

...+anlnan）

/n

-

(a1+a2+...+an）/n

ln((a1+a2+...+an）/n）

＞0

即

(a1lna1+a2lna2+

...+anlnan）

/(a1+a2+...+an）

-

ln((a1+a2+...+an）/n）

＞0

即

(x1^xlnx1^x+x2^xlnx2^x+

...+xn^xlnxn^x）

/(x1^x+x2^x+...+xn^x）

-

ln((x1^x+x2^x+...+xn^x）/n）

＞0

即

G'(x)＞0

即

H(x)

=e^G(x)

单增

即

若

α＞β

有

((x1^α+x2^α+...+xn^α）/n）^(1/α)

＞((x1^β+x2^β+...+xn^β）/n）^(1/β)

得证

ps.

有关那条
是那什么
还想立牌坊的

“秒杀大招”

发视频的
无耻行径
详见
CV10088620