Thanks
Code : Tout sélectionner
eqsys:=[a*x+b*y=ee, c*x+d*y=f ]
eq1:=eqsys[0]
eq2:=eqsys[1]
eq1*c
eq3:=simplify(ans(-1))
eq2*a
eq4:=simplify(ans(-1))
eq4-eq3
eq5:=simplify(ans(-1))
eq6:=factor(eq5)
eq6/(a*d-b*c)
eq7:=simplify(ans(-1))
eq1*d
eq8:=simplify(ans(-1))
eq2*b
eq9:=simplify(ans(-1))
eq8-eq9
eq10:=simplify(ans(-1))
eq11:=factor(eq10)
eq11/(a*d-b*c)
eq12:=simplify(ans(-1)) =>
22: subst(eqsys,eq12,eq7)
[a*(-b*f+d*ee)/(a*d-b*c)+b*(a*f-c*ee)/(a*d-b*c)=ee,c*(-b*f+d*ee)/(a*d-b*c)+d*(a*f-c*ee)/(a*d-b*c)=f]
23:simplify(ans(-1)) =>
[ee=ee,f=f]
24:evalb(ans(-1))
evalb(ans(-1)) => [ true, true ]