Çağdaş Çiğdemoğlu, Dokuz Eylül University. Date: 18th of December, 2024, Wednesday, Time: 15.00 – 16.00. Place: Dokuz Eylül Univ., Tınaztepe Campus, Faculty of Science, Department of Mathematics, Classroom B255.
Abstract: We will start with a general monic cubic equation in the form
![\[ x^3 + bx^2 + cx + d = 0, \]](https://quicklatex.com/cache3/6a/ql_2e2f8cd84c4ce76efb7fb9b06206566a_l3.png)
and transform it into the following form
![\[ y^3 + py + q = 0, \]](https://quicklatex.com/cache3/bf/ql_0d8db80131ada767debc90a3981a2fbf_l3.png)
using a substitution. Then, we will construct the Cardano Formulas to find the roots of the equation. The roots are expressed as follows:
![\[ y_1 = \sqrt[3]{\frac{-q + \sqrt{q^2 + \frac{4p^3}{27}}}{2}} + \sqrt[3]{\frac{-q - \sqrt{q^2 + \frac{4p^3}{27}}}{2}}, \]](https://quicklatex.com/cache3/46/ql_b0a5d9db041094f1b16bdb2e8028ef46_l3.png)
![\[ y_2 = \omega \sqrt[3]{\frac{-q + \sqrt{q^2 + \frac{4p^3}{27}}}{2}} + \omega^2 \sqrt[3]{\frac{-q - \sqrt{q^2 + \frac{4p^3}{27}}}{2}}, \]](https://quicklatex.com/cache3/71/ql_a0584521c6ef0017ae10d8afff37fe71_l3.png)
![\[ y_3 = \omega^2 \sqrt[3]{\frac{-q + \sqrt{q^2 + \frac{4p^3}{27}}}{2}} + \omega \sqrt[3]{\frac{-q - \sqrt{q^2 + \frac{4p^3}{27}}}{2}}, \]](https://quicklatex.com/cache3/97/ql_2bb3ced4987531f3ba5c2ff53bea4d97_l3.png)
where 
is a primitive cube root of unity and where the above cube roots are one of the three complex cube roots whose product is 
and these are fixed in the above formulas.
We will learn about the discriminant 
of the above monic cubic polynomial, understand its significance, and examine how the roots change depending on the value of the discriminant.
For the monic cubic polynomial in the form 
, the discriminant is expressed by:
![\[ \Delta = -27q^2 - 4p^3 = (y_1-y_2)^2(y_1-y_3)^2(y_2-y_3)^2. \]](https://quicklatex.com/cache3/46/ql_d93829faf28fbe23838ebf1bbf44b746_l3.png)
For the general monic cubic polynomial 
, whose roots are 
, the discriminant is expressed by:
![\[ \Delta = b^2c^2 + 18bcd - 4c^3 - 4b^3d - 27d^2 = (x_1-x_2)^2(x_1-x_3)^2(x_2-x_3)^2. \]](https://quicklatex.com/cache3/04/ql_e7e22903bb3446549f52a74c9bcd9604_l3.png)
We will also discuss Casus Irreducibilis, which occurs when the coefficients 
(or 
) are in a subfield of 
of 
, the cubic polynomial is irreducible over (equivalently, the cubic equation has no roots in ) and when the discriminant is positive. In this case, the cubic equation has three distinct real roots that cannot be expressed using real radicals.
This seminar serves as an introduction to my project, which focuses on understanding the proof of Casus Irreducibilis using Galois Theory.
Cardano's Formula and Casus Irreducibilis
