Рассмотрим
систему из трех уравнений от переменных x, y, z.
> restart;
f1 := a^4*z^2+2*a^3*y*z-2*a^2*x*z+a^2*y^2-2*a*x*y;
> f2 :=
a^4*z^2+3*a^3*y*z-a^2*x*z+3*a*x*y-2*x^2;
> f3 :=
a^4*z^2+a^3*y*z-2*a^2*x*z-2*a*x*y;
> sols:=solve({f1,f2,f3},{x,y,z});
Отметим, что в этом примере потеряно
тривиальное решение {x=0, y=0, z=0}. Проверим остальные
два
> map(subs,[sols[1],sols[2]],[f1,f2,f3]);
Еще один пример из четырех нелинейных
уравнений
> eqs:={u*v*y^2=8,v*y^2*w=24,y^2*w*u=12,u+v+w=y+4};
Для получения явного решения в
радикалах введем команду
> _EnvExplicit := true:
> soln:=solve(eqs,{y,u,v,w});
|