Ver el código de «Casus irreducibilis»

En [[álgebra]], '''''casus irreducibilis''''' (expresión [[Latín|latina]] que se traduce como "caso irreducible") es uno de los casos que pueden surgir al intentar resolver una [[ecuación de tercer grado]] con coeficientes [[número entero|enteros]], para obtener raíces que se expresan con [[Radicación|raíces]]. O lo que es lo mismo, se dice que un polinomio de tercer grado se corresponde con un ''casus irreducibilis'' cuando posee tres raíces que son [[número real|números reales]], pero ninguna es un [[número racional]].  

Específicamente, si un polinomio cúbico es [[Polinomio irreducible|irreducible]] (no [[Factorización|factorizable]] en polinomios de grado inferior) sobre los [[número racional|números racionales]] y tiene tres raíces [[Número real|reales]], entonces, para expresar las raíces con radicales, se deben introducir expresiones con valores [[Número complejo|complejos]], aunque las expresiones resultantes sean en última instancia, de valor real. 

Esta propiedad fue probada por [[Pierre Wantzel]] en 1843.<ref name ="Wantzel">{{Citation|last = Wantzel|first = Pierre|author-link = Pierre Wantzel|url = http://archive.numdam.org/ARCHIVE/NAM/NAM_1843_1_2_/NAM_1843_1_2__117_1/NAM_1843_1_2__117_1.pdf|title = Classification des nombres incommensurables d’origine algébrique|journal = [[Nouvelles Annales de Mathématiques]]|year = 1843|volume = 2|pages = 117–127|language = francés}}</ref>

Es posible determinar si un polinomio cúbico irreducible dado está en ''casus irreducibilis'' usando el [[discriminante]] ''D'' correspondiente a la [[ecuación de tercer grado]].<ref>{{harvtxt|Cox|2012}}, Theorem&nbsp;1.3.1, p.&nbsp;15.</ref> Sea la ecuación cúbica dada por

: <math>ax^3+bx^2+cx+d=0.\,</math>

con ''a'' ≠ 0. Entonces, el [[discriminante]] {{math|''D''}} que aparece en la solución algebraica viene dado por

: <math> D = 18abcd -4b^3d + b^2c^2 - 4ac^3 - 27a^2d^2. \,</math>

* Si {{math|''D'' < 0}}, entonces el polinomio tiene dos raíces complejas no reales, por lo que no se aplica el ''casus irreducibilis''.
* Si {{math|''D'' {{=}} 0}}, entonces hay tres raíces reales, y dos de ellas son iguales y pueden ser encontradas por el [[algoritmo de Euclides]] y por la [[fórmula cuadrática]]. Todas las raíces son reales y expresables por radicales reales. El polinomio no es irreducible.
* Si {{math|''D'' > 0}}, entonces hay tres raíces reales distintas. Existe una raíz racional y se puede encontrar usando el [[teorema de la raíz racional]], en cuyo caso el polinomio cúbico se puede factorizar en el producto de un polinomio lineal y un polinomio cuadrático, el último de los cuales se puede resolver mediante la fórmula cuadrática; o no es posible tal factorización, por lo que el polinomio es un "casus irreducibilis": todas las raíces son reales, pero requieren números complejos para expresarlas en radicales.

==Declaración formal y prueba==
De manera más general, supóngase que ''F'' es un [[campo real formalmente]] y que ''p'' (''x'') &isin; ''F''[''x''] es un polinomio cúbico, irreducible sobre ''F'', pero que tiene tres raíces reales (raíces en el [[cierre real]] de ''F''). Entonces según el ''casus irreducibilis'' se afirma que es imposible encontrar una solución de ''p''(''x'') = 0 por radicales reales.

Para probar esto,<ref>B.L. van der Waerden, ''Modern Algebra'' (translated from German by Fred Blum), Frederick Ungar Publ. Co., 1949, p. 180.</ref> se debe tener en cuenta que el discriminante {{math|''D''}} es positivo. Fórmese la [[extensión de cuerpos]] {{math|''F''({{sqrt|''D''}})}}. Como esto es {{math|''F''}} o una [[extensión cuadrática]] de {{math|''F''}} (dependiendo de si {{math|''D''}} es o no un cuadrado en {{math|''F''}}), {{math|''p''(''x'')}} permanece irreducible en él. En consecuencia, el [[grupo de Galois]] de {{math|''p''(''x'')}} sobre {{math|''F''({{sqrt|''D''}})}} es el grupo cíclico {{math|''C''<sub>3</sub>}}. Supóngase que {{math|''p''(''x'') {{=}} 0}} puede resolverse mediante radicales reales. Entonces {{math|''p''(''x'')}} puede dividirse por una ''torre'' de [[extensión abeliana]]
: <math> F\sub F(\sqrt{D})\sub F(\sqrt{D}, \sqrt[p_1]{\alpha_1}) \sub\cdots \sub K\sub K(\sqrt[3]{\alpha})</math>

En el paso final de la ''torre'', {{math|''p''(''x'')}} es irreducible en el penúltimo campo {{math|''K''}}, pero se divide en {{math|''K''({{raíz|''α''|3}})}} para algunos {{math|''α''}}. Esta es una extensión de campo cíclico, por lo que debe contener una [[raíz de la unidad]].

Sin embargo, no hay raíces terceras primitivas de la unidad en un campo cerrado real. Supóngase que &omega; es una raíz tercera primitiva de la unidad. Luego, por los axiomas que definen un [[cuerpo ordenado]], &omega;, &omega;<sup>2</sup>, y 1 son todos positivos. Pero si &omega; <sup>2</sup>> &omega;, entonces elevando al cubo ambos lados resulta que 1 > 1, una contradicción; lo que se produce de manera similar si &omega;>&omega;<sup>2</sup>.

==Solución en radicales no reales==

===Solución de Cardano===
La ecuación {{math|''ax''<sup>3</sup> + ''bx''<sup>2</sup> + ''cx'' + ''d'' {{=}} 0}} puede reducirse a un [[trinomio]] [[polinomio mónico|mónico]] (es decir, con el coeficiente del término de mayor grado igual a uno) dividiendo por <math>a</math> y sustituyendo {{math|''x'' {{=}} ''t'' − {{sfrac|''b''|3''a''}}}} (según la [[transformación de Tschirnhaus]]), dando la ecuación {{math|''t''<sup>3</sup> + ''pt'' + ''q'' {{=}} 0}} donde
: <math>p=\frac{3ac-b^2}{3a^2}</math>
: <math>q=\frac{2b^3-9abc+27a^2d}{27a^3}.</math>

Luego, independientemente del número de raíces reales, según la [[Ecuación de tercer grado#Fórmula general|solución de Cardano]] las tres raíces están dadas por

: <math> t_k = \omega_k \sqrt[3]{-{q\over 2}+ \sqrt{{q^{2}\over 4}+{p^{3}\over 27}}} + \omega_k^2 \sqrt[3]{-{q\over 2}- \sqrt{{q^{2}\over 4}+{p^{3}\over 27}}}</math>

donde <math> \omega_k</math> (''k'' = 1, 2, 3) es una raíz cúbica de 1 (<math>\omega_1 = 1</math>, <math>\omega_2 = -\frac{1}{2} + \frac{\sqrt{3}}{2}i</math> y <math>\omega_3 = -\frac{1}{2} - \frac{\sqrt{3}}{2}i</math>, siendo {{math|''i''}} la [[unidad imaginaria]]). Aquí, si los [[radicación|radicandos]] debajo de las raíces cúbicas no son reales, las raíces cúbicas expresadas por radicales se definen como cualquier par de raíces cúbicas conjugadas complejas, mientras que si son reales, estas raíces cúbicas se definen como las raíces cúbicas reales.

El ''casus irreducibilis'' ocurre cuando ninguna de las raíces es racional y cuando las tres raíces son distintas y reales; el caso de tres raíces reales distintas ocurre si y solo si {{math|{{sfrac|''q''<sup>2</sup>|4}} + {{sfrac|''p''<sup>3</sup>|27}} < 0}}, en cuyo caso la fórmula de Cardano implica primero tomar la raíz cuadrada de un número negativo, que es [[Número imaginario|imaginaria]], y luego tomar la raíz cúbica de un número complejo (cuya raíz cúbica no puede por sí misma colocarse en la forma {{math|''α'' + ''βi''}} con expresiones específicamente dadas en [[Radicación|radicales]] reales para {{math|''α''}} y {{math|''β''}}, ya que hacerlo requeriría resolver de forma independiente la expresión cúbica original). Incluso en el caso reducible en el que una de las tres raíces reales es racional, y por lo tanto, puede ser factorizada por [[división polinomial]], la fórmula de Cardano (innecesariamente en este caso) expresa esa raíz (y las otras) en términos de radicales no reales.

===Ejemplo===

La ecuación cúbica reducida

: <math>x^3-3x+1=0</math>

es irreducible, porque si se pudiera factorizar, habría un factor lineal que daría una solución racional, mientras que según el [[teorema de la raíz racional]], no existe ninguna raíz racional. Como su discriminante es positivo, tiene tres raíces reales, por lo que es un ejemplo de ''casus irreducibilis''. La fórmula de Cardano da estas tres raíces reales toma la forma

: <math> t_k = \omega_k \sqrt[3]{-{1\over 2}+ \sqrt{{-3\over 4}}}+ \omega_k^2 \sqrt[3]{-{1\over 2}- \sqrt{{-3\over 4}}}</math>

para ''k'' = 1, 2, 3. Esta solución en radicales involucra el [[número imaginario]] <math>\sqrt{{-3\over 4}}</math>, y por lo tanto, implica las raíces cúbicas de [[conjugado (matemática)|números complejos conjugados]].

==Solución no algebraica en términos de cantidades reales==

{{AP|Ecuación de tercer grado#Soluciones trigonométricas e hiperbólicas|l1=Ecuación de tercer grado. Soluciones trigonométricas e hiperbólicas}}

Si bien el ''casus irreducibilis'' no puede ser [[solución algebraica|resuelto con radicales]] en términos de cantidades reales, ''puede'' resolverse [[Trigonometría|trigonométricamente]] en términos de cantidades reales.<ref>{{harvtxt|Cox|2012}}, Section 1.3B Trigonometric Solution of the Cubic, pp. 18–19.</ref> Específicamente, la ecuación cúbica cónica reducida <math>t^3+pt+q=0 </math> se resuelve mediante

: <math>t_k=2\sqrt{-\frac{p}{3}}\cos\left(\frac{1}{3}\arccos\left(\frac{3q}{2p}\sqrt{\frac{-3}{p}}\right)-k\frac{2\pi}{3}\right) \quad \text{para} \quad k=0,1,2 \,.</math>

Estas soluciones se obtienen en términos de cantidades reales si y solo si <math>{q^{2}\over 4}+{p^{3}\over 27} < 0</math>, es decir, si y solo si existen tres raíces reales. La fórmula implica comenzar con un ángulo cuyo coseno es conocido, triseccionar el ángulo multiplicándolo por 1/3; y tomar el coseno del ángulo resultante y ajustar la escala.

==Relación con la trisección angular==

La distinción entre los casos cúbicos reducibles e irreducibles con tres raíces reales está relacionada con la cuestión de si un ángulo con coseno racional o seno racional es [[Trisección del ángulo|trisectable]] por los medios clásicos de [[regla y compás]]. Si se sabe que el coseno de un ángulo {{math|''θ''}} tiene un valor racional particular, entonces un tercio de este ángulo posee un coseno que es una de las tres raíces reales de la ecuación

: <math> 4x^3 - 3x - \cos (\theta) = 0.</math>

Del mismo modo, si se sabe que el seno de {{math|''θ''}} tiene un valor racional particular, entonces un tercio de este ángulo posee un seno que es una de las tres raíces reales de la ecuación

: <math> -4y^3 + 3y - \sin (\theta) = 0.</math>

En cualquier caso, si la prueba de la raíz racional revela la existencia de una raíz racional de la ecuación, {{mvar|x}} o {{mvar|y}} menos esa raíz se puede factorizar fuera del polinomio en el lado izquierdo, dejando una ecuación cuadrática que se puede resolver determinando las dos raíces restantes en términos de una raíz cuadrada; entonces todas estas raíces son construibles gráficamente por el método clásico de regla y compás, ya que se pueden expresar a lo sumo con [[Raíz cuadrada|raíces cuadradas]], por lo que, en particular, {{math|cos(&thinsp;{{frac|''θ''|3}})}} o {{math|sin(&thinsp;{{frac|''θ''|3}})}} es construible y también el ángulo asociado {{math|{{frac|''θ''|3}}}}. Por otro lado, si la prueba de la raíz racional muestra que no existe una raíz racional, entonces se aplica el ''casus irreducibilis'', {{math|cos(&thinsp;{{frac|''θ''|3}})}} o {{math|sin(&thinsp;{{frac|''θ''|3}})}} no es construible, el ángulo {{math|{{frac|''θ''|3}}}} no es construible y el ángulo {{math|''θ''}} no es clásicamente trisectable.

==Generalización==
El ''casus irreducibilis'' puede generalizarse a polinomios de mayor grado de la siguiente manera. Sea ''p''&nbsp;&isin;&nbsp;''F''[''x''] un polinomio irreducible que se divide en una extensión formalmente real ''R'' de ''F'' (es decir, ''p'' solo tiene raíces reales). Supóngase que ''p'' tiene una raíz en <math>K\subseteq R</math> que es una extensión de ''F'' por los radicales. Entonces el grado de ''p'' es una potencia de 2, y su campo de división es una extensión cuadrática iterada de ''F''.<ref>{{harvtxt|Cox|2012}}, Theorem 8.6.5, p.&nbsp;222.</ref><ref name=Isaacs>I. M. Isaacs, "Solution of polynomials by real radicals", ''[[American Mathematical Monthly]]'' 92 (8), October 1985, 571–575,</ref>{{rp| pp. 571–572}}

Por lo tanto, para cualquier polinomio irreducible cuyo grado no sea una potencia de 2 y que tenga todas las raíces reales, ninguna raíz puede expresarse únicamente en términos de radicales reales. Además, si el grado polinómico ''es'' una potencia de 2 y las raíces son todas reales, entonces si existe una raíz que puede expresarse en radicales reales, en términos de raíces cuadradas y no raíces de mayor grado, al igual que las otras raíces, y las raíces son [[Número construible|construibles con regla y compás]].

El ''casus irreducibilis'' para los [[Ecuación de quinto grado|polinomios quínticos]] es discutido por Dummit.<ref>David S. Dummit [http://www.emba.uvm.edu/~dummit/quintics/solvable.pdf Solving Solvable Quintics] {{Wayback|url=http://www.emba.uvm.edu/~dummit/quintics/solvable.pdf |date=20120307030156 }}</ref>{{rp|p.17}}

===Relación con el ángulo de pentasección===
La distinción entre los casos quínticos reducibles e irreducibles con cinco raíces reales está relacionada con la cuestión de si un ángulo con coseno racional o seno racional es pentasectable (puede dividirse en cinco partes iguales) por los medios clásicos del compás y la regla sin marcas. Si se sabe que el coseno de un ángulo {{math|''θ''}} tiene un valor racional particular, entonces una quinta parte de este ángulo tiene un coseno que es una de las cinco raíces reales de la ecuación

: <math> 16x^5 - 20x^3 + 5x - \cos (\theta) = 0.</math>

Del mismo modo, si se sabe que el seno de {{math|''θ''}} tiene un valor racional particular, entonces una quinta parte de este ángulo tiene un seno que es una de las cinco raíces reales de la ecuación

: <math> 16x^5 - 20x^3 + 5x - \sin (\theta) = 0.</math>

En cualquier caso, si la prueba de la raíz racional indica la existencia de una raíz racional ''x<sub>1</sub>'', entonces la quíntica es reducible, ya que puede escribirse como un factor (''x-x''<sub>1</sub>) multiplicado por un [[Ecuación de cuarto grado |polinomio cuártico]]. Pero si la prueba muestra que no hay una raíz racional, entonces el polinomio puede ser irreducible, en cuyo caso se aplica el ''casus irreducibilis'', {{math|cos(&thinsp;{{frac|''θ''|5}})}} y {{math|sin(&thinsp;{{frac|''θ''|5}})}} no son construibles, el ángulo {{math|{{frac|''θ''|5}}}} no es construible y el ángulo {{math|''θ''}} no es pentasectable por el método clásico.

La pentasección de {{math|''θ''}} también implica la pentasección de {{math|''450° - θ''}} como: {{math|''θ/5 + k ; k &isin; { 0°, 54°, 72°, 126°, 144°, 198°, 216°, 270°, 288°, 342° }''}}.<ref>Ferraz, Vinicius C. Trisection, pentasection and n-section for any natural n. [https://claudino.webs.com/math/trisection.pdf]</ref>

==Referencias==
{{listaref}}

==Bibliografía==
* {{citation
 | last = Cox | first = David A. | authorlink = David A. Cox
 | doi = 10.1002/9781118218457
 | edition = 2nd
 | isbn = 978-1-118-07205-9
 | publisher = John Wiley & Sons
 | series = Pure and Applied Mathematics
 | title = Galois Theory
 | year = 2012}}. Ver en particular la Sección 1.3 Ecuaciones cúbicas sobre los números reales (págs. 15–22) y la Sección 8.6 La Casus Irreducibilis (págs. 220–227).
* {{citation|first=Bartel Leendert|last=van der Waerden|authorlink=Bartel Leendert van der Waerden|title=Modern Algebra I|isbn=978-0-387-40624-4|publisher=Springer|year=2003|others= F. Blum, J.R. Schulenberg}}

==Enlaces externos==
* {{PlanetMath|urlname=CasusIrreducibilis|title=Casus irreducibilis}}

{{Control de autoridades}}
[[Categoría:Álgebra abstracta]]
[[Categoría:Polinomios]]