由柯西不等式推广②得
(1/x1)+(1/x2)≥[(1+1)^2/(x1+x2)]
即(1/x1)+(1/x2)≥4/(x1+x2)--*
同理
(1/x3)+(1/x2)≥4/(x3+x2)--&
(1/x1)+(1/x3)≥4/(x1+x3)--#
将#+&+*即得所证式
由柯西不等式推广②得
(1/x1)+(1/x2)≥[(1+1)^2/(x1+x2)]
即(1/x1)+(1/x2)≥4/(x1+x2)--*
同理
(1/x3)+(1/x2)≥4/(x3+x2)--&
(1/x1)+(1/x3)≥4/(x1+x3)--#
将#+&+*即得所证式