已知a>0,函数f(x)=x-a^x2-lnx若f(x)有两个极值点x1 x2证明f(x1)+f(x2)>3-2ln2