sol = solve([x^2+y^2+z^2==2, x^3+y^3+z^3==2,x^4+y^4+z^4==2], x,y,z)

wisher
87 ●1 ●7 ●14

Hello, to answer a question asked on QUORA I asked SageMath to solve the following system of 3 equations with 3 unknowns.

var('x,y,z')
sol = solve([x^2+y^2+z^2==2, x^3+y^3+z^3==2, x^4+y^4+z^4==2] , X Y Z)
for s in sol:
     print s[0], s[1], s[2]

I got 9 solutions: 3 real and 6 complex.

x == 1 y == 1 z == 0
x == 0 y == 1 z == 1
x == 1.240011837821841 y == (-0.6200059048588131 + 0.3914357752931961*I) z == (-0.6200059048588134 - 0.3914357752931976*I)
x == 1.240011837821841 y == (-0.6200059048588131 - 0.3914357752931961*I) z == (-0.6200059048588134 + 0.3914357752931976*I)
x == (-0.6200059048588129 - 0.391435775293197*I) y == (-0.6200059048588129 + 0.391435775293197*I) z == 1.240011837821841
x == (-0.6200059048588129 - 0.391435775293197*I) y == (1.240011809717629 + 2.19850512568856e-15*I) z == (-0.6200059048588252 + 0.3914357752932104*I)
x == (-0.6200059048588129 + 0.391435775293197*I) y == (-0.6200059048588158 - 0.3914357752931977*I) z == (1.240011809717626 - 4.44089209850063e-16*I)
x == (-0.6200059048588129 + 0.391435775293197*I) y == (1.240011809717633 + 2.41169094738639e-14*I) z == (-0.620005904858701 - 0.3914357752932433*I)
x == 1 y == 0 z == 1

A reader answered me this: In fact, there are 15 solutions. SageMath forgets certain permutations. And it doesn't give the exact values (except for the three obvious real solutions).

Can any of you explain to me how to get all the exact solutions (with exponentials)? I thank you in advance.

add a comment

2 Answers

Sort by » oldest newest most voted

answered 1 year ago

rburing

10964 ●4 ●80 ●219 https://www.rburing.nl/

updated 1 year ago

The solutions can all be expressed in terms of radicals:

R.<x,y,z> = QQ[]
I = R.ideal([x^2+y^2+z^2-2, x^3+y^3+z^3-2, x^4+y^4+z^4-2])
sols = I.variety(QQbar)
for sol in sols:
    print({v: sol[v].radical_expression() for v in sol})

Output:

{z: 0, y: 1, x: 1}
{z: 1, y: 0, x: 1}
{z: 1, y: 1, x: 0}
{z: -2, y: -I*sqrt(2) - 1, x: I*sqrt(2) - 1}
{z: -2, y: I*sqrt(2) - 1, x: -I*sqrt(2) - 1}
{z: -I*sqrt(2) - 1, y: -2, x: I*sqrt(2) - 1}
{z: I*sqrt(2) - 1, y: -2, x: -I*sqrt(2) - 1}
{z: -I*sqrt(2) - 1, y: I*sqrt(2) - 1, x: -2}
{z: I*sqrt(2) - 1, y: -I*sqrt(2) - 1, x: -2}
{z: (1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3) + 1/3/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3), y: -1/2*(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)*(I*sqrt(3) + 1) - 1/6*(-I*sqrt(3) + 1)/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3), x: -1/2*(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)*(-I*sqrt(3) + 1) - 1/6*(I*sqrt(3) + 1)/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)}
{z: (1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3) + 1/3/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3), y: -1/2*(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)*(-I*sqrt(3) + 1) - 1/6*(I*sqrt(3) + 1)/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3), x: -1/2*(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)*(I*sqrt(3) + 1) - 1/6*(-I*sqrt(3) + 1)/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)}
{z: -1/2*(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)*(I*sqrt(3) + 1) - 1/6*(-I*sqrt(3) + 1)/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3), y: -1/2*(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)*(-I*sqrt(3) + 1) - 1/6*(I*sqrt(3) + 1)/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3), x: (1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3) + 1/3/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)}
{z: -1/2*(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)*(I*sqrt(3) + 1) - 1/6*(-I*sqrt(3) + 1)/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3), y: (1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3) + 1/3/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3), x: -1/2*(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)*(-I*sqrt(3) + 1) - 1/6*(I*sqrt(3) + 1)/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)}
{z: -1/2*(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)*(-I*sqrt(3) + 1) - 1/6*(I*sqrt(3) + 1)/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3), y: -1/2*(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)*(I*sqrt(3) + 1) - 1/6*(-I*sqrt(3) + 1)/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3), x: (1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3) + 1/3/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)}
{z: -1/2*(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)*(-I*sqrt(3) + 1) - 1/6*(I*sqrt(3) + 1)/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3), y: (1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3) + 1/3/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3), x: -1/2*(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)*(I*sqrt(3) + 1) - 1/6*(-I*sqrt(3) + 1)/(1/9*sqrt(3)*sqrt(2) + 1/3)^(1/3)}

link

Comments

Thank you very much for your answer. I update my version of SageMath immediately.

wisher ( 1 year ago )

add a comment

answered 1 year ago

Max Alekseyev

6847 ●9 ●50 ●160

Your Sage version is outdated (it's even Python2-based). Please update it and you'll see all 15 solutions. E.g., you can see them all in Sagecell: https://sagecell.sagemath.org/?q=qboyaw

link

Comments

Indeed I still work with version 7.3. I will make the transition as soon as possible to the latest version. A big thank you for your reply. Have a nice week end.

wisher ( 1 year ago )

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

sol = solve([x^2+y^2+z^2==2, x^3+y^3+z^3==2,x^4+y^4+z^4==2], x,y,z)

2 Answers

Comments

Comments

Your Answer

Question Tools

Stats

Related questions

sol = solve([x^2+y^2+z^2==2, x^3+y^3+z^3==2,x^4+y^4+z^4==2], x,y,z) savecancel

2 Answers

Comments

Comments

Your Answer

Question Tools

Stats

Related questions

sol = solve([x^2+y^2+z^2==2, x^3+y^3+z^3==2,x^4+y^4+z^4==2], x,y,z)