# Who found the proof for the quartic formula?

A quartic equation is a 4th degree polynomial, in the form of $$ax^4+bx^3+cx^2+dx+e$$. There are 4 different formulae for the 4 roots of the quartic equation. Here are the formulae: $$x_1=-\frac{b}{4 a}-\frac{1}{2} \sqrt{\frac{\sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}{3 \sqrt[3]{2} a}+\frac{b^2}{4 a^2}-\frac{2 c}{3 a}+\frac{\sqrt[3]{2} \left(c^2-3 b d+12 a e\right)}{3 a \sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}}-\frac{1}{2} \sqrt{-\frac{\sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}{3 \sqrt[3]{2} a}+\frac{b^2}{2 a^2}-\frac{4 c}{3 a}-\frac{\sqrt[3]{2} \left(c^2-3 b d+12 a e\right)}{3 a \sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}-\frac{-\frac{b^3}{a^3}+\frac{4 c b}{a^2}-\frac{8 d}{a}}{4 \sqrt{\frac{\sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}{3 \sqrt[3]{2} a}+\frac{b^2}{4 a^2}-\frac{2 c}{3 a}+\frac{\sqrt[3]{2} \left(c^2-3 b d+12 a e\right)}{3 a \sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}}}}$$

$$x_2=-\frac{b}{4 a}-\frac{1}{2} \sqrt{\frac{\sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}{3 \sqrt[3]{2} a}+\frac{b^2}{4 a^2}-\frac{2 c}{3 a}+\frac{\sqrt[3]{2} \left(c^2-3 b d+12 a e\right)}{3 a \sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}}+\frac{1}{2} \sqrt{-\frac{\sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}{3 \sqrt[3]{2} a}+\frac{b^2}{2 a^2}-\frac{4 c}{3 a}-\frac{\sqrt[3]{2} \left(c^2-3 b d+12 a e\right)}{3 a \sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}-\frac{-\frac{b^3}{a^3}+\frac{4 c b}{a^2}-\frac{8 d}{a}}{4 \sqrt{\frac{\sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}{3 \sqrt[3]{2} a}+\frac{b^2}{4 a^2}-\frac{2 c}{3 a}+\frac{\sqrt[3]{2} \left(c^2-3 b d+12 a e\right)}{3 a \sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}}}}$$

$$x_3=-\frac{b}{4 a}+\frac{1}{2} \sqrt{\frac{\sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}{3 \sqrt[3]{2} a}+\frac{b^2}{4 a^2}-\frac{2 c}{3 a}+\frac{\sqrt[3]{2} \left(c^2-3 b d+12 a e\right)}{3 a \sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}}-\frac{1}{2} \sqrt{-\frac{\sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}{3 \sqrt[3]{2} a}+\frac{b^2}{2 a^2}-\frac{4 c}{3 a}-\frac{\sqrt[3]{2} \left(c^2-3 b d+12 a e\right)}{3 a \sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}+\frac{-\frac{b^3}{a^3}+\frac{4 c b}{a^2}-\frac{8 d}{a}}{4 \sqrt{\frac{\sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}{3 \sqrt[3]{2} a}+\frac{b^2}{4 a^2}-\frac{2 c}{3 a}+\frac{\sqrt[3]{2} \left(c^2-3 b d+12 a e\right)}{3 a \sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}}}}$$

$$x_4=-\frac{b}{4 a}+\frac{1}{2} \sqrt{\frac{\sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}{3 \sqrt[3]{2} a}+\frac{b^2}{4 a^2}-\frac{2 c}{3 a}+\frac{\sqrt[3]{2} \left(c^2-3 b d+12 a e\right)}{3 a \sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}}+\frac{1}{2} \sqrt{-\frac{\sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}{3 \sqrt[3]{2} a}+\frac{b^2}{2 a^2}-\frac{4 c}{3 a}-\frac{\sqrt[3]{2} \left(c^2-3 b d+12 a e\right)}{3 a \sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}+\frac{-\frac{b^3}{a^3}+\frac{4 c b}{a^2}-\frac{8 d}{a}}{4 \sqrt{\frac{\sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}{3 \sqrt[3]{2} a}+\frac{b^2}{4 a^2}-\frac{2 c}{3 a}+\frac{\sqrt[3]{2} \left(c^2-3 b d+12 a e\right)}{3 a \sqrt[3]{2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e+\sqrt{\left(2 c^3-9 b d c-72 a e c+27 a d^2+27 b^2 e\right)^2-4 \left(c^2-3 b d+12 a e\right)^3}}}}}}$$
Yep, they are really long, I apologize for the loading time. I want to know who spent so much time finding these formulae and how they found them.

• In this video, Mathologer shows how one solves the cubic equation. Then at the very end how you use that to solve the quartic in just a few minutes. Have a look. Spoiler: No one found that formula. They simplified the problem, solved the simplified problem, then transformed back. Note how many terms and expressions in your formulas are basically the same, only with a sign change here and there. That's the result of loads of simplifying substitutions. Dec 17, 2020 at 6:46
• en.m.wikipedia.org/wiki/Quartic_equation Dec 17, 2020 at 8:13
• Hopefully this will be migrated to hsm.se.
– J.G.
Dec 13, 2021 at 7:09