一个不等式的推广

文[1]证明了一个不等武:0≤x,y,x_1,y_1≤1,x x_1=1,y y_1=1,则L_2=(x~2 y~2)~(1/2) (x~2_1 y~2)~(1/2) (x~2 y~2_1)~(1/2) (x~2_1 y~2_1)~(1/2)≤2 2~(1/2),并根据L_2的几何意义提出了猜想.设0≤z,y,z,x_1,y_1,z_1≤1,x x_1=1,y y_1=1,z z_1=1,则L_3=(x~2 y~2 z~2)~(1/2) (x~2_1 y~2 z~2)~(1/2) (x~2_1 y~2_1 z~2)~(1/2) (x~2 y~2_1 z~2)~(1/2) (x~2 y~2 z~2_1)~(1/2) (x~2_1 y~2 z~2_1)~(1/2) (x~2 y~2_1 z~2_1)~(1/2)