U na Prueba del Teorema Fundamental del Algebra
Diego Vaggiont-
El objetivo de este trabajo es proveer una prueba del Teorema Funda-
mental del Algebra al ~ctor que maneje con cierta madurez conceptos tales
como lo de sucesión de números complejos, convergencia, subsucesiones
continuidad de funcione complejas. así como la interpretación geométrica
de C.
n modelo muy usual de prueba del Teorema Fundamental del Alge-
bra consiste en derivar éste del Teorema de Liouville usando conceptos
topológicos elementales. La dificultad presentada por tal esquema es que
las pruebas del Teorema de Liouville envuelven el concepto de integral lo
cual hace que el lector crea que una prueba del Teorema Fundamental
del Algebra es algo engorroso aún con la po ibilidad de usar argumento
topológicos elementales.
La prueba dada en este trabajo sigue el rrusmo esquema salvo por
el hecho de que e reemplaza el Teorema de Liouville por el Teorema
del Módulo Máximo para funcione racionale (e to a los fines de evitar
el problema antes mencionado). na de las ventajas de este esquema de
prueba es que la mayoría de lo resultados involucrados en el camino hacia
el Teorema Fundamental del Algebra tienen interés propio.
l. Notación y Resultados Asumidos. Como es usual C denotará el
conjunto de los número complejos. Con Re(z) e Im(z) denotaremos la
parte real y la parte imaginaria del número complejo z. Con lzl denotare-mos el módulo de z, es decir:
16
izl = JRe(z)2 + Im(z)2.
Se supone que el lector maneja con cierta madurez los concepto de
sucesión de números complejos, convergencia, subsucesiones, continuidad
de funciones f : A --+ B con A, B ~ C, así como la interpretación geométrica de C que identifica a éste con el plano R 2 vía el mapeo
z--+ (Re(z) Im(z)).
Vía tal identificación tenemos definido en C el producto escalar a
saber:
< z,w >= Re(z)Re(w) + Im(z)Im(w), z,w E C,
el cual cumple la siguiente igualdad:
< z, w >= izllwicosO,
donde O es el ángulo entre z y w (pensados como vectores del plano). Otras
propiedades básicas del producto escalar son:
< z w1 + w2 > = < z, w1 > + < z, w2 >
< Zt + Z2 W >=< Zt W > + < Z2 W >
< T Z W >= < Z TW >= T < Z W >
lzl2 =< z,z >
saremos la desigualdad del triángulo es decir
17
U na Prueba del Teorema Fundamental del Algebra
Diego Vaggiont-
El objetivo de este trabajo es proveer una prueba del Teorema Funda-
mental del Algebra al ~ctor que maneje con cierta madurez conceptos tales
como lo de sucesión de números complejos, convergencia, subsucesiones
continuidad de funcione complejas. así como la interpretación geométrica
de C.
n modelo muy usual de prueba del Teorema Fundamental del Alge-
bra consiste en derivar éste del Teorema de Liouville usando conceptos
topológicos elementales. La dificultad presentada por tal esquema es que
las pruebas del Teorema de Liouville envuelven el concepto de integral lo
cual hace que el lector crea que una prueba del Teorema Fundamental
del Algebra es algo engorroso aún con la po ibilidad de usar argumento
topológicos elementales.
La prueba dada en este trabajo sigue el rrusmo esquema salvo por
el hecho de que e reemplaza el Teorema de Liouville por el Teorema
del Módulo Máximo para funcione racionale (e to a los fines de evitar
el problema antes mencionado). na de las ventajas de este esquema de
prueba es que la mayoría de lo resultados involucrados en el camino hacia
el Teorema Fundamental del Algebra tienen interés propio.
l. Notación y Resultados Asumidos. Como es usual C denotará el
conjunto de los número complejos. Con Re(z) e Im(z) denotaremos la
parte real y la parte imaginaria del número complejo z. Con lzl denotare-mos el módulo de z, es decir:
16
izl = JRe(z)2 + Im(z)2.
Se supone que el lector maneja con cierta madurez los concepto de
sucesión de números complejos, convergencia, subsucesiones, continuidad
de funciones f : A --+ B con A, B ~ C, así como la interpretación geométrica de C que identifica a éste con el plano R 2 vía el mapeo
z--+ (Re(z) Im(z)).
Vía tal identificación tenemos definido en C el producto escalar a
saber:
< z,w >= Re(z)Re(w) + Im(z)Im(w), z,w E C,
el cual cumple la siguiente igualdad:
< z, w >= izllwicosO,
donde O es el ángulo entre z y w (pensados como vectores del plano). Otras
propiedades básicas del producto escalar son:
< z w1 + w2 > = < z, w1 > + < z, w2 >
< Zt + Z2 W >=< Zt W > + < Z2 W >
< T Z W >= < Z TW >= T < Z W >
lzl2 =< z,z >
saremos la desigualdad del triángulo es decir
17
lz + wl ~ lzl + lwl o su obvia consecuencia
lz + wl ~ lzl - lwl. También se supondrá que el lector maneja la representación polar de
un complejo z por medio de la cual se puede probar el siguiente
Lema 1.1: Toda.ecuación de la forma zn = a con n E N y a E C
tiene una solucióo en C.
Dados a E C, R ~ O con D(a, R) denotaremos al conjunto
{z E C llz- aJ < R},
y con D( a, R) denotaremos al conjunto
{z E C llz- al~ R}.
2. Máximos y Mínimos de Funciones Continuas.
Lema 2.1: (a) Si {rn : n E N} ~ [a, b] ~ R y lim rn = r, entonces n-oo
rE [a b].
(b) Si {zn: n E N}~ D(a,R) y limzn = z entonces z E D(a,R). n-oo
Demostración: (a) Sir fi_ [a, b], entonces r b. Supongamos que r < a entonces hay un t > O tal que {xllx- rl < t} n [a b] = 0 Y por lo tanto a partir de cierto N E N los r n' s no están en [a, b] lo cual es absurdo. Si r > b se llega a un absurdo en forma similar.
1
(b) Ya que < lzn - aJ : n E N > tiene límite lz- al (¿por qué?), por (a) se tiene que lz- al E [O,R].
Sea A~ C. Diremos que z es un punto de acumulación de A si Vt > O hay un a E A- { z} tal que lz- al < e Nótese que si A está contenido
en R , entonces el concepto recién definido de punto de acumulación de A
coincide con el que se define usualmente cuando se trabaja con conjuntos
de reales.
Lema 2.2: (a) Sea< rn: n E N> una sucesión de números reales tal
que el conjunto {lrnl : n E N} es acotado superiormente. Entonces hay una subsucesión < rnk : k E N> la cual es convergente.
(b) Sea < Zn : n E N > una sucesión de números complejos tal que el conjunto {lznl : n E N} es acotado superiormente. Entonces hay una subsucesión < Znk : k E N> la cual es convergente.
Demostración: (a) Sean a, b E R tales que [a, b] ~t {rn : n E N}.
Supongamos que el conjunto { r n : n E N} no tiene puntos de acumulación.
Sea:
b¡ = Sup{x E [a,bJI[a,x] n {rn: n E N} es un conjunto finito}. (1)
Queda como ejercicio verificar que tal supremo existe. Si b1 < b, entonces
ya que b1 no es un punto de acumulación de {rn : n E N}, hay un t > O tal que en el" conjunto ( b1 - t, b¡ + t) no hay ningún r n, lo cual nos dice que b1 no es el supremo dado por ( 1 ). O sea que b1 = b y por lo tanto
tenemos que {rn : n E N} es un conjunto finito situación en la cual es
fácil dar una subsucesión convergente (ejercicio). Nos queda el caso en el
que el conjunto {rn : n E N} tiene un punto de acumulación x. Definamos
19
lz + wl ~ lzl + lwl o su obvia consecuencia
lz + wl ~ lzl - lwl. También se supondrá que el lector maneja la representación polar de
un complejo z por medio de la cual se puede probar el siguiente
Lema 1.1: Toda.ecuación de la forma zn = a con n E N y a E C
tiene una solucióo en C.
Dados a E C, R ~ O con D(a, R) denotaremos al conjunto
{z E C llz- aJ < R},
y con D( a, R) denotaremos al conjunto
{z E C llz- al~ R}.
2. Máximos y Mínimos de Funciones Continuas.
Lema 2.1: (a) Si {rn : n E N} ~ [a, b] ~ R y lim rn = r, entonces n-oo
rE [a b].
(b) Si {zn: n E N}~ D(a,R) y limzn = z entonces z E D(a,R). n-oo
Demostración: (a) Sir fi_ [a, b], entonces r b. Supongamos que r < a entonces hay un t > O tal que {xllx- rl < t} n [a b] = 0 Y por lo tanto a partir de cierto N E N los r n' s no están en [a, b] lo cual es absurdo. Si r > b se llega a un absurdo en forma similar.
1
(b) Ya que < lzn - aJ : n E N > tiene límite lz- al (¿por qué?), por (a) se tiene que lz- al E [O,R].
Sea A~ C. Diremos que z es un punto de acumulación de A si Vt > O hay un a E A- { z} tal que lz- al < e Nótese que si A está contenido
en R , entonces el concepto recién definido de punto de acumulación de A
coincide con el que se define usualmente cuando se trabaja con conjuntos
de reales.
Lema 2.2: (a) Sea< rn: n E N> una sucesión de números reales tal
que el conjunto {lrnl : n E N} es acotado superiormente. Entonces hay una subsucesión < rnk : k E N> la cual es convergente.
(b) Sea < Zn : n E N > una sucesión de números complejos tal que el conjunto {lznl : n E N} es acotado superiormente. Entonces hay una subsucesión < Znk : k E N> la cual es convergente.
Demostración: (a) Sean a, b E R tales que [a, b] ~t {rn : n E N}.
Supongamos que el conjunto { r n : n E N} no tiene puntos de acumulación.
Sea:
b¡ = Sup{x E [a,bJI[a,x] n {rn: n E N} es un conjunto finito}. (1)
Queda como ejercicio verificar que tal supremo existe. Si b1 < b, entonces
ya que b1 no es un punto de acumulación de {rn : n E N}, hay un t > O tal que en el" conjunto ( b1 - t, b¡ + t) no hay ningún r n, lo cual nos dice que b1 no es el supremo dado por ( 1 ). O sea que b1 = b y por lo tanto
tenemos que {rn : n E N} es un conjunto finito situación en la cual es
fácil dar una subsucesión convergente (ejercicio). Nos queda el caso en el
que el conjunto {rn : n E N} tiene un punto de acumulación x. Definamos
19
la sucesión de naturales < nk k E N > recursivamente de la siguiente forma:
n 1 =menor n tal que rn E (x- 1,x + 1) nk+1 =menor n tal que n > nk y r ,¡ E (x- k~l'x + k~1 ), k 2 l.
Queda como ejercicio para el lector probar que la subsucesión < r n~t : k E N> converge a x (use que Vk E N, rnk E (x- í, x + Í)).
(b) Aplicando (a) a la sucesión < Re(zn) : n E N >, se tiene que hay una subsucesión < Re(znk) : k E N > la cual converge a un real r. Similarmente, aplicando (a) a la sucesión < Im(znk) : k E N >, se tiene que hay una subsucesión < Im(zn~t,) : e E N > la cual converge a un real s. Ya que
lim Re(zn~t) = r, k-+oo
se tiene que
limRe(znk) = r, e--+oo e
con lo cual
lim Znk = lim (Re(zn~c ) + i!m(znk )) = r + is. e--+oo e e-+oo e e
El siguiente gráfico puede resultar útil.
20
....
r
= 2 k¡ = 1
3 k2 =3
= 5 k3 =5
6 k4 =7 8
9
11
Pregunta: ¿Es posible definir en (a) nk = menor n tal que rn E
21
la sucesión de naturales < nk k E N > recursivamente de la siguiente forma:
n 1 =menor n tal que rn E (x- 1,x + 1) nk+1 =menor n tal que n > nk y r ,¡ E (x- k~l'x + k~1 ), k 2 l.
Queda como ejercicio para el lector probar que la subsucesión < r n~t : k E N> converge a x (use que Vk E N, rnk E (x- í, x + Í)).
(b) Aplicando (a) a la sucesión < Re(zn) : n E N >, se tiene que hay una subsucesión < Re(znk) : k E N > la cual converge a un real r. Similarmente, aplicando (a) a la sucesión < Im(znk) : k E N >, se tiene que hay una subsucesión < Im(zn~t,) : e E N > la cual converge a un real s. Ya que
lim Re(zn~t) = r, k-+oo
se tiene que
limRe(znk) = r, e--+oo e
con lo cual
lim Znk = lim (Re(zn~c ) + i!m(znk )) = r + is. e--+oo e e-+oo e e
El siguiente gráfico puede resultar útil.
20
....
r
= 2 k¡ = 1
3 k2 =3
= 5 k3 =5
6 k4 =7 8
9
11
Pregunta: ¿Es posible definir en (a) nk = menor n tal que rn E
21
(x- t, x + l) y evitar así una definición recursiva como la dada?
Teorema 2.3: Sea f : D( a, R) ~ Runa función continua. Entonces f alcanza un máximo y un mínimo, es decir hay elementos Zm, ZM E D(a, R)
tales que
f(zm) ~ f(z) ~ f(zM ), Vz E D(a, R).
Demostración: Supongamos que {f(z) : z E D(a, R)} es acotado
superiormente. Para cada n E N , sea Zn E D( a, R) tal que
f(zn) 2 (Sup{f(z): z E D(a, R)})- 1/n.
Por el Lema 2.2, < Zn: n E N> tiene una subsucesión < Zn~c : k E N> que es convergente a un ZM, el cual pertenece a D( a, R) por Lema 2.1. El
lector fácilmente podrá verificar que f(zM) = Sup {f(z): z E D(a,R)}.
Si la imagen de f no fuera acotada superiormente, entonces para cada n E N habría un Zn E D(a, R) tal que f(zn) 2 n, lo cual procediendo
análogamente al caso acotado conduce a un absurdo (ejercicio). Queda
como ejercicio probar que f alcanza un mínimo.
3. El Teorema del Módulo Máximo para Funciones Racionales.
Dado a E C, a=/: O, con Sa denotaremos el conjunto
{z E CJ < z,a >2 0}.
Si recordamos que < z, w >= lzllwicosO, donde O = ángulo entre z y w, entonces podremos notar que S a es el semi plano dado por el siguiente
dibujo:
22
1
Lema 3.1: Sea f tal que f(D(a, t)) ~ Sd para algún t > O y d # O. Entonces si limf(z)jc(z- a)k existe, éste debe ser igual a cero.
z-+a
Demostración: Supongamos lirn ( f(z) )k = b =/: O. Sin pérdida de z-+ac z- a
generalidad podemos suponer que b = 1 y que d = 1 (tómese j = d- 1 f y e= bd-1c). Claramente hay una sucesión Zn tal que Zn ~ a y c(zn- a)k es un real menor o igual que cero, para todo n E N (use el Lema 1.1). Se
tiene:
1 = lim f(zn)/c(zn- a)" n-+oo
Re( lim f(zn)/c(zn- a)") n-+oo
lim Re(f(zn ))jc(zn- a)"~ O. n-+oo
El Lema 3.1 tiene un significado geométricamente claro. Llamemos g
a la función c(z- a)". Nótese que g(z) tiende a cero en la dirección y
sentido que se quiera si se elige bien la manera en la que z tiende a a.
Más concretamente dado un argumento O hay una sucesión { Zn : n E N}
23
(x- t, x + l) y evitar así una definición recursiva como la dada?
Teorema 2.3: Sea f : D( a, R) ~ Runa función continua. Entonces f alcanza un máximo y un mínimo, es decir hay elementos Zm, ZM E D(a, R)
tales que
f(zm) ~ f(z) ~ f(zM ), Vz E D(a, R).
Demostración: Supongamos que {f(z) : z E D(a, R)} es acotado
superiormente. Para cada n E N , sea Zn E D( a, R) tal que
f(zn) 2 (Sup{f(z): z E D(a, R)})- 1/n.
Por el Lema 2.2, < Zn: n E N> tiene una subsucesión < Zn~c : k E N> que es convergente a un ZM, el cual pertenece a D( a, R) por Lema 2.1. El
lector fácilmente podrá verificar que f(zM) = Sup {f(z): z E D(a,R)}.
Si la imagen de f no fuera acotada superiormente, entonces para cada n E N habría un Zn E D(a, R) tal que f(zn) 2 n, lo cual procediendo
análogamente al caso acotado conduce a un absurdo (ejercicio). Queda
como ejercicio probar que f alcanza un mínimo.
3. El Teorema del Módulo Máximo para Funciones Racionales.
Dado a E C, a=/: O, con Sa denotaremos el conjunto
{z E CJ < z,a >2 0}.
Si recordamos que < z, w >= lzllwicosO, donde O = ángulo entre z y w, entonces podremos notar que S a es el semi plano dado por el siguiente
dibujo:
22
1
Lema 3.1: Sea f tal que f(D(a, t)) ~ Sd para algún t > O y d # O. Entonces si limf(z)jc(z- a)k existe, éste debe ser igual a cero.
z-+a
Demostración: Supongamos lirn ( f(z) )k = b =/: O. Sin pérdida de z-+ac z- a
generalidad podemos suponer que b = 1 y que d = 1 (tómese j = d- 1 f y e= bd-1c). Claramente hay una sucesión Zn tal que Zn ~ a y c(zn- a)k es un real menor o igual que cero, para todo n E N (use el Lema 1.1). Se
tiene:
1 = lim f(zn)/c(zn- a)" n-+oo
Re( lim f(zn)/c(zn- a)") n-+oo
lim Re(f(zn ))jc(zn- a)"~ O. n-+oo
El Lema 3.1 tiene un significado geométricamente claro. Llamemos g
a la función c(z- a)". Nótese que g(z) tiende a cero en la dirección y
sentido que se quiera si se elige bien la manera en la que z tiende a a.
Más concretamente dado un argumento O hay una sucesión { Zn : n E N}
23
la cual tiende a a tal que Vn E N , arg(g(zn)) =O. Gráficamente
Si ~~;} --+ b =/: O, entonces a medida que vayamos variando arbitraria-
mente los valores de (), la función f deberá comportarse de manera que los
valores arg(~~;:}) tiendan a arg(b), lo cual le será imposible si sus valores
(en un entorno de a) están confinados a un semi plano dado.
De la discusión anterior debería extraerse la importante observación
de que en general saber que
da más información acerca de la relación en el limite entre f y g que saber
que ETa ~i:; =?ya que el segundo caso es (X}uivalente a que lf(z)l tienda a cero más rápidamente que lg( z) 1, lo cual no nos dice nada de la relación en el límite entre arg(f(z)) y arg(g(z)).
Finalmente cabe destacar que decir que una función es analitica en
una región G (o sea que existe f'(z) para todo z en G) es en realidad una
condición mixta que consiste en decir que sobre ciertos puntos de G se
verifica la fuerte condición :Jf' =J O y sobre el resto la más débil :Jf' = O.
24
Lema 3.2: Seap(z) = anz"+ ... +a1z+ao, con n 2: l,an =/:O. Entonces
si p(a) =O, p(z) = q(z)(z- a), donde
q(z) = anzn-l + (an-1 + ana)zn-2 + (an-2 + an-la + ana2 )zn-J + ... +
(a¡+ a2a + ... + anan- 1 ).
Demostración: Es un simple chequeo.
n conocido corolario del lema anterior es que un polinomio de grado
n tiene a lo sumo n raíces contadas con su multiplicidad.
Dados dos polinomios p q, sin ceros en común, podemos definir una
función R con dominio Dn = {z E Clq(z) =/: 0} , dada por
R(z) = p(z)fq(z), z E Dn
Las funciones definidas de esta manera serán las llamadas funciones
racionales. Nótese que en virtud del lema anterior, el dominio de una
función racional es siempre el plano menos una cantidad finita de puntos.
Ejercicio: Una función racional asume una cantidad finita de veces
cada valor de su imagen.
Teorema del Módulo Máximo para Funciones Racionales.
Sea Runa función racional. Supongamos que IR(a)l 2: IR(z)l, Vz E
D(a,t) con t >O, a E Dn. Entonces Res constante.
Demostración: Supongamos Res no constante. Sean p, q sin ceros
en común tales que R(z) = p(z)fq(z), Vz E Dn. Se tiene que
R(z)- R(a) = q(a)p(z)- p(a)q(z) Vz E Dn q(a)q(z) '
(2)
25
la cual tiende a a tal que Vn E N , arg(g(zn)) =O. Gráficamente
Si ~~;} --+ b =/: O, entonces a medida que vayamos variando arbitraria-
mente los valores de (), la función f deberá comportarse de manera que los
valores arg(~~;:}) tiendan a arg(b), lo cual le será imposible si sus valores
(en un entorno de a) están confinados a un semi plano dado.
De la discusión anterior debería extraerse la importante observación
de que en general saber que
da más información acerca de la relación en el limite entre f y g que saber
que ETa ~i:; =?ya que el segundo caso es (X}uivalente a que lf(z)l tienda a cero más rápidamente que lg( z) 1, lo cual no nos dice nada de la relación en el límite entre arg(f(z)) y arg(g(z)).
Finalmente cabe destacar que decir que una función es analitica en
una región G (o sea que existe f'(z) para todo z en G) es en realidad una
condición mixta que consiste en decir que sobre ciertos puntos de G se
verifica la fuerte condición :Jf' =J O y sobre el resto la más débil :Jf' = O.
24
Lema 3.2: Seap(z) = anz"+ ... +a1z+ao, con n 2: l,an =/:O. Entonces
si p(a) =O, p(z) = q(z)(z- a), donde
q(z) = anzn-l + (an-1 + ana)zn-2 + (an-2 + an-la + ana2 )zn-J + ... +
(a¡+ a2a + ... + anan- 1 ).
Demostración: Es un simple chequeo.
n conocido corolario del lema anterior es que un polinomio de grado
n tiene a lo sumo n raíces contadas con su multiplicidad.
Dados dos polinomios p q, sin ceros en común, podemos definir una
función R con dominio Dn = {z E Clq(z) =/: 0} , dada por
R(z) = p(z)fq(z), z E Dn
Las funciones definidas de esta manera serán las llamadas funciones
racionales. Nótese que en virtud del lema anterior, el dominio de una
función racional es siempre el plano menos una cantidad finita de puntos.
Ejercicio: Una función racional asume una cantidad finita de veces
cada valor de su imagen.
Teorema del Módulo Máximo para Funciones Racionales.
Sea Runa función racional. Supongamos que IR(a)l 2: IR(z)l, Vz E
D(a,t) con t >O, a E Dn. Entonces Res constante.
Demostración: Supongamos Res no constante. Sean p, q sin ceros
en común tales que R(z) = p(z)fq(z), Vz E Dn. Se tiene que
R(z)- R(a) = q(a)p(z)- p(a)q(z) Vz E Dn q(a)q(z) '
(2)
25
y ya que el polinomio q(a)p(z)- p(a)q(z) es no constante (¿por qué?) y
se anula en a, se tiene que por el Lema 3.1 hay un k ~ 1 y un polinomio
e( z) tales que
q(a)p(z)- p(a)q(z) = c(z)(z- a)k , Vz E C,
y además c(a) -=f. O. Usando (2) y (3) se deduce que
R(z)- R(a) (z- a)k
c(z) q(a)q(z), Vz E Dn- {a}.
Pero entonces claramente se tiene que
lim R(z)- R(a) -=f. O. z-+a (z _ a)k
Si atendemos el siguiente dibujo:
(3)
(4)
veremos que R(z)- R(a) E -R(a)l Vz E D(a,t) (queda como ejercicio
probar que R (a) -=f. O ya que Res no constante). Para probar esta última
aserción geométricamente clara, recordemos que
< R(z),R(a) >= IR(z)II R(a)icosO,
26
donde e= ángulo entre R(z) y R(a) (pensados como vectores de R 2 ) lo cual nos dice que
< R(z)- R(a), -R(a) > < R(a) R(a) > - < R(z), R(a) >
IR(aW -IR(z)IIR(a)jcosO
> IR(a)l 2 - IR(z)IIR(a)l ~O,
Vz E D(a,t). Pero entonces por el Lema 3.1 (aplicado a f(z) = R(z)-
R( a)) hemos llegado a una contradicción (ver ( 4)) la cual proviene de
suponer que R es no constante.
Lema 3.3: Sea p(z) = anzn + ... + ao, con an -=f. O y n ~ l. Entonces lim lp(z)l = oo, es decir VN E N existe un M E N tal que lzl ~ M =?
Z-+00
lp(z)l ~N.
Demostración: Sea M 1 tal que
Sea M2 tal que
lzl ~ M2 =? lzln la2nl ~ Si lzl ~ M1 y lzl ~ M2, entonces
jp(z)l n l an-1 ao l lz 1 an + - + ... + -:-z zn > lzln(lanl - 1 an-l + ··· + ao 1)
z zn
> lzln ja2nl ~N.
27
y ya que el polinomio q(a)p(z)- p(a)q(z) es no constante (¿por qué?) y
se anula en a, se tiene que por el Lema 3.1 hay un k ~ 1 y un polinomio
e( z) tales que
q(a)p(z)- p(a)q(z) = c(z)(z- a)k , Vz E C,
y además c(a) -=f. O. Usando (2) y (3) se deduce que
R(z)- R(a) (z- a)k
c(z) q(a)q(z), Vz E Dn- {a}.
Pero entonces claramente se tiene que
lim R(z)- R(a) -=f. O. z-+a (z _ a)k
Si atendemos el siguiente dibujo:
(3)
(4)
veremos que R(z)- R(a) E -R(a)l Vz E D(a,t) (queda como ejercicio
probar que R (a) -=f. O ya que Res no constante). Para probar esta última
aserción geométricamente clara, recordemos que
< R(z),R(a) >= IR(z)II R(a)icosO,
26
donde e= ángulo entre R(z) y R(a) (pensados como vectores de R 2 ) lo cual nos dice que
< R(z)- R(a), -R(a) > < R(a) R(a) > - < R(z), R(a) >
IR(aW -IR(z)IIR(a)jcosO
> IR(a)l 2 - IR(z)IIR(a)l ~O,
Vz E D(a,t). Pero entonces por el Lema 3.1 (aplicado a f(z) = R(z)-
R( a)) hemos llegado a una contradicción (ver ( 4)) la cual proviene de
suponer que R es no constante.
Lema 3.3: Sea p(z) = anzn + ... + ao, con an -=f. O y n ~ l. Entonces lim lp(z)l = oo, es decir VN E N existe un M E N tal que lzl ~ M =?
Z-+00
lp(z)l ~N.
Demostración: Sea M 1 tal que
Sea M2 tal que
lzl ~ M2 =? lzln la2nl ~ Si lzl ~ M1 y lzl ~ M2, entonces
jp(z)l n l an-1 ao l lz 1 an + - + ... + -:-z zn > lzln(lanl - 1 an-l + ··· + ao 1)
z zn
> lzln ja2nl ~N.
27
Es decir que basta con tomar M= max(M1 , AJ2 ).
Ahora estamos en condiciones de probar el:
Teorema Fundamental del Algebra.
Si p(z) es un polinomio no constante, entonces p(z) tiene una raíz.
Demostración: Sea M tal que lzl ;::: M==* jp(z)l ;::: jp(O)j. ea f la restricción de jp(z)l a D(O, M). Ya que fes contínua, por Teorema 2.3 f alcanza su mínimo en un Zm E D(O M). Fácilmente puede notarse que
Vz E C
lo cual nos dice que p( Zm) = O ya que de lo contrario la función racional
1/p(z) tendría en Zm un punto de módulo máximo contradiciendo el Teo-
rema del Módulo Máximo.
Agradecimientos
El contenido de este trabajo fue expuesto a manera de minicurso en
diciembre de 1992 en la Universidad Nacional de Salta. Quiero agradecer
la hospitalidad de la gente de dicha ciudad. También le agradezco al Dr.
Roberto Miatello por varias útiles conversaciones sobre el tema.
Facultad de Matemática, Astronomía y Física.
Universidad Nacional de Córdoba.
2
El sistema binario.
El juego del Nim y otras aplicaciones.
R. J. Miateilo - M. l. Viggiani Rocha
Es un hecho familiar que si n e un número natural, n puede ser expre-
sado en forma única como suma de potencias de 2 n = E~=O a,2'. donde
a; =O ó a, = 1, Vi.
En efecto si r máx {m E N U {O} : 2m ~ n}, entonces O ~
n - 2r < n. Por hipótesis inductiva, n - 2r = E!=o a;2i con a; E {0, 1} determinados unívocamente por n - 2r, luego por n, y necesariamente
t < r, por la elección de r.
En el sistema de numeración binaria o diádica se representa al número
n por medio de los dígitos ar ar_ 1 •.. a2 a 1 a0 que aparecen en la expansión
en base 2 den. Por ejemplo, 7 = 22 +2+1 9 = 23 +1 y 37 = 25 +22 +1, se
representan respectivamente por 111,1001 y 100101. Este sistema ofrece la
ventaja de requerir para la representación de un número dado, sólo el u o
de 2 dígitos. En una computadora cada dígito binario a; está representado
por un circuito y el valor de a; es igual a 1 ó O según haya paso, o no,
de corriente por el mismo. Este sistema era conocido por los antiguo
matemáticos chinos y por tribus primitivas, pero fue el gran matemático
alemán Gottfried W. Leibnitz (1646-1716) quien lo desarrolló en detalle
por pnmera vez.
El objeto de la presente nota es exponer aplicaciones del sistema bi-
nario a diversos juegos entre otros los siguientes: estrategia para el juego
del im. diversas adivinanzas numéricas, ciertas curvas especiales, y la
llamada la torre de Brahma.
29
Top Related