Captulo 11

LAS ECUACIONES DE TERCER y CUARTO GRADO y los NMEROS COMPLEJOS

11.1. Los Radicales Cbicos
Iniciaremos nuestra exploracin del mundo matemtico ms all de lo cuadrtico, con los radicales cbicos. Deniremos los radicales cbicos de manera anloga a los radicales cuadrticos.

Denicin 11.1. Sea a un nmero positivo. Llamaremos radical cbico o raz cbica de
a a un nmero positivo tal que 3 = a.
1. 2.

Ejemplo 11.1.1.
2 5
es una raz cbica de 8, ya que

23 = 8. 53 = 125.

es una raz cubica de 125, ya que

Cuando un nmero tenga raz cbica, dicha raz ser nica. Esto sigue de que

x3 y 3 = (x y)(x2 + xy + y 2 );
y que, por lo tanto, cuando cbica de

x 3

a,

ser denotada por

y son 3 a.

nmeros positivos,

x3 y 3 = 0,

ssi,

x y = 0.

La raz

Tiene cada nmero positivo, una raz cbica? Ntese que si un cubo tiene volumen arista medir exactamente

su

V.

Uno de los problemas clsicos de la geometra peda dupli-

car un cubo, usando como siempre regla y comps.

1 Podemos, sin perdida de generalidad,

El problema tiene origen mitolgico: se dice que Atenea pidi la duplicacin de su altar, que precisamente

tena forma de un cubo.

172

CAPTULO 11.

ECUACIONES DE GRADOS 3 Y 4

suponer que la medida de la arista del cubo original era 1. Como consecuencia el nuevo cubo tendr una arista que medir constructible. Los matemticos de la Antigedad fueron incapaces de resolver ese problema, que permaneci as durante mucho tiempo. Una respuesta nal se logr solamente en el siglo XIX. Pero no nos apresuremos, y pensemos si tiene sentido hablar o no de

2.

La pregunta entonces se reduce a determinar si

es

2.

Si imaginamos un

cubo de lado unitario, podemos imaginarnos a ese cubo creciendo uniformemente hasta que su lado alcance un largo de dos unidades. Por lo tanto, su volumen pasar de 1 a 8. Resulta entonces natural pensar que en este crecimiento de 1 a 8, en algn instante se pas por el valor 2. Ciertamente, esto no es una demostracin matemtica de la existencia de

2,

pero

si un argumento para la deseabilidad de su existencia. El argumento anterior puede en principio, reemplazarse con cualquier nmero positivo, por lo que, al igual que los matemticos en la Antigedad, supondremos la existencia de races cbicas para cada nmero positivo. Es fcil, vericar que las races cbicas de races cuadradas son races sextas, es decir que si

u3 = v

v 2 = a,

entonces

u6 = (u3 )2 = v 2 = a.

Lo que muestra, que si agregamos la

existencia de races cbicas, deberemos agregar tambin las races sextas. Pero, las races cuadradas de races sextas sern . . . Por lo tanto, para ahorrarnos problemas supondremos lo siguiente.

Postulado 1

(Existencia de races nsimas). Para cada nmero a positivo y para cada nmero natural n, hay un nico nmero positivo b tal que bn = a. Tal nmero se simbolizar por n a. Cuando se agreg este postulado al conjunto de los racionales, el conjunto de nmeros

consista entonces de los racionales, de las races cacin y divisin) y a tomar races

nsimas de racionales positivos y, adems,

