解x*(13-2x)=20的过程