TEOREMA

Si un nmero comlejo a+bi es raz de la ecuacin entera

f(x)=0 con coeficientes reales, entonces su conjugado a-
bi tambin es raz de la ecuacin.
DEMOSTRACIN
n 1
Sea f ( x) a0 x a1 x ... an 1 x an 0
n
(1)

y a+bi una raz de f, tenemos:

(2)
f ( x) a0 (a bi ) n a1 (a bi ) n 1 ... an 1 (a bi ) an 0

Notemos que al desarrollar las potencias, existirn tanto

nmeros reales, como nmeros imaginarios. Pero
notemos que las potencias pares de bi darn como
resultado un nmero real (no importa si es positivo o
negativo) y las potencias impares de bi darn como
resultado un nmero imaginario (Si el lector se ha
enfrentado antes a los nmeros complejos, notar con
cierta facilidad esto ltimo).
Podemos representar la suma de los nmeros reales de
la siguiente manera:
m

r
k 0
k
(3)
 donde r, m son nmeros reales, y la suma de los nmeros
imaginarios la podemos representar como:
l
i pk
k 0
(4)

Donde p, l y k son nmeros reales e i es la unidad

imaginaria.
Nota: podramos escribir (4) ms acertadamene de la
siguiente manera
l
i (1) k pk
k 0

Ya que sabemos que los nmeros imaginarios, segn la

potencia consecutiva que tengan, cambian de signo
alternativamente. Pero dejemos (4) tal y como est, ya

que al final de cuentas, cada pi es un nmero real.

De este modo, podemos escribir f de la siguiente manera:
m l
f ( x) rk i pk 0
k 0 k 0
(5)
 Dato: Conocemos que si elevamos un binomio a la ensima potencia,
tendremos n+1 trminos. Por lo que en el primer binomio desarrollado
en (2) tendremos n+1 trminos, en el segundo, tendremos n trminos,
en el tercero tendremos n-1 trminos y as sucesivamente. De modo que
la relacin que hay entre l, m y n es la siguiente

(n 1)(n 2)
l m (n 1) (n) (n 1) ... 2 1
2
Aunque este dato no es relevante en la demostracin, satisface la
curiosidad de quienes se preguntan qu relacin existe entre esas tres
literales.

Existe un teorema en los nmeros complejos que nos

dice que si a+bi=0, entonces a=0 y b=0. Cuya
demostracin es muy sencilla y puede realizarse como
ejercicio.
Este teorema nos hace ver que:
m l

r
k 0
k 0
y
p
k 0
k 0
segn (5)

Si ahora sustituimos x en (1) por a-bi, tenemos:

f ( x) a0 (a bi ) n a1 (a bi ) n 1 ... an 1 (a bi ) an (6)
Las potencias pares de bi sern las mismas potencias
pares que las de bi, adems, ambas sern reales.
Mientras que las potencias impares de bi slo diferirn
en el signo con las potencias impares de bi (esto debera
de ser evidente para el lector). De este modo, obtenemos:
m l
f ( x) rk i pk
k 0 k 0
(7)

Pero ya concluimos que:

m l

r
k 0
k 0 p
y k 0
k 0

Por lo que podemos escribir (7) como sigue:

m l
f ( x) rk i pk 0
k 0 k 0

Esto demuestra que a-bi tambin es una raz de f.

*Esto facilita la bsqueda de races de un polinomio,
puesto que, si por alguna razn encontramos una raz
compleja en una ecuacin de la forma (1), tambin
sabemos que el conjugado de la raz compleja hallada
tambin es raz del polinomio. Es decir: las races
complejas siempre aparecern en pares para esta
estructura.