I have onea problem with presenting solutions. As we know that rootsRoots of 4th order polynomialpolynomials are big, is expressions. Is there possiblea way how to present s1 andthe roots, s2 unknownsand s3, in normal form with some substitutions.? Maybe idea can bea way to force Mathematica for findingto find some similar terms under the rootsradicals and to givereplace them with substitutions (to factorize or simplify on that way). So s1 and, so s2 and s3 are problem to present topresented in a way that looks like nice?
a1 = Roots[x^4 + r1 x^3 + r2 x^2 + r3 x + r4 == 0, x][[1]][[2]];
a2 = Roots[x^4 + r1 x^3 + r2 x^2 + r3 x + r4 == 0, x][[2]][[2]];
a3 = (-s2 - Sqrt[s2^2 - 4 s3])/2 ;
a4 = (-s2 + Sqrt[s2^2 - 4 s3])/2 ;
Solve[{a1 - a3 == 0, a2 - a4 == 0}, {s2, s3}]