解方程 tan^-1(x)+tan^-1(2x)=Pi/4