Question: how do I solve an algebra problem with an exp

I have a simple algebraic problem, but Maple can't eliminate the exp(3P) in each term. Please help.

I get the following error:

Error, (in solve) cannot solve for an unknown function with other operations in its arguments


restart

R13eqn := -2*H*Ybar3*Zbar-H*Z1-H1*Z+H1*Zbar+H4*Ybar3-H41 = 0

-2*H*Ybar3*Zbar-H*Z1-H1*Z+H1*Zbar+H4*Ybar3-H41 = 0

(1)

H := exp(3*P)*(Z+Zbar)

exp(3*P)*(Z+Zbar)

(2)

H1 := 3*P1*exp(3*P)*(Z+Zbar)+exp(3*P)*(Z1+Zbar1)

3*P1*exp(3*P)*(Z+Zbar)+exp(3*P)*(Z1+Zbar1)

(3)

H4 := H*(Z4+Zbar4)/(Z+Zbar)

exp(3*P)*(Z4+Zbar4)

(4)

H41 := ((H1*(Z4+Zbar4)+H*(Z41+Zbar41))(Z+Zbar)-H*(Z4+Zbar4)(Z1+Zbar1))/(Z+Zbar)^2

((3*P1(Z+Zbar)*(exp(3*P))(Z+Zbar)*(Z(Z+Zbar)+Zbar(Z+Zbar))+(exp(3*P))(Z+Zbar)*(Z1(Z+Zbar)+Zbar1(Z+Zbar)))*(Z4(Z+Zbar)+Zbar4(Z+Zbar))+(exp(3*P))(Z+Zbar)*(Z(Z+Zbar)+Zbar(Z+Zbar))*(Z41(Z+Zbar)+Zbar41(Z+Zbar))-exp(3*P)*(Z+Zbar)*(Z4(Z1+Zbar1)+Zbar4(Z1+Zbar1)))/(Z+Zbar)^2

(5)

simplify(R13eqn)

(((-3*Z(Z+Zbar)*P1(Z+Zbar)-3*P1(Z+Zbar)*Zbar(Z+Zbar)-Z1(Z+Zbar)-Zbar1(Z+Zbar))*Zbar4(Z+Zbar)+(-3*P1(Z+Zbar)*Z4(Z+Zbar)-Z41(Z+Zbar)-Zbar41(Z+Zbar))*Zbar(Z+Zbar)-3*P1(Z+Zbar)*Z(Z+Zbar)*Z4(Z+Zbar)+(-Z1(Z+Zbar)-Zbar1(Z+Zbar))*Z4(Z+Zbar)-Z(Z+Zbar)*(Z41(Z+Zbar)+Zbar41(Z+Zbar)))*(exp(3*P))(Z+Zbar)+exp(3*P)*(Z+Zbar)*(Zbar4(Z1+Zbar1)+Z4(Z1+Zbar1)+(3*P1-2*Ybar3)*Zbar^3+((3*P1-4*Ybar3)*Z+Zbar1)*Zbar^2+((-3*P1-2*Ybar3)*Z^2-2*Z1*Z+(Z4+Zbar4)*Ybar3)*Zbar-3*P1*Z^3+(-2*Z1-Zbar1)*Z^2+(Z4+Zbar4)*Ybar3*Z))/(Z+Zbar)^2 = 0

(6)

Zbar41 := -2*Zbar*Zbar1

-2*Zbar*Zbar1

(7)

Z41 := -2*Z1*Z

-2*Z1*Z``

(8)

Z4 := -Z^2

-Z^2

(9)

Zbar4 := -Zbar^2

-Zbar^2

(10)

simplify(R13eqn)

((3*P1(Z+Zbar)*Zbar(Z+Zbar)^3+(3*Z(Z+Zbar)*P1(Z+Zbar)+Z1(Z+Zbar)+3*Zbar1(Z+Zbar))*Zbar(Z+Zbar)^2+3*(Z(Z+Zbar)*P1(Z+Zbar)+(2/3)*Z1(Z+Zbar)+(2/3)*Zbar1(Z+Zbar))*Z(Z+Zbar)*Zbar(Z+Zbar)+3*(Z(Z+Zbar)*P1(Z+Zbar)+Z1(Z+Zbar)+(1/3)*Zbar1(Z+Zbar))*Z(Z+Zbar)^2)*(exp(3*P))(Z+Zbar)-exp(3*P)*(Z+Zbar)*(Zbar(Z1+Zbar1)^2+Z(Z1+Zbar1)^2+3*(Z+Zbar)*((P1+(1/3)*Ybar3)*Z^2+((2/3)*Zbar*Ybar3+(2/3)*Z1+(1/3)*Zbar1)*Z-Zbar*((P1-Ybar3)*Zbar+(1/3)*Zbar1))))/(Z+Zbar)^2 = 0

