MAPLE中这样为什么求不出方程组的解呢

题目

MAPLE中这样为什么求不出方程组的解呢
> u1 := R+`θk1`+`αx`+`αβ`(1-x)-p1-tx;
> u2 := R+`θk2`+alpha(1-x)+`αβx`-p2-t(1-x)-s;
> simplify(solve({u1 = u2},{p1,p2}));
解出来是这样的,我想要p1和p2单独的表达式要怎样改呢?
{p1 = θk1 + αx + αβ(1 - x) - tx- θk2 - alpha(1 - x) - αβx + p2 + t(1 - x) + s,p2 = p2}

答案

u1 = u2 实际上只有一个方程,里面有 α、β、s、t、x、p1、p2、θ、k1、k2,哪些是变量?哪些是常量?
若 x 是变量,可这样求：
u1 := R+θ*k1+α*x+α*β*(1-x)-p1-t*x;
u2 := R+θ*k2+α*(1-x)+α*β*x-p2-t*(1-x)-s;
solve(u1 = u2,x)
结果是 (1/2)*(-θ*k2-α+α*β+s+p2+t+θ*k1-p1)/(-α+α*β+t)
若 p1 是变量,则用 solve(u1 = u2,p1)
结果是 -θ*k2-α+2*α*x-2*α*β*x+p2+t-2*t*x+s+θ*k1+α*β
若 p2 是变量,则用 solve(u1 = u2,p2)
结果是 θ*k2+α-2*α*x+2*α*β*x-t+2*t*x-s-θ*k1-α*β+p1