el conjunto se supona cerrado respecto a las operaciones racionales (suma, resta, multipli-

nsimas, n cualesquiera. Tenemos as extendido nuestro

conjunto de nmeros por una inmensa cantidad de nmeros. Se supona tambin que las propiedades bsicas de las operaciones eran vlidas para ese conjunto de nmeros. Por ejemplo, entre los nmeros se tena a

1+

2+

1198

1+

12

1+

73.

Ejercicios 11.1.
1. Probar que si a

adjuntamos

2,

obtendremos todos los nmeros de la forma

3 3 a + b 2 + c 4;
donde

a, b

son nmeros racionales.

11.2.

LA ECUACIN CBICA

173

2. Probar la siguientes propiedades de las races (a) 3. Para

nsimas. n a=
mn

n a

ab =

n n a b m, n

(b)

a.

positivo, y

enteros denir adecuadamente

an.
Adecuadamente quiere decir, que las propiedades de las potencias permanezcan vlidas. Hacer la vericacin de dichas propiedades.

11.2.

La Ecuacin Cbica

La ecuacin cbica general es una ecuacin de la forma

ax3 + bx2 + cx + d = 0.
Para buscar un mtodo para resolver ese ecuacin, recordemos la resolucin de la ecuacin de segundo grado.

b c + = 0, que a su vez es equivalente a a 2 b c b b2 4ac b 2 ) 2 + = 0. Lo que puede escribirse como (x + )2 = . La ltima a (x + 2a 4a a 2a 4a2 2 4ac b b 2 ecuacin es fcil de resolver, pues colocando u = x + se reduce a u = . Esta 2a 4a2
La ecuacin

ax2 + bx + c = 0 es equivalente a x2 +

ltima ecuacin, se puede resolver tomando races cuadradas en ambos lados. Esta manera de resolver la ecuacin destaca el rol del nmero hay o no solucin para la ltima ecuacin. Volvamos a la ecuacin cbica,

b2 4ac,

ya que su signo determinar si

ax3 + bx2 + cx + d = 0.
La primera idea, por analoga con el caso cuadrtico, sera intentar de completar el cubo de un binomio y ver que pasa. Esencialmente haremos eso, pero nuestro camino ser hacer una sustitucin adelante. Poniendo,

x + h = y , donde h es arbitrario, cuyo valor ser escogido convenientemente ms x = y h, tendremos: a(y h)3 + b(y h)2 + c(y h) + d = 0.

Lo que es equivalente a:

ay 3 + (3ah + b)y 2 + (3ah2 2bh + c)y + (ah3 + bh2 ch + d) = 0.

174

CAPTULO 11.

ECUACIONES DE GRADOS 3 Y 4

Si quisiramos tener un cubo perfecto + constante, se debera cumplir que

3ah + b = 0,
Sigue de la primera ecuacin que

y que

3ah2 2bh + c = 0. b , 3a

h=

pero este valor no satisface la segunda ecuacin. Qu podemos hacer? Bueno olvidarnos de nuestra idea original, pero sin abandonarla totalmente. Hagamos el trmino cuadrtico en como

h = b/3a, y por lo tanto y , y nos quedaremos

la sustitucin

x = y h,

har desaparecer

con el trmino cbico, el trmino lineal y

el trmino constante. Luego, mediante una reorganizacin, podremos reescribir la ecuacin

y 3 = py + q
donde

son funciones de los coecientes de la ecuacin original. Esa simplicacin no

nos da, todava, la solucin, pero llegaremos a ella mediante un truco que describiremos a continuacin. El truco es sustituir

u+v

por

y,

con lo que obtendremos,

(u + v)3 = p(u + v) + q,
de donde por expansin se obtiene que

3uv(u + v) + (u3 + v 3 ) = p(u + v) + q.

Por lo tanto, tendremos una solucin, si podemos hallar

tales que

3uv = p,
Como

u3 + v 3 = q.

uv

son escogidos como sustitucin para una sola variable, podemos escoger una de

ellas como queramos, por lo que hacemos

v = p/3u,

y obtenemos la ecuacin

u3 + (
Pero sta es una ecuacin cuadrtica en

p 3 ) = q. 3u
O sea,

u3 .

p (u3 )2 qu3 + ( )3 = 0. 3
Luego tendremos las siguientes soluciones para

u3 , p 3
3

q 2

q 2

11.2.

LA ECUACIN CBICA

175

Finalmente, observando que las ecuaciones originales para a

son simtricas con respecto

v,

tendremos que, sin perdida de generalidad, podremos suponer que

u3 =

q + 2

q 2

p 3

, v3 =

q 2

q 2

p 3

En consecuencia, tenemos que

y =u+v =

q + 2

q 2

p 3

q 2

q 2

p 3

Ejemplos 11.2.1.
1. Resolver la ecuacin

x3 6x2 + 11x 6 = 0.

Resolucin. Tenemos que h = b/3a = 2. Haciendo la sustitucin x = y +2 se obtiene,

y 3 y = 0.
Esta ecuacin es fcil de resolver por factorizacin ya que

y 3 y = y(y 2 1) = y(y 1)(y + 1);

de donde obtenemos que

y=0

y = 1

obtendremos los correspondientes valores para

y = 1. Recordando la sustitucin x, 2, 1 o 3, respectivamente.

hecha,

Ntese que en este caso no aplicamos la frmula, ya que la sustitucin inicial nos simplic de tal manera la ecuacin original que hizo innecesario el uso de la frmula. 2. Resolver la ecuacin

x3 + 15x2 72x + 106 = 0.

Es decir que

Resolucin.
3 O sea, y

Haciendo la sustitucin

= 3y + 4.

x = y 5, se obtiene la ecuacin y 3 3y 4 = 0. 2 3 tenemos, p = 3, q = 4. Luego, (q/2) (p/3) = 3.

Por lo tanto una solucin para

ser:
3 3

y=
3. Resolver la ecuacin

4+

3+

3.

x3 9x2 + 21x 5 = 0. x = y + 3,
tendremos que la ecuacin se reduce

Resolucin.
a:

Realizando la sustitucin

y 3 6y + 4 = 0.
O equivalentemente a

y 3 = 6y 4.

176

CAPTULO 11.

ECUACIONES DE GRADOS 3 Y 4

Por lo que tendremos que

p=6

q = 4.

Luego,

q p ( )2 ( )3 = 4. 2 3
Y nuestra frmula no sera aplicable, ya que tendramos que sacar la raz cuadrada de un nmero negativo. En todo caso, formalmente nuestra solucin sera
3

y=

4+

4 +

4.

Lo que parecera decir que nuestra ecuacin no tiene solucin. Sin embargo, es fcil ver que

y=2

implica que

y 3 = 8 = 6 2 4.
O sea,

y=2

es una solucin de la ecuacin. Qu est pasando?!!!!!

11.3.

Anlisis de la Solucin de la Ecuacin de Tercer Grado

En esta seccin analizaremos una serie de ecuaciones de tercer grado de la forma

y 3 = py + q.
Por lo visto con anterioridad, esta restriccin no conlleva una perdida de generalidad.

11.3.1. Extensin del concepto de raz cbica

Ejemplo 11.3.1.
y 3 = 8 p=0
y En este ejemplo tenemos que
3

q = 8.
3

Luego, la solucin formal ser dada por:

y=

4 +

16 +

16 =

8.

La solucin obtenida es consistente con el formalismo

w3 = a = w =

a; a era positivo, pero, (2)3 = 8, por lo tanto, 2

excepto que anteriormente, para ese formalismo, habamos supuesto que en este caso, es negativo (8). Por otra parte, es cierto que es efectivamente una

raz cbica

de

8.

En consecuencia, parece ser que para poder resolver las ecuaciones necesitaremos disponer de races cbicas de nmeros negativos. Este problema es fcil de resolver, simplemente ampliaremos la denicin de raz cbica, con el n de aceptar nmeros negativos como posibles valores.

11.4.

LOS NMEROS COMPLEJOS

177

Denicin 11.2
raz cbica

(Nueva denicin de raz cbica)

radical cbico

de a, a un nmero b tal que

b3 = a.

. Sea

a cualquier nmero, llamaremos

Se verica, que si tal nmero existe es nico, y lo denotaremos por

precios. Por ejemplo, no es ms cierto que

a.

Es importante destacar que esta extensin del concepto de raz cbica tiene algunos

3
a menos que restrinjamos los valores de

a=

a;

a valores positivos.

Ejercicios 11.3.
1. Probar que cuando races cbicas (generalizadas) existen, dichas races son nicas. 2. Probar que

ab =

3 3 a b,

donde

son nmeros cualesquiera.

3. Comparar el papel jugado en la solucin de la ecuacin cbica por el nmero

(q/2)2

(p/3)3 , con aquel del nmero

11.4.

b2

4ac

en la resolucin de la cuadrtica.

Los Nmeros Complejos

11.4.1. La Frmula Cbica y Consideraciones Grcas

La ecuacin

x3 = px + q

puede interpretarse en un sistema de coordenadas cartesianas

como la bsqueda de la interseccin de las grcas de

y = x3

y = px + q.

La grca de la primera funcin es una parbola cbica y la segunda es una lnea, como se ve en la gura 11.4.1. Claramente, esas dos curvas siempre se cortarn, independiente de los valores que puedan tomar Sin embargo, cuando hay solucin. Cmo conciliar lo anterior, con lo mostrado en el ltimo ejemplo de la seccin anterior, donde la frmula no produce soluciones, pero si hallamos por inspeccin una solucin? No podemos simplemente denir races cuadradas de nmeros negativos, porque ningn nmero tiene cuadrado negativo !!!!!

q.
sea negativo, el radical cuadrtico que aparece

(q/2)2 (p/3)3

dentro de la frmula no existira y, por lo tanto, nuestra frmula parecera predecir que no

178

CAPTULO 11.

ECUACIONES DE GRADOS 3 Y 4

y
. . . . . .. . . .. . ... . . . . . . . . . . . . . . . . . . . . . . . . . ..... ...... . . . . ........... . ...... . . . . ...... . .. .... . ... .. ...... . . ....... ....... .. . . . ........ . .......... . . . . ...... ...... . . . ...... . ...... . . . . .. ... ...... . . . ...... ...... . .. ... . . ... . .. ... ......................... ............................................ . ........................................................................ . . .. . .. ...... .. . . ... ... ............ . ... ...... . . ... ... . . . .. . . . . . . . . . . . . . . . . . . .. . . . . . . . .. . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Figura 11.1: Interpretacin grca de la ecuacin cbica

Sin embargo, por otra parte la siguiente denicin.

queremos tener soluciones para nuestras ecuaciones. Por

lo tanto, deberamos tener disponibles races de nmeros negativos. Para lograr eso haremos

Denicin 11.3 (Nmeros reales, Nmeros Imaginarios). Llamaremos nmeros imaginarios

a las races cuadradas de nmeros negativos.

Para distinguir entre estos nuevos objetos matemticos, los nmeros imaginarios, y nuestros nmeros, llamaremos a estos ltimos los nmeros reales. Denotaremos al conjunto de los nmeros reales por R. Llamaremos conjunto de nmeros complejos y lo simbolizaremos por C, al conjunto obtenido por la adjuncin de los imaginarios a los Reales.

La estructura de C Denicin 11.4

(El nmero imaginario ). Simbolizaremos por a una de las races cuadradas de 1. O sea, al nmero imaginario caracterizado por

2 = 1.
El nmero imaginario

servir de base para la construccin de los otros nmeros ima-

ginarios. En efecto, si nos interesa una raz cuadrada de

4,

podemos considerar que

4 = (4)(1)

y escribir que

4 =

4 1 = 2.

En general, tendremos la siguiente proposicin.

11.4.

LOS NMEROS COMPLEJOS

179

a. O sea,

Proposicin 11.4.1. Sea a un nmero real positivo, entonces una raz cuadrada de a ser

a := a.

Demostracin. ( a)2 = 2 a2 = a.
Por lo tanto los nmeros imaginarios son todos de la forma

b
donde

es un nmero real.

Por denicin el conjunto de los nmeros complejos, C, es el resultado de la adjuncin de a los Reales, o sea, C = R[]. Esto signica que C contiene a los Reales, a los imaginarios, y a la suma, resta, multiplicacin y divisin de dos cualesquiera de sus elementos. En particular, todas las potencias del imaginario tenemos que

estarn contenidas en

C.

Evaluando esas potencias

n 0 1 2 3 4 5
. . . Sigue del resultado

n 1 2 = 1 3 = 2 = i4 = 3 = = 2 = 1 4 = 1 =
. . .

4 = 1

tambin diremos, que el reales,

periodo

que las potencias de

se repiten en forma cclica, cada 4, o como

de las potencias de

es 4.

Tendremos as, que cuando formamos una expresin polinmica en

con coecientes

a0 + a1 + a2 2 + + an n
dicha expresin ser reducible a una expresin de la forma

A + Bi
con

nmeros reales. 1.

Ejemplo 11.4.1.
2.

5 + 9 + 72 + 33 + 44 = 5 + 9 7 3 + 4 = 2 + 6.

125 + 150 + 602 + 83 = 125 + 150 60 8 = 65 + 142.

Observaciones.Suponiendo que las leyes de las operaciones permanecen vlidas, tendremos

que

180

CAPTULO 11.

ECUACIONES DE GRADOS 3 Y 4

1.

(a + b)(c + d) = ac + ad + bc + bd2 = (ac bd) + (ad + bc)i. O dos nmeros complejos de la forma A + B es de la misma forma.
por

sea, el producto de

2. Sea

z = a + b. Llamaremos conjugado de z al nmero z y denido por z := a b

complejo que simbolizaremos

El conjugado tiene la importante propiedad de que

z z = (a + b)(a b) = a2 b2 2 = a2 + b2 .
Es decir el producto de una complejo por su conjugado es un nmero real. 3. Sea

z = a + b

un nmero complejo no nulo. Entonces, tendremos que

z
o sea.

1 z=1 a2 + b2

1 1 = 2 z. z a + b2

En otras palabras, si suponemos que las leyes de las operaciones racionales permanecen vlidas, tendremos que los nmeros complejos son todos de la forma

A + B
con

nmeros reales.

Ejercicios 11.4.
A.
Aritmtica con los complejos. Simplicar cada una de las siguientes expresiones (a) (c) (e) (g) (i) (k) (m) () (p) (r) (t)

16 + 25. 16 25. (2 + 3) (2 . + 3) ( 2 + 3) + ( 2 3). (3 + 2)(5 3). (3 + 9)(5 25). (1 + ) . (3 + ) (3 ). (8 5) (5 + 6). (1 + )2 . 1 1 ( + )4 . 2 2

(b) (d) (f ) (h) (j) (l) (n) (o) (q) (s) (u)

3 + 32. 8 5 x 3 y . (7 + 5) (2 4). (3 4)(5 3). (7 2)(5 + 3). ( 5 + 3)( 5 + 2 3). (1 + ) (1 ). (5 + ). (4 + 3) + 1/. (1 + )3 . 1 3 3 ( + ) . 2 2

11.4.

LOS NMEROS COMPLEJOS

181

B.

Ecuaciones cuadrticas. 1. Probar que si

x2 = 1

entonces

x = .

2. Probar que toda ecuacin cuadrtica, con coecientes complejos, tiene dos soluciones que pueden ser de uno de los siguientes tipos: dos reales distintas; dos reales iguales; dos complejas distintas, y una de ellas es la conjugada de la otra. 3. Resolver las siguientes ecuaciones.

a) b) c) d) e)

