已知(1 3x)=a0 a1x