ELI5: Explain Like I'm 5

Casus irreducibilis

Casus irreducibilis is a special type of math problem that can be very tricky to solve. Let's imagine you have a big math equation, like 2x^3 + 3x^2 - 5x + 1 = 0 (we'll call this equation E for short). You want to find out what values of x make E equal to zero.

Normally, we could try to solve the equation by factoring, which means finding two numbers that can be multiplied together to give you E. But sometimes, the equation E is not easy to factorize, and that's when casus irreducibilis comes into play.

To solve casus irreducibilis, we use a special method called using imaginary numbers. Imaginary numbers are like special friends that help us solve these tricky equations. They have the letter i in them, like 2i or 7i.

Now, let's get back to our equation E. Remember, it is 2x^3 + 3x^2 - 5x + 1 = 0. To solve this using casus irreducibilis, we need to do a little bit of fancy math.

First, let's divide all the terms in E by the coefficient of the highest power of x, which is 2. So now our equation becomes x^3 + (3/2)x^2 - (5/2)x + 1/2 = 0. This makes it a little bit easier to work with.

Now we need to find the imaginary numbers that can be the solutions to this equation. We do this by making a special substitution. Let's say y = x + p. The value of p is something we want to find.

When we substitute y into the equation E, it becomes (y-p)^3 + (3/2)(y-p)^2 - (5/2)(y-p) + 1/2 = 0. Now, let's expand and simplify this equation.

First, we expand (y-p)^3 using the distributive property. This gives us y^3 - 3py^2 + 3p^2y - p^3. Then we expand (3/2)(y-p)^2, which gives us (3/2)(y^2 - 2py + p^2). Finally, we expand (5/2)(y-p), which gives us (5/2)y - (5/2)p.

Now, let's put all these terms together and simplify the equation. We get y^3 - 3py^2 + 3p^2y - p^3 + (3/2)(y^2 - 2py + p^2) - (5/2)y + (5/2)p + 1/2 = 0.

If we group the terms with the same powers of y together, we get y^3 + (3/2)y^2 + (3p^2 - 2p - (5/2))y - (p^3 + (5/2)p + 1/2) = 0.

Now, here's where casus irreducibilis comes into play. If we choose the value of p in a special way, we can make sure that the y term with coefficient (3p^2 - 2p - (5/2)) is equal to zero. This means we can get rid of that term, which makes the equation simpler.

To achieve this, we choose the value of p to be (-1/9), which gives us (3p^2 - 2p - (5/2)) = (-2/3).

So now our equation becomes y^3 + (3/2)y^2 - (2/3)y - (p^3 + (5/2)p + 1/2) = 0. The tricky y term is gone!

Now we have a simpler equation to solve: y^3 + (3/2)y^2 - (2/3)y - (p^3 + (5/2)p + 1/2) = 0. We can solve this equation using the normal methods, like factoring or using the cubic formula.

Once we find the value of y, we can substitute it back into the equation y = x + p to find the value of x. And voila, we have solved the Casus Irreducibilis!