一道蛮难的数学证明题 设a1 a2 .an为正实数 且a1+a2+.+an