KUROSCH
CURSO
DE
ALGEBRA
SUPERIOR
EDITOR IAL M 1 H
A. r. KYPOIU
RYPC
BbICUJE:l: AJll'EBPhI
II3IlATE/Il>CTBO HAYl< A
CURSO
de
ALGEBRA SUPERIOR
Impreso en la U R.SS
Derechos reservados
IND I CE
SISTEMAS DE ECUACIONES
LINEALES. DETERMINANTES
l
10 Cap. l de er.uaf:i()tl C1' lint'.aft.s. Delerminttnfe$
1111"1z . 11')
a:?1":."2 i n (2)
(
fls1 1l .;-.:2 ll sn
x 1 + x2 =4
es determinado y x 1 = 1, x 2 = 3 es una solucin. Por el mtodo
de eliminacin de la incgnita, se puede comprobar fcilmente que
esta solucin es nica. Por otra parte, el sistema
3x1-X2 = 1, }
6x 1 -2x2 = 2
es indeterminado, puesto que tiene infinitas soluciones de la forma
X1=k, Xz=3k-1, (3)
donde el nmero k es arbitrario. Con. las soluciones obtenidas por las
frmulas (3) se agotan todas las soluciones de nuestro sistema.
El problema de la teora de los sistemas de ecuaciones lineales
consiste en la elaboracin de mtodos que permitan establecer si es
compatible o no un sistema dado de ecuaciones, y en caso de compa-
tibilidad, indicar el nmero de soluciones y seiialar un mtodo para
hallar todas ellas.
Comenzaremos por el mtodo ms cmodo para hallar prctica-
mente las soluciones de los sistemas con coeficientes numricos, es
decir, con el mtodo de eliminacin consecntiva de Las incgnitas o m-
todo de Gauss"'.
Hagamos primero una observacin. A continuacin, tendremos
que hacer las siguientes transformaciones del sistema de ecuaciones
lineales: ambos miembros de una de las ecuaciones del sistema,
multiplicados previamente por un mismo nmero, se van a restar
de los miembros correspondientes de otra de las ecuaciones del siste-
ma. Supongamos, por ejemplo, que ambos miembros de la primera
ecuacin del sistema (1), multiplicados por el nmero e, se restan de
los correspondientes miembros de la segunda ecuacin. Obtendremos
un nuevo sistema de ecuacioDes lineales:
donde
Aqu, a 11 =f.: O,
tambin que
a,~,- >x,, +
r
>.-fa O. Seialcmos
todos los modos posibles los valores para lns incgnitas independien-
tes), se hallan todas las soluciones del sistema (1).
A primera vista puede parecer que con el mtodo - de Gauss el
sistema de ecuaciones lineales se puede reducir a otra forma ms:
la que resulta de agregar al sistema (7) unas cuantas ecuaciones que
contengan solamente a la incgnita Xn Sin embargo, lo que ocurre
en realidad es que las t.ransformaciones no se han llevado basta el
fin: como a~- 1 > =fo O, se puede eliminar la incgnita Xn de todas las
ecuaciones, comenzando desde la (n + 1)-sima.
Se debe advertir, que la forma triangular del sistema de ecua-
ciones (7), o la forma trapezoidal del sistema de ecuaciones (6)
(para k < n), se obtuvo debido a la suposicin de que los coeficien-
tes a11 , a;,; etc., etc, eran diferentes de cero. En el caso general, el
sistema de ecuaciones a que llegaremos despus de realizar hasta el
fin el proceso de eliminacin de las incgnitas, tomar:{ una forma
triangular o trapezoidal slo despus de un cambio debido de la
numeracin de las incgnitas.
Haciendo un resumen de todo lo expuesto anteriormente, llegamos
a la conclusin de que el mtodo de Gauss se puede aplicar a cualqui.er
sistema de ecuaciones lineales. Adems, el sistema ser incompati-
ble, si en el proceso de las transformaciones obtenemos una ecuaci6n en
la que los coeficientes de las incgnitas son iguales a cero, mientras
que el trmino independiente es di.ferente de cero; si no nos encontra-
mos con tal ec11acin, el sist1:ma ser compatible. Un sistema compa-
tible de ecuaciones es determinado, si se reduce a la forma triangu-
lar (7), e indeterminado, si se reduce a la formr1 trapezoidal (li) siendo
k< n.
Apliquemos lo expucslo al caso <le un sistema e ecuaciones linea-
les homogneas, es decir, de ecuaciones, cuyos t.rminos independien-
tes soo iguales a cero. T;tl sistmna siempre es compatihle, pueslo que
posee la solucin nula (U, O, .. ., O). Supongamos que en el sistema
considerado, el nmero de ecuaciones es menor que el nmero de
incgnitas. .Enlonccs, este siste11111 no podn reducirse a la forma
triangular, puesto que en el proceso do l.ram;iormaciones por el mto-
do de Gauss, el nmero tlo ecuaciones del si:;tema slo puede dismi-
nuir pero uo aumentar; por consiguicnl.c. ste se reducir a la forma
lrapezoidal, es decir, ser i11det.ermina<lo.
En ol.n1s palabras: si en un sistema d1 ecuaciones lineale.~ homo-
gneitS , d nmero ele ccuociones es numor que el nmero de in.cgnilas.
este sistema, adems de In sol11ci6n nula, poseer tambin soluciones
no nulas, e;; decir, solucio11cs, en las qno los valores <le cicrlas incg-
nitas(o incluso <le tod;.1s) ;;crn diforontes de cern; habr 1111a infinidad
de soluciones dt: stas.
Para la resolucin prctica de un sislenw de ecuacioucs line11les
por el mtodo de Cau;;s, se debe escribir la matriz <le los cocficieJ1 lcs
1.6 Cap. l Sisltma$ de ecuaciones lintaln. Dtlermlnantes
del sistema y agregarlo unn r,olumna formada por los trminos inde-
pendientes, separada para mayor comodidad por una raya vertical.
Todas las transformaciones se deben efectuar con las filus do esto
matriz ~ampliada.
Ejemplos. l. Resol\'c r ol !listoma
J 1 -; :!x 2 5r3 - :'}
I - .<'z f 3.r3 - 2,
3r 1 - 6z!-r3 = 2;,.
Ecc lncmos las lransformncionos NI In matriz amplinoln del sisLc111a:
(1 2
1 -1 :l
;1 -) (1o 2 5-9) ('o 2 ,,, _f)
2 -+- -3 - 2 11 - _; -2 1'1
3 - li - 1 2:. \) - 12 - 1li ;,:i o \) -8 8
Por cln ~i gu ir.otc, llcg11111os al siguieo11to .<i!<ltrna do ecuaciones:
-'17 2.<2 ! 5.c3 -9 }
- :l.r2-2.t:3 11.
-8.c3 s.
quo I"'-'"" la solucin nica:
.r, 2, .e: - - 3, J3 - - t.
l'or c11 nsigui1nll', el " i" l c ma ini cial es dN cr111imulo.
:l. B(11 I ver el sbt.cmn
;i; , - ;)J~ -8r3 : ,.,. - :3, }
+ .r
:l.r 1 2 - '.lz3
,r, - 7J3
- :r,. - ..--.,,~
- 2r._,. ~
o i'l 20 -9 2 o t1 20 -9 2
' 1 -3
(2 3 1 - 5
-1) (o
- 7 5
9
-fl) -
5 - 13' (o 2 o
7 5 -11
-2)
.
1 - 2 -2 3 1 -2 - 2 3 1 -2 -2 3
H emos obten ido ol sistema do ecuaciones:
2r.2 - 2.c, =0, )
7.rz +S.r3 - 1lx =O, }
T 1 -2r2 -2.ra+ 3x 4 =0. J
Cuo lquicra de las incgnitas x 2 y x,. so puede tomar como incgnita independien-
te. Sea z 4 = a.; e11t o11ces, de la pri~nora ecuacin so doduco que zz = a.; de la
segunda ecuacin obtenemos, xi= +a.; y, por fin, do In t-0n:cra ecuacin. :z:1 =
.)
~-~;i a.. Po r lo Lanto , la forma general Jo las soluciones <lol sistema de ocuocio-
11 rs ''" os:
:l ex. a. " a, a.
:;
5
(2)
(4)
Ejemplos.
1) 13 471= 3 . 4 - 7. 1 = 5;
1
2)
1
1
3 -21 5 = 1 . 5 - ( - 2)- 3 = 11
Es menester subrayar otra vez ms que, mientras la matri z repre-
senta una tabla de nm eros, el dete rmin an te es un nmero co mple-
tamente determinado por la matriz cuadrada. Se1ialemos ~ que los
productos a 11a22 y a 12a21 , se llaman trmin os del determinante de
segundo orden.
Los numeradores de las expresio nes (3) tienen la mismn forma
que el denominador, o sea, tambi n son determinantes de segundo
orden: el numerador de la expresin para x 1 es el determina nte de
una matriz, que se obtiene de la matriz (2) s ustituyendo:isu primera
columna por la columna de 1011 trminos inde pendientes del sis tema
2. Determinantes de segundo y terctr orden 19
(5)
a~ J; -! l=-7;
~ d~cir, s\e t'S lli!erento de cero, por lo &\la\, ~e pued~ aplicar In regla de Cra
mer ni sistema .
Los numeradores para las incgnitas son los determinantes:
d1 =I -~ -~ l=-19, :dz=I; -~ ,, , -1 ..
Por Jo tanto, la rolucin de nuestro sistema es:
d1 19 d2 11
"'1 = --= 7 r2=d = 7
La introduccin de los determinantes rle segundo orden no aporta
simplificaciones esenciales en la resolucin de un sistema de dos
ecuaciones lineales con dos incgni.tas. Si.n embargo, los mtodos
anlogos. para el caso de sistemas de tres ecuaciones lineales con tres
(7)
Fig 1.
2z1-.tz+x3 ~ 0,}
3.r1 + 2x 2 -5.r3 = 1,
X t 1 3.rz-2.t3 = /l.
d=I~1 -~3 -2
-~ 1=28.
por eso, so lo puedo aplicar la regla de Cramer. Los numeradores para las
incgnitas son los determinantes
d3=1~ -~ ~ 1=21,
1 3 4
o sea, que la solucin del sistema es el sistema de nmeros
Por su aspecto. >e parece a una matrir. de dos filas y 5 columnas, pero
tieno un signiric.ado totalmente distinto.
A continuacin se cru11lcat{t frecuentemente la siguiente tcrminologfo,
admitida en la teora de conjuntos.
Sean dados dos c.onjuntos 111 y N (finitos o infinitos) de elementos de cual
quier nnturaloia.
Si de un modo detcnninado, a cada elemento x de M (con la notacin
z E M se denota que el elemento x pertenece a M) so pone en correspondencia,
un elemento 11 de /\' (11 E N). y slo uno, se die(' que se ha d<'finido una apli-
26 Cap. f S1Jtema1 de ecuacionts ll,ttoler. neterminant~s
(243112) (421-'.1
l 3123)y
so n distintas: en la primera , el nmero 2 so susl lu ye por el 4, mientras
qu e en la segunda, por el :t
Tomemos una expresin arbi t raria (6) ele uno sustitucin A <legra-
do n. Las permutaciones q uo forman las filas i<u perior e inferi or de
esl.ll ex presin pueden !<er de igual paridad o de paridad conlraria.
Como ya sabemos, el paso 11 cu;olquier oLra cxprosin do la sustitucin
A se puode realizar mediante la ejecucin con,;ecutiva rlc un as
cuantas trasposiciones en la fila superior y las tras posiciones corres-
poncliontos en la fila i11orior. Por otra parte, 111 efectuar una traspo-
:sicin en la fila superior el e la expresin (6) y una trasposicin de los
e leme ntos correspondientes en la ila inferior, las paridades de ambas
permu taciones ca mbi an simul Ln eamenLe, mantenindose as la
coincidencia o la con tra riedad de es las parid ade:1. Do aqu so deduce
que. en todas las expresiones de la sustituci611, las paridades de las filas
supi:rior e inferior coinciden, o bien, en todcu estas expresiones, las
paridades son contrarias. C: n el primer caso, se di ce que la sustitucin A
es par, en el segundo, que es impar. En pa rl.icular, la ::;ustitucin
unida1I es 1iar.
Si la s ustitucin A es t escrita on la form a (7), es decir, que en la
fil a :;uperior figura la per111utacin par 1, 2, ... , ri, entonces, la paridad
28 Cap. I Sistemas de ecuaciones linea/e.<. Determinantes
(1234) '
A= 3 1 4 2
(1234)
B= 1 3 4 2
Estas se necesitarin solaroenle en el capitulo 14 y por esto, en la pri
mera leetura, este material se puede omitir.
8. Ptrm11taclones y 1u$llluctont1 29
cnt.onccs
1 2 3 4)
All= ( 4 1 2 3 .
1 2 3 4)
/JA= ( 3 4 2 1
A= (1 2 ... n)
CX CXz CL11
30 Cap. I Sistemas de tcuac/Qn.s lineales. Determinantes
es Ja sus ti tuci11
A-1 - (' 2 ... ~n)
1 2 . .. n , '
que se obtiene de la suslilucin A , permul.audo la fila superior con
la incrior.
Veamos ahora unas suslilucione~ do una forma especial, que ~e
obtienen de la sustitucin unidad E mediante u11a trasposicin
efectuada en su fila inferior. Tales sustituciones son impares, se
llaman trasposiciones y tienen la forma:
... i . .. j .. )
( ... ; ... i . . . ' (8)
(/ 11 12 '3 1
2 22 a23 fl11ll22ll33 + 223<la1 + a131121"32 -
a31 a32 a 33 - a 13'l1zll31 - ll1221ll33-ll11ll:?Jltn
"" 2 ...
:!t <t2z
'")
":" (1)
(
Ont lln2 ll1m
se puede decir que transpo ner la matr iz (1) es l.tacerla gi rar a lrede-
dor de la di agonal principal. Correspondientemente, se dice, q ue
el de te rminan te
11 (121 lln t
a,,. ll21t . nn
(1 2 .. . ") (9)
2 .. . ri
P or lo gene ral , las s us t luciones (8) y (9) son dic rc ntes, pero, e vid on-
temcn le, t ione n una m is mu pa rid ad y, poi lo tnnlo, el trmi no (7)
t iene un mismo signo en ambos de te rminantes. P or consigui en te, los
determina n tes (4) y (6) re presentan sumas de trminos ig uales, loma-
dos con signos iguales, <:!! decir, son iguales entre s.
Do la propiedad 1 se ocd ucc que cualquier afirmacin sobre !ns
filas del de termionntc e:> vilida tambi n parn sus columuas y viceYor-
sa, es ilecir, en ol determinante (a distincin de las ma trices), lns
filas!/ las columnas gozan de los mismos de rechos. Part ie ndo de es to,
las sigu i1mles ocho propieclflde.s (2-9) se enuncinr n y se demos trar n
solame nte para las fil as dol de te rmina nt e; las pro piedad es an logas
pa ra las column as no necesitar n una demo~ lracin especial.
3G C<1,p. l s;stemns <le e!:uadones lineo/e.~. Determtnanles
... . . a,,,.
fl11 t a,,2 llnn a,,, "2
"' On ? . .. "n11
La propiedad 7 se genemliza s in difi culla d al caso en que lodo
elemento de la i-sima fila es una suma, no de dos , sino de m sumall-
dos , m :;;:i:.. 2.
Se dice que la i-simu fila do un <leterminanto es com.biMci6n
lineal de las dems filas, si para cada fila del nmero de orden /,
j = 1, ... , i - 1, i +
1, ... , n, se puedo soiialar uo nmero k
t.al, que multiplicando la j-sima fila por k y agregando despus
todas las filas, menos la i-sima (la suma de las filas se debe entender
como la suma por separado de los elementos ele todas estas fila s en
cada columna). so obtiene la i-sima fila . Algunos de los coeficientes
k1 pueden ser iguales a cel'O, es decir, en realidad, la i-sima filn
os combinacin lineal, no ele toclas, sino de algunas filas restantes.
En particular, si solamente uno ele los coeficientes k; es diferente do
coro, obtenemos el caso de proporcionalidad do dos filas. Finahnenle,
si una fila se compone totalmente de ceros, sta siempre ser combi-
nacin lineal de las dom1s filas: caso en que todos los k son iguales
a cero.
Propiedad 8. Si una de las filas del determinante es com/Ji11acin
lineal de las dems, el determinante es igual a cero.
Sea, por ejemplo, la i-sima fila, combinacin lineal de las otras
s filas, 1 s< <
n - 1 . Entonces, todo elemento do la i-sima fila
ser una suma do s trminos. Por lo tanto, aplicanclo la propiedad 7,
representamos nuestro determinante en forma ele una s uma de deter-
minantes, en cada uno de los cuales la i-t!sima fila ser proporcional
a una do las otras filas. Segn l a propiedad 6, todos estos determinan-
tes so n iguales a cero; por consiguiente, tambin ser igual a coro
el determinante dado.
Esta propiedad es unn generalizacin de la propiedad 6, y, como
se demostrar en el 10, es el caso ms ge nernl do igualdad a coro
del determinante.
Pr opiedad 9. El determinante 110 vara si a los elementos de 1111a
de sus filas se agregan Los elementos corrcspo11dicntes de otra fila,
multiplicad<Js por 1111 mismo ntmero.
5. Los menores y sus complementos algebraicos 39
"
''ha
l>r
M ...
. .. l1h
l". .1+.I .
nh. A.. J n1m
"tn
Trn." 1rn11ic11do la,.: ila.< y In,; !"011111111'1", pnw11n11111:< llc\'ill' el men o r .1/
a l ;11gu lo :<llJll'l"ior d1 la iiq 11i l rda , dC' modo q11t 11v :<(!a ltere l?I 111c11or
111mplcmc11tario. C1111 1slC' fiu. l ra!:'p<>1w1110:< In i 1-:<i1m1 fila ('1111 la
(i 1 - l )-"i 111a, <lc:<1111l':<, 1011 la (i 1 - ~)-si1 11a , el<'., hast a que Ja
i 1-t;simu fil;i ocu pe el l111:ar do l;i primera; para esto. tcnilremo." que
t 1aspo11cr las filas i 1 J vece:<. Dl'sp11t'.:<. tra:;po11emos succl'h;1-
111c11l c lu i:-sinw lil;i c:o11 todas las fil;1s !:i l 1rnil;1s "obre cll;i , ha ,;la
<111<' :<e s il1c clirec tamonte dchajo de la i 1-r>'i111;1 fila, es ded r, l'll
el !'it<> c111c ocupaba la :;cgunda fila <11tles 11t ludus las tn111:;forn111-
ri<111c:;; co mo l'>" l';c.i 1 co111 prolmr, pan1 ello l.c11uinos que l r11r-<po11cr
l;1:< fih1:; i 2 - :.! vece;;. De 1110110 a11logo, lmstadn111os Ja i 3 -sima fila
a l luga r de la tercera fila , etc., hasta qu e la i1,-sima ocupe el lugar
de la k-l?;<illla fila. E 11 tota l, leniJrem M que efectuar
(11- 1) -1 (i~ - ::!) -:- .. . ; (ik-k)=
=(i, i2 -i ... -. i,,)-(1 1- 2 + . .. -;- k)
Lrn,,: posicio11cs t.le las filns.
El 111c11or l/ ya csti s ituudo en !ns pri111cra;; k filas t.lcl 11ueYo
dl' l<1miuantc. Ahora t rasponcmo:; s11co~iva111 c nlc 1<1s columuas del
determinante: la j 1-sima co u todas las precc1lcnt.cs hasta qu e o~ur o
el primer lugar, despus, la j 2-sima, hastn que ocupe el segun do
111 ~11r, ele. gn tota l, las colu111nas ser{111 lra~p11 cslas
. Clculo de detenninantes
Los resultados del prrafo anterior ofrecen la posibilidad de
reducir el clcu lo de un determinante de 11-simo orden al clculo
d e unos cua ntos determinantes de {ri - 1)-simo orden. {nlrodm.c1\-
ruos, primero, las siguientes notaciones: si <tu es un elemento del
determinante d, designaremos con Mu ol menor complementario,
o abreviando, el menor de este elemerito, es decir, el menor do
(11 - t)-~s imo orden obtenido desyus de suprimir la i-si1\\ll fil\\ y la
j-simn columna en el dclerminnnlo. Designaremos con A 11 el com-
plemento a lgebr:iico del elemento a 1,
:lu =(-1) 1 1 lllu.
Couio so ha clemostr,1do anteriormente, el procluclo o 1A ; re-
presenta una suma de unos cuantos trminos del clelermin1111le d,
incluidos en esta 8ttmn co11 los mismos signos rue tenan on el deler-
minanto d. Es fcil calc11lnr el 11moro do estos trminos: es igual
itl nm ero do trm inos en el menor JV/li, es decir. es igual a (n - 1)!
Elijamos ahora una fila i-sima c ualquiera dol determinuntc 1/
y lomemos el producto de cada ele mento ele os tn fila por :su co mpl u-
tnento algcbraic-o:
(1)
Ningn trmi110 del determinante d puede e.stilr incluido en dos
protluctoil rliforentes (1): t odos los lrm11os del detorminan~e inclui-
dos en el producto ailA ; 1 t"Olllienen el elemento 0 11 do la i-sima fila.
4t, Cap. l Sistemas de ecuaci.olles lineales. Determinantes
Poi' ello, se diferencian de los trminos qne forman parte del producto
a 12A 12 , que contienen el elemento a 12 de /a i-sima fila, etc.
Por otra parte, el nmero tolal de ll'111inos del determinante d,
incluidos en todos los productos (1), e:s igual a
(n-i)!n = n!.
Con stos se agotan por completo todos los trminos del determinan-
te el. Por lo tanto, hemos demostrado que se verifica el siguiente
desarrollo del determinante d por los elementos de la i-sima /ila:
(2)
Ejemplos.
1. Calcular el determinante de cuarto orden
3 t -1 2
-5 t 3 -4
d=
2 o 1 -1
1 -5 .3 -3
6. C6lculo dt dtttrrnlnantei 4.5
tt ~ ( - 1)3+ 1 .2.
t -1
1 3 - 4
21 i
1- 5 3 -3
d= 3
1
_,o 3
o
7 - 2
5 - 5
:!. (.j -4 2
o - 3 - 1 :!. 3
2 til o -7 - 10
1) -3 - l 2 3
D esarrollando este dotorm inanle .r,nr los elomontos do lo te rcera CQ lu mna, que
c:onlieno :;olamenle un clc111cnto d1 forcnto do cero (con la suma de indices 5 + 3,
-0sdecir, par), obtencruos:
-2 5 - 1 3
tl - ( - 1)
1
3
_.,
-9 13
! -5
7
2 18 - 7 -10
o - 13 25 17
(/ , = -
- 9 13 7
o 26 -3(, - 26
o 36 -33 - 24
46 Cap. l Sislemas de ecitnciones lineales. Determinantes
-13 25 171
d= 26 -34 - 2 .
1 36 -33 -21
Calculemo11 t~lo detcrrninanto do tercer ord en, desa rrollitndolo prei11m~nt1>
por los okmo11t1s clo su trrccra fi l11:
"o t:.?
22
13
::?3
Jri
Uz.n
d ~' o o a33 3'l
o o o <1nn
:r.?. 23 ":.!"
o 033 an
ti = w
o o 0 nn
1 2 03
"
d = a~ a~ a~ Ot
a" - t ~- t
1 ar; - n- 1
o,.
G. Cdlculo tk determlnanltl 47
1 1 J=a2- 1
2 1
S upongamos que nuestra afirmacin est demostrada ya para los determinantes
do Vandermonde do (n - 1)-simo orden. Transformemos el determinante d del
modo sigu iente: de la n-sima (la ltima) fila restamos la (n-1)-sima, multipli-
cada por a1; despus do la (11 - t )-sima restamos la (n - 2)-sima, mulUpli-
cada lambin por o1 etc .. linnlmonle, de la segunda ftla restamos la primera,
mu lliplicaJa por a 1, Oblonom~:
1
o 02- 0 1
d= o a!-a 11t2
2 43 n
1l = (a2 - a 1)(a3 - n1) .. (an - a 1) a~ 0 1 "
a,.n- 2
a,.n - 1
d' r
a ai a: "
a,.
1 2 03
t
tt ig11nl al producto dt todas las diftren ciat posiblu a;-a, donde
<
1~ 1 i ..;:; n, es decir,
ti' - 11
t :< i< i<n
(a-a) .
48 Cap. T Sistemas de ecwiclones l11tet1les. Det.e rmlnantes
o
"lik.
k+f, h h+1.1t +1 4/H t n
On t nlt "h + i nn
Este dotermioantc es igua l a l producto de dos de sus menores:
ih ll h+J"h~,_: .11+1.~ I
alth On, J.c+t 4nn
4-252
50 Cap. l Sistemas tk ecuaciones lineales. Determinantes
tl ~- ( - 1)1+Hl+3 - !.~
1
f')11 - 3 1
1 - !
4 2
-5
'! 1+
"
'- ( - IJl_"'4+1 +S =;/, 2 1-!3 -~1
.1 .
+ (-1)" +4+1+3 1 - 2l
1 3 J . ) :1t
'
-2 l'
2
1 -!i =
5
7. Regla de Cramer
"
mediante ~ a 1
viadamente
,_-, S i se cons idera una s uma, cuyos suman-
dos a11 es ttn provistos ele dos subodices, siendo i = 1, 2, ... , n,
; = 1, 2, .. ., m, se pueden tomar primero las sumas de elementos
m
con el primer subndice fija do, o sea, las s umas ~ au. donde i =
J= I
= 1, 2, ... , n, y despus, sumar t odas estas sumas. Entonces,
par.l la s uma de todos los elementos a 11 , obtenemos la expresin
o sen, on la suma doble s<: pui'de cambiar el ortl<n d< los sumandos.
P ongamos ahora en la i-sima ecuacin de l sist ema (1) los valo-
res (3) de las incgnitas. Como el primer mi embro de la i-sima
Cap. I Sistema dr ecuacfones lineales. Olumlrtantes
tl "
2x 1 r x2 -5:r3 + x4 = 8, )
.r1-3.r2 -6x~ = !l,
2.r2-Zr;- 2.r4 - - ~>
.r1 -1- 4.ri- 7x3 1 6x4 O.
El dotcrmiuant() de cslc sistema es d iferente ele cero:
2 1 -5 1
1 - 3 o -G
27,
" o 2 - 1
4 - 7
2
G
.~ 7. Regla de Cramu
2 - 1
1, - 7
8 l 2 1 - 5 8
9 - 6
= - 27, d, =
1 -3 o 9
= 27.
-5 2 o 2 - t -5
o 6 1, -7 o
Por lo tanto
z, ~ 3, Z2 = -4, :t'3 = - i , Z =r f
ser lo soluci6n de nul'SLro sstcma y, adems, la nica.
H emos excluido el caso en que el delcrminanle del sistema
de n ecuaciones lineales con n incgnitas (1) es igual a cero. Este
caso lo dejamos para el ca p. 2, donde hallar su sitio eo la teoria
general de Jos sistemas de cualquier nmero de ecuaciones con
cualquier nmero de incgnitas.
R eferente a los s istemas de n ecuaciones lineales con n incgni-
tas, haremos otra observncin ms. Sea dado un sis\,ema de n ecua-
cior1cs lineales homogneas con n incgnitas (vase ol 1):
ll11X1 + "1::X2 + ... +a 1nXn=O,
I~ !J=kz-1
scrti igual a cero solamente para k = f. Es f:cil comprobar que para cada
uno de estos dos valores do k, ol sistema dado posee vordallcramente solucione5
dlerentcs de la nula.
Lu import<mcia de la regla de Cramer consiste fundamentul111c11t.c
en que, e11 los casos en cue es a1licable esta l'egla, sta da una oxpre
sin ex plcita para l a solucin del sistoma mediante los coeficientes
del mismo. Sin embargo, la aplicacin prctica de la regla de Cramer
va aparejada cou clculos muy complicados: en el caso de un sistema
de n ecuacioJJes lineales con n incgnitas, se tienen que calcular
n +
1 determinantes do n-simo orden. El mtodo de eliminacin
sucesiva de las incgnitas, expuesto en el 1, es en este sentido
mucho ms cmodo, puesto que los clculos que se necesitan para
nplicat este mtodo son, e.n esencia, equivalent!'.s a los que se tienen
que realizar al calcular un solo clelorminante de n-simo
orden.
En a lgunas aplicaciones aparecen sistemas de ecuaciones lineales
cuyos coecientes y trminos independientes son nmeros reales.
obtenidos al hacer mediciones de algunas cantidades isicas, es decir,
que se conocen slo aproximadamente, con cierta exactitud. A veces,
los mtodos expuestos anteriormente para la resolucin de tales
sistemas son inadecuados, debido a que proporcionan resultados
poco exactos. En su lugar, se han elaborado diversos mtodos
de iteraci6n, o sea, mtodos que permiten resolver los sistemas indi-
cados de ecuaciones mediante una aprox imacin sucesiva do las
incgnitas. La exposicin de estos mtodos puede consultarla
el lector en las obras sobre la teora do las aproximaciones.
CA PIT ULO U
En efecto
o- (0, .... 0).
a + O= (a1 + 0,.a 2 + U, ... , a,, + O)=(a,, a2 , , a,.)=cr..
Para des ignar el vector nulo emplearemos el mismo smbol o O que
se empica para el nmero cero; nunca encontra remos dificultad
.alguna para averiguar si en el momento dado se trata del nmero
-cero o del vector nulo; sin embargo, al estudiar los prximos prra-
fos, el lector tiene que recordar que el smbolo O se puede emplear
en di versos sentidos.
El vector
(5)
se denominar vect.or opuesto del vector (1) . Es evidente, que
<X + (-a) = O. Ahora , es fcil den1ostrar que para la adicin
de vectores existe la operacin inversa: la sustraccin; la diferencia
<l e los vectores (1) y (2) es el vector a - ~ ~ a ~). o sea, + (-
a-~ = (a.-u,, a 2 - b2 , , 11,,-bn). (6)
La s uma de vectores de n dimensiones, definida por la frmu-
l a (3), fue originada por la suma geomtrica de vecl.ores en el plano
-0 en el espacio <le tres di111ensiones, efectmida de acuerdo a la regla
del paralelogramo. En Ja geometra se define tambin el producto
<lo un vccl.or por un nm ero real (por un 1<eisc;1 lan>): multiplicar
el vector a. por el nm ero k significa, siendo k > O, que ol vector
a. se alarga k veces (o que se contrae, si k < 'I), y siendo k < O.
que se alarga 1k1 veces y se cambia su direccin por la opuesta. Expre-
sando esta regla mediante las componentes del vector y pasando
al caso gelleral considerado, obtenemos h1 definicin siguient.e:
Se llama producto del vector (1) por el mrnero k, al vector
Ira = ak = (ka 1 , ka.2 , , ka,.), (7)
cuyas componentes son iguales al producto rle las correspondientes
componentes del vecl.01 a por el nmero k.
De esta definicin se rleducen las siguientes importa11les pro-
piedades, cuyas demostracio nes so dejan al lector:
k (a ~)=ka k~; (8)
(k l) a = ka la; (!J)
k (la)= (/d) a; ('10)
1a = a . (11)
00 f'ap. 11 S1.. lem<1:: <lt t"l'tw rlrmt>s l ineales ("'orla gen~ral)
0-a = O; (12)
(-1)a = -a; ( 13)
k-a = O; ('llo)
si ka O, entonce;; .. ._ o, o bicu a = O. (15)
supongn111os que los vectores (1) estn ligados por la relacin (2).
en lo que, por ejemplo, J.:, ::/= O. Entonces,
en = (O, O, U, ... , 1 ),
denominodos vectores unitarios ele este espacio.
El sistema de vectores unitarios es li,calmente independiente. Sea
k,&t + /.;2E-_ + . . + kn&n O;
como e l primer miembro de esta igunldad es igual al ,ector
(k" k 2 l.n). se tiene
. ,
(k,, k 2 , , k,.) - O,
o sc11. /; , O. i - '1, 'l. . . . . . 11, pucslo que lolla:1 las componcnles
del vector nulo son iguales n cero y la i::1111ldad de vectores es equi-
valente a In igu11ldad de sus co111ponenlc.'l correspondientes.
Por lo Lnnt.o, en el espacio vcctorinl de n dimensiones hemos
lmllndo un sistema linealmente imle)endicnle. com.111e~to den vecto
res. E l lcclor vori ms .. delante quo en rc11l idad, en es te espacio
exisle11 i nfinilos s istemas de sto:;. Dcn1ost.rc1nos, por otra parte,
el sigu icn Lo loorc11111:
Cuo.lesquiera s vectores del espaco vectorial (le ri dimensio11es
forman , para s > n, un sistt-ma linealmente dependiente.
En efecto, supongamos que so han dado los vectores
a, = (a11 , ~ ... , a n).
1
~ = {a2.I Oz:, .. ' 21)1
. 2i
pero ~ 1 """' .,,,_. k; ,,,a,.,,, = 1, 2, ... , s. Sus ti tuy'ndo l'll ('1 0) rHas
exprc:<iones, ohtt>11emos:
r r
. 1'; = ~ I.{ ~ k;,..et111 )= }2 {~ l 1k 1,,. )a,.,,
f-=- i m t tn=J ' t
o sea, c ualquier ''cctor y , j = 1, 2, ... , t es combinacin lincn l
do l os ,cc\.or:> al el 11is1e111:) (1) .
Dos :;is temas de ,er.l.oros so llaman equiua/r>ntes, si catlu uno
de oli os !"e expre~a li11e11lrnen tc medi<111tc el otro. l>c la ley tra11 siliv11
que al'abamos de 1lc111o~ lrar. l la que satisface la propiedad de los
sistomns de ve<'lorl':< rl c exp resarse linealmcutc entre si, se derluco
el cu111plimie11to de Ja misana ley p:1ra el co11cl'pto de equivalr ncia
de los sistemas 1le vectores. De. aqu lamlii11 ~e deduce la afir111a-
ciin sigui en te: siendo l'<llit:afrontes dos sistemas de VPCIOffS, si 1111 i,c /or
se expresa linealment e mediante uno de estos sistemas, entonces se
expres11 t11m.bi.n linl't1lnunlc mcd.iante e/. ol.ro.
'o se puede nfirmn r que s iendo linoolment.o independi ente uno
ele rlos sistemas ele Yectorcs, equin1lentes etltro s , lo es ta111liin
S-252
66 t: "P 11 Si.c.lt'tufC.f (/e et:uClclo11t:t i uu:alt's (teorln general)
2 ~21,ll1-I ~2~~~
+ .. .
'. : ...
- a,.~.,
+.~~..
l (11)
a, a, 1 ~ 1 -j- a,.~? , ... ---;- a,8 ~
Lo:< cooficie11lcs de est as expresiones lineal c:i forman un s i:;kma
de r vec Lorc:s de s dimo11:sio11os:
Yt - (a11 1 1 2 a,. ),
)'2 = (at, 0 22, u),
!'.''.'.'iJ' .~~
! 1 (l =-' :. ' ti Tr J (/
''.''.' '. ' . ".."'."
T />! 1 "T/I
L\; -
cue !iV obli cue vrl1111do el mc11or D ( o n lo;; ulemenlos corres pon-
dientes de la /-l-si111a col umn u y de lu i-si11111 fln . l't1ra cuulquier i,
el determinant e 1:1 1 es igual a <:tJro. En efecto, 8i i > r, tJnlonces
11 1 scrt un menor de (r +
t)-simo orden ele 11utisLnl m11triz .4, y, por
lo tanto, es igual a cero, en virtud de la elecci n del nmero r. Si i r, <
entonces i.\ 1 no ser ya un menor de la mat.riz A , fluClltO que no puode
ser oblenido de esta matriz suprimi endo algunos de s us fifas y (',olum-
nas; sin 1m1bar:w, el determina11lc 1:1 1 co11lendr1 a hora dos filas igua-
loi; y, >t>r consiguiente, ser; dl 1111two ig11;1I u cero.
Consideremos los complementos algebraicos de los elementos
de la ltima fil a 1lel !letermi1111nle ~ 1 . Es evide nte que el rne uor
D sirve do complemento <ilgohrnico n.1ra el olcmc11to 4 11 Si 1 <I~
< r , el complc1ncnLo algebrai co del eleme11lo a 11 en A, scr: el nmero
( - l )(f l)ij
11 ., 11,, j- j t . . ll1rll 11
. . . . . . . .. . . . . .
l
.
! tir e . . o.,., - ifl,..);. . . . 0,.,.(t,. '
10. Rango <k u na matri: 7l
Esta igual dad se ver ifica para todos los i, i = 1, 2, ... , 11 y como
sus coeficien tes no dependen de i, resul ta q ue toda la l-sima colum-
na de la maLriz A es una s um a de iws primeras r colum nas, tomad as
.
respectivamente con I os coe r1c10ntcs
. Ai .. . , A , .
- 0A 1 , --- 0
Por lo tanto, eo el sistema de las colum nas do lu mat riz A hemos
bailado u o subsistema linealmente independiente niaximal com-
puesto de r columnas. Cou est.o queda demostrado que el ra ngo
de la matriz A ci:; igun l a r , ei:; dec ir, qu eda de rno:slra do el teo rema
so bre el m ugo.
Este teorema proporciona un mtodo para el ctlculo prctico
del rango de la matriz, y tambin para la soluci(m del problema
sobre la existencia ele dependencia lineal en un sistema dado do vec-
t.ores; forma ndo una matriz para l a q ue l os vectores da dos s irvan
do col umnas, y ca1cu la11 do el rango de es ta ma lriz, obte11emos
el 111'.11nero mayor d e vectores de 11 uesl ro s ist ema, li no11 l111e11l o inde-
pc11d ion tes.
El mt odo para el c1ilculo del rango do una matriz, basado
en cl teorema sobre ol rango, requiere el clculo de un n1mcro
de menores de esta matriz que, au nq ue es fi11i to, puede ser muy
gra nd e. Sin emba rgo, la s igui ente observa cin d11 Ja p osibilidad
do introducir 011 este mt odo si mplificaciones coni<iclerab lcs. Si e l lec-
tor examina otra vez miis la demosLracin del teorema sobre el rango
de la matriz, observar que al efectuarla no se aplic la igualdad
a cero de todos los menores de (r + 1)-simo orden de l a matriz A,
s ino que se 11saron solu monto l os menores de (r + 1)-simo orden
qu e orl a b111 a l meno1 di1do D de r-simo orden, diferente do coro
(o sea, que lo contienen tot al mente dentro de si). Por lo tnnto,
de la igualdnd a cero solamente de estos menores, se deduce que r
es el mximo nmero de columnM l ioealmcnlc independientes
de la mal,riz A. Esto ltimo trae cousigo la igualdad a cero de todos
los menores do (r -;- 1)-6simo orden do esta matri1.. L legn mos a la
siguienLe reg la pa ra el c lculo del ra ngo de un a malri z :
A l calcular el rango de una matriz se debe pasar de los menores
de menor ordni a los de orden mayor. Habiendo hallado un menor
D de k-sirno orden difaente de cero, se debc'IL calcular solamente
72 Ca p. 11 Sistemas de ecuaciones lin tflln (teora general)
d 1 =; ~ 1ro.
El menor dl' tercer orden
., /, ; 1
d' = i =~ 1 .
1o 1 - 1
es un ol'ladu del menor ti, dift't'C11t e de cero, d' = l. no obstaott:>, los orl a-
1los de cuarto ordou dol menor <I' son iguale~ a cero:
2 - 1, 3 2 - li ; o
1 - 2 -li 1 - 2 2
o t - 1 3 = 0, o - t 1 ""
- 7 4 -lo 1, - i 4 5
"
Por lo tanto, ol rango de l a matriz A es igual ~ t.rcs.
2. Hallar 1111 s ubs istema, linenlmeotc independi en te, maximal en ~I
sistema do vectores
a 1 = (2, - 2, - t.), a 2 = (1, 9, 3), a 3 = ( - 2, -4, 1), a, = (3, 7, - t).
Formamos la matriz
( 21-2 3)
- 2 9 - 4
- 43 1 - 1
7
l 2 l 3)
;, -1 -5 -G
(1 -:~ - 4 - 7
2 1 - 1 o
';/ baHemo;;. ~\\ ra11g<>. \;;\ 111eo de s.egm11l1> orden , :;i\U>\\lo "" .,\ ;\11gu!o ~upol"r
de Ja iz<1uierda, i!s t.l iforontt> Jo coro. Pero. coioo ftll~ilinont.c se co1111uucbn, su~
cuatro determioaoles orla1l o!'( de torcer onleu ~011 igu:llc~ u cero . De aqu :;e
deduce que las 1l'imcras do~ fi las Ol uuc;;tra matrii ~'' linonlmonl.o incl<>pendicn-
tes. mientra~ que la tcrrcrn y lu ctwrt~ son comhina(ion<s lin<>alcs do ellas.
Por ccmsiguientc, el 'is tenia / 1 , fz es el s ubsistema huscado dtI sisllnrn dado do
formas lineales.
de la matriz que :;on diferentes de cero es menor que 1i, o sea, que el
rango es menor que n, y, por lo demostrado anlcriormenle, las filas de
est.a matri z son linealmente dependien lllJS.
Se sobrcc11Licnde que en el enunciado de la consecuencia que
hemos demostt:Hlo se puede hablar do /as eo!umnas del determinante,
en lug11 t ele la:; fi las.
f.xisto tall)bi n otro mtodo para c11lc11 lar ol l'1111go do u1u1 matriz que no
esl ligntlo con ol looreml sobre el rango y cuo no rcq uie1c el clculo do detormi -
nunlos. Pmo ~o 11ucrle aplicar solamonto c1.11111lo so <1uicr11 det.crm in ar el mismo
rango y no icctcrcsc ~abcr qu columnas (o filas) son lt1s que JJl't'<lisamont.c forman
un ~i>tmun lin o11lmc11tc indc1Jcndicnte muxinrnl. Veamos este mtodo.
So 11111111111 lra11s/or111acio11es eleme11talts de 111111 matriz A & las siguientes:
(n) In pormutacin (trasposicin) do dos filos o e.le dos columnas;
(b) In 111ulliclic11ci6 11 do unn lila (o de una colwnn11) por un nmc;ro arbi -
trari o difcorc>nll do cero:
(e) lu Mima 11 una fila (o a unn col um1111) de o t ra lila (colum na) 111ul1ipli-
cada 1>ot 1111 111ruero.
r'1ci l11wntc ~ ob~rva que las trnns/ormn<olCts elemen tales " aturan ti
rnn:o de In motr:. En cfocto, 8i. por rjcm11lo. >C 1cplict111 esta~ translonnacio-
nes u In~ col11mn11s de la mnlriz, entonces ol ~i~tcma du column a~. colll!idcradas
como vccl<irc . "-O ~u stiluye por otro equ ivalente. Demostremos est o S<J lamentc
parn In tran~orm 11ciu (c), puesto que para las (n) y (b), eg evidente. Supongamos
que n In -~m n columna !;e agrega la J-sima cu lwnnn , rnulti11licada por el nmc-
t o k . Si un l rs ele In lrnn~formacin , los vectores
(1)
muestra a su \ 'Cz, quo el sistema (1) se cxprl'sn linealmenle mediante el (2). Por
consiguicnl.-0, c:!los sistemas son equivalentl'S, y sus subsi stemas, linealmenlo
indopoodicn tcs maximalcs estn compuestos Je un mismo nmero do vectores.
Po r lo tanto , para calcular el rango tic 1111n matriz. se puede simplificar
previamente mediante una combinacin d o tronsfomrnciones elementales.
So dice quo uoa matriz que consta do s lil as y 11 co lumnas es de forma diago-
1101 , si todos sus olemcntos son il{unles n cero. n oxcepcin de los elementos"'
a 31 , .. ., a,, (don do O ~ r ~ min (s, 11)), <uo 8011 igualos a la unidad. Es evldento
que el rongo do esta mutriz es igual n r.
1'0<111 matriz se puede reduc r a 1,. forma ding011al mediante lra11sformocones
elementales.
En electo , sen dada la matriz
.~ JO Rango de uM. matriz 75
:Si lodo~ sus elementos son iguales a cero, esta tiene la foru111 diagonal. Si en olla
hay elementos diferent.es de cero, trasponiendo filas y columnns se puede con-
, cguir que el elemento a 11 ~ea difcrentu de coro. Multiplicando despus la prime
ra fila por a1t. convertimos d elemento a 11 co la unidad. Jlestando ahora de la
jsirna columna, j > 1, la primera columna, multiplicada por a 11 , so sustituyo
por cero el elemento tJ Efectuando esta transformacin con todas las colwn-
11as. comenzando con la segunda, y tambin con tocias la filas, llegaremos a la
:urnt riz de la forma:
,., _( -~ -~ -~ ) .
() ;; -to
2 :1 o
Trimsponiendo en csla matriz I~ irimora y segunda columna, y m ulti-
T, ll~gawos a la malriz
)
JJlicautlo la primera fila por el nmero
-:
(
-'~ -~
1 ;~ 7
;, o -10
a 2 o
Agrr..gando a su tercera co lumua h1 primC'rn 4.luplicacln y n~~-rcg:-HHlo h!"pn:-> A cacla
tic' ta~ dems fila~ 1111 mltiplo l la nueva primera filu. olil~1u.~mos la 1t1ulri1.
t1t1i-l
( ~ -'~ -~)
o
o
o
:i
o
:!
9
o
6
.
ili C11p. 11 Sistemas de ecitaciones lineales (teora ger1eral)
A=
11 2 ...
21 22
"' )
a2n , , i[ =
( 11 2 ...
"' "')
ll21 llz2 a2n b2
( . . ....... .
" 2 n &. a,, 2 a,,.
y calculemos los rangos de estas matrices. Es fcil ver que el rango
de la matri z A, o es igu.al al rango de la matriz A, o es mayor en
una unidad. En efecto, tomemos un sistema rnximal de columnas
de la matriz A, linealmente independiente. Este tambin ser lineal-
mente independiente en la matriz A. Si conserva tambi~n la pro-
piedad ele ser maximal, o sea, que la columna de los trminos inde-
11. Sistemas de ecuaciones lineale.~ 77
... + a:?J,Xn
bi.
"' IJi,
l
ecuaci on es del sistemn (1). Por consiguiente, es s uficiente hall a r
todas las solucione:; del sistema
(2)
al menos uno de los men ores de r-sirno orden de esta matri z es dile-
rento do coro. Si r = n, entonces (2) ser un sist ema con igual nmero
de ecuaciones c111c de incgnitas y con un determinante diferente
de cero, por lo que ste y tambin el s istema (1), t end rn solucin
nica, que es precisamente la que se ca lcula por la regla de Cram er.
Supong11nos a hora que r < ri, y pura prec isar, supongamos que
es d iforente d e cero el menor de r-.'lirno orde11, formado por los
coeficie11tes do l11s primeras r incgnitos. Trash\demo:; al segundo
mi e mbro , e n cu dat un a de las ecuaciones (2), todos los trminos que
c onlic 11c n las in cbgnilHs .x,.,, ... , .x,.
y (' )i jn1nos para estas iucg-
nHas alcunos valo res c,.,. 1 , , e,.. Obtenemos un s is temo
de r CC\11\COT\CS
C: I rnnto 1lc la matriz de lo~ coeficicnll'S e< igual a dos, o oa, es igual
nmero <lo inc(>gnitas; el rango do Ja nu1triz ampl iada tambin es igua l a dos.
al
Por lo t anto. el sistenia es compalihlo y tiene ~oh1 cion rni ca. Los primeros
miembros do las primeras dos ocuaciun<>s son li11 calmcnle in dcpcndicnte5; resol-
viendo el sistema dc cst:i~ dos ecuaci on('s, obtenemos los sigui entes valores para
las inc6g11itas:
5 23
.r, = -1'7 "'~ ~ 17'.
Vemos {cilmenlo que esta sol ucin sat isfM"' tambin a la t~rcera cc11ac in.
3. Hesolver e l s i;;toma
x 1 i :Tz-2x.~- x,+ x5 = 1,)
3.r1- :c2 + x3 -!-. 4x4 + 3%6 = 4,}
x1 -'- 5x 2 -9.x3-8x.4 I "s = O. )
El ~istema es comiw tible. pues to que el rango de lll matri z 111:npli11da 11I igual
que el do la matriz de los coeCiciontos es igual a do.s. Los primeros miembros
de Ja primer>,\ y tercera ecuaciones son linea lm ente iudepeodicntl!8, puesto
que los coelicientes do las incgnitas x, y x~ forman un menor de segundo
orden difeJ'CJlle do r.ero. El sistema de ~st11s tln~ ocuacion"s lo rnsol vemo8 supo
niondo qu e las incgnitas x3. "'t'
x~ son indcpuudient cs; para ello, trasladamos
stas a los segundos miembros <e l as ecuaciones y su ponemos que yo se les han
atribuido valores numrico_s. Aplicando la regla de Crnmer, obtenemos:
5 ' i
%1~4 1 4
3 .t:3-42:4-%5,
Xo=
-
-!.+2.
4 4
%3+ 2.
4
X&
JJ. Sltmaa dt tcuaclonei l/n,al., 81
1 - 8
2 : !31 "' - 77,
14 I -:t
...... = a21 zz
(
n-1. 1 n- t. 1
+
n-t. 1Z1 + on-1. 2:ti -\- + n-t. n- t%n-t = -an-1. nXn.
El mngo <lo h1 mat.z'iz <le los coeficientes l)S igual a dos; el nmero de
incgnitas es igual a cin<:o. Por coosiguiento, cualquier sistema (undamental
de solucionlls ele 1slo sisl1\IDa do ecuaciones consta do tres soluciones. Resolva-
mos el sistema limituH.louos a las dos primeras ecuaciones linealmente i.ndcpen-
dientcs y tomando como independientes las incgnitas z., x 4 , z~. Obtenemos
la solucin gcuerl\l dQ la forma:
19 3 1
"' 1 =s" 3 !- 8""4 - 2"'~
7 25 1
rz = s :t3- 8 x, + ;r"'~
Tomemos luego los ><iguicnlc!I tres vecto res de tres d imensiones, lil\ealrnonte
independientes: ( 1, O, O), (O, 1, 0), (0, O, 1). Sustituyendo las componentes de
cada uno do ello~ en la ~olucicin g~neral . en calidad de valores para las inc~ni
tas indopendientes, y, calcu lando los valores para z 1 y x,.
obt.eueruos el sigu1 cn-
to sistema fund<imontal tic s.o luciones del sisten1a d:ido de ecuaciones:
rn
a, = ( 3-. 7
f' 1,0,
o) . et.2 =
(s
:~ z~ o
-3 . . 1. o.) .
UstXt
n esu lla:
n ti n
~ a11 ; (c-cj) = ~ anc;- ~ a11 ;c; = /1,, - h = O.
i= I l l j=I
De cslos tcorcmns sr drduce que, hallando una solucin del sis-
tema de ecuaciones li11eafrs no homogneas (5) y sumndola con cada
una de las solucione~ del sislema reducido (6), obtenemos todas las
soluciones del sislt:ma ([>).
CAPl'l' ULO 111
t 3. l\lultiplicacin de mat..iccs
En los captulos anteriores el co nce pto de matri z so haba empicad<>
como un iostrumero auxiliar, esencia l p;1ra el estudio de los ~is
tomas de ecuaciones 1i11c11les. Las numerosns y diversas aplicacionc.-
de este concepto contri liuyerou a convert do en ol objetivo de u na
amplin t eora particular que, en gran 1rnrtc, sa le fuera de los mar-
gencs de nuestro curso. Ahora nos ocupr1remos de los fuud amcnlos
de esta teora qu~ com ienza definiend o de un modo original, pero
bien funclan1entaJo, dos operaciones algebraica~: JI\ suma y la m11l-
Liplicacin, aplicab les al conjunto de tocias lns mntrices cuadradn,;
de un orden dado. Examinemos primero lll defini cin dcJ producto
de mal.rices; la sumn de matrices la vcl'emos 0 11 el 15.
Por el curso de geo mctria nna ltica so sa be que al girar los eje:<
do u11 sist ema rectangular de coordenadas en el plano, en un ngu-
lo a, las coordenadas de los pu otos se transfo rman segn las fr-
rnulas siguientes:
u ii 1")
-
A-
(
21 22
. . ..
211
. . .
0111 a n:? ann
:!) ( -2
2 u
3 :! .
li - 1 5
!) ( - 3
o 1
:! 1 -
0 - 1:3
) (- ti
"
- 12 -3 l li
2 ~) .
3> (~ ~r ~ e ~)
4) llallnr el
(;~)
rc~ul lado
e~ ~).
de la rcali1acin
1
!J"!. - =::-a: 3,
YJ :!"2
\Julli pl icantlo las lllal.-iccs, <1htcr!l'mos:
c1- 1 :o3 ) .C
(1
- :.!o 1) = C
o:.! o
7 - !
:;
-2 1
101) .
1-!)
o :, - :i.-.
2
(-3oo - o (
2 1) - 2
2 o 1) (-8o 3-1)
32= ;, !l .
1 ;{ ;, - 1 ; 1 /i - li t :\
C ap. 111 A lgebra de las matrices
Vernos, pues, quo el producto dC! las matrices depende del orrlc11
do los fuclorcs, es decir, que la multiplicacin de las matrices
no es co11mu tat.iva. P or cierto, esto era de esperar, aun que slo :;et\
por ol hecho de que, en In defi nicin de Ja matriz C , dada anterior-
mente medi ante la fnnuln (3), las matrices A y B no [igurnn
do 1111 modo equivalente: en A se toman las filas, mientras que
en JJ, las columnas.
So pueden sealar, para todos los n, comenzando desde n ' 2.
ejemplos do matrices de 1t-simo orden no conmutables, o sea, de ma-
\rices cuyo producto se altera al perm ut ar los facto r~ (las matrices
de segundo orden en ol ejemplo 1) no !Ion conmutables). P or olra
p1lrtc, dos matrices pueden ser ocasiom1Jmente conm ut.ahlos, como
11111estra el s iguiente ejemplo:
(- 47- 172). (2015 2645) -- (2615 4265). ( 7- 12)7 --- (21 2~~) .
- /
n n.
l1 = ~ a1kVhJ = 2j } a11,b,C,
lt t ~ = t l~ l
o o - 1 n1 b,. z ... mr
La aplicacin del teorema <le Lap lace al detc rniinante - su
dt:-:>arrollo por los menore:s de las primeras 1i fa8 - llOS \\e'' }l \a
sig uiente igualdad:
.'.l = 1A JI BI.
Procuremos, a su vez, transformar el delor111na11lc ~ de 1.11(
modo que, sin cambiar s u valor, t.oclos los elementos bu . i, j ~
= 1, 2, ... , n, queden sustituidos por coros. Con este fin, agr<'-
g uemos a la (n + ! )-sima columna del determinante /j. :;u p1me rn
columna, multiplicada JJOI' b 11 , su seguncl11 columna, 11111lt.iplicada
por b2 ,, etc., y finalmente, s u n-tsima col umna, 11111 lliplicada por
hnt Desptis, agreguemos :1 la (n +
2)-sima columna del dete rn1i-
nante la primera column, multiplicada por b, 2 , J;1 segun<.1:1 colum
na, multiplicada por b 22 , cte. En general, ;1gregue111os a Ja (n j) +
Cap. 111 Algebra ck las matrlcu
E ~
()1
.
() .... )
o
.
(
o() 1
qu e t'S ad<m;b r on rn11L11hk co11 c ual<uiC'r maLriz ;I dtI <>r<len ciado.
,tE = l!:A = A . ( 1)
EsLas ig ualdades se demu<~stran ;iplic:.ando tlircc:. t.am cu!.(' la re!{la
ele mullipli cacin de lns mal.rice~ , o has;udo~e en la ol.tse rvac i11
de QUI) la mat riz 11ni1h01l (' ()l'l'('SjlOltde a la Lra11sforn1a('>11 lin c;tl
idntica de !ns indet.cl'mi11<1dns
,,., !J.
:.:z ~ Y:!,
.?:u ~ !fn,
cuya realirncin , antes o <lt':;pus tlu c:.u;i lqni or otra lr:1osform:.1ci11
lineal. no camb ia . evidt1it.cmenle, esta ltima.
Ob~1irveso que la matri ~ R es la nica que satisface a la condi-
cin (1) para. cualquier matriz A. En efecto, s i ex is tic:<<' olr:i ma-
triz E' con esta propictlad. tend r amos que
/:.'' E - E' , l!:' E = E.
de donde, E' = F..
Tamhin ~e llama mat.riz r1gul:i1-. (1\'ota del 1'.)
Cnp. 111 A lg<bra d las matrices
A _
ali
21 a22
12
' tn )
'"
(
a:u . a~,z ... ~ ~r1~1
LI\ matriz
A11 A 21 . .. An1)
A1 2 A:2 In:
(
A .tu. -~~. ~. . .1:"'
formada por los complementos algebraicos de los e lemen tos de Ja 1ni1-
triz A, donde el complemento algebraico del elemento a 11 est situado
en Ja interseccin de la j -6sima fila y de Ja i-6s.ima columna, se llnma
matriz a.djunta de la matri7. A.
Hallemos los poductos AA y AA. Aplicando la frmula estu-
diada en el 6, sobro el desarrollo de un determ inan te por los
elementos de una fila o columna, y tambin el teorema del 7,
sobre la suma de los productos de los elementos de cualquier fila
(o columna) de un dotorminante por los complementos algebraicos
do los ole01entos correspond ientes de otra fila (columna), y desig-
nando con d el determinante de la mntriz A,
.d=I AI,
14. J.fatrlz lnursa 97
AA = AA=
(
d
O .
o ...
~ ..
)
? (3)
o o ... d
De aqu'i se deduce que, si la matriz A no es degenerada, su matriz
adjunta A tampoco lo ser, siendo adems, el determinante d* de
la matriz A* igual a la (11- 1)-sima potencia del determinante d de
la matriz A.
En efecto, pasando do las igualdades (3) a la igualdad entre los
determinantes , obtenemos :
entonces,
CAA- 1 = C (AA-1 ) =CE = C,
CAA - 1 = (CA)A-1 = EA-1 = A- 1 ,
de donde C = A-1.
Do (4) y del teorema sobre el producto de los determinantes,
se deduce que el determnnnte de la matriz A- 1 es igual a ,.~ . A s,
pues, esta matriz tampoco es degenerada; la inversa para ella es la
misma matriz A.
Si se dan ahora las mu trices cuadradas A y B de n-simo orden,
de lns cuales A no es degenerada, mientras que B es arbitraria,
podemos efectuar la divisin pot la derec.ha y por la izquierda de lJ
por A, es decir, resolver las ecuaciones ' matriciales
AX = B, YA = B. (5)
Parn c;;to, en vil'Lud de la asociatividad del producto de las matri-
ces, es s uficiente hacer
X = A- 1B, Y=BA- 1 ;
como el producto de las matrices no es conmutativo, por lo general,
estas soluciones de las ecuaciones (5) sern diferentes.
F;jcmplo~. 1) Se da la matrii
.11 ... ( -~ -: ~) .
2 -1 4
Su determinante f A f= S, por consiguiente, !11 motrii inversa A-1 exate:
i- -{)
A-~ (
1
: ! -1
2) Se dan las matrices
14. Matrl: Inversa 99
La matriz A no es degenerada, y adems,
-4
A-' ~ (
3 '
3-2)
por ro tanto, las soluciones de las ecuaciones AX = B, Y A = B sern las
matrices
o- 3)
(
1 - 4
32 )=(11
1 -1).
o- 1
El producto de las matrices rectangulares se puede ligar con
la ejecucin consecutiva de las transformaciones lineales de las
indeterminadas solamente si en Ja definicin de estas ltimas
no se insiste en que se conserve el nmero de indeterminadas en
la transformacin lineal.
7
iOO Cap. T11 Algebrn de las matrices
l
de Cramcr, evitando los complicados clculos que se realiza1on
en e! 7. Sea dado un sistema de n ecuaciones lineales con n incbg-
nitas:
a11X1 + a12X2 + .. + a1n'C11 = b,,
1121~1 +."~2~2 ~f-.. : ..f~ ".2.. ~1~ ~ ~2 '. (())
lln 1X1 +
llniXz + ...
+ (11111X11 = b,.,
donde el 1letcrminante dol sistema es diforente de ce ro. Designemos
con A la matriz de los coeCicientcs del s istema (6); esta matriz
no es degenerada, ya quo, por la suposicin hecha, d = 1 A 1 O.
Designemos con X la colum na de las incgnitas; con B , l a cvlumna
*
<le los tr111.nos indepcndientos del sistema (6), es decir,
X=(:: ), (~ B ) .
Xn b11
El prorluclo AX tiene sc r\tido, puesto que el nmero ele columnas
de la nrntriz A es igua l al nm ero de fila~ de la matri'l X. y adems,
esto producto ser una columna, formadn por los primeros miembro:;
do las ecuaciones del sistema (fi}. Por lo tanto, el sistema () puede
escribirse en forma de una ecuacin matricial
AX = B. (7}
l\foltiplicando a la izquierda ambos rnicrnbros de la ecuacin (7)
por la matriz A - L, cuya existencia es consecuencia de quo la matriz
cuadrada A no es degenerada, obtenemos:
X = ;1- 1 s. (8)
El producto que figura en el segundo miembro de esta igualdad
es una matriz de una sola columna; su j-simo elemento es igual
a la suma de los productos de los elementos de la j-sima fila de la
matriz A- 1 por los elementos correspondientes de la matriz B. es
decir, es gual al nmero
A1 A2J AnJ i
d b, +-d- b2+ .. . + - d-b,, = (A, 1b, + Azbd - . .. +A,.;f1,.).
11. 11 atrlz lnversa 10!
(~ ~) (~ ~) = (~ ~).
(~ ~) . (~ ~) = (~ ~) ;
en ambos casos se multiplican matrices do rango 1. Sin embargo, en
un caso el producto tiene el rango 1, mientras que en t'l otro , el rango
es O. Subsiste solamente el si guion te teorema, que no slo es justo para
las matrices cuadradas, sino tambin para las mal.rices rectangulares:
El rango del producto de varias matrices no es superior al rango
<h> cada uno de los f<1CLores.
Es su iciente demostrar este teorema para el c11so de dos factores.
Sean dadas las matrices A y B, para las cuales tiene sentido el pro
dueto AB; emplearemos Ja notacin AB = C. Veamos Ja frmula (3)
del 13, que da la expresin de los elementos de la matri7- C. Toman-
do esta [<rmula para un k dado y todos los i posibles, (i = 1, 2, .. .)
obtenemos que la k-sima columna de la matriz C representa una
suma de todas las columnas de Ja matriz A, tomada::; con ciertos coe-
{icientes (prccisament1i con los coeficientes b1k, b2 k, . ). De este
modo, queda demostrado que el sistema de columnas de la matriz e
so expresa linealmente mediante el sistema de columnas de la ma-
s
triiA, y, por consiguiente, como se ha demostrado eu el 9, el rango
del primer sist.ema es menor o igual al rango del segundo sistema;
en otras palabras, el rango de la matriz C no es mayor que el rango
de la matriz A. Por otra parte, como de Ja misma frmula (3) del
102 Cap. 111 Algebra de la.r matrices
13, para un i dado y todos los k, se deduce que toda i-sima fila
de la matriz C es combinacin lineal de las filas de la matriz B. con
razotH\tnientos anlogos obtenemos que el rango de C oo es mayor
que el rango de B.
Cuando uno de los factores representa una matriz cuadrada no
degenerada, se obtiene un resultado miis exacto.
El rango del producto a la derecha y a la izquierda de una ma-
triz A por una matriz cuadrada no degenerada Q, es igual al rango
de la matriz A.
Sea, por ejemplo,
AQ=C. (9)
Del teorema precedente se deduce que el rango de 1.a matri1. C no es
mayor que el rang'o do la matriz A. Por otra parte, multiplicando a la
derecha la igualdad (9) por Q-1 , llegamos a la igualdad
A = CQ-i,
y, por consiguiente, otra vez por el teorema precedente, el rango de A
no es mayor que el rango de C. Comparando estos dos resultados
obtenemos la coincidencia de los rangos de las matrices A y C.
Las propiedades (1) y (2) ligan el producto de una matriz por Ull
nmero con la suma de matrices. Al mismo Liempo, existe una liga-
zn imporLante entre el producto do una matriz por un nmero y el
producto de las matrices mismas, que so expresa as:
(kA) B =A (kl3) = k (AB), (5)
(6)
en la matriz E!jC, en este silio est el cero (en virtud de que i =fa j),
de donde: c11 = O, es decir, cualquier elemento de !a matriz C, situa-
do fuera de la diagonal principal, es igual a cero. E l teorema est
demostrado.
NUMEROS COMPLEJOS
x' + 1 = 0; 1)
112 Cap. !V Nmeros complejos
-h R
R -a
Fig. 2. Fig.3.
solamente hay que lener en cuenta que sla se puede deducir mul-
ti plicando el numerador y denominador del quebrado dado por
un nmero, que se diferencia riel denominador solamente por el
signo de la parto imaginaria.
En efecto,
a l. // (a + bt) (e - di) =s (ac 1 bti)-i- (be- ad) 1 = ac 1 l><I -1- be - ad i
e::-;= (c - 1 di)(c - dl) c 2 1 d2 cL1 J2 ""-j d2
Ejemplos.
i ) (2+5i)+(1 -7i) (2 + 1) + (5-7)i 3 - 2i;
2> c:~-9i) - (7 + t> = C3-7) + ( -9 -1)i = - 4- 10;:
3) (! ~ 2i)(3-i) = l1:l-2(- 1)J + !1-( - 1) + 231i = 5 + 5i;
!.)
1
:!:~- (23 1 1)(3 - 1) - 70 - 201 - - - 2
;{ . i .. (3 -1 i) (::1 i) - 10 - I L.
k
r del origen de coordenadas al punto y el
ngulo q> que formn la direccin positiva del
eje de abscisas con la direccin que va desde el
b origen de coordenadas hacia este punto (fig. 4).
El nmero r es real y no negativo, siendo
O R adems igual a cero solarnente para el punto O.
Para un nmero a. situado en el eje real,
Fig. 4.
o sea, para un nmero real, el nmero r es el
valor absoluto de a; por esto, a veces, para
cu11 lquicr rP'rmero complejo a, a r tambin se le llaman valor absoluto
o mduf1> del nmero a, representndose por la notacin 1a 1 .
m :\pgulo q> se llamar argumento del nmero a y se designar
con la notacin: arg a. El ngulo q> puede tomar cualesquiera
valores r()alc!'. 1;1 Dlo positivos como negativos, teniendo que medir-
se los ngu los positivos en direccin contraria a la del movimien-
to de las agujas del reloj; sin embargo, si los ngulos se diferencian
entre s en 2n o en un nmero mltiplo de 2n, sus puntos corres-
pondieutes del plano coinciden.
De este modo, el argumen to de un nmero complejo a tiene
infinitos valores, que se diferencian entre s en nmeros enteros
mltiplos de 2n; por consiguiente, de la igualdad de dos nmeros
complejos, representados por sus mdulos y sus argumentos, sola-
mente se puede hacer la conclusin de que sus argumentos se dife-
rencian en un nmero entero mltiplo de 2n, mientras que sus mdu-
los son iguales. Solamente para el nmero O el argumento es indefi-
nido; sin embargo, este nmero queda completamente determinado
por la igualdad: J O 1 = O.
El argumento del nmero omplejo es una generalizacin natu-
ral del signo del nmero real. En efecto, el argumento de un nmero
real positivo es igual a cero, el argumento de un nmero real nega-
y
Y= V3 [ cos ( - ~ } +i sen (- ~) J
estn dacios en forma trigonom6trica; aqu, 1oc1 = 3, 1~1 ~ 1, 1) I ~ VJ;
n
arg oc= ;, arg ~ = 19 _ n, arg )' = - n ( o bren,
. n 13n ) .
3 7 arg ~ = T. arg y = 7
Por olra parte, los nmeros com1,leju,; .
=?-(cos<pcosqi'+isenqcosqi'-lcosqisenqi'+sen<pscn<p'),
o sea,
~= ;, feos(<; - <p ' ) + i sen (<p- q;')f. (7)
1~ I= ~;1' . (8)
es decir, el mdulo del cociente de dos nmeros complejos es igual al
mdulo del dividendo div idido por el mdulo del divisor; por otra parte.
arg ( ; ) = q>-cp', o sea,
arg ( ~) = arget-arg~ (9)
es decir, el argumento del coc:nte de dos nmeros complejos se obtiene-
restando el argumento del divisor del argumento del dividendo.
El significado geomtrico del producto y del cociente se acla-
ra ahora sin dificultad. En efecto, en virtud de las frmulas (5)
1
a'
aI
Fig. 5. Fig. 1;.
en la misma semirrecta que parte del cero y que pasa por el pun-
to a, a la distancia r -1 del cero (fig 6)*, y despus hay que pasar
al punto simtrico a a' con respecto al eje real.
La suma y la diferencia de nmeros complejos, dados en forma
trigonomtrica, no so pueden expresar por frmulas semejantes
a las frmulas (4) y (7). Sin embargo, para el mdulo de la suma se
cumplen las importantes desigualdades:
la l -1~ l < la + ~l < lal + IH (11)
es decir, el mdulo de la suma de das nmeros complejos es menor
o igual a la suma de los mdulos de los sumandos, pero es mayor o igual
a la diferencia de estos mdulos. Las desigualdades (11) se dedu-
cen del conocido teorema de geometra elemental sobre los ladoi<
del tringnlo, puesto que como se sabe, 1 a + p 1 es igual a la dia-
gonal del paralelogramo de lados lc.t 1y l ~ I Si los puntos a, P y O
estn situados on una recta, se necesita un estudio especial; esto
lo dejamos a cuenta del lector. Solamente en este caso se cumple el
signo de igualdad en las frmulas (11).
Como a-P = a+ (-P) Y
1 - ~ 1 = l~ 1 (12)
(esta igualdad es consecuencia do Ja interpretacin geomtrica
del nmero -p), de (H) se deducen tambin las desigualdades
lo:.1-IPl < lc.t -Pl<lal + IH *( (13)
es decir, >ara el mdulo de la dHereucia se cumplen tambin las
mismas desigualdades que para el mdulo de la uma.
Las desigualdades (11) so podran obtener tambin del modo sigu iente:
Sea a = r (co.s 'f +
i .wn rp}, ~ = r' (eos rp ' + i sen fl''); supongamos que
la forma trig<>nomtr1ca del nmero a. + ~ es: a. + ~ = R (cos 11> + i sen .p).
Sumando por separado tas partos reales y las partes imaginarias, obtenemos:
r cos <J> + r' cos cp' = R cos\jl,
r sen qi+r' sen qi' = R sen "ljl;
multiplicando ambos miembros de la primera igualdad por CQs ..,, ambos miem-
bros de la segunda por sen ., y sumando, obtenemos: ,. (cos e> cos 111+
+ sen <p sen .P) +r' (cos <p' cos ,;+sen <p ' sen .p) - R(cos2 11>+ son2'1>),
-0 sea,
reos (<p -11)) +r' cos (rp' -'!>) = R.
-Como el coseno nuncl1 es mayor que la unidad, de aqu se deduce la desigualdad
r -f- r' :;;..R. o son. la l+ lf:l l :;;..1a. + f:ll Por otra parte, a =- (et+
+ ll) - f:l = (a. +
f:l) + (- f:l). Do aqu, por lo demostrado y en virtud de (12),
la 1-< la + f:l I+1 - ~ 1= 1a+flji +J f:l I,
dEl donde l a l-lf:ll ~ fa. + f:ll.
Es menester observar que los conceptos mayor& y menor>
no se pueden dei ni r racionalmente para los n meros complejos,
puesto que stos, a diferencia de los nmeros reales, no se sit an
en una recta, cuyos puntos est.;fo ordenados de un nodo natural ,
si no en un plano. Por esto. los nmeros com-
ilejos (no nos referimo:1 a sus mdulos) no se
pucclen unir nunca con el signo de dcsigualch1d.
Nmeros conjugados. Sea dado un nmero
com plejo a = a +
bi. l!':l nmero a - bi, que
se diferencia de a solamente en el signo de la
parte imaginaria, se lh'1na nmero conjngndo
de a y se designa porGt.
Recordemos, que al estudiar la di visin de
los nmeros complejos recurramos a los nm e-
ros conjugados, a pesar de que no habamos
introducido esta denominacin. Fig. 7.
Es evidente quo el nmero conj ugado ele CX:
es cr., es decir, se puede hablar de pares de nm eros conjugados. Los
n meros reales, y sol amente stos, so n conjugados co nsigo mismos.
Gcoml.ricamenl.e, los nmeros conjugados son punl.s si mt ri-
cos entre s con respecto al eje real (fig. 7). De aqu se deducen las
igualdades
('14)
La suma y el pro1Ztlcto de nmeros complejos conjngados son
nmeros reales. l:n efec to ,
a l C. = 2a, }
(15)
o:a = a2+/Ji=1 a 2.
L a ltima igualdad muestra que el nmero es, incluso, posi-
t ivo para a, =I= O. B n el 2/i. se ver un teorema cue muestra que la
propiedad que acabamos de demostrar de los nmeros conjugados
es ca racterstica para sto~.
'l21t Ca.p. IV Nmeros comple/os
La igualdad
(a-bi) + (e -di)= (a + c)-(b -1- d) i
muestra que el nmero conjugado de la suma de dos n(uneros es igual
a la suma de los nmeros conjugados con los sumandos:
a + ~ = a + ~ (16)
An logamente, do Ja igualdad
(a-bi) (e-di) = (ac-d) - (ad +be) i
resulta que el nmero conjugado con producto es bgual al producto
de los nmeros conjugados con los factores:
(17)
U11a comprobacin direc~a muestra que so verifican tambin las
igua ldades
(1.8)
(~) = ~ (1.9)
( n)=
k
n(n-1)(n -;-~) ... ~n-k + 1)
12 3 ... k
Para n = 2, se tienen las conocidas frmulas
cos 2c> = cos2 <F - sen 2 cp,
sen 2<p = 2 cos <p sen cp;
para n-= 3,
cos 3cp = cos 3 <p - 3 cos qi scn2 <.p,
sen 3cp = 3 cos2 cp sen cp- sen <r
La extraccin de la raz de los nmeros com plejos es mucho
ms complicada. Comencemos por la extraccin de Ja raz cuadrada
del nmero a = a + bi. Todava no sabemos si ex iste un n(1me10
complejo cuyo cuadrado sea igual a a. S upon iendo que tal nmero
existe, por ejemplo, u + vi y empleando la notacin ordinaria, se
puede escribir:
Y a + bi =u + vi.
De la igualdad
(u + vi)2 = a+ bi
resulta,
u -v~ = a,}
2
(Z}
2uv = b.
Elevando ni cuadrndo ambos miembros de las igualdades (2)
y sumndolas despus, so tiene
(u1 -vl)' + 4u'i,.2 = (u2 + v2) 1 = ai + b2,
de donde
tt2 + v2 = + y a2 + b2;
se toma el signo ms, porque los nmeros u y v son reales, debido
a lo cual, el primer miembro dA la igualdad es positivo. De esta igual-
19. Exlraccl611 dt la ra!z dt lo$ nmeros compleios 127
" "r-{
Hoc1procar11ente, to111anJ oo numero
'J>+2kn . rp+2ht) ,
v r cos--,.-+tsen--,.-
se tiene que, para cualquier k entero, posi tivo o negativo, la n-sima
potencia de este nmero es igual a a.. Por lo tanto
"! . ) " - ( <p 1 2/m
I r(coscp + isenqi = " r cos - -
.
n - + isen <p.. 2kn )
- -n- . (4)
Dando a k diversos valores, no siempre se obtienen diversos
valores de la raz buscada. En eCecto, para
k = O, 1, 2, ... , n-1 (5)
.se obtienen n valores distintos de la raz, puesto que el aumento de k
:!n
.en una unidad ocasiona un aumento del argurne1itos en -;- . Supon-
gamos ahora que k es arbitrario. Si k = nq + r, O<(: + r<:n -1 ,
se tiene,
<p -f- 2kn
- -n- =
<p + 2(nq I r)n
n
<p L 2rn
= - -,.-
+zqj(,
es decir, el valor del argumento para nuestro le difiere del valor
del argumento para k = r en un nmero mltiplo de 2n; por consi-
guiente, se obtiene el mismo valor de la raz que resu lta para el
valor de k igual a r, incluido en el sislema (5).
Por lo tanto, siempre es posible la extraccin de la raz n-sima
de un nmero complejo a, resultando n valores distintos. Todos los
valores de la raz n-sima estn situados en una circunferencia de
radio 'l/TCti con el centro en el cero, dividiendo a sta en n partes
igualei;.
En particular, la ralz n-sima de un nmero rea l a tiene tam-
bin n valores distintos; enlre stos puede haber dos rea les, uno
o ninguno, dependiendo del signo de a y de la parida d de n.
1
19. Extraccin de la rafz de los ntm~ros compleo1 i29
~
Ejempl-0s
3
1) ~= V/ 2 ( cos 43 n + isen 43 n ) =
= v2 cos
-( f
_3 n + 2kn
3
.
+ isen
f ,{+21m. )
3
;
+. , e101Hl e / -- o, 1 , -,
211!1 1 . to1 1a uniua d , so
i sen --;- ? o i;ca, Ulemas .l
r (:r) = !h (x)
satisfacen verdaderamente a la igualdad (ti), siendo realmente el
grado de r (x) menor que el de g (x).
Obsrvese <1ue el polinomio q (x) se llama cociente de Ja divisin
de f (x) por g (x) y r (.x) , resto (o residuo) de esta divisin.
De la consideracin del algoritmo de Ja divisin con resto, se-
establece fcilmente que si / (:i:) y g (x) son polinomios ele coeficien-
tes reales, los coefici entes de todos los polinomios f 1 (x), / 2 (x),
... , y, por consiguiente, tambin los del cociente q (x) y los del resto,
r (x), son reales.
El polinomo q> (x) es divisor del polinomio f (x) si, y slo si,
existe un polinomo ip (x) que satisfa.ga a la igualdad
/(x)= <p(x)'ll'(x). (1)
En efecto, si <p (x) es divhor de f (x), el cociente de Ja divisin
de f (x) por <p (x) desempea el papel de ip (x). Recprocamente,
supongamos que existe un polinomio ip (x) que satisface a la igual-
dad (1). De la unicidad de los polinomios q (x) y r (x) que satis-
facen a Ja igualdad
f (x) = <p (x) q (x) + r (x).
demostrada en el prrafo anterior, y de la condicin de que el grado
de r (x) es menor que el de cp (x), so deduce que9n este caso el cocien-
te de la di visin de f (x) por <p (x) es igual a 'ljl (x) y el resto es
igtui 1 a cero.
Se comprende que, cumplindose la igualdad (1), ljJ (x) es tam-
bin divisor de j (x). Luego, es evidente que el grado de <p (x) no
ES superior al de f (x). '
Obsrvese que, si el polinomio j (x) y su divisor q> (x) tienen
<imbos coeficientes racionales o rea les, el polinomio ip (x) tambin
tiene los coeficientes racionales o, respectivamente, reales, puesto
que ste se halla mediante el algoritmo de la divisin. Por supues-
to, un polinomio de coeficientes racionales o rctiles puede poseer
tambin divisores cuyos coeficientes no sean todos racionales
o, respectivamente, reales. Esto se observa, por ejemplo, en la
igualdad
x 2 + 1 = (x - i) (x + i).
Sealemos algunas propiedades fundamentales de Ja divisibilidad
de los polinomios que tendrn numerosas aplicaciones a continuacin.
l. Si f (x) es divisible por g (x) y g (x) es divisible por h (x),
entonces f (x) es divisible por h (x).
En efecto, por la condicin f (x) = g (x) q> (x) y g (x) =
= h (x) ip (x), y, por lo tanto, j (x) = h (x) (1jl (x) <p (x)].
U. Si f (x) y g (x) es divisible por (p (x), su suma y diferencia
tambin es divisible por cp (x).
En efecto, de las igualdades j (x) = <p (x) 'ljl (x) y g (x) =
= q> (x) X (x) resulta: f (x) g (x) = <p (x) ('ljl (x) X (x)l.
Ill. Si f (x) es divisible por cp (x), el producto de f (x) por cual-
quier po inomo g (x) tambin es divisible por q> (x).
En efecto, s i f (x) = q> (x) 1jl (x), se tiene: f (x) g (x) =
= <p (x) 1111 (x) g (x) J.
De Il y III se deduce la siguiente propiedad:
IV. Si cada uno de los polinomios / 1 (x), / 2 (x), ... , / 1, (x) es divi-
sible por cp (x), el polinomio
/1 (x) gt (x) + /2 (x) g2 (x) + ... + fh (x) {Jh (x),
21. Divisores. M6zlmo comn divisor 139
donde g 1 (x), g 2 (x), ... gk (x) son unos polinomios arbitrarios, tain-
bn es divisible por q (x).
V. Todo polinomio f (x) es divisible por cualquier polinomio de
grado cero.
En electo, si (x) = ao:i:" + a 1x"-1 + ... + "'' y c es un nmero
arbilrario, diferente de cero, o sea, un polinomio rbitrario de
grado cero, entonces
f(x) = c (~xn + ~xn-1 + ... +~).
e e e
VI. Si f (x) es divisible por <> (x), f (x) es tambin divisible por
c<p (x), donde c es un nmero arbitrario, diferente de cero.
En efecto, de la igualdad f (x} = <p (x} \j1 (x) resulta l a igualdad
f (x) = lccp (x) 1 fc1 ljJ (x)).
VII. Los polinomios cf (x), c =I= O, y slo stos, son los divisores
del polinomio f (x) que tienen el mismo grado que f (x).
En efecto, f (a:) = ct[cf (:i:)I. o ea, f (x) es divisible por cf (x).
Si. por otra parte, f (x) es divisible por <p (x), coincidiendo los
grados de f (x) y <> (x), el grado del cociente de Ja divisin de f (x)
por <> (x) tiene que ser igual a cero, es decir, f (x) = dcp (x), d-:;/= O,
de donde cp (x) = a-1 J (x).
De aqui resulta la siguient.e propiedad:
VII l. Los polinomios f (x) y g (x) son. divisibles entre s cuando,
y slo cuando, g (x) = cf (x), e =fo O.
Finalmente, de VIJI y l resulta la propiedad:
IX. Todo divisor de u1t0 de los dos polinomios f (x) y e/ (x), donde
c ::,: O, es divisor del otro.
l\hhimo comn divisor. Seail ciados unos polinomios a~btta
rios, f (x) y g (x). El polinomio <> (x) se llama divisor comn de
f (:r) y g (:t), si es divisor de cada uno de estos polinomios. La pro-
piedad V (vase ms arriba) muestra que todos los polinomios de
grado e.ero )ler\.enecen al conjun~o de los divisores comunes de los
polinomios f (x) y g (x). Si stos no tienen ms divisores comunes,
se dice que son primos entre s.
En el caso general, los polinomios f (x) y g (x) pueden poseer
divisores dependientes de :r. ln trnduzcamos abora el concept.o de
m:i;imo comn divisor de estos polinomios.
Ser incmodo tomar tal definicin, segn Ja cual el mximo
comn divisor do los polinomios sera el comn divisor de mayor
grado. Por una parl.e, no sabemos todava si f (x) y g (x) pueden
poseer o no muchos divisores comu11es dislintos de mayor grado,
que no slo se diferencien entre s en un fact.or de grado cero, por
lo que esta definicin re::;ultaria muy indeterminada. Por otra 1llH'te,
el lector ya conocer por Ja ari tmtica elemental Ja forma de obtener
el mximo comn divisor de nmeros enteros. y sabr que el mxi-
mo comn divisor (j de los 11meros enteros 12 y 18, no slo es el
140 Cap. V. Lqs poliMmMs y sus ralees
+ r,.
r,,_ 2 (x) = r,._1 (x) q11. (x} (x),f
r,._, (x) = r,. (x) qh+1 (x). J
La ltima igualdad muestra que r,.
(x) es divisor de r1t-t (x).
De aqu resu lta que ambos sumandos del segundo miembro de la
21. Divisore.~. ;\fximo crmu" divisor 141
penl tima iguald ad son divisibles por r 1, (x), y por lo tanto, rk (x)
tambin es divisor de rh- 2 (x). A continuacin, subiendo del mismo
modo a los otros renglones, obtenemos que r,. (x) tambin es divisor
de r,. _ 3 (x), ... , r 2 (x), r 1 (x). De aqui, en virt\\d de la sogunda
igu aldad, resulta que rk (.x) es divisor de g (x), de donde. en vir-
tud de 111 primera igualdad, tambin es divisor de f (x). Por lo tanto,
rk (x) es un divisor comn de f (x) y g (.x).
Coosideromos ahora un divisor comn arbitrario <p (x} de los polino-
mios f (x) y g (x). Como el primer miembro y el primer sumando del
segundo miembro de la primera de las igualdades (2) so11 divisibles por
<p (x), r 1 (x) tambin es divisible por 1p (x). P asando a la segunda
y a las siguientes igualdades, obtenemos del mismo modo que todos
los polinomios r2 (:t), r 3 (x), ... , so11 divisibles por IJl (x). S i, final-
mente, se ha demostrado que r,_ 2 (x) y rh - s (x) son d,jvisibles por
<p (x). de la penltima igualdad obtenemos que '" (x) es divisible
por 1p (x). Por lo tanto, rh (x) es verda.derameute e l. mximo comn
divisor de f (x) y g (x).
Por consiguiente, hemos demostrado que dos polinomios cuales-
q uiera poseen mximo comn divisor y hemos ol.Jtenido un mtodo
para su clculo. Este mtodo muestra quo, si los polinomios f (x)
y g (x) tienen ambos coeficientes racionales o reales, los coeficien-
tes de su mximo comn divis. r tambin son racionales o, respecti-
vamente, reales, a pesur de que estos poli110111ios pueden tener
divisores cuyos coeficien tes no sean todos racio11ales (re:ile!"). As ,
pues, Jos polinomios con coeficientes raciona les
' i (.r) s~r el l Limo resto, por el que se divido oxnctamenle ol rest o an t e-
rior. Por lo tanto, ste es el mximo comn divisor:
(f(x), g (z)) = z+3.
PoniendQ aqu la expresin de r,._ 1 (x) mediante r,._3 (x) y '"- 2 (x),
se obtiene de la igualdad anterior (2):
d (x) = '1t:-s (x) Uz (x) + '1t:-2 (x) V2 (.x),
donde, evidentemente, u 2 (.x) = v 1 (x). v 2 (x) = u 1 (x)- v 1 (x) q1t:- 1(x).
Continuando el ascenso por las igualdades (2), se llegar, finai-
mente, a la iguuldad (3) que se quera demostrar.
Para la demostracin de la segunda afirmacin del teorema,
supongamos que se han hallado ya los polinomios u (x) y v (x)
que satisfacen a la gualdad (3). pero que el grado de u (x) es, por
ejemplo, mayor o igual al grado de g (x). Dividamos u (x} por g (x}:
u (x) = g (x) q (x} +r (.x),
donde el grado de r (x) es menor que el grado de g (x), e introduz-
camos esta expresin en (3). Se obtiene la igualdad.
f (x) r (x) + g (x) {v lx) + f (x)]q(x)J = d (x) .
. El grado del factor que figura con f (x) es ya menor que el grado
de g (x). Por otra parte, el grado del polinomio que figura entre
corchetes es menor que el grado de f (x), puesto que, en caso con-
trario, el grado del segundo sumando del primer miembro no seria
menor que el grado del producto g (x) f (x), y como el grado del
primer sumando es menor que el grado de este producto, todo el
primer miembro seria de grado mayor o igual a g (x) f (x), mientras
que segn nuestra suposicin, el polinomio d (x) es de menor grado.
As el teorema queda demostrado. A la vez, tenemos que, si los
polinomios f (:.e) y g (x) tienen coeficientes racionales o reales, los
polinomios u (x) y v (.x) que satisfacen a la igualdad (3) se pueden
elegir de modo que s us cooficientes sean racionales o, respectiva-
mente, reales.
Ejemplo. Hallemos los polinomios u (x} y v (x) que satisfacen a la igual-
dad (3), si
/(x) = z3- z 2-I 3z- 10, g(z} = x -/- 6.c2- 9.< - 1':1.
Apliqueroos el algoritmo de Euclides a estos polinomios: ahora, al efectuar
las divisiones ya no se puede permitir ninguna alteraci6n do los cocientes, puesto
que stos se emplean para hallar los polinotnios u (z) y v (z}. Obtenemos el
siguiente s istema de igualdades:
/(:r) = g (r ) -J- ( - 7x2-. 12x-! 4);
1 54) . 235
g(x) = (-7.<2 l- 12x+ 4) ( - 7 x- 49 -r -g (z - 2);
de donde se deduce que todo comn divisor de f (x) y q> (x) '!> (x) es
tambi&n divisor de '\' (x); sin embargo, segn la condicin, (f (x),
ljJ (x)) = 1.
b) Si e.l producto de los polinomios f (x) y g (x) es di11isible por
<p (x), pero f (x) y q> (x) .~on primos entre s, g (x) es divisible por q> (x).
Bn eifecto. multiplicando la igua ldad
f (x) u (x) + q; (x) v (x) = 1
pot g (x), obtenemos:
lf (x) g (x)J u (x) + 'I' (x) [v (x) g (x)J = g (x).
Ambos sumandos del prirr,c:r miembro do esta igualdad son divisibles
por <p (x); por consiguiente, tambin g (x) es divisible por q>(x).
c) S el polinomio f (x) es divisible por cada uno de los polinomios
q> (x) y 'IJ (x), que son primos entre s, entonces f (x) tambin es divi-
sible por set producto.
En efecto, f (.x) = <p (.x) i (x), o sea, el producto que Hgura en
el segundo miembro es divisible por 'lj> (x). Por esto, segn b), <P'(x)
es divisible por 11> (x), iP (x) = 'lj> (x) ij) (x), de donde f (:r;) =
= l<p (x) 'lj> (x)l 'ii (x).
La deHnicin de mximo comn divisor se puedo generalizu
al caso de cualquier sistema finito de polinomios. Se llarna mxima
comn divisor de los polinomios / 1 (x), fz (x), .... /, (x) a su divisor
comn que es divisible por cualquiet otro divisor cojnn de 10$
mismos. La exh;tencia del mximo comn di visor para cualquier
.\~ 22. L4s races de los polinomios
a,, - 1 = n- 1 -cb,,-'2.,
" - r - cb,} - i
De Hf.IU ~e deduce que b0 = a 0 , b1, == cb" _ 1 ; . "' !~ =
= 1, 2 . .. . , n - 1 , o sea. se obtiene el coefic iente b,. multipli-
cando e l cqeficiente anlerior b1, - 1 por e y agregndole el coe ticiente
c;orrespondientc a~; finalmente, r = cb,. - 1 - , a.. , es dec ir. e l res-
to r, que como ya sabemos es igual a f (e), se obtiene por Ja misma
rc~gh1. Por Jo ta nto, lo,; coefidcnles del cocie nt e y C'l rC'sto se pueden
obtener rnc11sivame11le mediante unos clculos del mb1110 t. ipo; stos
,.e real izan de acuerdo u un csqt1l'llHI, como se muestra en lo;; s iguien-
ll'S rjornplos:
1. l>iviclir / (J-) -= 2.i;~ - ;r. 1 - :i:r" . x -- 3 \lur .z: - 3.
Formemos una tnhln coloc;indo ~n.hre IA raya o~ cot~fici<)ntc:-; dol polino-
mio { (.e}; hajo la r nya ~e rolot.nu lo~ fO(\ichm f<?S cor rt\:-tpondiC'n l<s tltd t"ociente
~ \le rp.~to <Jlll' ~e caltula11 Sll<'('...;i\'ml'u.u l, y. a la iz<11ti~rda. t u11 ladot el valor
liado dC' ,.;
; - 1 - :1 \) - :J
I
: z.:1.z-1 ~ ;, . :1.;; - :{ 1::.:1 . 1;i- .-,~o-_~;.~
l)or lo ttuHo ~ el Cof'f i c i~utc
(;-
,:~
1.~3-tJ-:-,--
Uu:Hac.lo es
tc-1!~
1.~3-.-
, c~
)!~
J .---:.-
1 -~;1z1
= .!Te . (1)
,-a ti sface a las co11<licioncs que se pidcu .
E11 efcct.o,
1f (x) 1< Jao 11.r I'' -i 1a, 1 .'l: \'1-1 :- 1 I n - 1 J 1-'l: 1<.:
- ,t (l .1 I" -1- 1-'l: l"-l -1- -f- ! X 1),
o sea ,
A \z] - Jx!"+l
l f(l;)\ <- i - 1xi
Corno 1-r 1< t3 y como, cu virtud de (1), 6 < I .
j.c \- 1.r!+I !X I
l - !.e l < 1-lx l '
por lo cual,
11 - "-
J/(a)I < ~<~
1-rx1 1-
=~
_ _ ~
- 1'.
1
A - e
como se quer a demostrar.
Deduzcamos ahora la frmu la que sigue. Sea dacio u11 polino-
mi o
Cap. V. los polinomios y sus rafees
~ntouces
( 3)
Como ol segu ndo mie m bro de la desigua ldnd (3) os mayor q 110 1, se
puede afirma r que paru los valores de x que satisfogau a esta des i-
gua ldad. ~ c umple la desigualdad (2), la cual denruc:-;Lra e l lema.
Le ma sob re el 1reci mit'11lo del mdulo de un 1wli11om io. /111ra lodo
poli11omio f (x) de corfirfrnles complejos, cuyo :rndo no sea 111c11ur
1ue la u11idad, y para cualquier nmero real 111.~itiio fi l flrbitrarin-
1111:1111' grande, se p11 ed1' rlt':ir un nmrro r f'o l positivo N /al, qu1-
I f (:r) 1 > Jlll p ara 1 .1 1 N. >
Sea
De aqu que
1a,x"- 1 1 .. 1 " t < ;f l ao.t" 1,
o ~Nt, e n vi rtucl d e (li),
1 1
! f (x) 1> 1Oox" 1- ;r 1Oo.i:n1 T J u<" I
El segundo mit>n1Lr11 de esta desigualdad 'l' r;i mayor que M para
' 1"/-:;sr
lxl>lv! ~ J' Taol'
l' or lo Li1nLo , 1f(x)1 > M para 1x1 > N nHx (J',. 1, N!)
Su p111~ de aclarar e l s ignificado de este lema 111c1lianle la sig uiente
i l 11sLrnci11 geomtrica, q uc !'e e ntpl ea r a ntl'n ttrlo en este p< rn1 ro.
Supongamos qtt" por cada punto x 0 d1I
plano complejo se traza una perpuu<li-
V o
cu lar a este pla110 de longitud (rcc -
rida a la 1111idnd de medida elegida)
igu;il al 111d11lo del ,-alor del polino-
mio f (x) en este punto, o sea, igual
a 1/ (x 0 ) I En virl lid del teorema de la
co11L in11i dad d t> I mdulo de 1111 poli110
mio, demost rarlo a11terio1ment.e, los extre-
Fig. S. mos de esl.as pcrpoudicu larcs ormar111
1111a s uperfi cie a lo.hoada conlin11a, s it1111 -
rlu :;ohro el plano eompll'jo. El lema sobro el c1ecimienlo del m -
d11lo de un polinomio muestra que al a11men\11r lx0 ,esta superficie
!'e rtl cja mi1s y ms del pln110 complejo. a11nq11c, naluralmenLc, c;.tc
11 lcja111ie11lo no es montono. La ig. 8 rcprl'!'Cnla esquemticamc11tl'
111 lnea tic inter,;occin d e esla superficie con un plano per-
pendicular ul plano complejo y pasa por el punto O.
E n la demostracin, el papel fu11damc11tnl Jo desempel1a el si -
guionto loma:
L ema de D'Al ernbcrt. Si para x = :i: 0 el polinomio f (x) de grndv
n, n :,;;;.. 1, no se anula, f (x0 ) .. O y, por lo tanto, 1f(xo)1 >O, se
p11ede hallar un incremento h, generalmente complejo, .la! que
I / (xo + h 1<1 f (.:ro) I
Segn la frmula de Taylor, sie ndo por ahora arbitrario el
incremento h, se licue:
+ h2
r h"
f (xo -1 h) = f (xo) /f' (xo) + 2! (xo) -! .. , nr /(n) (xo) +
Por la condicin, a0 no es ruz de f (:t'). S in embargo, este nmero
puede ser eventua lmente, rnz de f' (x), y 1.111n hin puede 1ocurrir que
.~ 23. 1'tort ma fundamtnlal 155
l'or lo tanto
~<' ohtiene:
((ro 1- h)
/(ro)
t>, Jllll'.~ lo cuo e,, =I= U,
/(:ro+hl = (l , e lt") , e/ (
f (.to} ' /
<11+ 1 h 1 ..!:!!... f"-1') .
I / C/1 r1,
P11 ~1111rl o a Jos mdul os so ohticnc:
1(ro 1 li) 1~ l 1 1 r / 1 1e h~ 11~ h (5)
f (ro) """ h ' k e,
+ ~h" -'' 1
, 7'
l..'.:!!.! /
(f(
1 .
(h ...
(fi)
1111ra lhJ< 61
l'or ol rn parte,
(7)
156 Cap. V. Los polinomios y sus ralees
para
" ch-.
11i 1< 62 = V1
SupoDgamos ruo el mdulo de h se ha elegido de acuerdo a la
desigualdad
1h1 < mn (61. 62) (8)
Entonces, en virtud do (6), Ja desigualdad (5) se convierte en la
desigtialdad estricta
(!l)
diculare.s estar eJ\ esle punto uuevo un poco ms cerca del plano
complejo. Como so ve por la demostracin de l lema, el mdulo de h
se puede suponer lo ms pequeo que se desee, o sea, el ]>unto x 1
se puede elegir cuanto ms cerca de x 0 se quiera; sin embargo, no
ap1icaiemos u continuacin esta observacin.
Es evidente que son races del polinomio f (x) los nmeros
complejos (o sea, Jos puntos del plano complejo) en los que la super-
ficie formada por los extremos de las perpendiculares est. en con-
t.acto con este plano. Basndose solamente en el lema de D'Alembert
no se puede demostrar Ja existencia de tales puntos. En efecto, apli-
cando este lema se puede hallar una sucesin indefinida de puntos
.xo, x 1 , xi, ... , tal que
(11)
Sin embargo, de aqu no se deduce la existencia de un punto xtal
que f (x) = O; pues una sucesin decreciente de nmeros rea-
les positivos (11) no tiende necesa riamente a ce ro.
BI examen ulterior se basar en un teorema de la teora do las
funciones de la variable compleja que generaliza el teorem<t do 'W eicrs-
t.rass, conocido por el lector en el curso de anlisis matemtico.
l:st.o se refiere a las funciones reales de la variable compleja, es
decir, a las funciones de Ja variable compl(1ja que solamente toman
valores reales; nn ejemplo de tales funciones es e l mdulo de 1111
polinom io. En e l onuncii1do de este teorema, para simplificar, se
hab(r del crculo cerrado E, entendiendo por esto 1111 c rculo del
plano complejo al que so le han aiadido todos los puntos ele su c.on-
loroo .
. Si llna funcin real g (.r.) de [(i varia ble compleja i: es continua
('lt iodos los puntos de un crculo cerrado E, en sie existe w1 p1m1<1 x 0
La.l. que para todos los pu.n tos .T. de E se verificri la desi:ualdad g (x) :;;:,.
:;;:,. f!. (x 0). Por consigttiente, el valor mnimo de g (:r} en el crc11fo E
se alcanza en el punto :i:0
La dcmostracin de este teorema se puede hallar en tollos los
1.:ursos de teora de las funciones de la variable compleja, por lo que
aqu no se e.xponclt<i.
Aclararemos geomtricllmente este teorema mediante la iJ11s-
l radn empleada anteriormente, limilndonos al raso en que 1!1
funcin g (.r.) sea no negativa en todos los puntos del crculo E (sola-
mente este caso presenta inters). Tracemos por cada punto x 0 del
1;rculo E una perpendicular de longitud g (.r.0 ). Los e:-:1.remos de
ostas perpendiculares formarn un trozo de una supe..ficie alahe1da
...,ontinua, y como el crculo E es cerrado, geomtric.amente es\.
su[icientomente claro quo para esta superficie existe un mniruo.
Natura lmente, esta ilw;trac.in no sustituye a Ja demostracin del
teorema.
158 Cnp. V. lo pollnomlo1 11 11 rafees
t 1 -::~:!
162 Cap. V. Los pollnoniios y s ris ratees
o sea,
f(a) = O.
Por lo tanto, si un nmero imaginario aes una raz de un polinomio
f (x) de coeficientes reales, el nmero conju.gado a
tambin es una
raz de f (:e).
Porcousiguente, el polinomio f (x) es divi~ible por el trinom io
cuadrliro
(8)
cuyos coeficienles, romo ya sabemos por el 18, son reales. Apli-
cando esto, demostremos que las races a y a
del polinomio t (x) sn
de un mismo orden de multiplicidad.
En efcclo, supongamos que los )!'(lencs de m11lliplicidad de estas
races son /,; y l, y que, por ejemplo, k > l. Entonces f (x) es divi -
sibl por la l-.<irna potencia c'lel polinomio qi (.1:).
f (x) = 1, 1 (x) q (x).
El polinomio q (x), como cociente de dos polinomios de coeficientes
reales, tambin liene coeficientes reales, pero, en contra de lo demos-
trado anteriormente, el nmero a es raz de ste de orden (k - l),
mientras que el nmero a
no es raz. De <1qu se deduce que k = l.
Por lo tanto, ahora se puede decir que las races imaginarias
de todo polinomio de coeficientes reales son conjugadas a pa.res. De
aqu y de la unicidad de las descomposiciones do la forma (2),
demostrada anteriormente, se deduce el siguiente resultado fina l:
Todo polinomio f (x) de coeficientes reates se descompone de modo
1inico (salvo et orden de los factores) en forma de un p roducto de su
coeficiente superior a0 !/ de unos cuantos polinomios de coeficientes
rea.les, unos de los cu a.les son lineales de la forma x - a, correspon-
dientes a sus ra.ces reales, y otros, son cuadrados de la forma (8),
correspondientes a los pares, de sus races imaginarias conjugadas.
Para lo que sigue, es conveniente sub raya r que entre los poli-
nomios de coeficientes reales con el coeficiente superior 1, solamente
los polinomios lineales do la forma x - c;c. y lo" cuiulrados de la
forma (8), no se descomponen en factores de menor grado o, como
diremos, son irreducibles.
nes algebtaicas segn las mismas leyes con que se opera con los nme-
ros racionales, o sea, como con quebrados de numeradores y denomi-
nadores enteros. La igualdad de dos funciones racionales fracciona-
ria s o, como en adelante se diro\, de dos fracciones racionales, se
entender tambin on el mismo sentido que la igualdad de quebrados
en la aritmtica elemental. Para precis<lr, consideraremos las fraccio-
nes raciona les con coeficientes reales; el lector observar sin difi-
cultad qne tocio el contenido del presento prrafo se puede trasladar
casi palabra por palabra, al caso <le fracciones racionales con coeficien-
tes comJ))ojos.
U na fraccin racional se llama irreducible, si su numera dor es
primo con su denominador.
Toda fraccin racional es igual a una fraccin irreducible, deter-
minada 11nvocamenle salvo un factor de grado cero, que es comn
para el numerador y denominador.
L::n ofecto, cualquier fraccin racional se puede si mplificar por
ol mximo comn divisor de su num erador y denominador, despus
de lo cual resulta una fraccin irreducible igual a Ja dacia. Despus,
si las fr;i cciones irreducibles /(x) y <p(x) son iguales entre s, o sea,
g (x) ~l (z)
si
f (x) \ji (x) = g (x) <p (x), (1)
como f (x) y g (x) son primos entre s, vor la propiedad b) del 21
se deduce que q> (x) es divisible por / (x); y como q> (x) y ij> (x) son
primos entre .~, resulta que f (x) es divisible por cp (.:r). Por lo tant.o,
f (.z:) = cq> (x), y de (1) se deduce que g (x) = e ij> (x).
Una traccin racional se dice que es propia, si el grndo del nu-
merador es menor que ol grado del denominaclor. Si convenimos en
considerar al polinomio O como una fraccin propia, s ubsiste el
siguiente teor ema:
Toda fraccin racional se representa de un modo nico en forma
de una suma de un polinomio y una fraccin propia.
En efecto, si se da una fraccin racional ~~:~y si, dividiendo
el numerador por el denominador, se obtiene la igualdad
f (x) = g (x) q (x) + r (x),
donde ol grado de r tx) es menor que el grado de g (x), entonces,
como fcilmente so comprueba,
/ (z} r (x}
g (z) = q (x) + "ilW .
Si tambin se cumple Ja igualdad
f (x) - <p (x)
g (x) = q (x) + ij>(x) '
25. Frac/ones raciona/e.< 165
todos los trminos del segu ndo miembro de esla igualdad son fraccio
nes propias.
No queda ms que con.o;iclerar una fraccin propia de la forma
,
;h~~ donde p (x) es un polinomio irreducible. Aplicando el algo-
ritmo de la divisin con resto dividimos rt (x) por ph-i (x), Juego,
el resto obtenido lo dividimos por p 11 - 2 (x), etc.
Llegamos a las siguientes igualdades:
u (x) = p lt-i (x) s1 (x) + u, (x),
+
u 1 (x) = p 11 - 2 (x.) s2 (x) !t2 (x),
donde Jos nmeros 11, IJ, C, D y E tienen que ser todavla buscados.
Do (4) ~e deduce la igua ldad
f (x) -= .-1 (.:i:-1)2 (x2 + 1) +D(z-1-2) (x2 f- 1) +e (z .. 2) (x-1) (z2 + 1) j-
+ Dx (x+2) (x-l)Lf-E(z + Z)(z-1)2. (5)
Identificando los coeficientes de iguales potencias de la indeterminada x 011
ambos miembros de la i~ualdad (5), obtendramos u.n sistema de cinco ecuacio-
nes lineales respecto a cmco incgnitas, A, D. C, D y E; como se deduce de lo
demostrado anteriormente, esto sistema tiene una solucin que adems, es nica.
Sin embargo, procederemos de otro modo.
Poniendo on la igualdad (5) x = -2, obtenemos la igualdad, 45A = 135,
de donde
..t - 3. (6)
Poniendo luego en (5) x = 1, obtenemos , 6R = 6, o sea
ll ~ L (7)
Despus tle osto, po.ne1nos en la igualdad (5) " = O y :r: = -1, sucesivamente.
Teniendo en cuenta (6) y (7), obtenemos las ecuaciones
-2C + 2E ~ 1, }
(8)
-ltC-4D+4E - - 8.
De acu ,
D = J. (9)
Pongamos, finalmente, en la igualdad (5), x = 2. Teniendo en cuenta (G), (7)
y (!I), llogl\mos a la ecuacin
20C -H .E = -52,
que junto con la pri mora de las ecuaciones (8) da
C = -2, E = - 3.
Por lo tanto,
f (.:r) 3 1 2 x- 3
--(X)= :r: + 2 + (.:i: - 1)2 - -;=--+ :r:2.... 1 .
CAPITULO Vl
FORMAS CUADRATICAS
(4)
El Lrmino 2auxx se puede escribir ahora en la forma
211 XX = (lX X + aXjX,
y toda la forma cuadr<ilica f, en forma de una suma do lodos los lr-
mi11 os posibles a 1x1x, donde i y j, independienlem1,mLe uno do
otro, tornan los rnlores desde 1 hasta n:
n n
I= ~ ~ llXX; (5)
i = I i= I
:<1)
:i:z
X= . .
( x,,
X es una mattiz do n ilas y 11na colun1111.1. Tranl'po11i<!11do esta
matriz so obtiene Ja matriz
X' ':! (~'"C1t x:!, ... , x,,),
formadu por UJHI :;ola fila.
La forma cuad rtica 0). C'-IYl\ matri1. es A ~ (<t; ;), se puede
oscri hir ahora en forrnn de l producto:
f = X '. I X. (7)
En declo, el produc.lo AX os nna matr iz formada por una
<:.olumna:
ii 2 Cnp. VI Formas cuadrtfro. .
Mul t ip li<'a ndo por la izquierda esta malrii pnr la matri z X ' , se
obtiene una matriz, formada por una fila y una columna , que es
precisamente el segundo miembro <le la igua ldad (5).
(.Q u ocurrir;{ coa la fonna cuadrtica f si se someten las indo-
lermin aclas :r" .1 2 , x,. a 111111 trasformacin lineal
..
X = ~ q,y,, i ~ 1, 2, . .. , n, (8)
h~t
/Jl
b2..
)'
( () .
&,.
o 0'1. .. 1
Como result.ado de esta tran sformacin, el trmino 2a12.x1.x2 tomar
la fwma
2a,2X1Xz = 2a 12 (z1-z2) (z, + z2) = 2a1i=i-2a, 2z;,
es decir, en la forma f aparecern a Ja vez los cuadrados de dos inde-
terminadas con coeficientes diferentes de cero, que no podrn simpli-
ficarse con los dems trminos, puesto que en cada uno de estos
ltimos hay por lo menos una de las indeterminadas z 3 , , Zn
Aho1a nos encontramos en las condiciones del caso considerado
anteriormente, de modo que con otra transformadn lineal ms, no clr-
goncrada, se podr reducir la fornia f 1\ la forma (14).
Para terminar la demostracin no queda ms que seulal' que
la forma cuadrtica g depende de un nmero menor que n de indeter-
minadas, y por la hiptesis do la induccin, .se rocluc:o a Ja forma
cannica medan te una transformacin no degenerada de fa~ i 11de-
terminad<1s y 2, y3, ... , Yn Esta trani;formacin. con~iclerada como
una transformacin (que, como fc.ilmenLc se comprueba, no es de-ge-
nerada) de todas las n indeterminadas, segu la cual y 1 so mantieue
invariable, reduce (1/i) a la forma cannica. l>or lo tanto, mediante
dos o tres transformaciones lineales no degeneradas (que se pueden
sustitu ir por una sola transfornrncin no degenerada: por su pro
duc~o), la forma cuadrtica f se reduce a un:\ suma de cuinhados
de las indetermi1iadas con ciertos coeficientes. Como ya s11bcmos,
el nmero de estos cu<1drados es igual al rango r ele la forma. Si adc-m<s
de esto, la forma cuadrtica fes real , Los coeficientes en la for111n ca11
nica de/, as como on la transforn1acin lineal quo reduce fa es ta
forma, sern reales; en efecto, tanto Ja transformacin lineal in,crs;1
de (13) como la transformacin lineal (15) tienen coeficientes rea les.
El teorema queua demostrado fundamental. EJ mtodo uti -
lizado en esta demostracin puede ap lic.arse en ejemplos concreto;;
para Ja reducci n efectiva de una forma cuadrtica a Ja forma n111-
nica. Pero, en lugar de la induccin que se empleal>a en la dentM
tracin, se aplica el mtodo expuesto para separnr s ucesivam(nlc
los cuadrados do las inclelerminadas.
F:jc01 plo. Heducir lll forma c uadrLi ca
( lli)
a la forma cannica.
176 Gap. VI Formas cuadrticas
A~
(
1 - 1
1
)
1 O ,
o o1
d(s pus do lo cual so obtiene:
f = 2yi - 2yl - liY1Y3-8Y2!/3.
Abora, el coelicicnte de yj es dilerenle de cero y, por esto, en nuestra forma se
puedo separar el cuadrado de una indelertninada. Haciendo
Z1 ~ 2y1 - 2y3, 2 ~ Yi %3 ~ y3,
'> SM, efcctwu>do la Lransfornw c.ibn lineal c.uya inversa tione Ja matriz
8 =- ( ~~ : )
o o1
la forma f so retluce n In forma
1
f =z zf - 2z~ -2z~-8ziz3
C=(:o - o~-~) 1.
se reduce, fiualmeute, la forma f a la forma cannica
wc~c -~ -}
.$ 27. Lty do lnorc/a 177
t 1
.l"2 - yl1--zl2-l3,
Sin embargo, lu respuesta a estas wcg untlls depende ele que seno
reales o complejas las formas c11a<lrl icas consi<leradas.
Supongimos primero que so consideran forml\s cuacl r ticils com le-
jas arbilrnrias y que, a la ,ez, se pcr11Lilc l'I empico do transl'or-
madoncs lin eales no rlugeneraclas tambin con coeficientes com plejos
arbitrarios. Ya s11bc mos que lo1fa forma c uadr;\lica / en u inrlcllr-
minadas <le ran go r , sc reduce a la form a c-a11nica
f ~ c,y; : c211i /- -:- c,y;,'
donde Lodos lo:< codicicntes c 1 , c 2 . . . . 1, :<on difcrenh!s de n~ro .
Tenie ndo en c11e11t11 que se puede cxC.racr la rni7. cuHdrada de cual-
quier nmero complejo, rcalicen10;. la :<iguicnte tran:<formacin
JinNtl irn dt.snnerada:
Z -- V C; y, para l : 1~ 2, .. . , r~ Zj - Yi parn i -= r -L 1 , .. . , 11.
Esta reduce f a la forma
f = z; i- z; + . . . + z;', (1)
denominada norma.l, la c m1l es, simpll:lmc11lc, la suma de los ('11!l-
dr11dos <l1.< r indeterminadas con coeicicnles iguales a la unidad.
La forma 1wrnHtl depende solamc11t.e del ra11go r de la formu /.
es decir, todas las formas cuad1-.ilicas d e rango r se re<l11c1in a una
mis111a fo1rna normal (1). Por consig11ie11(,e, si !as formas f y g eu n
indcterminadas:;ou de igual rango r, se puede reducir fa Ja forma (1),
y despus, (1) a la fo1ma g, lo que si1:mific:1 que existe u11a t1ans-
formac in lineal no degenerada que reduce f a la forma g. l'or otra
parto. co1no uu11 tnrnsformacin lineal no degenerada nunca altera
el rango <lo 1<1 fornw. llegamos al resultado sigui c nt.<i:
Dos forma.s cuadrticas cornpfrjas en n i1ule terniinadas se reducen
una a otra mediante transformaciones lineales 1w degeneradas con
coeficientes complejos cuando, y slo cuando, stas son de un mismo
rango.
Do este teorema se deduce s in dificult11d que puede ser forma
cannica de una forma cuadrtica compleja de rango r cualquier
suma de cuadrados de r indeterminadas con cualesquiera coeficientes
complejos diferentes de cero.
El asu11to se complica si 1;e conside ron formas cuadrticas reales
y, sobrl:l todo, si se permilcn solamente transfor maciones linl:lales
con coeficientes reales, cosa muy importa nte. En este caso. y1.1 no
se puede reducir cualquier forma a la forma ('1), puesto q11e proba-
blemente se tendra que efectuar la extracci6n de la raz cuadtada
de un nm ero negativo. Sin embargo, si llamamos ahora forma normal
do una formn cuadrtica a la suma de lol:l c ua drados ele unas cuantas
indeterminadl1s, tomadas con los coefici onttw .:....1 o - 1, se puede
demostrat lcilmenlo, que cualquier forma cu.adrlica re<H. / se puede
fi. 27. L ey rle inercia
f = Y! + y; + .. . + y~,, (1)
donde
n
!Ja= L}a;j.t", i = 1, 2, ... , n, (2)
i= I
siendo dife rente do coro e l determinante de los coeficientes reales a.11
Si se quieren poner en f valores reales arbitrarios de las indetermi-
nadas x., x2, ... , x,., a l menos uno de los cuales es diferente de
cero, se pueden ponerlos primero en (2) y, despus, los valores obte-
nidos de y, en (1). Obsrvese que los valores obtenidos en (2) para y 1 ,
J/2, . . . , Yn no pueden ser simultneamente iguales 11 cero, puesto
que en caso contrario resultara que el sistema de ecuaciones linea-
les homogneas
n
~ a1 Jx -~ O, i= 1, 2, ... , x,
j=I
poseera solucin uo nula a pesar de que su determinante es diferente
de cero. Sustituyendo en ('1) los valores obtenidos de Yi. y 2 , . . . . y,.
so obtiene 11n valor de la forma f, igual a la 3uma de los cuadrados
den nmeros reales que no son todos iguales a cero; por consiguiente,
este vnlor es estrictamente positivo.
Recprocamente, supongamos que la forma f no es definida posi-
tiva, o sea, que su rango o s u indice positivo de inercia es menor
que n. Esto s ignifica que en su forma normal, a la que se reduce
tr1cdi<1nte una lransfornrncin lineal no degenerada (2), el cua-
drado de al menos una de las indeterminada::;, por ejemplo, de Yn
t84 Cap. V I . For111a1 c11adr/lca1
o bien fa lta, o bien figura con el signo menos. Demost remos que en
este caso se illleden elegir pnr11 las i11clc tcrminnd11s x., x 2 , , x,.
unos va lores reales, no todos iguales n cero, do modo que el valor
de esta ormn pnra estos valores de las indctcrmi rrndas !;ea igual
a cero e incluso 11egativo. Tales son, por ejemplo, los valores que
se obtienen pnra x,. x 2 , , Xn al resol ver por la regla de Cramer
el sistema de ecuaciones lineales que resulta do (2) para y 1 = y 2 =
= ... = Yn - 1 = O, y,. = 1. En efecto, para estos valores de las
i ncletcrminaclas .1:1, x 2 , ., x. In forma es igun 1 a cero, si y~ no
figura en In forma normal, e igun l a - 1, si y~ figura en la forma nor-
mal con el signo menos.
El Lcorema que acabamos tic demostrar se empica en torios los
casos donde se aplican las formas cuadr<\Licas definidas positivas.
Sin embargo, co n su ayuda no se puede det.erminar, valindose de
los coeficientes e.lo la forma, si sta es definida po!>itiva o no. Para
este fin sirve otro teorema quo enunciaremos y demostraremos
de~pus de quo :se int roduzca un conce pto nux iliar.
Sea dada unn forma cuadrtica f en n indetermi nadas de matri7.
A = (a 11). Los menores do orden 1, 2, .. ., n de esta matriz. siLuo-
dos on el ngulo super ior de la i7.q11icrda, o sea, los menores
ali a13 a1A u 2 '"
1 11
11 a,~
.
1
' .. . ,
a21 22 a21c
' . . 1
ll!?t zz 2n
1 21 1122 .
"1 h2 '"'
el ltimo de los cuales, evidentemente, coincide con el determinante
de l a matriz A, se llaman nunores principales do la forma /.
Subsisto el siguiente teorema:
Una forma cuadrtica f en n indeterminadas con coeficientes
reales es definida positiva si, y s6Lo si, todos sus menores principales
son estrictamente positic;os.
Demostracin. E l teorema os cierto para n = 1, puesto quo en este
caso la forma es ax2 y, por lo tanto, es definida positiva si, y slo
si, a > O. Por esta razn demostraremos el teorema para el
caso de n indeterminadas, suponiendo que ya est. demostrado para
las formas cuadrticas en n - 1 indeterminadas.
Hagamos primero la observacin siguiente:
Si una forma cuadrtica f con coeficientes reales quo formnn una
matriz A , so somete a una transformacin lineal no degenerada de
matriz real Q, el signo del determinante de la forma (o sea, del deter-
minante de s1 matriz) no vara. 1
En efect o, despus de la transformacin se obtiene una forma
cuadrtica cuya matriz es Q' AQ; poro, como 1Q' 1 = 1Q 1. resulta:
IQ'AQl=IQ' lIA lIQI = 1A lIQI'.
. 28. Formas definidas positivas i85
" I" I 1
;),
2
2 1 = 1
5
2
:l -l,1
l -2 = 1
-~ - ~ 5
~on pos itivos.
2. La forma cuadr1iticn
/ = 3zi l- x? -l- 5zH- 4x1.:t2 - Sx;r;3 - 4x2z3
no es definida positiva, puesto que su segundo menor principal es negativo
3 21
12 ! = -1.
ESPAClOS I.lNEALE.'
aa = a (a + O) =aa + a.O,
o sea ,
aO = a.a - aa = aa + 1-(cca)J = 0,
121 Oa = O,
clonde en el primer miembro figura el nmero cero, mientras que e n
el segundo miembro, el e le mento nulo de V.
P11ra la demost.rac in , tomemos cualquier 11111ero a. Ent.onces
GT.<l (a. + O)a = cca + Oa,
do donde
Oa = aa-a.a =O.
13 ). S i a.a = O, entonces a = O, o bien "' O. ~n e fecto, si a =;il= O,
e s decir, que exist.e e l nm ero c::t-1, entonces
a= i 11 =' (cc 1a.) <L=CG- 1 (GT.<t) = a - O = O.
et(-rt) = -aa..
En efecto.
aa .:_ et( - a) = ce la+ (-a.)) = aO = O,
o sen, e l elemento a ( - 11) es opu esto al eleme nto aa.
1;;1. (-c::t)<L = - aa.
En rt>alidad,
a.a. + ( - a ) a.= la + ( -a)) a = lt ~ O,
o >;Ca, e l elemento ( - a) a es opuesto al e lemento ex.a.
[()). a(a-/J) =c::ta-ab.
En CC'C l o, en virtud dt 141. tend remos
a (ll - b) =~ ala + (-b)I = aa + a (-b) =aa + (-a.b) = a.a-ah.
171. (a-P)u=aa-pa .
Se tiene, en efecto
(a - P)<t = (a + ( - ~)) a = aa + (-P) a = cw + (-~ll) = aa - P<i.
1!10 Cnp. V II . F:spacios lit1Mles
se tiene
de donde
i = 1, 2, ... fl,. f
l l[
base (4), se denomina matriz de cambio de la base (4) por la base (5).
En virtud de (6), la relacin entro las bases (4) y (5) y la matriz
de cambio T se puede expresar en forma de \lna igualdad matricial:
:i
f T 11 T12 'f111
T21 T22 'f211
;~ lJ
(7)
rl ~~ . l~,,: ~n~ ~"~' J e~,
.. : =
o, en la form11:
e' = Te.
donde con e y e', so han designado, respectivamenlt'. las bases (4)
y (5) escri tas en columna.
Por otra parte, si 1" es la mal riz de cambio de la base (5)
por la base (4), se ti e no
e = 'I''c'.
De aqu
e=(T' T)e,
e'= (T7'') e',
y, como lns bases e y e' son linealmente independie ntes, resulta
1''1' = TT' = E,
de donde
T' = r-.
t96 Cap. V l 1 Espacios lineales
a = ~ exei.
1~1
Aplicando (6), resulta:
a=t~
- i
ex;( ; ~
- 1
't1Je1) = ; ~ ( ~ czi11) e.
- 1 i=
Comparando con (8) y aplicando la unicidad de la expresin de un
vector mediante la base, so obtiene:
n
a. = ~ exi1J. j = 1, 2, ... , n,
i=I
o sea, se cumple Ja igualdad matricial:
(ext. ex~, . .. , a.n) = (ex;, a;, ... , a~) T.
31. Tr12n1/orma1:'4ne1 llneale1 t9'J
- - 21 + 2+3
lambin forman una baso on esto espacio, siendo
r-( ~ -~ -~).
-2 1 1
la matriz de cambio de (9) por (10); de donde
r -1 = (-~ -: -~ ) .
8 -3 t7
Por oRlO, el vector
a = e1+ 4ez-e3
tieno on la baso (10) la fila do coordenadas
3 -1
(a;. a;, a3l = (1, 4, - t) -2
(
8 -3
1 -~)
17
( - 13, G, -27) ,
o sea,
a<p =
"
~Ct.C . (7)
i -+- i
fl "
= L;
i= t
<X1C1 + i =~t f31c1 = mp ! be;.
(V<L)rp = l :;
f=: t
(ya,) ei) qi ,,_, ~ (va1) c; = y ~
i= I i= t
a 1c1 =y (n<p).
E n lo que se refiere a Ja igualdad (l:i), sta se cumple debido a la
definicin (7) de la lransformacin lf', pueslo que tod11s la coordenadas
de l vector c1 en la base (4) son iguales a cero, excepto la i-sima coor-
denada , que es igual a la unidad.
Por consiguiente, hemos establecido una correspondencia. biun-
voca entre todas las transformaciones del espacio lineal V,. y todos los
sistemas ordenados (5) formados por n vectores de este espacio.
Sin embargo, todo vector c 1 posee una dctenn inada expresin
en Ja base (4) ,
"
ce = 2} aueb i = 1, 2, ... , n. (8)
i- 1
Con las coordcnaJas del vector c 1 en la base (4) se puede form ar
una matriz cuadrada
A = (au) (9)
tomando por i-sirna fila Ja fila ele coorde11adas del vect01 c 1, i =
= 1, 2, .. . , n. Como el sistema (5) es arbitrari o, l a matriz A
ser una malrit. cuadrada arb itraria de orden n con elementos reales.
Por lo tanto, resulta una correspondencia biunhoca entre todas
las transformaciones lineales del espacio Vn y todas las matrices cua-
dradas de orden n; por supuesto, esta correspondencia dependo de la
eleccin de la base (4).
Se dice que la matfri A deterntina lt\ Ltansformacin lineal <>
en la base (4), o, abreviadamente, que A es la matriz de la transfor-
maci6n lineal q> en la base (4). Si designamos con ec:p la columna for-
m ada por las imgenes de los vectores de la base (4), entonces, de
(6), (8) y (9) se deduce la siguiente igualdad ma l.ricia l , que describe
totalmente la .relacin existente entro la. tri\llsformacin lineal cp,
la base e y la matriz A que determina esta transform acin lineal en
esta base:
ecp = lle. (10)
He aqu cmo se bailan las coordenadas de la imagen a<p del
vector a en la base (4), conociendo las coordenadas ele! mismo vector
. 91. Trant/ormaclones lineales
\
a en la ' misma base y la matriz A de la transformacin lineal cp. Si
.
a=~ a.1 e,.
i=t
se tiene
entonces
(5, 1, - 2)
(
-2
'l
1 )
3 2 = ( - 9, rn. O>.
o -4 1
o sea,
4(P '~ -9e1 + t6e2.
Relacin entre las matrices de una transformacin lineal en diver-
sas bases. Naturalmente, la matriz que determina la transformacin
lineal depende de Ja eleccin de 111 base. Hallemos la relacin entre
las matrices que determinan uni\ misma transformacin lineal ero
en bases diferentes.
Sean dadas las bases e y e' con la matriz ele l:ambio T.
e'=Te, (11)
y supongamos que Ja transformaciu line11l q:> se determi11a en estas
bases poi las matrices A y A', 1espectivamcnte,
e1r=Ae, e'111=A'e'. (i2}
202 Cap. VJI. Espacios lineales
o sea,
e (<p;) = (Afl) e.
En otras palabras, lti matriz del producto de transformaciones lirze<iles
en cualquer base es igital al producto de las matrices de ei;tas transfor-
maciones en lci misma base.
Finalmente, en virlud de (l),
n ''
C (xlJl) = X (e1cr) = X ~ r:J.;;e. = ~ (XCGij) e,,
1= 1 j =- 1
o sea, .
e (x<p) = (xA) e.
Por consiguiente, ta matriz que determina en cierta base el producto
de la transformacin lineal <p por el ntimero x, es igual al producto
de la matriz de la misma transformacin q> en esta base por el n-
mero x .
Oe los resultados obtenido!'\ se deduco que las o>eracione~ con
las transformaciones lineales poseen las mismas propiedades que las
operaciones con las matrices. 1\ s, me:;, la :;urua de transformaciones
lineales es conmutativa y asociativa, y el product.o es asociativo, aun-
que para n > 1 110 es conmutativo. Para las t.ransformaciones linea-
les existe la resta unvoca. Obsrvese tambin q11e entre las trans-
.~ 92. Subespacio1 llneak1
se tiono
206 Cap. VII. Espacios lineales
(5)
0:111X1 -!- CL21iX2 + ... -1 (o:M - Ao) Xn = O
posee solucin no n11la; dc donde s11 determinante es igual a coro,
" - Ao, et2i.
C<.12, 22 - AJ).
=0. (6)
Transponiendo, resulta
(7)
a= l;
i-=- 1
Ct.C, b= ; ~ 1 e,,
1- 1
suponemo"
n
(a, b) = ~ a, ~ , . (3)
1- 1
o sea.
(b, 1+ 1)
a1 = - ~, i ~~ 1, 2, ... ,l.
Continuando este proceso se conslruye el sistema ortogonal
buscado b1 , 2, . . . . bh.
Aplicando este proceso de ortogonalizacin a cualquier base del
-espacio En, se obtiene un s istema 01togonal de n vectores no nulos,
es decir una base ortogonal, pues, por lo demostrado, este sistema es
linealmente independiente. Recordando <ihora la observ acin hecha
con relacin al primer paso del proceso do ortogonalizacin y ten ien-
do en cuenta tambin que cualquier vecto1 no nu lo se puede incluir
-en una base do l espacio, se puede enu11ci111 incluso la siguiente afir-
macin:
Todo espacio eucldeo posee bases ortogonales; cualquier vector
no nulo de este espacio forma parte de alguna base ortogonal.
En adelante, desempeiiar un papel importante una forma espe-
cial <le base ortogonal; las bases de esta forma correspooden a los
sistemas cartesianos l'ectangttlares de coordenadas empleados en . la
geometra analtica.
El vector b se llamru normal, s i su cuadrado escalar es igual
a la Ullidad,
(b, )=1 .
Si a* _9, de donde (a, a) > 0, el paso al vector
i
l-/ (u.-
u)
(1
9!/. D6/intci6n del espacio euclldeo. Bases ortonor111alts 219
de E el vector
n
a'=~ a 1e
i-=l
de E', que tiene en la base (11) las mismas coordenadas que tiene el
vector a en la base (10), se obtiene. evidentemente, una corresponden-
cia de isomorfismo entre los espacios lineales E y E' . Demostremos
que tambin se cumple la igualdad (9): si
n
b'= ~ l31e,
1-1
entonces, en virtud de (8) (tngase en cuenta que las bases (10)
y (11) son ortonormales),
n
(a, b) = ~ cx1(31 = (a', b').
1-1
PAra _\e l caso de espacios lineales complejos, los conceptos y resultados dol
presente prrafo se generalizan del modo sltfulenLe: un espacio lineal complejo
se llama espacio unitario, si en l est definido el producto escalar, donde {a. b)
es, por lo general, un nmero complejo. En esto caso, tienen crue cumplirse los
nxlomM 11-IV (en el enunciado del ltimo axioma se debo subrayar que el
cuadrado escal ar de todo vector no nulo es real y estrictamente positivo);
ol axioma 1 tiene que sustituirse por el axioma
1'
donde la raya seala, como os usual, el paso al nmero complejo conjugado.
Por consiguiente, el producto escalar ya no es conmutativo. A pesar de todo,
so verifica una igualdad simtrica al axioma JI,
ll' (a, b+c)=(a, b)+(o, e),
ya que
(a, b l c) ={b + c. a) ~ (b, ")+(e, a)=(b, a)+(c, a)=(a , !>)+(a' e).
Por otra pnrte,
111' (11, cxb)=a(a , b),
pues to que
acp
" a. (e<),
= i =~ 1
l
.$ 35. \/al.rices orlogonales. transformaci<1r1es ortogonales 225
o sea, el vecto1 acp tiene en la bBse ecp las mismas coordenadas que
tiene el vector a en Ja base e. Sin embargo, ambas bases son ortooor-
rnales, siendo, por consiguiente, el cuadrado escalar de cualquier
vector igual a la suma de los cuadrados de sus coordenadas en cual-
quiera de estas bases. Por Jo tanto,
n
(a, a) = ((L(p, acp) = ~ a.i,
1- 1
(b, c<p) =
"
~ ~11'JJi
i.j= t
En efecto, sea A.0 una raiz caiacterstica (que puede set compleja)
de la matriz simtrica A = (a11),
IA-AoEI = 0.
Entonces el sistema de ecuaciones lineales homogneas con coefi-
cientes complejos
"
~ o. 11x 1 = A.0 x 1 , i = 1., 2, ... , n,
j e: t
(4)
A1 '-z OJ
( O .. ;>.,.
'
donde Q es la matriz de cambio de la base f a la base e,
e=Qf. (2)
Esta matr iz, como matriz de cambio de una! base ortonormal a
otr a base ortonormal, es ortogonal (vase el 35). El teorema queda
demostr ado.
Como para una matriz ort.ogonal Q la matriz inversa es la trans -
puesta, Q- 1 = Q', la igualdad (1) se puede escribir en Ja forma
B=Q'AQ;
110 obstante, por el 26 se sa be que precisamente as 5e transforma
la matdz simtrica A de una forma cuadrtica, sometida a una
transformacin lineal de las indeterminadas de matriz Q. Teniendo
en cuenta que una tran~formacin lineal de las indeterminadas
ele matriz ortogonal es una transformacin ortogonal (vase el 35)
y que lo forma cuadr;tica reducida a la forrnn cannica tiene una
matriz diagonal, basndonos eu el teorema precedente obtenemos
e l s iguien te teorema do reduccin de una rorm n cuadrt ica n al
; 1 los ejes principales:
Toda forma cuadrtica real f (xt> .1:2 , , ;r,.) se puede reducir a. la.
forma ccm6nica mediante 1111.a trnns/ormacin ortogo11.al de las inde-
terminadas.
A pesar de que pueda u exislir muchas 1.ransfol'lnacion~ ortogo-
uales diferentes de las iudclcrminadas que reduzcan la forma cuadr-
t ica dada a l a forma cannica, sta se determina cu lo fundamental
unvocamente:
C1w.lquiera <JUC sen lit lrausformacin orlogonal que reduzca la forma
c1iadrttica f (x1, Xz, , x,.) de maiz A a la forma can<inica, los
cocficientes de esta form.a ca.nnica son las rnCcrs caractersticas de la
matriz A , lomculas con s11s 1irclcnes de multiplicidad.
En efecto, suJo11gamos que la forma f se ha reducido ya a la forma
cannica
f (X, X!, .. X,.)= y ~- 2y; -!- .. -i- ,.y;.,
mediante una Lransformacin ortogonal.
Esta Lraosformacin ortogonal mantiene invariable Ja suma
d e los cuadrados do la~ indete1minadas, de dond e, si A. es uua 1111cvu
ind eterminada, se tie11 c
ll 11 71
~
t 1
o - 1 - 1 )
11 = ( - 1 o ~ .
- 1
l In 1lcmos su poi inomio cnract erst ico:
-A 1 - 1
- A 1
l 11 - H: - (A - \)s (). , 3 ) .
_, -1 - A
- A
1
Cap. VIIJ Espacios euclfdt<M
l
x 1 + 3x2 -x3 z 4 - 0 .
.2'.1 -.xz + 3;rs-i- .r4 = O,
-x1 - xz ' x,, :lx4 -o.
El rango do este sistcm,1 es igual a 3. El vector
C4 = (1, - 1, - 1, 1).
es una solucin no nula.
El sistema do vectores c1 , c2 , c., c4 es ortogonal. Normalizando este sistema
llegamos al sistema ortonormal de vectores
e, = ( l/2'
1 -J2 .o, o),
( f 1 ., / 2 )
C. = 116 . - 116. V 3 0 '
( t 1 1 V3 )
= - 2 V3 ' 2 v:r . 2-V3 '-2-
e~ = (
1
2' - 2 -+. {).
37. Reduccl6n <k una forma cuadrtica a lo1 e/e prlnclpalu. 235
1 1 r:r
vz = Vil Zi - vif z2 .l. V 3.r3,
1 1 1
f/J = -2V3 :.ri + 2v:r Zn 2 vr :.r~ 1
1 1 1 . 1
y, = 2z1-2 .r2- 7 rs-r 7.r
E" menester scnalar que 111 eleccin del s istema do vectores propios, linoa l-
mouto ndopond iontes, co rrespondientes a un va l,1 propio mltiple, goza do
111uch11 pluralidad; tic 11qul qu o existan muchas Lrnns lonnnciones ortogon a l ~,.
di stintas quo redu~e n la for111n / a la fonna co nni cn. Aqu ~l o lwmo8 hnllndo
1111 a clo stas.
Supougamos que l'Xisl1 una l ran<form acin lin t'al 110 clcgl'mrad11
C11Y1 7 C11.1J2, }
c?. 1U1 -: Cz2Yz,
o sea, las races de la ecuacin dada S<' pueden hallar por la fi1r-
mula ordi11uria
p .r-;=--
J:= - -:;-
-
V ,--q.
1
z 1 = 2 + 1, .r2 - t - I .
Ecuncio11es cbicas. A diferencia del ca~o ele las ecuaciones c1111-
drlict1s, has ta ahora no tenemos un mtodo para la resolucin de las
ecuaciones rbicas. incluso en el caso do coeficien tes reales. Ahora
obtendremos pan\ l:is ecuaciones cbicas una frmula an loga a la
frmula puru las ecuaciones cuadrticos, suponiendo adems que Jo;<
coeficic11t.es son cualesquiera nm eros complejos.
Sen dndn la ecuaci n cbica
y 3 +a.y+ by + e = O (1)
con coeficic11 tcs complejos cualesquiera. Sustituyendo en In ecun-
cin (1) la incgnita y por una nuova incgnita x, ligada n y por
medio de la igualdad
(J
!J =X-;r (2)
Sus coe fic ientes son nmeros co mpl ejos, poseyendo por lo tanto dos
raices com pl ejos a y ~- Por las frmulas d o Vieta:
a ' IS - .xo. (4)
~ - -:r. (5)
P oniLndo (lll (3) la expresin (4) d e Ja rn iY. x 0 , resulta
(a + ~) + p (a -1 ~H- g == O.
o bie11
a 3 + ~3 + (3"~ + p) (ex. + ~) + q = O.
Sin embargo, de (5) se deduce qu e 3 a~ + p = O; de donde resulta:
a -1 IS'' - q. (6)
Por otrn pnr lc, d .. (;'>) !'e dtdun que
p
a3~ = -27 . (7)
Las igualdades (6) y (7) mueslrr111 qu<' los 111imero:< a 3 y ~3
:<on
ni ices el <' la cr11ac i11 c uadrt ica
... p"J
z-+ q:;- '2i ....: O (8)
con co eii c icn tes complejos.
lcso l v icndo la ecuacin (8) " ob ti e n e:
'I _.r q'l. ' /':t
-: V 1,-r-:;:.
(!J)
~v
.tq et. : ~ ~
V -
tJ I 1
7 -1- V' T-1 Ti 1
f'l
Como ('I r111li ca l cb ico tien e trc.<: \'n lorc:< e n ul cam 1>0 de lo.<
r ' / q2
- 7 - V T ~ -:!7 .
p3
nmeros co mpl ejos , las frmulas (V) dun t.rcs \'alores para u y tre:<
\'alorc:> pnrn IL S in e mbarg o , al a plical' In f( r111nln ile Card<1110, no sr
1>u cd c .com bi11;11 cua lqui er va lor d e l r ndi cn l et. con c nalcplicr valor
N"o im porta cul d!' l as ra('<'.S 4fc Ju cir uaci11 (8) ~ Loma por a:l y cu{tl
por ti".pucs l o <tu~ Nt la~ J.:11a lclad~ (G) y (7), y l a111 hi611 tu la rxpresin (li),
a y f\ t:i;.t.in ~i tuacla . . 5imlriramln te.
;ll,\) Cap. l X Clculo de las rafcu de los polinomios
+ ~;) ,
denomillada discriminante de la ecuacin (11) (comprese ms abajo,
54); en las formulaciones posteriores se usar el signo del discri -
minante.
1) Sea D < O. En este caso, en la frmula de Cardano, bajo el
smbolo de cada uno de los radicales cuadrados figura un nmero
positivo. Por es~o. los nmeros que figuran bajo los smbolos de cada
uno de los radicales cbicos son reales. Sin embargo, la raz cbica
de un nmero real tiene un valor real y dos valores imaginarios
conjugados. Sea a 1 un valor real del radical a; el valor ~ 1 del radical ~
que corresponde a a 1 por l a frmula (5), tambin ser ceal, pues, el
1
98. P.cunclmu:s tle segrmdo, tcrr.ero y cuarto gra,fos 241
.i-3 = a,e2R
, Pl e = a1 ( - ;r- .l/~ ) + PR(
1 i--;--- I 1 -rL.i --y-
-2 V3) =
= - 1 ~~ -i V3 ;- ~ ;
co mo los nmeros a, y f3 1 son reales, estas dos races son nmeros
imaginarios conjugados, pues, el coeficiente de la parte imaginaria
es diferente de cero, debido a que a 1 =I= f3 1 ; stos son va l ore.~ de
dist.intos radicales cbico~.
Por lo tanto, si D < O, la ecuacin (11) tiene una rafa real !! dos
races imaginarias conjugadas.
2) Sea D = O. l::n este ca.;o,
a=v -t. f3 = v -t
Sea a 1 un valor real def radic:il a; en virtud de (!'>), f3 1 tambin ser
un nmero real, s iendo a 1 = 13,. Sustituyendo en las frmulas (10),
13, por a 1 y aplicando la igualdad e+ 8 2 = - 1. resulta:
x 1 =2ai. x 2 = a 1 (e -f-e2 ) = -ar. x 3 =a,(ez + e) = - a,.
P{)r lo tnn\.o, s< D = O, todas las races de la ec1H1cin (11) so11
rea.lr'S, siendo dos d e ellas iguales entre s.
3) S ea, finalmente, D > O. En es te caso, en la frmula de C11r-
dano, bajo el rad ical cuadrado figura un nmero real 1lt'gali vo y , por
co ns igui ente, bajo los radicales cbicos figuran nmeros inrnginlrio~
conjugados. En consecuencia, todos los valore.~ de los n1di cnles a y f3
son ahora nmeros imaginarios. No obstante, cutre las races de la
ecuacin (11) t iene que haber por Jo menos una real. Supo11g111nos
que sta es la rar.
X1 = o ! ~O
Como son reales tanto Ja suma de los nmeros a 0 y f3 0 como~ " pro-
ducto, igual a - f,
los nmeros a 0 y f3 0 son conjugados entre s, pues
son ra.ces de una ecuacin cuadrticn con c{)cficien\.es reales. Pern,
entonces, son conjugados entre s tambin los nmeros a0 ~ y f3 0 e2 ,
sG-2 $2
242 Cap. 1 X Clculn ele las Ntlcu de ,,. polinomios
y tambi n Jos n1mt>ros a 0 e 2 y f3ae, de donde so dcd uco ruo las races
de la ec uacin ('11)
o bien
> (17)
2
.?: -:- jl 2a0.x -i- ( f + ao- 2 V2o:) = O. j
Como las ecuacione:; (17) se han obtenido de la ecuacin (14)
haciendo lransforrnaciones idnticas, las races de las ecuaciones (17)
scr;in t;101l1in races do Ja ecuacin (14). Pr.cilmen te se observa
tambin que las taces de la ecuacin (14) se exprcsM por radicales
medianlo los coeficientes. Aqu no cscribirem<>s las frmulas corres-
pondientes, pues so n muy complicadas y pr.cticamente intiles;
tampoco estudiaremos separadamente el caso en que la ecuacin (14)
tenga coeficientes reales.
Observacin sobre las ecuaciones de grado superior. A pesar <le
que Jos griegos ya conocan Jos mtodos de resolucin ele Jas ecua-
ciones cuadrticas. el dcscnbrintiento de Jos mtodos de resolucin
de las ecuaciones de Loicero y cuarto grado, exp uesto anteriormente.
pertenece al siglo XVI. Durante casi tres siglos se continuaron haciendo
estriles pruebas para dar el paso siguionle, es dec-, para ballar
frmulas que exp1esasen las mices de cualquier ecuacin de quinto
grado (o sea, do una ecuacin de quinto grado con coeficientes lite-
ra les) mediante sus coeficientes por radicales. Estas pruebas tel'-
minaron en los aos veinte del siglo pasado, despus de que Abel
demostr que no existen tales frmulas para las ecuaciones de n-simo
grado, cuando n ~ 5.
Sin embargo, el resultado de Abel no exclua la posibilidad de que
las races de cualquier polinomio concre to con coeficien~es numricos
se pudiesen expresar de algn modo mediante los coeficientes emplean-
do algunll. combinacin de radicales o, como est con\'enido decir,
que cualquier ecuacin se resolviese por radicales. El problema
sobre las condiciones segn las cuales una ecuacin dada es resoluble
por radicales fue estudiado detalladamente por Galois1 en Jos aos
. 89. Acota.c6n de las races
\
treinta del siglo pasado. Result que para cualquier n, empezando
desde n = 5, se pueden indicar ecuaciones de n-simo grado irresolu-
bles por radicales, que tienen incluso coeficientes numricos enteros.
Tal es, por ejemplo, la ecuacin
x 5 -4x-2=0.
Las investigaciones de Galois influyeron definitivamente en el
desarrollo del lgebra. Sin embargo, nuestra tarea no incluye su
exposicin.
39. Acotacin de las races
Ya sabemos que no existe un mtodo para calcular Jos valores
exactos de las races de los polinomios con coeficientes numricos.
No obstante, diversos problemas de la mecnica, de la fsica y de la
tcnica se reducen al problema de las races de los polinomios, los
cuales suelen ser a veces de grados suficientemente altos. Esta c ir-
cunstancia fue la causa de numerosas investigaciones que tenan por
objeto aprender a hacer tales o cuales deducciones sobre las races
de l os polinomios con coeficientes numricos sin conocer estas races.
Se estudiaba, por ejemplo, la cuestin sobre la posicin de las races
en el plano complejo (las condiciones segn las cuales todas las
races estn dentro del crculo unidad, o sea, que en su valor abso-
luto son menores que la unidad, o bien, las condiciones para que
todas las races estn situadas en el semiplano izquierdo, o sea, que
sus partes reales fuesen negativas, etc). Para los polinomios de
coeficientes reales, se elaboraban mtodos de definicin del nmero
de races reales, se buscaban las cotas entre las que podan estar
estas races, etc. Finalmente, fueron dedicadas muchas investiga-
ciones a los mtodos del clculo aproximado de las races. Ordina-
riamente, en las aplicaciones tcnicas es suficiente conocer solamenle
los valores aproximados de las ralees con cierta exactitud prefijada,
y si, por ejemplo, las races del polinomio se expresasen incluso
por radicales, stos se sustituiran de todos modos por sus valores
aproximados.
En su tiempo, todas estas investigaciones formaban el contenido
fundamental del lgebra superior. En nuestro curso esl.l incluida
solamente una parte muy pequea de Jos resultados re lacionados con
esto y, teniendo en cuenta las necesidades primarias de las apli-
caciones, nos limitaremos al caso de polinomios de coeficientes reales
y de sus races reales, salindonos pocas veces do estos lmites.
Adems, se va a considerar sistemticamente el polinomio f (x)
de coeficientes reales como una funcin real (continua) ele la variable
real x. Siempre que sea til se emplearn los resultados y mtodos
del aniilisis matemLico. .
21,1\ Cnp. f X Clwlo rle los rafees de los polinomios
(pi(x) = x"f ( ~- }
l1'2(x) = fl-x),
Si
(3)
enlonces, como
a0xh- t (x-1)-8 > a0 (x- 1)1' -8,
la ox 1>resin que figura entre corchetes en l a frmul a (2) resulta posi-
tiva. sea, en virtud rl o (2), el valor de / (x) es estrictamente
posilivo. Por lo tanto, los valores de x que i;i\Lisfocen a la desigual -
d11d (3) no pueden ser ral'OS de f (x), como ;<e quera demostrar.
Pa ra el poHn omio h (x) considerado n11leriormente, como k 2
y /1 - 7, para la cota su perior de las race:i positi.vas esl-0 mtodo
da ol nmero 1 ~
prximo mayor ~.
vr. fllll' se puede sustituir por el nmero entero
Fcilmente se comprueba (aunque sea por ol mtodo de llorner), quo todos estos
po\inQm ios 5on positivos para :e = 2. Por lo tanto, el nmero 2 es una cota
suierior do las ralees positivas del polinomio h (x), resultado qu o es mucho ms
exacto que los obtenidos por otros mtodos.
Para hnl lnr una cota inferior de lrts rar.~s negativas <lcl polinomio /1. (x).
veamos ol polinomio q> 2(x) = - h (- x)*. Como
q>2 (.i) = x6 - 2z4-5xS-8x=-7.< . 3,
<Pi (x) = 5z~ - 8r-15r2 - l(;x - ,
Cf.i (;r} = 20xS-2;\.r.2-:,0.r.- lli,
<;' (x) = 60z2-;\8.i:-30,
<rF (x) = l 20c-48,
q>V (x) = 120,
y aplicando de nuevo el mtodo de Newton , pnra las cotas superi ores de las ra-
de aqul el nmero +=
ces positivas de estos polinomios hallamos Los nmeros 1 y 4, respectivamente ;
1 es una cota inferior de las races positivas del poli-
nomio I (x); el nmero - {os una cota superior do las races negativas do ste.
Por lo tanto, las ralees positivas del polinomio h (:e) estn:comprendidas
enttll los nmeros 1 y 2, y las races negativas, entre los nmeros -4 y - {.
Este resultado concuerda perfectamente con lo hallado antes al examinar la
grfica.
ro 1 + 1 + 1 T 1 1 l 1
Por lo tanto, al p11st1r x de - oo a oo, el sistema de Sturm pierde tres varia
<:iones de signo y, por esto, el polinomio h (x) ti ene cxnctamonto tres races
Cap. IX Clculo de las rore~. 1/e lo polinomios
I {..<) l l l/(z)1
/(:r) lz (.z} 3
Nmero do varlaciouos
de s igno
-00
l+ 1 1 1
:l
o:: + + + + o
1 1 1 1
Por c.onsiguiente, ol >oliuomio / (.r) ti ene tres rak'.-; 1ealcs. P11r11 cl<:lerminar
ms cxact11mente la 1osicin de e~tus rac~s. conli11ucmos la t abla anterior:
N (!mero do vari:icones
/ (x) l /(.z:)] /i (x)] /3 (x) 1 de s igno
l: =-31 + + 3
2:=-21 + o + 2
+ 2
o 1 ~ +
j+ + o
Por lo tanto, el sistema do S t urm del pulinomio f (x) pierdo una variacin
do signo cada vez que :< pasa de - 3 a -2, de - 1 a O y de O a l. Lucg(I.
las ralees a 1 , et 2 y et 3 del polinomio satisfacen a las desigualdades:
-3<.:ti <-2, - l <a..,<O, O<e<3<1.
41. Otros teoremas sobre el nmero de ralees reales 257
'
41. Otros teoremas sobre e l nmero de races reales
El teol'ema de Sturm resuelve por completo el problema del
nmero de races reales de un po li nomio. No obstante, su defecto
fundamental consiste c11 que los clculos necesarios para la cons-
truccin del sistema de Slurm son muy engorrosos, de lo cual se
puede convencer el l ector realizando todos los clculos respectivos
en el primero de los ejemplos considerados anteriormente. En virtud
de esto, se demostrarn ahora dos teoremas que no proporcionarn
el nmero exacto de races reales, sino solamcute una cota superior
de este nmero. Despus de haber b11llado mediante la grfica una
cola ine rior par<l el nmero de .r aces reales, la aplicacin de estos
teoremas dar la posibilidad de hallar a veces e l nmero exacto de
races reales sin recurrir al mtodo de Sturm.
Sea dado un polinomio f (x) de n-simo grado, de c,odicicntes
reales, que puede tener nices mltiples. Cousideremos el sislema
formado por sus derivadas sucesivas
f (x) = /<>(x), /'(a:), /"(x), . .. , <t1-1 >(x), f!"l (x), (1)
c11 el cual la ltima es igual al coeficiente superior ao del poli-
nomio f (x), multiplicado por n!, conservando por consiguiente
constante e l signo. Si el nmero real e no es raz de ninguno de los
polinomios del sistema (1), el nmero el e variaciones 1le signo que
prcscnl:I e l sistema orde11;11lo ele urneros
f (e), r (e), /"(e), .... j(1l- I) (e), /<"'(e).
se designar; con S (e).
Por lo tanto, se puede coasiderar la funcin S (x), defiuida para
los va lores de x que 110 11nulau a ninguno de Jo~ polinomio:< del ~i sle
ma (1 ).
Vtiamos cmo vara el nmero S (x) al crecer x. i\licnlras x 110
pase por una raz ele alguno de Jos polinomios (1), ul 11mero S (x)
110 puede variar. En virlu d 1le esto, tenernos que examinar 110;; citsos:
el paso de x por t111:1 raz del polinomio f (x) y 1~ 1 p;;o de x por una
raz de una de l1ls derivadas/(/) (x), 1 <. k ,o, 11 - L
Sea a una raz mltiple ele orelc11 l del polir10111io / (x), / --;., 1.
o sea.
Lienen un rnisrno signo. Como ct1da uno de los polinomios doJ ~islc
rna (1) es la derivada del polinomio anl erior, 110 nos queda 111s qnu
demoslrar que si :e pasa por una raz a del polinomio f (x), entonces,
independientemente del orden de multiplicidad de esta raz, f (x)
y!' (x) tenan signos contrarios antes del paso, y despus del paso sus
signos coinciden. Si f (a - e) > O, entonces f (x) decrece en el inter-
valo (a -e, ex), rle donde,!' (a - e) < O; si f (a -f) <O, entonces.
f (x) crece y, por Jo tanto, /' (a - e) > O. Por consiguienle, e11
11mbos casos Jos signos son distint.os. Por ol.fll parle, si f (a e) > O, +
enlooces f (x) crece en el intervalo (a , a +
e) y !' (a e)> O; +
anlogamente, rle f (a +
e)< O se deduce que f' (a 1::) < O. +
Por lo tanto, despus de pasar por la raiz a, los signos de f (x) y j' (x)
tienen que coincirlir.
De lo demostrado se deduce qu e al pasar x por una raz de ordet,
l del polinomio/ (x), el sistema
f (x), !' (x), ... , /<1- 11 (x), f<11(x)
pierde l vatiac ioncs de signo.
Sea nhora a una raz ele las clerivadas
fV l(x).
1
j<li- tl(x), ... , jClt+H>(x), 1 4; k 4; n - 1. l # l,
no siendo raz de /<h- I ) (.-r) y tampoco de/(/ :-1> (x). Por lo dcrnostradt>
anteriormente, el paso de x por a da lugal' a una prd ida de l varia -
ciones de signo ea <11 sistema:
f<kl (x), f<'7 tl (x), ... , J<h.! 1- t) (x), <11 H>(x).
Por cierto, este paso puede crear una nueva variacin de signo enlre
t<k-t) (x) y f<h> (x); sin embargo, como l > 1, al pasar x 'por a, el
nmero de variaciones de signo en el sis tema
/Cll- 1) (x), fCh) (x), f<H> (x), ... , (11-'-t- 1 (x), f<"+ll (x),
o no vara, o disminuye. Pero, puede disminuir solamente en un
nmero par, pues los polinomios f<k- t) (x) y ffk +I) (x) no cambian sus
signos al pasar x por el valor o..
De los resultnclos obtenidos se deduce que, si los nmeros a y b,
a < b, no son races de ninguno de los polinomios del sistema (1), el
nibnero de ratees reales del polinomio f (x), comprendidas entre a y b
y contadas cada una de ellas tantas veces como lo indique su orden de
multiplicidad, es igual a la diferencia S (a) - S (b) o es menor que
esta diferencia en un nmero par.
41. Otro1 l<ortmu sobre d nmero de ralcti reales 259
donde ao, a., .. . , a,. son los coeicieutes 1lel l)Olinomio f (x),
resul ta que S + (O) coincid e con el n mero de variaciones de sig no que
presenta el siste ma de coeficientes del polinomio f (x), en e.l cun l no
se c11e11tan los coefic ien tes iguales a coro. As, aplicando el teore ma
de Budan- Fourier a l intervalo (O, oo). resu lta el teo rema siguiente:
Teorema de D escartes. El nmero de races positivas de un polino-
mio f (x), contadas cada u11a ta11tas veces como incllqne sn orden ele
multiplicidad, es igual a.l 111mero de variaciones de signo que presenta
el sistema de coeficientes de este polinomio (los coeficientes iguales a cero
no se cu~mlan) o es menor que este 111mero en un nmero par.
Est. claro q ue para la dctcrminaci11 del nmero de races nega-
tivas de l polnomio f (x) es :;uficienlc :iplicar el loorema de Dcscarle::s
a l polinom io f (-x). Naturu lme nle, si en esle caso ni ng uno do los
cocficien t.es dol polinomio f (x) es igua l a cero, a las variac iones de
signo que presenta el sislcma de cocicicnles del 1>olinomio f ( - x)
corresponden perman encias de signo que presenta el sistem a ele
coeficientes del polinomio / (x), y \'icevc rsa. P or lo tau lo, .~ un
polinomio / '( x) no tiene coeficientes i{fna.les a cero, el nmero de sus
rafees nef(ativas (co11tadas con su. orden de multtplicidacl) es igual al
111nero de permanencias de si{fno que pr<'senta el sistema. ele coeficientes
o es menor que ste en un nnwro par.
He aqt otra demostraci1i mcs del teorema de Descartes que
no se basa en el teorema de Budan - Pourier. Demostremos pri-
mero el lema sigu ien te:
Si e > O, ento11ces el nmero de vnriaciones d e signo que pre-
.sen!<! el sistema de coe/icientes del polinomio f (x), es menor en u.n
nllmero impar que el nmero de varif/ciones de signo que prl'se11/ri
el sistema de los coe/icientes del producto (x - c) f (x).
En efecto, encerrando entre parnlosis los trminos consecutivos
de un mismo s igno, exp resemos el polinomio f (x), cuyo coeficiente
superior a 0 ~o supone pos itivo, de l modo s iguienle:
/ (x) = (a,,x" T + b1x" + ) -(a 1 ~ + ... -!- b~+ ) + ...
1 1 1 1
. . . + (-1)" la ~x'' .- 1
- -cb.,.x'), (6)
Por lo tanto,
f (x) = (x-a1) (x-a 2) ... (x-ah) <p (x),
donde <p (x) es ur1 polinomio de coeficientes reales sin races rea les
positivas. De aqtl se deduce que el primero y el ltimo coeficiente
del polinomio q1 (x). d iferentes de cero, son de un rnisUlo signo, o sea,
el sistema de coeficientes de este polinomio ptesenta un nmero
par <le va riaciones de signo. Apl icand<1 ahora sucesivamente el lema
demostrado anteriormente a los polinomios
<r(x), (x-a 1) 1Jl (X), (x-a1)(x - a z)qi(x), .. ., f(x),
se obtiene quo el nmero de variaciones de signo que presenta el
sistema de coeficien tes aumen ta cada vez en un nme ro imp ar. o i;ca,
en una unidad ms un nmero par; por esto, e l nmero de va.riaciones
de signo que presenta el sistema de coeficientes del polinomio f (x)
es mayor que el nmero k en un nmero par.
Apliquemos los teoremas de Dc!!Cartes y de Budan fou1icr al p1ilinom io
l'x1un iuado 11n1eriormcnle:
/ (z) = z6 .. Z.,, - 5x'l -j- Sz2-7.r-:.i .
El nmem tle vnrinciones de signo que prc.<enla el .sistema de l'tJ('fiti cnles
es ig uul a tres y, ' ior consiguiente , segn el teorema de Descartes, h (.e) lucdo
t ene r una o tres ra 1ce~ positivas. Por otra parlo. Ji (x) no tiene cocfidcnlc~ igu<1
les 11 caro, y como ~I sistwnn do C\leficien t1!s pn,senltt dos perm anenci us do
signo, resulta que h (.r) o bien tiene dos raicc~ negativas, o bien, no ti ene ningu
nn. Com parando con los resultados obtenidos nntes mediante la g rMi ca. vcmo~
que dos es ol n mero exacto de races neg&tivns de nu<lstro polinotnio.
Para la determinacin eJCactn del nmero de r<1ices posit ivas. upliciu-e1uos
el teOl\.'lllR de Budun Fourier al intervalo (1. oo). pues, en el 39 ya se haba
demostrado quo 1 es una cota inferior de las racM positivas do! poli11oroin I (x).
Las derivadas sucesivas de h (z) tambin fueron halladas en el 39. 1-1 :1llemos
3US signos fiara .% = 1 y X = oo:
o
De aqu se deduce, que ol sistema de derivadas, a l pnsur x de 1 a oo , piel'de una
variacin do signo, por lo quo, h (:e) tiene exactamente una 11,iz positiva.
Obsrvese que, en general , a l buscar el n mero de n1ces reales
de un polinomio, se debe comenzar con la construccin de la gt fi ca
y aplicar los -teoremas de Descartes y Budan-Fourier; sol amente
en casos muy extre mos se debe pasar a construir el s istema de S turm.
.~ 41. Otros Uoremas sobre ~l nmt ro ti~ rafees rente.~ 26:.1
< sen . 111 L'i< lL !'aso " -: s 2 - 1. Supongarn(>s c11r la f1r11111la (~l)
ya Pstii clC'11111~lrml ;1 para los poli11ornios I L g rado 1111nor C[lll' 11. Si
f (x) ~ a,,-c" a,, _1x 1 + ... e a,.,
d1111uc l ...., 11 - l, "n 1*O . hacc 1111~
k1 s,, k2 - S2,
A
Fig. 1 t. Fig. 12.
lf
A
8
Fig. 15.
por co11~ ig11icntc, poniNHlo a 1 t ,30ti8l. ~ r.unwt.. 1111 ,.r,..,r menor que 0,00011:1 .
1lagnmos la nolaci1n
y s up ongamos que
C(/, - 11)< 1. (')
Parn qne se cumpla esla desigualdad. halm posiblemente que susti -
tuir las colas (a, b) de ll\ raz a por olras ms estrechas, lo cual no
influye para que se cumplan las desigualdades (3). Sea a 0 la cota
a o b, a la que se debe aplicar el mtodo de Newton. Aplicando In
frmula (2), por valores aprox imados d e la rriz a obtenemos, sucesi-
vamente, los nmeros a,, az, .... ah . ... , s ituados en el inter-
valo (a, b) y r elacio1rnclo11 entre s por l;is igualdades
f (a1_,) , I .,
a,, ~ a11 , - /' (H - i), ' = '-' (f>)
((i)
Entonces
1 Oh"),
donde O< O< 1. IJeliido n los condiciones impuestas al iut!'rvalo
(a, 11), f' (a1,) =f=: O, y l<lui cnclo en cu en t a (:i) y (li), resulta:
1i1. f"(nh J Ah,,) _ , , / ("1t} ( /(11i.) )
-T f'(a1t) _ ,,,, ' /'(11,) a- " - /'(1111) ~ a-n,,d ~ h,,, ,.
Dt aqu
CAMPOS Y POLINOMIOS
(2)
'-" Anillo
E11 ds tintas rurnn:; de 1 11~ mutc1111ticas y e n :< u!< ap li catio ne:>.
,; 11e le ocurrir frecuc u lcmcnt e cp1e las operacione!' a l~chrnica!< no se
l'fcr t an con nnrnr os, sino t'Oll objelos de n aln ra leza di>'ti11l11. En los
ca ptulos anteriores se pn edcn h111\u1 muchos do r:-i t.o>' ej<' mplos
'"~cord<' nws ol produ cto y la s nrna de mat.ri<:es, fo ;;1111111 de vectores.
las orn111c ionl';; con .los polinomios, la;; operacio11ts con la;; l1an. -
formac io11c!' linealci'. La ddinicin general d e apen1cit11 algt'raicn
a qu e !<a l isfaccn In,.: o prraciones de i;111nar y de multiplicar l'll lo!'
a11illos 11umrico!'. y tarnl1i 11 las operaciones e11 los <'j<'mpl os indi -
cad o;:, co n;:is lc e11 lo sigui ent e .
Son dado un conjunto J\f c111c const o de 11mlrn;; o de ohjc1<1;; di'
11<\Lurn!C'La goumlrin1, o en gC'ncra l , de algun os c u lt~. t11e ll11marc-
mos elt!111e11tos d e t'S le conj1111 Lo. Se d irc que 111 d co111111/c1 M est
tftfinida una op<'racin nlgebraica, si c~s l.; indicnda 1111a 1f'.:la seg 11
li1 cu al, a cada par de c lcmcnlos n., b de es t.e conjuulo se JH1111 1'11 co
1Tespo11dP11cia d e un modo un voco un t orce r clomc11Lo c. p~rl C'11 e( ien
lc Lamhin a 1if. J.::st a opera c in pu ed o llam ar:-e adicin (11 s uma).
y cntouc cs. e se ll u mar< suma d e los elementos n y b . reprt'~l11t; 11doFI'
(' 011 la nvtacin e a - - b; es ta opernc i11 pued e llnmarsc 11111ltipli-
rnci611., o s ea, e scn l proilticlo de los clemc11Los r1 y b (i nli): =
rinalm cnlc , es p o!lih lc <p10 parn la operac in ddin i<la l'n el co11junl11
,l/ :-e introduzca uua nueva lcr m inologa y s i111hol i!.'mo.
18*
276 Cnp. X Campos !/ polinomios
(t1 1 a~ ah) (t~tn 1Ji ~2 lln) {n1z ,,,) (t11 1 1 11 J ~ :.! "'
pilrH runle>squlcra t.- y /. .
Cc1 u <'Sl fin, es .o.:.11 fi cicntt. con~lt.krar rl r:i:-:o 1- k -! t. En c-~ l e t;1~n,
pnn iflndo
.Je los anillos no asociativos (es decir, que nQ son 11ccosu1iamonto asociativo,;).
El conjunto de vectores del eopacio eucliJco de tres dimensiones respecto a la~
opornciones do la sttma y de la multipli.:aciu vectorial (conocida ior el cntso
.de geornctria anallica) os un ejemplo sirnplu do tales anillos.
~5. Campo
Del mismo modo que enLre los anillos numricos fueron elegidos
y denorninados campos numricos aquellos anillos cu los e ue se
poda efectuar In divisin (excepLo la divisin por cero), resu lta natu -
ral hacer lo mismo en el caso general. Obsrvese p-rimeramente que
.en ningn anillo es posible la divisin por cero, debido a la propiedad
del cero respecto a la mulliplicacin, demostrada anteriormente:
.dividir un elemenlo a po1 cero s ignifica hallar cu el anillo un elc-
ment.o x tal, que Ox = a, lo cual es imposible si a =fa O, pues, el
primet miembro es igual a cero.
Hagamos la defin icin siguiente:
Un anillo P se llama campo, si cousta no slo del cero y en l
es posible Ja divisin en todos Jos casos (a excepcit1 de la divisiu
por cero), determinndose :sLa un vocament.e, o sea, si para cuales-
quiera elementos a, b de P, de los cuales b es difer en te de cero.
existe en P un elemento q, y slo uno, que satisface a la igualdad:
bq = a. El elemento q se llama cociente de los elementos a y b y S'
designa con la notacin q = *. T
i{aturnlmenle, todos los campos numricos son ejemplos de
Campos. Bl anillo de los polinomios en la indctennioada x con coefi-
cientes reales o, en general, con coeficientes de algn campo numri-
co, no es campo: la divisin con resto que existe para los polinomios
.se diferencia, naLun\lmento, de la divisin exacta, supuesta en l;i
definicin de campo. Por otrn parle, se ve fcilmenle que el co11j1.Lnlu
de 11n1eros congruonles \ni.re s 1c:>pcclo <l <' I md11lo 11, dond e 111
clase Ch k ~ , 1, ... , lt - ( , COllSla do los llllllCl'OS Q\10 ni divi -
dirlos por n clan el rc.s i<ltto k. Hesulta que ::;e puede definir la "1111111
y el produclo de estas cln.<:!'s ele un medo muy 11at11ral.
Con cslc fin, tomemo-5 UIHlS clnscscualc:;q11iorn ch y e, (110 11ccer<n-
riame11te distinln!l) del ;1 i.<:1cm11 (1). Sumando cualquier 11mero de la
clase Ch co11 cualquier nmero de Ja clase C 1 , ohLPncmos cada vc7.
nm eros qnc perle11ccc11 a 111111 cl11se determinada: i\ la cln"c C:1,+ 1.
:<i k -- f < n, o a la ch11>c C 1,+ 1 .,. si k -i- f , 11. E1'to 11os ll l'\'11a111
;:iguil'nl c defi11i('in de ~111110 de las clases:
e, .
l'1c -i (',, si k ' <. 11.
(:!.)
C1 .:. C1 = ('h+t - 11 !;i k 1 l 11.
l'or otra parte, m11ltiplicando cualquier 111111ero de 111 rla~e C1c por
<:unlquicr nmero de Ja dasc l'i. obtc11emos 11meros que est{111 de
llUC\' O l'll nna cla~l' rlet.erminada: precisamente eu Ja ria"!! (',, do11d1'
res el residuo de la divi ~ in riel prorlucto kl por 11. Por lo l<111to.
lomamos la clcfinici11 siguiente dc producto de clasl's:
(3)
In sistema (1) el<' clases de nmeros en. teros, cn11gr11e111t<s e11frc s[
respecfo 1/cl mdulo 11, <!S un anillo respecto de las op1racio11es dl'finidas
2fV, C11p. X Campo.< y pollnomios
Desi ~111111doestos elemen tos igm1les <'n t 10 >' 111<'di nutc (C", ohll11mos
las potencias negali ;as de un elemento del campo, para l a>: que l'J!l'll
las r!!gln>< de operacin ordinarias. ll11ga 111os , finalml'nte, a = 1
para Lodos Jos a.
La l'xistencia de unidad no es unri propietlad criraclerstica de lo;;
campos , fllle!'. por ejemplo, el ani llo de Jo:< nmero>- enteros poste
unid ad. S in embargo , d ejemplo del nnillo de lo!< nmeros parcs
muest rn que no l odos los anillos poseen unidad. l'or otra parte.
todo <willo que p osea unidad y que contenga al elemento rccipmc11 de
cualquier t'lcm enlo diferente de cero, ts wt campa. En efecto, en es t e
caso el producto ba- 1 , a=!= O, servin el e cociente .!!... (l
La uniciclad
de esto cociente so demuestra s in dificultod alguna.
Ohsrvcso que ningn campo contil'lie clivisor<'!; de cero. En cfcct.o,
sea ah - O, 1>oro a=/= O. J\lu ltip li cando am lJos mi<'mbros de la igutd -
dad lor et elemento a - 1 , en el primer mi omh ro resulta (a- 1 a) 11 =
= 1 b "" b, y en el segundo, a -1 O O, o sea, b = O. De aqu ;:e
deduce que en todo campo cualquier igual.dad se purde simplificar
por un factor comn diferente de cno . .t::n efecto, s i ac ' be y e ~ O,
so ti ene (a - b) e = O, de dond e a - b = O, o sea. a = b.
28(; Cap. X Campos y polinomios
-a a
-b-= -b.
Caracterstica do un eam>0. !\o todas propiedades de los cii m pos
numricos se conseiyan en el caso de u11 campo arhitrario. A>:, pues,
.-;11maudo 11s mismo el nmero 1 unas cuantas veces, o sea, tomindo
cu11lcuic1 entero positivo que sea mlliplo de la unidad, m1nca ;;e
obl.endr< el cero. En general, todos est.os m l Liplos, es decir, todos
lo!' nmeros nat.11rales, son distintos entre s. Si se toman culeros ml-
tiplos de 1 de al,gu campo finito, ent.re ellos habr indispe11sablemen-
le a lgu nos que sean iguales, pues esto campo tiene slo un nmero
finito de elcmenlo,; d istintos. Si todos los mltiplos enteros de 11:1
unid11d del campo J> son elementos disti11tos de este campo, o sea,
si k 1 =I= /. 1 cu anclo k #' l, se dice que P es un campo de caracte-
rstica cero; tales son, por ejemplo, todos los campos uumricos.
Si existe11 unos nmeros enteros k y l, k > l tales, que en P se
cum Jle la igualdad k 1 ~ l 1, entonces (k - l)- 1 = O, es decir,
existe en P un mltiplo positivo de la unidad igual a cero, llam<ndo-
se ontonc,es P campo de caracterstica finita. Precisameute sta es
igual a p, ;;i p es el primer coeCicienlo positivo con el que se anula
la un idad del campo P. Todos los campos finitos son ejemplos de
campos de caracterstica finit,a; ex isten tambin campos infinitos
de caracterstica finita.
Si p es la caracterstica del campo P, el nmero p es primo.
En efecto, de la igualdad p = st, dondes< p, t < p, result.arn
l a igualdad (s1) (t1) = p1 = O, y como el campo no puede tener
divisores de cero, se teodria s1 = O, o bien, t1 = O, lo cual con-
tradice a la definicin de la .caracterstica como el coeficiente positi-
vo menor que convierte en cero a la unidad del campo.
Si la caracterstica del campo P es igual a p, para cualquier ele-
mento a de este campo se verifica la igualdad pa = O. Si la caracters-
tica del r;ampo Pes igual a cero, a es un elem.ento de este campo y n es
un nmero entero, entonces las condiciones a =I= O y n =I= O implica1i
la desigualdad na =fo O.
45. Campo 287
es docir, ol clcmon lo
~ - ac \ bel -I ~ i (q')
~ - ci , d2 c2 <fZ
tiene de nu evo la forma (2).
Demos tremos ahora que el subcampo obtenido D (i) del campo P
es isomorfo al campo de puntos del plano construiclo en el1 17. Asocian-
4G . fsomor/i5rno de Lo< anillos. Un lcldP!I cle l campo le IM ~m. 291
(~ ~)
Jo nuun en ostc nnillo un subcam po 11111' "~ i~onwrlo a l c1tmpo dt' lu~ 11111cros
ro11lcs. Pe ro, rcs ulln <]ue eu el allillo de /1u 11111tricc.< de srg1u11/o orde11 sobre el
campo r{,, los nmeros rt!ales, se puedt h11/ltir ta mbit..:n u1i 1mbcampo que es iso-
morfo al campo de los nmero.-. complejos. En (\(>("tO, pongamos t11 cmr':iponden-
ci:1 11 cada .11mcro complojo "+
bi In 1110tri:
( _~ !).
Do esto niodo, resulta u na apliraciu t.iunvoco tlo lotlo e l r;1mpo de nmeros
complejos en unn parte del auillo do Jru; 111atrk.'s tfo ~1111<10 <irtlcu; :idcms,
de las igualdades
(-ba'')
a
1- (-de d) ( a Lr /, Lff)
r - -(b d) a 1 r ' t
a b) (
( _ , ll
e d) ( nc- /11/ ad >- be )
- d e -(11/ 1 be) 11c - bd
so dc~ 11rcnclo quo es ta a 1licaci11 e~ i~omorfn, p 111\ lo <111 0 la~ rn11trir1s quu figu-
ran en lo:; ~ogundos mieml1ro~ de c~tns ;gunldtulu:' "rrfqH1111h1 n a lo!" ulimoros
cornplcjos (11 + e) + (b + d) i ~- (1i .1 br ) (e ~ d i) y (11r - brl) :- (acl +
+ be) l .,, (11 + bi) (e 1 d i) . Eu partit-ul ur la matl'i'l.
( - o1 o')
de.<cm1cfiu ol pnpel 110 unidatl imagi1wria.
E resull ndo o btenido scii~la otro >o~hll' ml<11lo o.11 ro11~tr11cciti11 del ram -
po de ntmcros complrjo~. QUP t'!' l tn salhi.htrtoriu tomo lo.s ron:::iclcrndos ante
rionncnlo.
292 Cap. X Campos 11 polinomios
tene que ser Igual a c~ro el coeficiente b,.b + b b del producto 11!1 Sin
2, 12 2
embargo, este coeliciento es igual ni determinar1te de a transformacin lineal
considerada, pues, ya sea b11 b21 = 1, o b,,b., = O, en ambos casos, b12b21 =
~ -b12 b11 . Resulta que nuestra transformacin lineal es degenerada.
.~ 47. Algbra li11t1l .1/ diKbr a d lo.< fJ"llnomlo $Obre un campo arbllr . 29:1
~ ao +a x
1 ; O zX~ + ... + n-1x"- 1 I a,.x".
Por lo tanto, todo sistema ordenado de la forma (1) se puede
expresar en forma. d e un polinomio con Tespccto ax, con coeficientes
del campo P , s iendo ev id enteme nte est a expres in nica. Basndose
fina lmen te en la conrnutatividad ya dcmoslrndo de la suma. se puede
pasar a la expresin segn las potencias decrecientes de :c.
47. A lgebra //nen/ !I lgrhrn de lo.< p olinnmiM sobu un campo nrbltr. 295
con coefi ciente:< a 0 , a,, . ., " " <ln del campo P, estar conl cnido
en el subanillo L'. El clemc11to ~ no puede poseer dos expresiones
distintas de la form a (4), pues , restan do una expresin do In otra
resu ltara una cc uncin sohre ol campo P n la <\le sal.isfarn el
olomont.o a , lo cua l co nt radice a la hiptesis 11 0 qu e el elemento a
e!4 t rascend1m te. S u mando los elemen tos de la form a (4), segn las
reglas de la adici11 en el anillo L, se pueden sun111r los coeficientes
1le poleucias iguales tic et; s in em bargo, sto coincide coa In regla
do adici(w de los polinomios. Por otra parte, multipl icando los ele-
mentos de la forma (11) segn las lcyc!I de la multiplicacin en el anillo
/, y aplicnndo la ley de disll'ib11cin, podemos cfccluar la multi-
plicaci n tr111 i no a tr mino y reuni r despus los tr min os se meja n-
Cap. X Cnmpos !f polinomio-<
Ponic11do e n (2) estn ex pres in ele r 1 (x) y sim plificando por p 1 (x)
(lo c u:d se permite, p111s lo que en el auillo P l.rl uo hay divi ~oros
:\00 Cap. X Campo. ?I polinomios
En el anillo r.lc lo!< nmc,r<~ enlN'O~. sLos son Jos nlmcros 1 y -1; en el anilh1
de los polinomios P (z l. todos los polinomios de rrAdo cero. o sea. los nr'uneros
tl,I rompo l'. distint"~ rll' tero. l 'n elemento e difc l'('nl< rlr <.(:ru, qui'"" c~ Jivi-
sor tic- ltt unidad, se ll:unn t'lr111f'nto primo del ani llo, ,:;ci C'H ~lw lq11if.'n:t de ~11."' tle.c
<"nt po~ic: ioncs en un pro1l11ctu d .. Jos factores, e ab, uno tle e.~tos fart.tn~s e~
inavitnhlemen te divi~or tf1> 111 111ii1lnd. En ol anillo <11' lo nlunNos cntl'n~ O n
clcenonto~ primos Jos ni'mHros prinw~. en el :lniUo do lu:-4 po1iu omio~ . ':-. pnlino-
mM irre1lur.iblcs .
.~.se <lescom pone t"Jl un J'rod11cto de {actor~s primo~ C1rnl111ic-r rlcuwntu 1ld
nnillo ron~idcra<lo, qtw n<J scu dh i~or do la unidn(I y f:C'U dift'J'enl.t~ 'lo cero:' l~n
Llarualla 1l~!'<'umpoid vn fHrlurial. (Nota drl 1'.).
302 Cap. X Campos y pollnom.i()s
caso do afirmacion. ser nica tal descomposicin? Esto ltimo hay q110 enten -
derlo en el senliclo siguiente: s i
a = P1P2 Pi. = q1q2 q
son dos descoroposi<:io11es del elemento a en factores primos, entonces, k = l
y (posiblemente, desJus de cambiar la n11meracin)
q :.:- pC, t ~ i, 2, t k~
d<mde c1 es div isor de la unidad .
l;:n el c.rn;ro general, ambas preguntas tienen u11<1 respuesta negativa. Aqu
nQ~ limitaremos con un ejomplo: indica r emos un anillo en el <ue l a dcscom-
p()sie in en factMes primos, aunque es posible, no es nica.
F.xa1ni11cmos los nmero~ complejos de 1:1 fo rma
a = a -1 , li=3. (7)
donde a y , :;on nm~l'OS on tcros. Todos estos numeros forman l\t\ anillv
si n di\'isorcs de con> 'I'' contiene la uni dad; c11 efec to,
(11 -,- b v-:l) (c-1- d -v=;i) = (ac - 3bcl) -1- (bc 1- ad) v=-;J. (8)
1.# lamem<>~ norma del omcr< a. ~ a -T- l> 1/-3 al utmcro e ntero (IOSitivo
N ( o;) ~ a2 -: ;3,2.
En virtod de (8) . la norma del product<> es iCIUll al producto de las normas
d~ los /11c/ores:
N (af\) = N (o;) N (f}). (\l}
En ofoclo,
(ac - :lb</)2 . 3(bc i trcl ~ u2c f-92c2-j- 3b2c2 -- J a2d'i
= (aL 3b2) (c2 1 ;3<J2).
,., (.r)
f (x)
uoF1 (.e) Fz (;) Fo (r) .. . F. (r) .
d 1 (z)
d, (.e)
i~( r) }"~ (.r) P3 (r) ... F , (r},
,,, (.r)
(%') F ., (.e),
~. iun.luu.utc,
. . (.r) . ("~ (.t) . . f ' (.r)
l"t (.r)
"n":! (.r) . L"3 (,)
Por l o tanto. aplicfludo ~lo m~o<los que 1w cxigtn ('I' conocimiento de 1n~
lacLort>l' lr1'c l11ril1le,. <le f (r) . como lu tlervadn. ltt aplic11cin del algoritmo
de Eucli<lc:-1 y del algoritm o Je hl di\'i~n, ~e pntc l~11 hallar lo~ poli1101nios
306 Cap, X Campo$ y polinomios
F 1 (:.), F , (.x) , ... , F.,(:r.) quo earecen de facl.Qres mJt.ipl.:-s , ~icndo c.ada f!letor
irroduciblo tlcl polinomio f ' i. (x), k = 1 , 2, ... , s. un foctor d o /(z) de orde11 k.
~; l mtodo ex1n1csto no se puedo considerar como mtodn do dcscon1posici<'m
<fe 1111 polin omio on Cac.t<>res irreducibles, pues , para s = 1, es d ecir. pura 1111
polinor11io ~i n 1\ctorcs m ltiples se oht.e nJrn solamente /(:r) = F 1 (x).
do11dl~
r (x) =' d,, i- 11,x -1 . 1 d 11 _ 1/ 1
- .
Por lo t.auto, el co11ju11to de los cl<!meutos del cam po; que 1.iencn
Ja forma (2) forman uu subcampo dol campo 1>; sle ser el campo
buscado P (a). Como l1emos visto, para hal!M la suma y el producto do
Jos elementos {} y y de la forma (2) solamcn te hay que conocer los
cooficient.es do las expresiones de estos olement<>s mediante las
potencias de a, por lo cuaJ, se puede afi rmar que subsiste el resul-
tado siguiente: si adems de P existe ot,ra ampliacin P' del campo
P que cout.iene tambin una raz a' del polinomio f (x). y s i P (o:')
es cl subcampo mnimo del campo P' que con lim1e 11 P y a a:. los
cQmpos P (a) y P (el) son isomorfos, donde, para obtener la corre!:lpon-
dencia de isomot'fismo entre ellos hay que asociar al e lemento f3
de lCt forma (2) de P (a) el elemc nl.o
1> 0 -!- b 1a' + b2a:: .:_ ... -': h,, _,a"'- 1
(\
1
::
49. Ttouma dt ni1tml:/a dt In ral: 309
do P (a') que tiene los mi s mos coeficientes. Con esto, queda demos-
trada la segunda mitnd del teorema.
Pa:iemo:; ahora 1\ demos trar la primera mitad de este teorema,
t111e os 111,, fundamental; lo expuesto antoriormoute nos indicar el
camino a seguir. Dado un polinomio f (x) de grado n ;;;. 2, irreducible
sobro e l campo P , se necesita construir una ampliacin del campo
P quo cont.enga una rar. do / (x). Consideremos para esto todo el
anillo de los polinomios P lxl y dividmosle e n clases disjuntas,
incluyeurlo en una claso a los polinomios q ue al ser divididos por
el polinomio dado f (x) proporcionen residuos iguales. En otras
pnl11bras, los polinomios 1p (x) y 'iJ (x) pertenece rn a una misma
clnse, si su diferencio os divisible por f (x).
Convengamos en designar las clases obtenidas con las letras
A , 8, C, etc, y dofinnmos la suma y e l prorlnclo de las clases del
sig uie nte modo. Tomemos dos clases cualo;;q ui <wa A y B; elij;rn1os
en In clase A algn polinomio q 1 (x), en la clu:c<e 8, algn polinomio
ii, (.:r.), y designemos con ;c1 (x) Ja suma do estos polinomios,
X1 (.e)= <p, (x) + ti 1 (x),
y con O, (x), su produc lo
tl, (x) ~ <r1(x)11>1 (.e).
Elijamos ahorn en la clnsc /1 cualquier olro polinomio <p2 (x), ('11 la
c lnse /J , cualquier poi i nom io '1>2 (x), y dos i;t11e1110~ res pectivamen t,c
con Xz (:i:) y ()2 (x) sn s uma y producto:
Xi (.r) "' l('z (x) + '1'2 (x),
02 (x) = <fz (x) 11"'2 (x).
Seg n Ju condicin, los polinomios rp1 (x) y <p 2 (x) pertenecen a una
mi s n111 clase A, por lo cual su diferencia (p 1 (.r) - tF2 (x) es divisible
por/ (:i:); la diferencia 1~ 1 (:r) - ii 2 (x) pO.'ICl' l':<ln misma propic1huJ.
e m111 que la diferen cia
X (:r ) - Xi (x) ~ l<!l1 (x) .; '~' (.t:)l - l<P2 (x) + '1>2 (x)\ =
~t+ -::. ;:~; c11111ulo, y sMu rnondo, f (:i:) 'IJ) (.1) ' = 1 (.r) g (:1:).
1~11 lll'l'lu , si J_t~ = tp(.c) = ri. Lll \' irl1ul 1lc (1)
li (.r) ij>(J-) ' '
j (.1:) g (.i'} a . ,,. (1:) ~ >/1(.c).-z.
f (x) g0 (.i:) = g (:i:} fr. (:r}, 'I' (x ) ~'< (.i) :..: 1jJ (x} <:0 (:e), (6}
e11 lonces, multip lica11do anihos miembros de La primera de las
igualdades (6) p01 11 (x) tjJ 0 (x), 11mbos mkmhros de la segunda por
g (x) g 0 (x) y sumando despus lrm i11 0 a t.-1m ino estas igualdades,
obtenemos:
lf (x) \ji (x) + g (x) <p (x)I g0 (.-r} 'lj:o (x) =
~ lf (x) 'IJlo (x} + g,, (x) lfJo (.1} 1 g (.f} 1jl (x),
t (x)
J
f ( x) + cp (x) + u (:r) = j (x) lji (x) + g (.r) <p (x) + "(x) =
[ g (x) v (x) g (x) 1ll (.r) v (x)
_/WtW~~ ~ cWcpWvW + gWtWu W_
- g (x) ~ (r) v (.r) -
= / (x) + r (.r) v (x) 1- t (r) "(z) _ / (r) + [ cp (r) + u (r)]
g (x) ljl (:t) v (x) - g (x) 'I>(x) v (z)
c uyo segu ndo m icm h10 peri.cuece a la clase ce ro, se deduce <1hora
que la clase <le las rnccio11es, igHalcs a la fraccin-;'<~:~>. e" la opue.~ta
a 1:1 cla ~e de las frncdone,: que sou iguales a la fracci11 / ((:r)) . Como ya e :i
sabemos. de aqu se dC'ducc la posibilidad ele la resta u11voc;1.
Determinemos el producto de fracciones rac io11n les por la fr-
mu la (3). Como g (x ) 11> (x) =f.= O, C' I segundo miembro de est.a frmula
e!<, evidenl(' mente, una fracciu racional. S i , luego ,
<p (x) <!'o (.r)
t(.<) = 'i'o(x) '
o :oca,
/ (x) Co (x ) = /: (x ) fo (x ), r (x) 1jl0 (x) = lj (x ) <ro (x ),
PO LI NOMIOS
EN VAHI AS TND ETEHM I NADAS
/J.' ~ 'f'I>+ :
por lo lcmos lrn<lo. la forma 1 ~ es de grado s + /, y romo tocios los tnn inus
~u~tituiolos por unt<S ~us pon$ivos ticncu menor gr~do, e l grado el e\ produtlo
(: scrti igua l a + 1. P.I l corcmn cucda demostr111l11.
El polinomio 'f' so ll m1111 divisor del )vlinornio f y f ('<divisible por q>. si <'11
eI onillo P {x 1. :r, .. . ., ,.,, 1 oxi~lo un pu inomi<o ,; 1111 . QU<' f ~ ef11'- l"ril111('11I<
' o h~crv11 qu e las propiedades d" 1livisihilidad 1- IX ele \ 21 ~o con""r""'' 1am-
bi11 en e l roso g cnHal que nhorn esincliamos. So dkc que 1111 lOli110111io f ele
~r:uto J.:. k ~> t. es reducible ~ohr<' un crunpo /', ~~o dl'Sl'Om pono en un pro<luch'
1le polinumius del a nillo P ,.,. :r: . .. ., z,, J, de gra,Jo!l mcnon.,; cue k . <' irrrdu fl
hle. cu cu~o coutrnri o.
Torio polinomio <ltl anillo P (x 1 , Xz, q r,. J, de :rudo tlis t i11to d~ cero. se de,.
l'Omt''tl! en ll.IL produ c to tic fa ctores i rrcrlu.ci lc.~. l!,'$ /n 1/e~comosici t511 es 1. 11ica ,
.wrluo fu c t<1rt$ e g rado ctro.
1:~1 11 L<'orcmu gcJ1rralii11 lv.~ tesu lLaelos correl11tiv11:s del 48, rofcrrnl<
a lo~ l" 'liuom ios en 111111 lndct.e rminadn. Su wimera ll'!'is so cl('rnncstrn
rPpitio111lu palabra por p<ilnhra los ra7.0oamiontos clrI p:irn1fn indirndn. La
<l<'rnn~tr~c i n ele la s ..11ncln l <'~ ll 1rcso11ta ya dilirullnd c~ ron~idcrabl<'s. Ante.
21
324 Gap. Xi Polinomios en varias indeterminadas
tp(Z) = f f(z) .
51. Anillo t los polinomios en varia lndeluminadas 32:>
Aqui, a y h son polinom ios del nuillo P (.r1 , .z:2 , , .z:0 J y f (z) os un polinomio
eu .z: con coeficientes de P (z 1 , .:r2 , , .z:,, ), que es Adems primitivo, pues sus
coeficientes ya uo tienen fact ores comunes.
Do esto modo, a cado polin omio<> (:s:) del anillo Q (z) se pone en corres pon-
dencia un polinomio primitivo f (:s:). Dado q> (z), el pol11omio f (:s:) queda deter
minado unvocamente, salvo un fac tor de P clistinto de cero. En efecto, su pon-
gamos quo
<p (r) - % f (z) = 7c (:s:),
l
Los n polinomios s imtitricos en n hid etonuinadas que su exponen
.a co11 t inuac in se llaman polinomios simtricos elementales:
a 1= x , +x2-1- ... +x.. .
O~ ~ ~t'tX2 -i- X1.'t3 -J- - j- Xu - 1X1u
<13 = .:t'1:'t'z.?'3 = X1X2X~ + -i-- .t'1i-:!Z'11-1:l:,, ,
(t)
IJ,._, .-= ~1~; ... : ~n~1-.[-X:C.2: ... X,:-~.t: . ; 1- ~:~X3 X r
a,. = X1X2 1:11 J
Estos polinom ios que, evidentemente, son simtricos, clesempl.! an un
papel muy importante en la teora do los polinomios s imtricos .
S 11 origen se llebe a las f6rmuh\s de Victa (vaso ol 24). Por Pst.o,
so puede dedr que los coeficientes de tm polinomio en una indetermina.da,
CIJ!JO coeficiente superior es igual a la unidad, son, salvo et si;no, los
polinomios simtricos elementales en sus races. Esta relacin de los
polinomios s imtricos e lemental(!;; can las f!'mulas de V ieta es muy
importanle pan1 !as aplicac iones do los polin omios simtricos a la
teora de los polinomios en una indeterminada, y es la causa por la
111e ahora los es tudiamos.
Como los polinocn os s imLri<;os <: n n i11dc 1.ermim1das x 1 x 2 , .
. . ., x,. sobre e l campo Jl forman un ani llo, resullan evidentes las
pro1osicioncs siguientes: es un polinomio simtrico cualquier potencia
entera y positiva ele cualquiera de Jos polinomios elementales s im
tri cos, y tambin el produc~o de tales potenc ias, t omado adems
con cualquier coeficiente ele P y, final111c 11lc, cualquier suma do los
productos indicados. En otrns palabras, cualquier polinomio en los
polinomios .~imtricos elementales a 1 , a:: .. ., <T,., con cot!.ficie.nles
.de P, considerado como un polinomio en las indeterminadas x 1 , Xz, . . .
, Xn, es simtrico. As, pues, ponga mos n = 3 y tomemos el poli
nomio <J 1<J2 +
2cr 3 Sustituyendo <J" <J 2 y <J 3 pol' sus exwosiones,
Obtenemos:
a1a2 + 203 = x;x2 + xix3 + X1x; + x;xa + x,x~ + x2x; + 5x1x2x3;
-evidentemente, en el segundo miembro igllrn un polinomio s im
~rico e11 Xt. x2, x.1.
R ecproco a este resul tado es el siguiente teorema fuudameotal
-Oe los polinom ios simt ricos:
Todo polinomio simtrico en tas i.ndeterm inadas x 1 , :i: 2 , , x,,
..sobre el campo P es ttn polinomio en los polinomios simtricos elemcn -
.tales ai. <12 , ., a con coeficientes pertenecientes al campo P.
.S2. Poltnorntos simtricos 331
{4)
\11e se obtiene del trmino (2) mediante una trasposicin de la:<
indeterminadas x 1 y x 1+ 1 Si11 emb11rgo, esto es absurdo, puest.o qut
el trmin o (4), en el sentido ele la ordenacin lexicogrfica, es supe-
rior al trmino (2); en efecto, los exponente:; de x,, x 2 , , x; - 1
en ambos trminos coinciden, pero e l exponente de x 1 en ol trmi -
no {4) es mayor que en el trmino (2).
Consideremos ahora el siguiente producto de polinom os elemen-
tales sim tricos (en virturl de las desigua ldades (3), lodo:> Jos c:q)()-
ncntes son no nogat.iYos):
{5)
Este polinomio en las indeterminadas x1. x2 ... , x,. es simtrico
y su l.rmino supe rior es igual al trmino (2). En efecto, los trminos
i<uperiores de los polinomios <1 1 , a 2 , a,, ... , O'n so n igualt~s a
:ci, x 1x 2 x 1x 2x3, . ., x,.-c 2 x,. , respcctiv1mente. y como ni
final del prrafo irnterior se demostr que el trmin o sup(rior del
producto es igual al producto <le los trminos superio1es de los
factore~ , el trmino superior del polinomio <> 1 es
1
aox~- 1' (X1X2) '- 1
h3 (X1X2X3)h"- ' ..
un producto de potencias J e los indeterminadas .r1, .r,, ... , rn (algunos Lle los
expo nentes pueden ser igu:1los u coro), mediante
( 11)
3=!l ;.. A .3 1J /1 O,
Je t\undu ,,l - :?. P n 11gaJDQS aho ru I1 ~ .l";:. <l':a z, ~ J. Z5 ~ . .. -=a. r 11
= U. L<o-< vnloorcs do los polinom ios/, o 1 , o 0 3 y o 4 """ li, 4. 6, !,, l. rl'~J'll'Cll
,mue11lt' . Po i cslo 1
G= :\r. 2 '. lt 1 lt t.
,fe tlnnfu /1 :!. l'or lo lanlo, la ex1rc~i,)n IJU~catlu Jlarn f e s
/ - - o~ - 20103 1- :!<t,.
:!. llollur tu s uma d e los cubo~ tic 111:< ro c~s de l polinomio
J(r) .t: -'- .t:3 1- 2:i:2 , z 1.
Parn la 1('~oluci 11 do oslc pr<>blomn, lrnllc 1110" 111 cxp1csi6n mcJ inn l c los
poli11011\io" ~i1116tricos (lcmentnl1)ll pura el 1111liuo11oin ~imtrico S (z~). Aplicnn-
lo el 111i~11H1 mlodo qu e en el ejemplo nnLorior , ohl encmv.~ ln tahln
3 000 ... "~
2 100 ... <T1<:rz.
1 l IO .. "~
y. p t>r ""' s <z:) or+ \(T ": + IJ03.
Poniendo >rhuern .r 1 - .z::? ::...- 1. z 3 ...: .. . Zn O. ~ d{\Spus, z 1 = r: .c3 - 1.
z 4 = .. . ~ zn ~ O. oblcoemos. A - - :\, /1 :l, o ~ea.
donde
l1 k 1 -L kz + ... + kn,
1: lr2+ ... + kn,
1,, .
Do aq u rcsulln,
k1=l1-l 1+i k., = l ,, , i = 1, 2, ... , n- 1,
336 Cap. XI Polinomio. en varias lndererminada~
Mas. el peso del L~rmino (Pi. se.gin (5) de~ ! n\nafo precedente, e.
igual a
+ ...
(k 1 - k 2 )-i-2 (/~ -l>.1) + (n-1) (k,, _1 - l.:,,) -l- nkn =
= k,+l2-f- k3+ .. + kn,
<> sea, tambin es igual a s. Luego, el polinomio f 1 = f - <p 1 , como
diferencia de dos polinomios homogntos de grado s, tambin es un
polinomio homogneo de grados y, por esto, el peso del trmino <p 2
del polinomio <p t<Hnbin es igual a s, etc.
Fracciones rucionulcs simtricus. El teorema fund;iment~l de
los poliuumios simtrico$ se puede generalizar para el caso de fraccio-
nes rncionales. Llamemos simtrica a la fracciu racional .1. g
en n i11de-
terminadas xi. x 2 , , Xn, si se mant.iene igual a s misma al hacer
cualquier permutacin de las indeterminadas. Fcilmente se demues-
tra que esta definicin no depende de que se tome la fraccin j_ o 1111a
fraccin JE- equivalente a ella.. En efecto, 8i > es una pern~utacin
;:o
de las indeterminadas y <pes un polinomio arbitrario en estas inde-
terminadas, convengamos en designar con <:"'el polinomio en que se
transforma <p al efectuar la permutacin ro. Segn la h iptesis, para
cualquier (tl, se ti(me,
I !'
-=' 7
o sea, /g"' = gf"'. Por otra parte, de la igualdad
.1.=k
g go
resulta, fgo "'-" g/0 , de donde f"'g'f = g'f:. Multiplicando por f ambos
miembros de la ltima igualdad, obtenemos:
ti"'e:= /g"'t:' = g/"'/~,
de donde, despus de simplificar por j"', resulta: fg': = gJ:. o sea,
l't _ f _ fo
g:f - - - -; .
Se verifica el siguiente teorema:
Toda fraccin racional simtrica en las indeterminadas x,, x 2 ,
, Xn con coeficientes del campo P, . se expresa en forma de ima
"
:-,': 59. Observacio11 f!.~ co mplnrumlorias sobre lo.~ polinomtos simlr . 339
g(x)
.
o.J!(x - ~ 1)
J= I
$0 l i<ll(',
g(a;) = u I / (a.1- ~j):
;~ t
H (f, g) ...
" g (a 1) .
ag lJ (3}
i=I
En la defini ci n de la resullanlt.', lo" polinomios /(x) y g(x)
R(g,/) = b~a~
.
no se empican de un modo simtrico. J~n efecto,
lI fJ
"
j=t f m; t
(~1-a1) = ( - 1)" ' R(/,g) . (I,)
R (g, /) = b'
.
11
;<e puede
f (r>1)
e~prcsar e n In forma
(5}
j~ t
54. Resultante. Eltmtnacln de una lndelerm. Discriminante 345
I"""
1 a,.
a, a,.
a,
.
an
D= ()
bo , b,
b,, b1 b,
fil"
bo b1 b,
Cap. XI Polinomios en varias lndetuminad(IS
.ll =
~r p~ ~; aj
. c:t2. ... a;;
.,
p, ~z P. a, z ... Cln
1 1 1 1 1 ... 1
11/ es el determinante de Vandermonde y, por esto, como se indic
en el 6, es igual al producto de las diferencias de los elementos de
s u penltima fila, donde, de cada elemento precedente se resta
cualquier elemento posterior. Por Jo talllO,
n
1111 = n
t~t.;~,
(p,-p,)- l Il (P1-a1) l ~t<i~n
;-t t-t
[J (a. - a.,).
de donde, en virtud de (4),
a:,b~DM = DR(g,f)- [l (P1-P1>- [J (a.1-a). (8)
t ~t<i:f. f ~ i<i~n
Por otra parte, calculemos el producto DM basndonos en el
teorema del determinante del producto de las matrices. M ulti-
plicando las matrices correspondientes y teniendo en cuenta que todas
las a son races de f (x) y todas las 13 son races de g (x), obtenemos:
aZb0DM =
~~- /(l31l~2 1 f(~2) . . . ~:- 1 t(P.)
1
o o o
~~\ 1 <P1l ~~- 21 <P2l ... 13:- 21<P.)
2
o o o
.... .... ...
Pi! <Psl M(~2) M(~.) o o o
t <P1l f (132) 1 (P.> o o o
o o o c.c~ - 1 g(a 1 ) a2- 1g(rx2) ... c:t;;- 1g(rxn)
o o o a; - 2g (c.c 1) a~-2g (a 2 ) a~-2g (a,.)
. . . . . . . .. ....
o o o a.,g (as) <X2fJ (rx2) a,.g (a,.)
o o o g(as) g (a.2) ... g (etn)
51. Rtsuttanlt. J::llm lnacl6n dt una tndtlum. D Lscrlminanlt 347
i-t
l1
t ~i<.f~n
(et.1 - ct1).
entonces,
ti enen una rttz com n a. ~ O. Por lo lnnto, f\} s i~l ('mtl t.hu.Ju de p0Ji 11umio:4
tiene 1lus solucione:->:
C.omo estos do~ polinomio~ >n de grado 2 cou rc~>('('\.o a In imlct .. nninmla y.
rnil'l1trns que uno de llos o do grntlo 3 con l'(l.~P<.'<'lO 11 In indetennirrnda r. co11
vi cn eliminar la JI E!'Cribmno~ el sistem a Cll la rormn
/(x, y) = ( - x )-yZ '- (2z'l)-y ..!... (.r 1.:;, }
( 17)
g(x. y) - (.i:2 - 2.r.) y2 _ ;,!f :- I
Derivando la igualdad
resulta:
n
/'(x)=ao ~
11- 1
rr
!+ h
(x - a).
a; - 1 an- 1
1 ,_ i ..
c.c"- 1
29 - 252
Cap. .Y I f'q/b1qn1ios en rorlur indt'irrmlnqdas
S Sz S3 ~,,
D ~: ngn- 2 ( 18)
Sz .<3 S',\ s,. .. t
D 1~. :: :s, I
sz s3
Comu yu sabemos por ol 1rrlllo anterior,
s 1- o 1 = - a,
s2 a~ - 202 :- a2-2h,
s3 0~ - 3o1 o2 + 3o3 - - a3 : 3nb - 3c.
A>li con<lo In frmula do Newton, y teniend o ~n c ucnla que o 4 = 0 , hall~m o~
tarnbin que
Oc oqui.
D 324 1- 2s 1 s23-~- i
- 3~ -- a2bZ-foi>~ - fta~c 18abc-2ic2. (19)
En porticulor, siendo a- o. o sea , par:1 el polinom io cbico incom1l o10,
rc$ulLu:
D = -4b-:.!icZ,
lo cual est en correspondencia con lo que so tliJu en el 38.
POLJNOMlOS
DE COEFICIENT ES RACIONALES
p ara es t.o hay que sacar fu era de parl- nl esis el com n denominador
de totlos los coeficientes del polinomio 1, (x), y des)ll1!s, Jos fac tores
comunes de los num eradores e esto:< coeficientes; obs1frve$C q11e e l
grado t.lc f (,e:) es igua l al grado de cp (x). La u nicidtHI (salvo e l signo)
de la reprcse nt.acin (1) se demuestra de l modo siguie111.e. Sea
a e
((l ( x) = -; f(x) = -;:g(x).
donde g (x) es de nuevo un polinom io primitivo. Entonces,
ad/ (:e) = bcg (:e).
Por lo lant.o, ad y c se hin obt.cnit.lo sacantlo lod o); Jo;; factores
comunes de los cocfo;icntes ile un m isn10 polinomio de coefic ientes
enl.eros, por lo c1111\, pueden d ifen'nc i ar~r. enl.re s sohimenlc cn el
signo. De aqu se tl educe, que l o.~ poli11omios primit.ivos f (x) y ff (x)
tambin pueden diferenciarse c11l.rc s solamente en el signo.
P ara los polinomios primitivos de coeficientes en teros conserva
su vid or el 1 lema de G:mss:
El producto de dos polinomios primitivos de coeficientes enteros
e: un polinomio primitivo.
En efecto, sean dados los polinomi<Js priro i Livos de coeficie ntes
enteros
f (x} = ao:z;1' -l- a 1xh- t + ". .. +
axh-1 + .,. + "
g(x) = boxl + b,xl-1 + ... + bpl-i+ ... + b,
y sea
f (x) g(x) = cox'-H + c,x'+1-1 -;- ... C1+;x<'+rJ-<l+i>+ ... +ch+1
Si este producto no es primitivo, existe un nmero primo p que
es comn divisor de .todos los coeficientes co, c., . . . , c1, + 1 Como
no tod os los coeficientes del polinomio primitivo f (x) pueden
dividirse por p, hibr uno, sea ste a1, que ser el primero que no se
divide por p; del mismo modo, sea b; el primer coeficiente del poli-
nom io g (x) que no se divide por p. 1\l ultiplicando trmino a lrminc>
f (x) por g (x) y reuniendo los t\irminos que contienen a x<h+1>- <H-i>,
56. Reducibilidad de los polinomios. 361
resulta:
C+J = abj + a1-1b}+1 + a1-2b+z + + a1+1bJ-1 + a+zbJ-2 +
El primer miembro de esta igualdad se divid e por p. Por ste se
dividen tambin todos los trm inos d~l segundo miembro, menos.
el primero; en efecto, en virtud de las condiciones impuestas a la
eleccin de i y j, todos los coeficientes t-i. a 1_ 2 , ., y tambin
b-i. b-2, .. ., se dividen por p. De esto se deduce, que e l pro-
lucto a1b t am bin se divide por p y, por esto, como pes un nmero.
primo, tiene que dividirse por p por lo menos uno de los coeficientes
a 1 , b1 , lo cual, sin embargo, no es cierto. Con esto queda terminada
la demostracin del lema.
Pasemos a responder a las preguntas que se hicieron ms arriba.
Supongamos que el polinomio g (x) de grado n, de coeficientes.
ent.eros, es reducible sobre el campo de nmeros racionales:
g (x) = 1P1 (x) q>2 (x),
donde <p1 (x) y 1p2 (x) son polinomios de coeficientes raciona les
de grado menor que n. Entonces,
<> (x) = :: /1 (x), i = 1, 2,
= ..!...
!I
[11"1 11y1-1 I p (p-1)
2! yP-2 ~-
. .. - ' l'Y] ~
Los coeficientes J~ polinomi o 11 (11l son los nmeros binomial~~ y, por esto, lodos,
meno~ el superior, son 1lhi, bl~ por p; el trmino indcpcnclienlt' no es divisblo
C((p. X 11 f>olinom.lo<' de c~<Htficlc:otes r(ccio11ale.~
o sea, /(:J) -- 0: e l nmero 3 ~~ mz de /(.r). A 1' \'<'Z , he mos hall <ldo los
coefi cientes del cociente do la divi s i n J e / (.r) pm- .r-:1;
f (x} ~ (x-3) (x 2 .. ;r 2) .
f':cilrn~nte se o bse rva que el n(unoro 3 no e~ r~ i z del .cocif>nle xZ + x + :! ,
o :;ca, 1>'to nmero 110 es raz mltipl e de f (x) .
2. llullar las mices enteras del polinomi o
f (x) = 3x 4 + x - 5x2 _;,. 2.
Aqu. lo::o Ji, 1~ores dC"l tl~rmino i11dcpt1Hli c11le ~u : --: t y =.: 2. Por ot.l'a
lartc .f (1 ) ~ - 1. f ( - 1) ~- 1, o :<c<l , 1 y - 1 110 ~" raicc~. FinalnH!nk. como
l
O[.; Ulllll C J'O ~
1 - l
y - 2 - l
2 -i- l
~on fn1('du11ario~. los umcros 2 y -2 tamporo :s~1;;n rtl ic.c:;;;, po r lo cual , t l pli-
nomio / (x) CHrcc~c do raCt.'S ontcra~.
n
Y. (.1:) = lJ JI (x - a1~j)
.;._e 1 ;i.:.. t
de la forma:
<P;, i . . . . " 1 (x ) = x" -f- a 1x"- 1 + ~ x"-2 i- ... + J.,x + 1 1,
de modo que 1ri.1. .. .. 1 1 (x) = <r(x), y tomemos el producto de
todos estos poi iaomios :
F (x) = lI
i. ; .. . ' 6, l
P1, ; . . , 1 (x).
De aqui. por el lema 2, se deduce que el conjunto <le todos los polinomios
11rimitiuos irredttcibles de coeficieutcs enteros tambin es numerable. Por otra
parle. ya sabemos que todo nmero algebraico es raz do un J>Olinomio primitivo
irreducible de coeficientes enteros y solamenlc de uno. Por consiguiente, reu-
niendo las races de todos los polinomios do esto tipo, o ~ca, Lomando Ja unin
do un conjunto numerable do conjuntos (initos, obtenemos el conjunto de todo
los nmeros algebraicos; por lo tanto, en virtud del lema 3, este conjunto es
numerable.
Fii1almentc, demostremos el teorema:
RI c<>nJt<nlo de todos los nmeros t rascr11de11les 110 es 1w111erable.
E)(aminemos primero el conjm1to F de Lodos los nmeros rea les :r, situados
entre el cero y In unidad, O < :r < t, y demostremo~ que este conjutllo 1w e.
numerable. Es sabido, quo cada uno do Jos nmeros indicados z se puedo expre-
sar en forma do unn fracciu decimal propia i11inita
X= O, (J.t:t2 Cl.n
y que ~sta eiqinsin os nica, si oo se permiten fracciones en l11s que, parn lodo~
\Qs n. empezando desde cierto " = N, todos los" = 9; recprocamente, cual-
quior fraccin do la fortna indicadn os igual a cierto nmero ,, de este conjunte,
F. Supongamos itbora que el coujunl<> F es numerabliJ, o sea, que todos los
nmeros z se 1me<lcn escribir en forma tle u ria sucesin
(2)
Sen
x, -: O, a,, 10.h'l a11n
la expresin del nmero ZJt en forma de fraccin decimal infinita. Escribamos
ahor,, una fraccin decimal infinita
o, ~1~2 .. ~fl . ' (3)
de modo q_uti la cifra ~ 1 sea distinta de la primeni cifra decimal do la fraccin
a,,,
.:i:,, o sea. jj1 =fo quo la cifra ~i sea distinta de la segunda cifra decimal de
la fraccin x 2 , o sea. ~. =fo a 22 , y, on general, que 13 =fo ctnn Supongamos ade-
ms que entre las cifras ~n hay una infinidad de ellas, distiulas do la cilra 9.
Est claro quo eJtisto una fraccin (3) que satisface a todas estas condiciones.
Por consigui.ente, sta es un nmero del conjunto F y, por la construccin misma.
os dis tintn de todos los nmeros Je la sucesin (2). Esta contradiccin muestra
quo el conjunto Ji' no es numerabl.o.
Do aqui se deduce, que el co11;u11Lo de todos los nmeros complejo " es
11umerabl6, pues, en caso contrario, en virtud del lema 2, sto no podra conte-
ner el subconjunto no numerable P. En virtud del lema 4, os evidente ahora que
no es numerable el conjunto do todos los nmeros trascen<lentos, pues , la unin
de esto conjunto con el conjunto numerable de todos los nm<:ros algebraicos es
el conjunto do todos los nmeros complejos, o sea, no es nwnerablo.
En virtud del lema t, los dos teoremas que hemos demostrado muestran que ,
en la realidad, el conjunto de los nmeros trascendentes os m.s rico en elemen-
tos, o sea, es ms tpo!.1Jnto que el conjunto de los nmeros algebraicos.
CAPIT ULO Xl fl
(1)
ces que son equiva lentes a la matriz A (},), hay algunas en cuyos
ngu los superiotes de la izquierda figuran polinomios distintos
de cero. Consideremos todas est11s matrices. Los polinomios que
figuran en el ngu lo superior de ia izquiorcla de cslas matrices pueden
tenet grado distinto. P ero el grado de un polinomio es un nmero
naLU'ral, y en cualquier conjunto de nmeros mHurales, no vaco.
existo el umero menor. Por consiguiente, entre todas las /,-matrices
que son equivalentes a la matri:r. A (A.) y que tienen cu el ngulo
superior de Ja izquierda un elemento distinto de coro, se puede hallar
una 1.;ll, que el polinomio que figuro en cliclio cngulo tenga el rnenoi-
grado posible. F ina lmente , dividiendo la primera fila de esta
matriz por el coefic iente superior de l polinomio indicado, obtenemos
una },-111alri1. equiva lente a Ja mlriz A (A.),
e1 (,) b1 2 (/.) . . . b1n (/,) )
e(/,.)e2 (A.)
A(I..) -
(
o
.
, ,J
Para demostrar que la matriz (3) es caunica no queda ms qu&
(3)
rl (A) -
(
A,3- A, .;.. f.2)
3 -
(~
3
f.3 _ ..!Q. f.2 - 1.
3
) - ,
A. 2 H lA. A 1.2 l SA A
Dos 'A-matrices son equivalentes si, y slo si, stas se reducen a 1ma
misma forma cannica.
Dos /..-matrices son N11i11alentes si, y slo st, stas tienen factores
invariantes iguales.
Deduzcamos otro criterio de carcter distinto.
Ya sabemos que a l conjunto de las A-matrices ca nnicas pertenece
la matrii unidad E. Llamemos a una A.-matriz U (/..) unimodu.lar,
si su forma cannica coiucide con la matriz unidad E, o sea, si todos
sus factores invariantes son iguales a la unidad.
Una 'A-matriZ U ('A) es untmodular si, y s6lo si, su determinante
es disti11to de cero, pero no depmdede A., o sea, si es wi nmero del campo
f1mdamental P , distinto de cero.
En efecto, si U (>.) ~E, a estas dos matrices los corresponde un
mismo polinomio d 0 (A.). Poro, para la matriz unidod, d,. (]..) = 1.
Do aqui se deduce que el determinan te de la malriz U (/..), que so
diferencia de dn ('A) ~ol amont e en un racl.or numrico disl.into de
cero, es un nmero de l campo P, disti nto de cero. Hecprocameute, si e l
determinante de Ja matriz U (!..) es di eronto de cero y no depende
do /.., entonces, para esta malr iz, el polinomio dn ('A) ser igual a 1,
por lo cual, segn (6) del prrafo anteri or, todos los factores inva r ian-
tes e1 (}.) de la matriz U(~.) . i = 1 , 2, .. . , n, son igua les a la
unidad .
De acpti se deduce c1110, toda matriz numrica no degenera.da es
una /..-matriz unimodular. Pero, una i.-matriz unimodu lnr puede
ser <le forma com plicndn. As, pues. la i.-rnatrit
}. +J..3 5 )
( 1.2 -i.-4 i,4 -l..3 -4A~ .;-5>. -5
es unimodu lar, pues sn determinante es igual n 20, o sen, es di stinto
de cero y no depende de i ..
Del teorema demostrado anteri ormente se deduce que, el pro<luctu
de 'A-matrices unimodulares es unimodular, pues, es suficiente recordM"
qnc, 1il multiplica r matrices, sus determirH111tes se multiplicnn.
Una. i.-matriz U (A.) es 1mimodu.lar si , !f slo si, existe la motriz
inversa y sta es una A-matriz.
En efecto, dada una /..-matriz no degenerada, buscando de 1111
modo ordinario Ja mntriz inversa, tendremO$ que dividir los comple-
mento1; a lgebraicos de los elementos de Ja matr iz dada por el deter-
minan te de sta, o sea, por un polinomio en A. Por esto, en el caso
general , los elementos de la matriz inversa ser1in fracciones rncionalc1<
en A., pero 110 polinomios en A., o sea, esta matriz n o ser u na A-matriz.
Si se da una matriz 11nimodular, habr que dividir los complement os
a lgebraicos solamente por un n(1mero del campo P, distinto de cero,
o S-On, los elementos de la matriz inversa sern polinomios en /.,
por lo cua l, la misma matriz inversa ser un a Ar-matriz. Recproca-
382 C ap. X 111 Forma normal de """ malrl:
(3~
1
(j)
.~ 60. A mqtrices unlmodulares. 383
(31.'
J..'+ -2A.5 1.+1)
- 3=
(1 O) A + (3O O) J. + (2 01)A. + (- 5O - 1)
1
3 .
La correspond encia entre las A-matrices y l os }.-polinomios matri
cinles es biunvoca e isomorfo en el sentido de l lt6. En efecto, 111
igualdad de los A- polinomios de la forma (6) como matrices es equiva-
lente a la igualdad de los coeficientes matriciales de potencias igua-
les de A., y la multiplicacin de un a matriz por A es equivalente
.1~ 60. 'h-malrlces untmodulares. 385
R;' llR 2 = B,
lo cual demuestra la semejanza de las matrices A y B.
A la vez, liemos uprcndido a hallar la matriz R 2 no degenerada
que transforma In mntr z A en la matriz B. Precisando, si las ma-
trices A -A.E y B - A.E son equivalentes, entonces con un nmero
finito de t.ransformacioncs elementales se transforma la primera en la
segunda. T omemos los transformaciones de f.\swis qu e se relacionan
a las columnas, y designemos mediante V (l..) el producto de las
matrices elemen tales correspondientes, tomadas en el mismo orden.
Dividamos despus V (i.) por B - ),E, de modo que el cociente quede
o la izquierda de l divisor (vase (8)). El resid uo de esta divisin
ser la matriz R 2
En realidad, Sil puede prescindir de Ja divi sin indicada, utili-
zando el siguion te lema que hallar tambin ap licacin en el 62:
Lemn. Sea
V(A.)= V0'A.' + v11..-1 ; - + v._11.. + v,, Vo:;&O. (15)
SI
JI (A}= (l.E - B) Q 1 (J.}-1- fi 1 , (tG)
V (1..) = 02 (!.)(/..E - B) + Ri.
se tiene
R1 = B'Vo + o- 1V1 + ... + BV, _1 1- V,, (17)
R2 = YoB'+ VrB1-1 -!- ... , v,_,n+ v.
Es sufi cicnle demos trar, por ejemplo, lo primera de estas dos
afirmaciones, pues la segunda se demuestra por 11nttlogfo. La demos-
tracin consiste en In comprobacin directa del cumplimiento
de la igualdad (16); pnr:i esto el polinomio V (A.) se sustituye por im
exp resin (15). en lugar de R1 se pone (17) y en vez de Q1 {A.) se toma
el polinomio
Q1 (l..) = V 0 1..,_. + (BV11 + V1) ).'- 2 + (B Vo + BV,
2
J- Vn) /.s-3 + .. .
1
. .. +(B'- Vo + BHV1+ .. . +v.-1)
La prueba de esto la dejamos a cuenta dul lector.
61. Forma normal dt Jordan, 389
A= (-2oa
l) 0= (-IO -4)
2611
Sus matrices caractersti cas son equivalentes, puesto que se reducen a una
mis ma forma can nica
Esta matriz oo depende de}., por lo cual , sta ser;\ la matriz U2 buscada.
Claro, la matriz que transforma A on 8 est muy lejos de determinarse unl-
vocamente. Tal es tam bin, por ejem plo, In matriz
(32 1)t
6 1. Formu normul de Jordan
Ahora estudiare mos las malrices cuadradas de orden n con ele-
mentos del campo P. Se dis tingu ir un tipo especial de matrices
de stas, llamadas ruatrice;1 de Jordan, y se domos t.rilr que estas
matrices sirven de forma normal para una clase de matrices muy
am plia. Precisando, las matrices cuyas races ca ractersticas perte-
necen al campo fun damental P (y solam en te tales matrices), son seme
jantes a ciertas matrices de J ordan, o, como suele decirse, se reducen
a la forma normal de J ordan . De aqu se deducir que, si se toma
por P el ca mpo de los nmeros complejos, cualquier matriz con elemen-
tos complejos se reduce a la forma normal de Jordan en este campo.
Introduzcamos las defin iciones necesarias. Se llama ~malla de
J ordan de orden k correspo11dionte al nmero '''
la matriz de orden
390 Cap. X/IT Forma normal de 1tna matriz
(1)
.... ()
(1.0). ( ~
I
,J1 , (>'n1 O)
O A0 1
O O 1.0
son mallas de Jordan de primero, seg undo y lercer orden, rcspccli
vamente.
Se llama matriz de Jordan de orden n a la matriz de order n que
tiene la forma
o
l = (2)
o
aqu, a lo largo de la diagonal principal figuran las mallas de Jor-
dan / 1 , ! 2 ,
, J, de ciertos rdenes, que necesariamente no son
distintas, y que corresponden a ciertos nmeros del campo P, tam-
poco necesariamente distintos; todos los lugares fuera de estas
mallas estn ocupados por ceros. Aqu, s > 1, o sea, una malla
de 1ordan de orden n pertenece al conjunto de las matrices de Jordan
de este mismo orden y, naturalmente, s < n.
61. FMrna normal de Jordan 39i
e,,_,
o
!.,.
donde A;, i = 1, 2, .... n, son nmeros arbitrurios del campo P,
y cada el> j = 1, 2, ... , n - 1, es igual a la unidad o 3 cero, siendo
A. = A.1+1 cuando E = 1.
Las matrices diagonales son casos particulares de la.s matrices de
Jordan; stas son precisamente las matrices do Jordau cuyas mallas
son de orden 1.
Nuestro objetivo prximo consiste en hallar la formn cannica
para la matriz (aractcr stica J - AE de una ma triz arbitrar ia de
Jordan J. de orden n. Hallemos primero la forma c111Jnica para
1~ matriz caraclersLica
i,o- f. (1
/,o -A
(3)
o l.o-/..
de una malla de Jordan (1), de orden k. Calculando el determinante
de esta matriz y recordando que el coeficiente superior del poli-
rwmio dk (l.) tiene que ser igual a 1, obtenemos,
d,, (.) = (/, - A0 ) 1'.
Por otra parte, en lre los menores de (k - 1 )-si mo orden de la ma-
triz (3) hay uao que es igual a la unidad, precisamente, el que resulta
despus de haber suprimido la primera columna y la ltima fila
de esta matriz. Por esto,
,t
392 Cap. X 111 Forma normal de una malrl:
k . 'c.:J
De aqu se deduce que la forma cannica de la matriz (3) es la
''~''"'"~"''
(4)
. J-[ '.,~c>J
Evidentemente, es suficiente considerar el caso t = 2. Como los
polinomios cp 1 (A.) y cp 2 (A.) son primos entro si , en el anillo P [A.l
existen unos polinomios u1 p. ) y u2 (A.), tales que
<i>t (A.) U1 (1..) + <j>2 (A) U2 (A.) = 1.
Por esto,
u,
<pi (J..) o ) - ('f-1 (J..) 11'1 (A.) (A.))-
( 0 <r2 (A.) o <1'2 {>1.)
- ( IP1 (A.) <r1(i..) U1 (A.) + !f2 (A.) U 2 (A.))- (q>(}1.) 1 )-
0 <p2 (A.) - O <pz (.)
1 cp1 (J..)) (1 <f1 (>.. ) )
- ( <p2 (A.) O - O - 'l' 1(A.~ <r2 (A.) -
- ( - ~ qi(~)
cp2(J..) ) - ( ~ ~
<i>1 (J.. ;r2 (J.)) '
como se que ra demostra r.
Consideremos ahora la matriz caracterstica
IJ1->-E1 I o
o
-~ 61. Forma normal de Jordan 393
t'n-j lt (i.) =
ll
-1
(i.-/.) 1'; (8)
o 1
1
J - AE - 1
Cn -q t (A) (0)
1 C11 - 1 (f..)
lO e,. (A.) J
Esta es la forma cannica buscada de la matriz J - l.E. En efecto,
los coeficientes superiores de lodos los polinomios que figuran en
(9) en la diagonal principal, son iguales a la 11nidad, y, en virllld
-Oc la condicin (6), cada uno ele estos polinomios es div isible por el
precedente.
F.jcm1l o. Sea
J =
-17 87 -10X )
(
- 1~
!) - ~2 f)'t
.-1 ~
-:J -3 16 - 18 .
- 1 -1 G -8
Heducie11do la matriz A - >. E do 1111 modo ordinari11 11 In lorma cannica, obte
uemos que los factores invuriunt~g do esta matriz, di stintos Je la unidad , son
los polirwmios
e.Ci.) - (X-1)2 (X I 2),
t3(/.) = i.-1.
Vcmn~. 1u<'s, que la m:1 triz ti M reduce a la formo nonnal d e Jordan incluso en
el CJllllJ)(lele los DUDlOl'Q!\ racionaJt'S. Su~ divi!'OfC< rlcmcnlafes ~on los polinomios
(A - 1). A - 1 y i. ~ 2, ;or lo cual. In 111otri1
, G: LD
es lo funna uonnal de J ord11 e l~ la matriz A,
Si quiiramos h111lar In 11rnlriz no drgcncrnelrt <llll' lr.111"forma la matriz ti
en In mnlriz J. tenel ramos que , all'rnos Je lns indc11cion1 l1cchas a l fin 1 I tlPI
p:i rmlo rrerl'donlc.
Si
~(1 tif.flt'
a 0!1'' ...:- a,ilh - t + ... -l Cl11 - 1A ~ - o.,,B = O .
Trans formando <1mh9s miembros de est.a igualdad con ln matriz C,
obtenernos:
c- t (a 0A" -1- a,A1'- 1+ ... + Cl1, - 1A -1- et.hE) C =
= Clo (C - 1AC)1' -; a(C- AC) 4 - 1 + ... + a.,,_ 1 (C- 1 Al') ~ - ct1,E =
1
GRUPOS
~H i f'
decirse que bes el !'lcmeul.o tronsformadn del elemento a mecli1w -
te (c1por)1;?! e lcm ent.o x. Es cv icl cnle, qu e de (3) se deduce la igu1tld11d
n : x:i:- = (x-1 )-1 bx-.
U11 s11/Jwupo A del grnpo G es un divisor normal dP ste c11a11do,
y .~lr> cuando, junto con cada 11110 de sus elementos a co16lien e tam />i11
" todos los elementos conjul(ados del mismo en G.
En l'l!Clo. si A es un clhi!'or normal en G. e ntonces, en virtud rl e
(2). pura un elemento elegido a de A y parn <111tlquicr elemuulo x
11 (;, 1'L' wede halh1r en A un elemento a tul, 1111c
ax = xa.
ll1 nq11I c1ue
x- ax :- a",
e;; decir. que cada elemento conj ugado con a. pertenece a A. R crpro-
nrnente, si el subgrupo A. junto con cada uno de sus e lemenlo. a,
contiene tambin tocios los elementos conju{aclos con l, ento11ces,
/1 co11lie11e, l'n parliculnr. a l elemento
.x 1ax = a.
de donde se deduce la seg u11rla de las ig 1111ld ndes (2). P or la mi s ma
causti, A contie ne tamlii11 al element o
(x-rax- 1 = xax-1 = a',
de donde se deduce lu pri1111)ra de las igualdades (2).
lit8 Cap. XIV Grupos
O S('l.
a;-a~O. (12)
Sin emba rgo, de (9) y (l'l) so deduce la igualdad
a1 -a = (a; - a.1) + (a;-a2) + ... + (ai-1-a.1-1).
426 Cap. XJV Gr1<pos
(9)
l)l' (8) se deduce, qu o 1'1 e lemento y ti lm tI or1lcu p. l'or eso,
(pl,) 11 (p/ ~) Oz f- . . . -1- (pl 1) (I 1~ ll,
o .~c<t, que en virt.ud h la exisl.e nci11 111' Ja 111~.omposicin
di recia (7),
(pl j ) ll j 11. i 1,2, .. .,i - t.
P or lu lanto, el nmero pi; li!'IW que dividir:<l' por el orden del el e
mento i y por esto, t;1mhi611 por et nm!'ru p11 , de donde se <lNluce
<1110 I :;o ctividc por /<-1
l /'- 1111 j . i 1,2,. . ., i - 1. (10)
P'' p'3, . .. p\
n '!' pect ivame nte, sea,
l 1 > lz> ... > l1.
S i n o se c umpli(sc la tesis rl<' nuestro t eo re1na, ,..,. hnllar'la 11 11
i -.. l. ta l, que
k; :-/= 1,.
E,:l; claro. que i ..r: min (s, 1), pu esto que p;tl'a tadl un;i de las
dc,:c:ompos iei<nil"s (12), el producto de los nl cmis ele t oci os los
'H111M1dos dfrectos es ig-vul al 011l e11 del grupo r;. J\J o;;t l'l'llHi~ que
111H'~l.rn ~11110.c:il'in nos l l<l\'a a una contrndirri u.
Sea. p or ejem plo,
k<l,. ( l li)
J'>csig11ernos co11 JI el co11j11nto de lo,, elemcnlo!< dlll grn p o (; '"uyos
tlrdeues 110 sobrepasan a r1,;. Bst.o r c Jresen!.11 un s 11l1g'l'!1po tic ! g ru -
po G. puelto q ue s i x e il " elemcnlQs de // , cn to uce>', x I y y - x
son ele ordeu no :,;u perior a l nm er o pi.
Obsrvese, qu e a l ~ubgrupo 11 p erlc11t!<'<'11, 1n parlicular, los
<' ll' mcntos sig ui e11 1.cs:
p h- '4; 0 ,. p1''-- ''111~! ... , p 1'i - 1.... "1n 1_,, " h n. 1, .. . , a.,..
Por otra p11rt e. si 1 -<, j ,: i - 1, en tonces, l'I orden del c lrme11\o
p"rh- 1a1 es igual u phri 1 y por eso. no perle11cce a 1/. l>e aqn se
deduce, qui' la c la se ad junta ai ..!. lJ (lrecoril cmvs, qm estam os
1111pleando la e xpresin adi tiva!) ti e ne, como c l om cnlo de l g rup o
1
cociente G/11 , el orden p 'r"; este mismo ordc11 tiene s u ;;11/Jgrupo
< c lico {a + 11 }. Dem ost remos que e l grupo Gil! NI una 8u1na direc-
ta de los s ubgrupos c c l icos {a + H}, j 1, 2, .. . , i - 1,
Gl/l=(a1+ 1l} + {az + Il} + .. . -f- {a1 -.-f- J/}, (15)
4.:11; Cttp. XIV Grupo
Si .i; t'S 1111 c le111e11lo al'bitrnr io clol grupo e, existe ltt UX J)l'(l-
,'-l i611
1 m_,11 .
S 11ptmg;11110., ljuc. para 1, :.! .. .. , i - t .
lll j p"i - 1'iq 11 .
do11.tc
( 17)
E111.011 Cll><.
111 (1 . t;(/'; - ''in.;) ll tl; .
y como el primer :-11111111\du dtI ,;cgumlo mi l.'m lirn c;;l{1 <'.<.>n \cn idt
c11 // , Hl' tiene
ma 1 11 llfl j // .
Por ot ra part.e,
111 ;(1; 11 ~ H, . . . , lll sa t. 11 !f.
/J 01' CHO,
est n en una mi sma e-Jase adju nta relati\a a // . o sea, ;.u difl'-
rencia pertenece a JI y, por es to,
p~l ((n.-n;) + (112 -n;) ad ... -:- (11;-, - n ;_ i) 1- 1) = O.
De aqul se deduce (ya que la primera d e la:; descompo>:icio1ws
(12) es directa) que
pkl(n; - n j)a; = O, ; ~ t ,2, .. .,i - 1,
67. Grttpos abelia11os finitos 437