Beruflich Dokumente
Kultur Dokumente
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.
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,
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.
El problema tiene origen mitolgico: se dice que Atenea pidi la duplicacin de su altar, que precisamente
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.
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.
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
el conjunto se supona cerrado respecto a las operaciones racionales (suma, resta, multipli-
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,
3 3 a + b 2 + c 4;
donde
a, b
11.2.
LA ECUACIN CBICA
173
nsimas. n a=
mn
n a
ab =
n n a b m, n
(b)
a.
positivo, y
an.
Adecuadamente quiere decir, que las propiedades de las potencias permanezcan vlidas. Hacer la vericacin de dichas propiedades.
11.2.
La Ecuacin Cbica
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,
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:
174
CAPTULO 11.
ECUACIONES DE GRADOS 3 Y 4
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
la sustitucin
x = y h,
har desaparecer
y 3 = py + q
donde
nos da, todava, la solucin, pero llegaremos a ella mediante un truco que describiremos a continuacin. El truco es sustituir
u+v
por
y,
(u + v)3 = p(u + v) + q,
de donde por expansin se obtiene que
tales que
3uv = p,
Como
u3 + v 3 = q.
uv
son escogidos como sustitucin para una sola variable, podemos escoger una de
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
v,
u3 =
q + 2
q 2
p 3
, v3 =
q 2
q 2
p 3
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.
y=0
y = 1
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
Resolucin.
3 O sea, y
Haciendo la sustitucin
= 3y + 4.
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
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
11.3.
y 3 = py + q.
Por lo visto con anterioridad, esta restriccin no conlleva una perdida de generalidad.
q = 8.
3
y=
4 +
16 +
16 =
8.
w3 = a = w =
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.
177
Denicin 11.2
raz cbica
radical cbico
. Sea
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
(q/2)2
b2
4ac
en la resolucin de la cuadrtica.
x3 = px + q
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
. . . . . .. . . .. . ... . . . . . . . . . . . . . . . . . . . . . . . . . ..... ...... . . . . ........... . ...... . . . . ...... . .. .... . ... .. ...... . . ....... ....... .. . . . ........ . .......... . . . . ...... ...... . . . ...... . ...... . . . . .. ... ...... . . . ...... ...... . .. ... . . ... . .. ... ......................... ............................................ . ........................................................................ . . .. . .. ...... .. . . ... ... ............ . ... ...... . . ... ... . . . .. . . . . . . . . . . . . . . . . . . .. . . . . . . . .. . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
lo tanto, deberamos tener disponibles races de nmeros negativos. Para lograr eso haremos
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.
2 = 1.
El nmero imaginario
4,
4 = (4)(1)
y escribir que
4 =
4 1 = 2.
11.4.
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.
n 0 1 2 3 4 5
. . . Sigue del resultado
n 1 2 = 1 3 = 2 = i4 = 3 = = 2 = 1 4 = 1 =
. . .
4 = 1
periodo
de las potencias de
es 4.
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.
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 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
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)
(b) (d) (f ) (h) (j) (l) (n) (o) (q) (s) (u)
11.4.
181
B.
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)
C.
A.
Aspectos tericos.
C es el conjunto 2 = 1.
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:
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
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.
R.
8.
11.5.
183
D.
Problemas miscelneos.
1. Probar que si
2 (1 + ) 2
entonces
2 = .
O sea, que
11.5.
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.
1 3 1 3 x= = + . 2 2 2
Llamaremos
1 3 . = + 2 2
Entonces, podemos armar que, 1 tiene tres races cubicas: 1, que
Se verica fcilmente
ellarecurdese que
3 = 1.
Ejemplo 11.5.2.
tiene que
La ecuacin
x3 = a. x= 3a
3
y
a,
pero como
3 = 1
( 2 )3 = ( 3 )2 = 1
se
2 3 a
x3 = 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
3uv = p,
Al despejar
cuadrtica en
u3 .
O sea,
p (u3 )2 qu3 + ( )3 = 0. 3 u3 , u3 = q 2 q 2
2
p 3
u3
v3 u3 = q + 2 q 2
2
p 3
v3 =
p 3
y=
u+
v.
Pero, ahora sabemos que no hay una nica raz cbica, sino que hay tres races cbicas. Llamando
u0
vo
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
11.6.
185
Proposicin 11.5.2
tiene tres soluciones:
. 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)
2. Probar que
3. Sean 1,
a) b) c) d) e)
4. Probar que
11.6.
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
x4 = 1.
Por factorizacin, esta ecuacin es equivalente a
1, 1,
x3
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
(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.
z,
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,
Hay otras variantes para obtener la solucin que pueden hallarsse en la literatura. Grcamente la ecuacin, la parbola curtica
x4 = px2 qy r
y=
x4 y la parbola ordinaria
y = px2 qy r;
11.6.
187
Ejemplo 11.6.1.
Resolucin.
x2 + x + 1 = 0
mientras que la segunda tiene como soluciones y 2 donde es una raz cbica de la unidad.
Ejemplo 11.6.2.
Resolucin.
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
Ejemplo 11.6.3.
Resolucin.
Suponer que
Resolver la ecuacin
x4 2x3 + 8x 3 = 0.
188
CAPTULO 11.
ECUACIONES DE GRADOS 3 Y 4
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.
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
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