x2 + x + 1 = 0. x2 6x + 13 = 0. x2 10x + 29 = 0. 5x2 + 12 = 3x2 20. 7x2 + 14 = 0.

C.
A.

Aspectos tericos.

Para el siguiente conjunto de problemas solamente puede suponer lo siguiente:

C es el conjunto 2 = 1.

de todas las cosas de la forma

a + bi,

con

nmeros reales y

B. Dos nmeros complejos son iguales, ssi, tienen igual su parte real y su parte imaginaria. O sea,

a + b = c + d (a = c)y(b = d)
C. Hay dos operaciones denidas en

C:

(a + b) + (c + d) := (a + c) + (b + d). (a + b) (c + d) := (ac bd) + (ad + bc).

D. Supondremos que los reales son un subconjunto de los complejos, mediante la identicacin

r r + 0
para cada nmero real

r.

182

CAPTULO 11.

ECUACIONES DE GRADOS 3 Y 4

E. Llamamos

conjugado del complejo z = a + bi, al complejo z := a b. Llamaremos norma o mdulo o largo del complejo z = a + bi al nmero simbolizado
por

|z|

y denido por

|z| :=

a2 + b2 .

Usando lo anterior probar y/o vericar las siguientes armaciones. 1. La suma de los nmeros complejos es asociativa y conmutativa. 2. La multiplicacin de los nmeros complejos es asociativa, conmutativa y distributiva respecto a la suma. 3. El 0 es un neutro respecto a la suma, mientras que el 1 lo es respecto a la multiplicacin. O sea, para todo nmero complejo

