Formulas for third and forth degree polynomials

In a previous post, the hunt for the roots, I showed how to develop the formula for the second degree polynomial. In this post I want to develop the formulas for the third and forth degree. Unfortunately this means that this whole post will be algebra and nothing else. This formulas were originally developed in the 16 century - you can read more about this in the post linked above.
A little warning - in this post I don't solve numerical examples, so I use letters to denote numbers that would be known in a numerical example, but I freely move them around. This means that if in one line I wrote bx, in the next line I will also write bx even if I should write (b+4)x instead, and the same with the sign of b. To use the formulas you will need to follow the simplification process, and then to aplly the final formula to the result.

Lets start. The idea is to get the general formula for the equation of the form:

Firstly, lets get rid of as many parts as we can. By dividing it by a (it cannot be zero, because then we have a second degree equation) we will get a simpler equation. But it is possible to make it even simpler. To do this lets suppose that x=y-b/3 (b is not the original b, but the original b divided by a). After dividing by a, and writing y-b/3 instead of x we will get an equation of the form:

Writing this step fully requires too much typing, so it is skipped. You can easily verify it yourself. Now we will write this equation in a slightly different way:

Lets suppose that x=u-v (this step is called uglification):

We can choose u,v so that b-3uv=0. Now we get two equations:

,

But those are simple second degree equations, to see this just substitute u^3=t, v^3=s. It is easy to solve and get that:

v^3=

u^3=

Now all we need is to get the solution, x=u-v, is to take the third root. After this we get a rather unpleasing formula, which is however the solution. It might seems surprising that it took so much time to get to this formula (over 1000 years), but lets not forget that it seems relatively simple because of the modern notation. In the ancient world they were without symbols, all they had were words. For us the process is visual, but it wasn't so for them. Note that this formula should be used only after you did the previous steps - that is after you have simplified the equation to the form before the uglification step.

Now to the forth degree. We need to solve an equation of the form:

The first step is to use the same method I used in solving the third degree polynomial, to reduce the problem to:

This reduction can always be done, it is easy to check but requires a lot of typing in latex to show it here, so I am skipping this. Lets complete the equation to a square, and move the rest to the second side (since c,d are unknown numbers, we can ignore the sign):

Now, if only the left side was a square.... Well, it is again time for uglification. Lets look on:

=

==

Now, when this will be a perfect square? The answer is simple. We need the discriminant to be equal zero. This means that:

This is a third degree equation. Now, isn't it great that we have a way to solve a general third degree equation? Without knowing a solution to the third degree polynomial we wouldn't be able to solve this... Now, lets suppose that (t) is a solution. Than we can write the original equation as:

We can now take the root and get the simple equation:

and

This is second degree, so the solution is easy.

Now, this is the part where I apologize for the misleading title - as you can see, while I developed the general way of solving the third and forth degree equations, I didn't write down the formulas. This is because they are nether useful nor nice to write (the formula for the forth degree is huge). I once was told that solving second degree equation using the formula takes 5 minutes for the third degree it takes one day, and for the forth a week. This is not true but it is close. However, all you need to write the final formula is in the post, you just need to write it down. If you are interested in the formulas themselves here are links to them: Third degree, Forth degree.