Concept

Casus irreducibilis

In algebra, casus irreducibilis (Latin for "the irreducible case") is one of the cases that may arise in solving polynomials of degree 3 or higher with integer coefficients algebraically (as opposed to numerically), i.e., by obtaining roots that are expressed with radicals. It shows that many algebraic numbers are real-valued but cannot be expressed in radicals without introducing complex numbers. The most notable occurrence of casus irreducibilis is in the case of cubic polynomials that have three real roots, which was proven by Pierre Wantzel in 1843. One can see whether a given cubic polynomial is in so-called casus irreducibilis by looking at the discriminant, via Cardano's formula. Let be a cubic equation with . Then the discriminant is given by It appears in the algebraic solution and is the square of the product of the differences of the 3 roots . If D < 0, then the polynomial has one real root and two complex non-real roots. is purely imaginary.Although there are cubic polynomials with negative discriminant which are irreducible in the modern sense, casus irreducibilis does not apply. If D = 0, then and there are three real roots; two of them are equal. Whether D = 0 can be found out by the Euclidean algorithm, and if so, the roots by the quadratic formula. Moreover, all roots are real and expressible by real radicals.All the cubic polynomials with zero discriminant are reducible. If D > 0, then is non-zero and real, and there are three distinct real roots which are sums of two complex conjugates.Because they require complex numbers (in the understanding of the time: cube roots from non-real numbers, i.e. from square roots from negative numbers) to express them in radicals, this case in the 16th century has been termed casus irreducibilis. More generally, suppose that F is a formally real field, and that p(x) ∈ F[x] is a cubic polynomial, irreducible over F, but having three real roots (roots in the real closure of F). Then casus irreducibilis states that it is impossible to express a solution of p(x) = 0 by radicals with radicands ∈ F.

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related courses (1)
MATH-124: Geometry for architects I
Ce cours entend exposer les fondements de la géométrie à un triple titre : 1/ de technique mathématique essentielle au processus de conception du projet, 2/ d'objet privilégié des logiciels de concept
Related lectures (18)
Geometric Constructions: Duplication of the Cube
Explores the historical significance and geometric methods for duplicating the cube.
Geometric Transformations: Meanings and Applications
Explores geometric transformations, invariant properties, and mean relationships in modern geometry.
Optimisation with Constraints: Interior Point Algorithm
Explores optimization with constraints using KKT conditions and interior point algorithm on two examples of quadratic programming.
Show more
Related publications (2)

Combining Discriminant and Topographic Information in BCI: Preliminary Results on Stroke Patients

José del Rocio Millán Ruiz, Ricardo Andres Chavarriaga Lozano, Robert Leeb, Andrea Biasiucci, Benjamin Hamner

Non–Invasive Brain–Computer Interfaces (BCI) convey a great potential in the field of stroke rehabilitation, where the continuous monitoring of mental tasks execution could support the positive effects of standard therapies. In this paper we combine time-f ...
Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011

Square Trisection

János Pach, Christian Blanvillain

A square trisection is a problem of assembling three identical squares from a larger square, using a minimal number of pieces. This paper presents an historical overview of the square trisection problem starting with its origins in the third century. We de ...
2010
Related concepts (15)
List of trigonometric identities
In trigonometry, trigonometric identities are equalities that involve trigonometric functions and are true for every value of the occurring variables for which both sides of the equality are defined. Geometrically, these are identities involving certain functions of one or more angles. They are distinct from triangle identities, which are identities potentially involving angles but also involving side lengths or other lengths of a triangle. These identities are useful whenever expressions involving trigonometric functions need to be simplified.
Cube root
In mathematics, a cube root of a number x is a number y such that y3 = x. All nonzero real numbers, have exactly one real cube root and a pair of complex conjugate cube roots, and all nonzero complex numbers have three distinct complex cube roots. For example, the real cube root of 8, denoted , is 2, because 23 = 8, while the other cube roots of 8 are and .
Heptagon
In geometry, a heptagon or septagon is a seven-sided polygon or 7-gon. The heptagon is sometimes referred to as the septagon, using "sept-" (an elision of septua-, a Latin-derived numerical prefix, rather than hepta-, a Greek-derived numerical prefix; both are cognate) together with the Greek suffix "-agon" meaning angle. A regular heptagon, in which all sides and all angles are equal, has internal angles of 5π/7 radians (128 degrees). Its Schläfli symbol is {7}.
Show more