se cumple que y

z+0=0+z =z
4. Cada nmero complejo hay un

z 1 = 1 z = z. w. O sea, para cada z C

tiene un opuesto aditivo, digamos

wC

tal que

z + w = w + z = 0.
5. Cada nmero complejo no nulo

tiene un recproco,

w,

tal que

z w = w z = 1.
6. Probar que cuando se efecta las operaciones en mismos resultados que al operar en 7.

con nmeros reales, se obtiene los

R.

(Propiedades de los conjugados) Sean z y w nmeros complejos.

a) b) c) d) e)
z + w = z + w. z w = z w. z + z es un nmero real igual a 2a. z z es un nmero real igual a |z|2 = ||2 . z z = z , if f, z es un nmero real.

8.

(Propiedad de la norma o mdulo)

a) b) c) d) e)
La norma o mdulo de un nmero complejo es un nmero real que no es nunca negativo. La norma de un nmero complejo es nula, ssi, el complejo es el complejo nulo. La norma de una producto es igual al producto de las normas individuales. La norma de una suma no excede la suma de las normas individuales. La norma de un nmero real es igual al valor absoluto de ese nmero.

11.5.

LA ECUACIN CBICA Y LOS NMEROS COMPLEJOS

183

D.

Problemas miscelneos.

1. Probar que si