(11)

expand(((3*P1(Z+Zbar)*Zbar(Z+Zbar)^3+(3*Z(Z+Zbar)*P1(Z+Zbar)+Z1(Z+Zbar)+3*Zbar1(Z+Zbar))*Zbar(Z+Zbar)^2+3*(Z(Z+Zbar)*P1(Z+Zbar)+(2/3)*Z1(Z+Zbar)+(2/3)*Zbar1(Z+Zbar))*Z(Z+Zbar)*Zbar(Z+Zbar)+3*(Z(Z+Zbar)*P1(Z+Zbar)+Z1(Z+Zbar)+(1/3)*Zbar1(Z+Zbar))*Z(Z+Zbar)^2)*(exp(3*P))(Z+Zbar)-exp(3*P)*(Z+Zbar)*(Zbar(Z1+Zbar1)^2+Z(Z1+Zbar1)^2+3*(Z+Zbar)*((P1+(1/3)*Ybar3)*Z^2+((2/3)*Zbar*Ybar3+(2/3)*Z1+(1/3)*Zbar1)*Z-Zbar*((P1-Ybar3)*Zbar+(1/3)*Zbar1))))/(Z+Zbar)^2 = 0)

-3*(exp(P))^3*Ybar3*Zbar^4/(Z+Zbar)^2-2*(exp(P))^3*Z^3*Z1/(Z+Zbar)^2-3*(exp(P))^3*P1*Z^4/(Z+Zbar)^2-(exp(P))^3*Z^3*Zbar1/(Z+Zbar)^2+3*(exp(P))^3*P1*Zbar^4/(Z+Zbar)^2+(exp(P))^3*Zbar^3*Zbar1/(Z+Zbar)^2-(exp(P))^3*Z*Zbar(Z1+Zbar1)^2/(Z+Zbar)^2-(exp(P))^3*Z*Z(Z1+Zbar1)^2/(Z+Zbar)^2-(exp(P))^3*Z^4*Ybar3/(Z+Zbar)^2-(exp(P))^3*Zbar*Zbar(Z1+Zbar1)^2/(Z+Zbar)^2-(exp(P))^3*Zbar*Z(Z1+Zbar1)^2/(Z+Zbar)^2+3*P1(Z+Zbar)*(exp(3*P))(Z+Zbar)*Z(Z+Zbar)^3/(Z+Zbar)^2+3*P1(Z+Zbar)*(exp(3*P))(Z+Zbar)*Zbar(Z+Zbar)^3/(Z+Zbar)^2+3*(exp(3*P))(Z+Zbar)*Z(Z+Zbar)^2*Z1(Z+Zbar)/(Z+Zbar)^2+(exp(3*P))(Z+Zbar)*Z(Z+Zbar)^2*Zbar1(Z+Zbar)/(Z+Zbar)^2+(exp(3*P))(Z+Zbar)*Zbar(Z+Zbar)^2*Z1(Z+Zbar)/(Z+Zbar)^2+3*(exp(3*P))(Z+Zbar)*Zbar(Z+Zbar)^2*Zbar1(Z+Zbar)/(Z+Zbar)^2-4*(exp(P))^3*Ybar3*Z^3*Zbar/(Z+Zbar)^2-8*(exp(P))^3*Ybar3*Z^2*Zbar^2/(Z+Zbar)^2-8*(exp(P))^3*Ybar3*Z*Zbar^3/(Z+Zbar)^2-4*(exp(P))^3*Z^2*Z1*Zbar/(Z+Zbar)^2-2*(exp(P))^3*Z*Z1*Zbar^2/(Z+Zbar)^2-6*(exp(P))^3*P1*Z^3*Zbar/(Z+Zbar)^2+6*(exp(P))^3*P1*Z*Zbar^3/(Z+Zbar)^2-(exp(P))^3*Z^2*Zbar*Zbar1/(Z+Zbar)^2+(exp(P))^3*Z*Zbar^2*Zbar1/(Z+Zbar)^2+3*P1(Z+Zbar)*(exp(3*P))(Z+Zbar)*Z(Z+Zbar)^2*Zbar(Z+Zbar)/(Z+Zbar)^2+3*P1(Z+Zbar)*(exp(3*P))(Z+Zbar)*Z(Z+Zbar)*Zbar(Z+Zbar)^2/(Z+Zbar)^2+2*(exp(3*P))(Z+Zbar)*Z(Z+Zbar)*Zbar(Z+Zbar)*Z1(Z+Zbar)/(Z+Zbar)^2+2*(exp(3*P))(Z+Zbar)*Z(Z+Zbar)*Zbar(Z+Zbar)*Zbar1(Z+Zbar)/(Z+Zbar)^2 = 0

