∵a=x1/lnx1=x2/lnx2,∴x2-x1=alnx2-alnx1=aln(x2/x1)
设f(x)=x/lnx,其定义域为（0,1）∪（1,+∞）
f'(x)=1/lnx-1/ln²x
令f'(x)>0,即1/lnx-1/ln²x>0,两边同乘以ln²x得：lnx>1,即 x>e
令f'(x)alna-a
∴ x2-x1>alna-a