2 (1 + ) 2

entonces

2 = .

O sea, que

es una raz cuadrada de .

11.5.

La Ecuacin Cbica y los Nmeros Complejos

Resolver la ecuacin

Ejemplo 11.5.1.

x3 = 1. x = 1, x3 1 y
que es, adems, la solucin que obtener que

La ecuacin dada tiene obviamente la solucin predice nuestra frmula. Pero podemos factorizar

0 = x3 1 = (x 1)(x2 + x + 1).
Por lo que obtendremos como soluciones, adems de la solucin

x = 1,

las soluciones de la

2 ecuacin x

+ x + 1 = 0.

Aplicando la frmula cuadrtica tenemos que

1 3 1 3 x= = + . 2 2 2
Llamaremos

(una notacin tradicional) a una de esas soluciones, digamos,

1 3 . = + 2 2
Entonces, podemos armar que, 1 tiene tres races cubicas: 1, que

Se verica fcilmente

2 , por lo que es usual hablar de

es la raz cbica

unidad y decir que

ellarecurdese que

3 = 1.

fundamental, ya que las otras races son potencias de

, 2 y 1 como las tres races cbicas de la

Ejemplo 11.5.2.
tiene que

La ecuacin

x3 = a. x= 3a

La ecuacin tiene la solucin obvia