(12)

solve(-(exp(P))^3*Z^2*Zbar*Zbar1/(Z+Zbar)^2+(exp(P))^3*Z*Zbar^2*Zbar1/(Z+Zbar)^2-4*(exp(P))^3*Ybar3*Z^3*Zbar/(Z+Zbar)^2-8*(exp(P))^3*Ybar3*Z^2*Zbar^2/(Z+Zbar)^2-8*(exp(P))^3*Ybar3*Z*Zbar^3/(Z+Zbar)^2-4*(exp(P))^3*Z^2*Z1*Zbar/(Z+Zbar)^2-2*(exp(P))^3*Z*Z1*Zbar^2/(Z+Zbar)^2-6*(exp(P))^3*P1*Z^3*Zbar/(Z+Zbar)^2+6*(exp(P))^3*P1*Z*Zbar^3/(Z+Zbar)^2+3*P1(Z+Zbar)*(exp(3*P))(Z+Zbar)*Z(Z+Zbar)^2*Zbar(Z+Zbar)/(Z+Zbar)^2+3*P1(Z+Zbar)*(exp(3*P))(Z+Zbar)*Z(Z+Zbar)*Zbar(Z+Zbar)^2/(Z+Zbar)^2+2*(exp(3*P))(Z+Zbar)*Z(Z+Zbar)*Zbar(Z+Zbar)*Z1(Z+Zbar)/(Z+Zbar)^2+2*(exp(3*P))(Z+Zbar)*Z(Z+Zbar)*Zbar(Z+Zbar)*Zbar1(Z+Zbar)/(Z+Zbar)^2-(exp(P))^3*Z^3*Zbar1/(Z+Zbar)^2+(exp(P))^3*Zbar^3*Zbar1/(Z+Zbar)^2-(exp(P))^3*Z*Zbar(Z1+Zbar1)^2/(Z+Zbar)^2-(exp(P))^3*Z*Z(Z1+Zbar1)^2/(Z+Zbar)^2-(exp(P))^3*Z^4*Ybar3/(Z+Zbar)^2-(exp(P))^3*Zbar*Zbar(Z1+Zbar1)^2/(Z+Zbar)^2-(exp(P))^3*Zbar*Z(Z1+Zbar1)^2/(Z+Zbar)^2+(exp(3*P))(Z+Zbar)*Z(Z+Zbar)^2*Zbar1(Z+Zbar)/(Z+Zbar)^2+(exp(3*P))(Z+Zbar)*Zbar(Z+Zbar)^2*Z1(Z+Zbar)/(Z+Zbar)^2-3*(exp(P))^3*Ybar3*Zbar^4/(Z+Zbar)^2-2*(exp(P))^3*Z^3*Z1/(Z+Zbar)^2-3*(exp(P))^3*P1*Z^4/(Z+Zbar)^2+3*(exp(P))^3*P1*Zbar^4/(Z+Zbar)^2+3*P1(Z+Zbar)*(exp(3*P))(Z+Zbar)*Z(Z+Zbar)^3/(Z+Zbar)^2+3*P1(Z+Zbar)*(exp(3*P))(Z+Zbar)*Zbar(Z+Zbar)^3/(Z+Zbar)^2+3*(exp(3*P))(Z+Zbar)*Z(Z+Zbar)^2*Z1(Z+Zbar)/(Z+Zbar)^2+3*(exp(3*P))(Z+Zbar)*Zbar(Z+Zbar)^2*Zbar1(Z+Zbar)/(Z+Zbar)^2 = 0, P1)

Error, (in solve) cannot solve for an unknown function with other operations in its arguments

 

NULL

``


Download Help_Maple_divide_an_Exp_on_both_sides.mwHelp_Maple_divide_an_Exp_on_both_sides.mw

Please Wait...