方程10^log^x+x^lgx=20的解