3
y

a,

pero como

3 = 1

( 2 )3 = ( 3 )2 = 1

se

2 3 a

tambin sern soluciones de la ecuacin

x3 = a.

As tenemos la siguiente proposicin.

Proposicin 11.5.1. La ecuacin x3 = a donde a es cualquier nmero real, tiene siempre

tres soluciones:
3 a, 3 a, 2 3 a.

184

CAPTULO 11.

ECUACIONES DE GRADOS 3 Y 4

Con esas consideraciones volvemos a nuestra frmula de la solucin de la ecuacin de tercer grado. Recordemos que la ecuacin cbica general

ax3 + bx2 + cx + d = 0,
se reduce por la sustitucin

x = y b/3a

a la forma

y 3 = py + q
donde

p y q son funciones de los coecientes de la ecuacin original. Ahora, se coloca y = u+v u3 + v 3 = q.

y por sustitucin, obtenemos que debe cumplirse lo siguiente:

3uv = p,
Al despejar

en la primera ecuacin y sustituir en la segunda se obtiene una ecuacin

cuadrtica en

u3 .

O sea,

p (u3 )2 qu3 + ( )3 = 0. 3 u3 , u3 = q 2 q 2
2

Lo que nos da soluciones para

p 3

Finalmente, observando las simetras con respecto a para

u y v , se escogi las siguientes soluciones q 2 q 2

2

u3

v3 u3 = q + 2 q 2
2

p 3

v3 =

p 3

Luego, tomamos raz cbica en ambos lados y sumamos para obtener

y=

u+

v.

Pero, ahora sabemos que no hay una nica raz cbica, sino que hay tres races cbicas. Llamando

u0

vo

a las soluciones anteriores tendramos que

u = u0
y anlogamente para Pero notando que

u = u0

u = 2 u0

v . Parecera entonces que la suma y u + v tiene nueve posibilidades. uv = p/3, se tiene que el producto debe ser real lo que nos da las tres

posibilidades indicadas en la siguiente proposicin.

11.6.

LA ECUACIN DE CUARTO GRADO

