求证:方程a^x+x=0(a>1)没有正实数根用反证法