※ 引述《darkseer (进入无限期公假)》之铭言：
: ※ 引述《hiei81 (宝贝。永远)》之铭言：
: : 交差相乘
: : 原式<=> (1+a+a^2+a^3)(1+b+b^2+b^3) <= (1+(ab)^(3/2))(2+a+b+a^2+b^2+a^3+b^3)
: : Let a=c^2, b=d^2 注意1+(ab)^(3/2)=1+(cd)^3 >= (1+(cd)+(cd)^2+(cd)^3)/2
: : 故现证(1+c^2+c^4+c^6)(1+d^2+d^4+d^6) <=
: : c^2+d^2 c^4+d^4 c^6+d^6
: : (1+cd+(cd)^2+(cd)^3)(1+