185

Proposicin 11.5.2
tiene tres soluciones:

(Frmula cbica de la ecuacin reducida)

. La ecuacin

y 3 = py + q

y1 = u0 + v0 y2 = u0 + 2 v0 y3 = 2 u0 + v0 q + 2 q 2
2

donde
u0 =
3

p 3

v0 =

q 2

q 2

p 3

Ejercicios 11.5.
1. Resolver las siguientes ecuaciones. (a) (c) (e) (g)

x3 + 3x + 5 = 0. x3 18x = 35. x3 + 63x 316 = 0. x3 15x2 33x + 847 = 0.

(b) (d) (f ) (h)

x3 + 2x2 + 4x + 2 = 0. x3 + 72x 1720. x3 + 21x + 342 = 0. 2x3 + 3x2 + 3x + 1 = 0.

entonces

2. Probar que

(x x1 )(x x2 )(x x3 ) = x3 + bx2 + cx + d x1 + x2 + x3 = b x1 x2 + x2 x3 + x3 x1 = c x1 x2 x2 x3 = d.

3. Sean 1,

las races cbicas de la unidad. Probar que

a) b) c) d) e)

2 = . 1 + + 2 = 0. (1 + 2 )4 = . (1 )(1 2 )(1 4 )(1 5 ) = 9.

Probar que

4. Probar que

x3 + y 3 + z 3 3xyz = (x + y + z)(x + y + z 2 )(x + y 2 + z). 3 + 2 es una raz cbica de 72 32 5.

5. Tienen raz cbica los nmeros complejos?

11.6.

La Ecuacin de Cuarto Grado

Antes de discutir la ecuacin general de cuarto grado, buscaremos las races cuartas de la unidad.

186

CAPTULO 11.

ECUACIONES DE GRADOS 3 Y 4

Las races cuartas de la unidad

resolver la ecuacin

Para hallar las races cuartas de la unidad, debemos

x4 = 1.
Por factorizacin, esta ecuacin es equivalente a

x4 1 = (x2 1)(x2 + 1),

que tiene obviamente las soluciones:

1, 1,

Por lo tanto, el problema de las races

cuartas de la unidad no nos produce nuevos nmeros especiales.

La ecuacin de cuarto grado

La ecuacin general de cuarto grado es:

ax4 + bx3 + cx2 + dx + e = 0.

Podemos eliminar el termino en obtener

x3

de esa ecuacin, haciendo la sustitucin

x = y b/4a,

y 4 + py 2 + qy + r = 0.
O equivalentemente,

(y 2 + p)2 = py 2 qy + p2 r.
Entonces, para cualquier valor del numero minado por ahora, se tendr que

z,

donde el valor de

es arbitrario pero indeter-

(y 2 + p + z)2 = (y 2 + p)2 + 2(y 2 + p)z + z 2 = (py 2 qy + p2 r) + 2(y 2 + p)z + z 2 = (p + 2z)y 2 qy + (p2 r + 2pz + z 2 )
Ahora, seleccionaremos

z de modo que la cuadrtica de la derecha sea una cuadrado perfecto. q 2 4(p + 2z)(p2 r + 2pz + z 2 ) = 0.

Esto requiere que su discriminante sea nulo. O sea que

Esta ltima ecuacin es una cbica en

z,

la que resolveremos utilizando la frmula hallada.

Seleccionaremos la solucin real, que siempre estar presente y, por sustitucin , obtendremos una igualdad entre dos cuadrados perfectos. Tomando raz cuadrada en ambos miembros, obtendremos cuadrticas para

y,

que sern resueltas por los mtodos aplicables.

Hay otras variantes para obtener la solucin que pueden hallarsse en la literatura. Grcamente la ecuacin, la parbola curtica

x4 = px2 qy r

es equivalente a buscar la interseccin de

y=

x4 y la parbola ordinaria

y = px2 qy r;

lo que nos dice que

puede no haber soluciones reales en este caso.

11.6.

LA ECUACIN DE CUARTO GRADO

187

Ejemplo 11.6.1.
Resolucin.

x4 + x2 + 1 = 0. La ecuacin es factorizable y tendremos que

Resolver la ecuacin

x4 + x2 + 1 = x4 + 2x2 + 1 x2 = (x2 + 1)2 x2 = (x2 x + 1)(x2 + x + 1).

