Group Abstract

Message Boards

WOLFRAM COMMUNITY

856 Views

3 Replies

3 Total Likes

View groups...

Follow this post

Share this post:

GROUPS:

Solving a simple system of four equations gives no output

Sasha Mandra

Posted 4 months ago

Greetings everyone! A system of four equations is given: In: sys={c1 == x1 x3, c2 == x1 x4, c3 == x2 x3, c4 == x2 x4} Wolfram cannot solve this system of equations: In: Solve[sys, {x1, x2, x3, x4}] Out: {} In: Solve[sys, {x1, x2, x3}]] Out: {} However, the system has a solution for x1, x2, x3 depending on x4 under the condition c2 c3 == c1 c4 How can I get Wolfram to find this condition and get a solution for x1, x2, x3 under this condition?

POSTED BY: Sasha Mandra

3 Replies

Sort By:

Frank Kampas

Frank Kampas, Physicist at Large Consulting

Posted 4 months ago

you need to add c1,c2,c3,c4 to the variables In[5]:= Reduce[{c1 == x1 x3, c2 == x1 x4, c3 == x2 x3, c4 == x2 x4}, {c1, c2, c3, c4, x1, x2, x3, x4}] Out[5]= (c1 == 0 && c2 == 0 && c3 == 0 && c4 == 0 && x1 == 0 && x2 == 0) \|\| (c1 != 0 && c4 == (c2 c3)/c1 && x2 == (c3 x1)/c1 && x1 != 0 && x3 == c1/x1 && x4 == (c2 x3)/c1) \|\| (c1 == 0 && c2 == 0 && c3 == 0 && c4 == 0 && x1 != 0 && x3 == 0 && x4 == 0) \|\| (c1 == 0 && c2 == 0 && x1 == 0 && x2 != 0 && x3 == c3/x2 && c3 != 0 && x4 == (c4 x3)/c3) \|\| (c1 == 0 && c3 == 0 && c2 != 0 && x2 == (c4 x1)/c2 && x3 == 0 && x1 != 0 && x4 == c2/x1) \|\| (c1 == 0 && c2 == 0 && c3 == 0 && c4 == 0 && x1 == 0 && x2 != 0 && x3 == 0 && x4 == 0) \|\| (c1 == 0 && c2 == 0 && c3 == 0 && x1 == 0 && x3 == 0 && x2 != 0 && x4 == c4/x2 && c4 != 0)

you need to add c1,c2,c3,c4 to the variables

In[5]:= Reduce[{c1 == x1 x3, c2 == x1 x4, c3 == x2 x3, 
  c4 == x2 x4}, {c1, c2, c3, c4, x1, x2, x3, x4}]

Out[5]= (c1 == 0 && c2 == 0 && c3 == 0 && c4 == 0 && x1 == 0 && 
   x2 == 0) || (c1 != 0 && c4 == (c2 c3)/c1 && x2 == (c3 x1)/c1 && 
   x1 != 0 && x3 == c1/x1 && x4 == (c2 x3)/c1) || (c1 == 0 && 
   c2 == 0 && c3 == 0 && c4 == 0 && x1 != 0 && x3 == 0 && 
   x4 == 0) || (c1 == 0 && c2 == 0 && x1 == 0 && x2 != 0 && 
   x3 == c3/x2 && c3 != 0 && x4 == (c4 x3)/c3) || (c1 == 0 && 
   c3 == 0 && c2 != 0 && x2 == (c4 x1)/c2 && x3 == 0 && x1 != 0 && 
   x4 == c2/x1) || (c1 == 0 && c2 == 0 && c3 == 0 && c4 == 0 && 
   x1 == 0 && x2 != 0 && x3 == 0 && x4 == 0) || (c1 == 0 && c2 == 0 &&
    c3 == 0 && x1 == 0 && x3 == 0 && x2 != 0 && x4 == c4/x2 && 
   c4 != 0)

POSTED BY: Frank Kampas