先求导y'=1/x-a,令y'=0,x=1/a,可得函数在1/a处取得最大值为-lna+1>0,得00就可得x2>2/a-x1
设函数g(x)=ln(2/a-x)-a(2/a-x)-(lnx-ax),
g'(x)=1/(x-2/a)+2a-1/x=2a(x-1/a)^2/[x(x-2/a)],可得在（0,2/a)上g'(x)0,
所以ln(2/a-x1)-a(2/a-x1)>0,得证.