关于一对不等式的推广

文1]证明了一对有趣的不等式:设a,b,c为正数,且a b c=1,则有(b1 c-a)(c 1a-b)(a1 b-c)≥(67)3,(b1 c a)(c 1a b)(a1 b c)≥(161)3.为了推广这两个不等式,文1]提出下面四个命题,要求证明或否定之.设a1,a2,…,an为正数且其和为1.命题1∏ni=1(ai 1ai 1-ai 2)≥(2n-1n)n.命题2∏ni=1(ai 1ai 1 ai 2)≥(2n 1n)n.命题3∏n-1i=0(∑K1j=1ai j-∑nj=k 1ai j)≥(kn nk-1)n.命题4∏n-1i=0(∑K1j=1ai j ∑nj=k 1ai j)≥(kn-nk 1)n.其中an i=ai(i=1,2,…,n-1),k为小于n的正整数.本文先证明命题3为真,然后对其余三个命题给出反例.令f(x)=ln(1-1x-x),0