O sea que, la ecuacin dada es equivalente al par de ecuaciones

x2 x + 1 = 0

x2 + x + 1 = 0

. La primera de esas ecuaciones tiene como soluciones a:

1i 3 ; x1 , x2 = 2

mientras que la segunda tiene como soluciones y 2 donde es una raz cbica de la unidad.

Ejemplo 11.6.2.
Resolucin.

x4 2x3 + 8x 3 = 0. Haciendo la sustitucin x = y + 1/2 obtendremos que

Resolver la ecuacin

3 13 y 4 y 2 + 7y + = 0. 2 16

Efectuando las computaciones indicadas arriba, con p = 3/2, q = 7 y 4r = 13/16 que el discriminante que debe ser nulo ser:
q 2 4(p + 2z)(p2 r + 2pz + z 2 ) = 0.

Es decir

64z 3 240z 2 + 236z 461 = 0.

De ah se prosigue, como indicado.

Hemos indicado el mtodo original usado por Ferraro para la resolucin de la curtica. Los mtodos prcticos de resolucin, algunos de los cuales fueron popularizados por Descartes, siguen un poco la idea de la resolucin del primer ejemplo. Tal mtodo ser ilustrado, tambin, en el siguiente ejemplo.

Ejemplo 11.6.3.
Resolucin.

Suponer que

Resolver la ecuacin

x4 2x3 + 8x 3 = 0.

x4 2x3 + 8x 3 = (x2 + kx + l)(x2 kx + m).

Expandiendo el producto y comparando coecientes se tendr que

l + m k 2 = 2, k(m ) = 8, m = 3.

Despejando y m de las dos primeras ecuaciones, y sustituyendo en la tercera, obtendremos

(k 3 2k + 8)(k 3 2k 8) = 12k 2 ,

188

CAPTULO 11.

ECUACIONES DE GRADOS 3 Y 4

o sea, Pero, esta ecuacin es cbica en k2 .

k 6 4k 4 + 16k 2 64 = 0. (k 2 )3 4(k 2 )2 + 16(k 2 ) 64 = 0.

Resolviendo la ecuacin, obtendremos que k2 = 4. Usando como solucin k = 2 (Como hay simetra entre k y k en las ecuaciones originales, no perdemos soluciones) en las ecuaciones originales, tendremos que
m + = 2, m =4

de donde m = 3 y = 1. Por lo tanto, los polinomios cuadrticos en que factoriza nuestro polinomio original sern x2 + 2x 1 y x2 2x + 3. Por lo tanto las soluciones de la ecuacin sern:
2 2 8 = 1 2, 2 8 2 = 1 i 2

Ejercicios 11.6.
Resolver las siguientes ecuaciones. 1. 2.

x4 + 10x3 + 22x2 15x + 2 = 0. x4 4x3 + 4x2 + 16x 8 = 0.

Recapitulacin

11.7.

En este captulo abandonamos denitivamente el paraso de los nmeros racionales. La necesidad de solucionar ecuaciones no lineales lleva de manera natural a inventar primeramente radicales cuadrticos (de nmeros positivos, por supuesto). Luego de largo tiempo de trabajar con los mismos, sacarlos de la representacin geomtrica y pasarlos a valores numricos. La frmula de la solucin de la ecuacin de tercer grado es conocida como

mula de Cardano

en honor a Cardano quin la public en 1545 en su obra

frArs Magna. La

frmula no es original de Cardano, si no que aparentemente de Scipio Ferro quien la habra inventado alrededor del 1505. De Ferro, la frmula habra pasado a Tartaglia, quien se la con a Cardano, comprometindose ste ltimo a mantener la condencialidad (!). Finalmente, Ferrero, un discpulo de Cardano, invent la solucin para la curtica. El genio de los matemticos italianos del siglo XVI reside no slo en el invento de las frmulas indicadas, sino tambin en la introduccin de los nmeros imaginarios. Nmeros cuya existencia no se poda justicar ms que dentro de la consistencia de las manipulaciones algebraicas. A los matemticos mencionados hay que agregar Bombelli, quien organiz gran parte del material existente y puso de forma denitiva a los imaginarios en la realidad matemtica.

RAHT06 AlgSup 11