Matemática 4 - 2024

Números

La Teorı́a de Números es una rama de las matemáticas que se ocupa de estudiar a los
números enteros. Nosotros vamos a hacer un recorrido por todos los conjuntos numéricos pero
haciendo especial hincapié en los enteros.
. El gran matemático G.H. Hardy usó la Teorı́a de Números como un ejemplo de una rama de las
matemáticas bella pero impráctica. Sin embargo, a finales del siglo xx esta teorı́a ha adquirido
gran importancia en los sistemas criptográficos, usados para la seguridad en las comunicaciones

La historia de los números arranca con los naturales, los que utilizamos para contar ({1; 2; 3; ....}).

Los números negativos, las fracciones, los irracionales tuvieron que ser “creados”, (descu-
biertos) y la motivación fue responder preguntas que no tenı́an respuesta.

Con los números naturales podemos enumerar objetos, contar monedas y sumar vacas o
cabras. Sumar cantidades enteras sencillas nos da una cantidad entera (positiva).
Al igual que la suma la operación de multiplicación genera cantidades enteras, es decir otro
número natural.

Sin embargo, restar o dividir puede traer problemas. Si hacemos 6 dividido 2 obtenemos el
1
entero positivo 3, pero si dividimos 2 por 6 tendremos 3 que no es un entero, es la tercera parte
de un entero, es una fracción .

1
 Desde siempre hubo preguntas acerca de los números naturales (o enteros positivos) que no
podrı́an resolverse sin las fracciones, fue necesario “agregarlas”.

Esta misma necesidad de resolver problemas sin respuestas en los números naturales llevó a
los hindúes a “inventar”, descubrir los números negativos. Mientras que restando 2 al 6 obtengo
el 4, restando 6 al 2 obtengo un elemento que no es un número natural. La solución estaba más
allá de los naturales.

Se dice que es “impensable” para los matemáticos no poder responder todas las preguntas.
Esto es lo que llamamos COMPLETUD.

Para responder algunas de esas preguntas sin respuesta, para alcanzar esa completud es que
los griegos incorporaron los números irracionales.
√
Ellos sabı́an que 2 (la longitud de la hipotenusa de un triángulo rectángulo con catetos de
7
longitud 1) era aproximadamente 5 pero nunca pudieron encontrarla fracción exacta ya que
no existe. Descubrieron un número que no podı́a representarse como una fracción pero era un
número necesario para contestar una pregunta ¿Cuál es la raı́z cuadrada de 2?.
La necesidad de completud hizo que se adicionaran nuevos números.

Y cuando los matemáticos creyeron que ya habı́an descubierto todos los números del universo,
cuando pensaron que los podı́an ubicar en la una recta infinita con el centro en 0 y que se habı́a
por fin logrado la completud tan ansiada, surgieron nuevas preguntas que los números (reales)
no podı́an responder: ¿Cúal es la raı́z cuadrada de −1?
La solución del matemático e ingeniero italiano Raffaele Bombelli fue inventar un nuevo número
que simplemente se definı́a como la respuesta a esa pregunta. La raı́z cuadrada de −1 es i un
nuevo número llamado imaginario.

Pitágoras, el que todos conocemos por su famoso teorema1 (asociado a él por ser quien lo
demostró aunque ya era usado por chinos y babilonios desde mil años antes), se dio cuenta que
los números están en todas partes, desde la armonı́a de la música hasta en las órbitas de los
planetas, y esto lo llevó a decir: “todo es número”.

1
En un triángulo rectángulo el cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos

2
1 Los números enteros

Un número entero es cualquier elemento del conjunto formado por los números naturales (va-
mos a considerar ya conocido el conjunto de los números naturales 0, 1, 2, 3.... (denotado por
N ), usados habitualmente para contar, enumerar, etc.), sus opuestos (versiones negativas de los
naturales) y el cero (No se sabe si el 0 se originó en China o India pero fue en la última donde
se comenzó a aceptar como un número adecuado. Aunque siempre se tuvo la idea, el concepto
de no tener nada, el concepto de cero es relativamente nuevo, podı́amos contar pero antes del
siglo VII el cero no existı́a).

Estos son:

• Los naturales (o enteros positivos): +1, +2, +3, +4, +5...

• El cero, que no es ni positivo ni negativo.

• Los enteros negativos: −1, −2, −3, −4, −5...

El conjunto de los enteros se designa por Z.

Z = {.... − 3, −2, −1, 0, 1, 2, 3, .....}

Una caracterı́stica de los números enteros es que están ordenados. Este orden se define como:

• Dados dos enteros de signos distintos, a y −b, el negativo es menor que el positivo: −b < a

• Dados dos enteros con el mismo signo, el menor de los dos números es:

– El de menor valor absoluto, si el signo común es +

– El de mayor valor absoluto, si el signo común es −.

– El cero, 0, es menor que todos los positivos y mayor que todos los negativos.

3
1.1 Operaciones con números enteros

Los números enteros pueden sumarse, restarse, multiplicarse y dividirse, siguiendo el modelo de
los naturales añadiendo unas normas para el uso del signo.

1. La suma de números enteros es cerrada, es decir, la suma de dos números enteros da como
resultado otro número entero.

Además cumple las siguientes propiedades:

• Propiedad asociativa: Dados tres números enteros a, b y c, las sumas (a + b) + c y

a + (b + c) son iguales.

• Propiedad conmutativa: Dados dos números enteros a y b, las sumas a + b y b + a son

iguales.

• Elemento neutro: Todos los números enteros a quedan inalterados al sumarles 0:

a + 0 = a. para todo a entero.

• Ley de Monotonı́a de la suma: Dados tres números enteros a, b y c,vale que si a ≤ b

entonces a + c ≤ b + c.

2. La resta de dos enteros a − b se realiza sumando el opuesto del entero que quiero restar,
es decir: a + (−b)

3. La multiplicación de números enteros da como resultado un número entero, es decir,

la multiplicación es una operación cerrada en Z. Además se cumplen las siguientes
propiedades:

• Propiedad asociativa: Dados tres enteros a, b y c, los productos (a.b) .c y a. (b.c) son
iguales.

• Propiedad conmutativa: Dados dos números enteros a y b, los productos a.b y b.a son
iguales.

4
 • Elemento neutro: Existe un número entero especial 1 tal que todos los números
enteros a quedan inalterados al multiplicarlos por él, a.1 = 1.a = a para cualquier a
entero.

• Ley de Monotonı́a del producto: Dados números enteros a, b,vale que si a ≤ b entonces
a.c ≤ b.c si c es positivo y a.c ≥ b.c si c es un número negativo .

Propiedad distributiva:
Dados tres números enteros a, b y c, el producto a.(b + c) y la suma de productos (a.b) + (a.c)
son idénticos.
Es decir, a(b + c) = ab + ac

5
1.2 Divisibilidad en Z

La división de enteros tiene caracterı́sticas especiales que ahora estudiaremos con algo más de
detalle:
Se dice que está parcialmente definida ya que no siempre es posible efectuarla entre dos enteros
cualesquiera (a diferencia de lo que veremos pasa con los racionales, reales y complejos que
siempre se pueden dividir con la sólo excepción de que el divisor sea diferente d 0). O también
podrı́amos decir que no es una operación cerrada en Z ya que cuando divido un entero por otro
el resultado obtenido puede no ser un entero.

Comenzamos estudiando la división entera o exacta, esto es preguntarse cuantas veces un

número está contenido en otro.

Definición 1.1. Dados dos números enteros a y b, con b no nulo. Se dice que b divide
a a , y se escribe b|a, si existe un entero c tal que

a = b.c

En este caso se dice que b es un divisor de a, a es divisible por b ó que a es múltiplo de b

Propiedades básicas:

Dados a, b, c enteros cualesquiera, valen las siguientes propiedades:

• a|a

• 1|a

• a|0

• a|b entonces a| − b, −a|b y −a| − b

• a|b entonces a|bc

• a|b y b|c entonces a|c

6
 • a|b y a|c entonces a|b + c

Demostraremos algunas de estas propiedades a modo de ejemplo (el resto de las demostra-
ciones quedan como ejercicio para el lector)

• a|a

Queremos ver que cualquier entero a se divide a si mismo, es decir, por la definición,
queremos ver que existe algún entero c tal que a = a.c, y como vemos ese entero c existe
y es 1, a = a.1. Luego, a divide a a

• a|0

Ahora probemos que cualquier entero divide a 0. De esta forma vemos que el 0 (el neutro
para la suma de enteros) tiene infinitos divisores (pero él mismo no divide a ningún entero!!
por qué? demuéstrelo!) Como antes, queremos ver si existe ese entero c tal que 0 = a.c
para cualquier entero a, pero ese entero c es el mismo 0!! ya que 0 = a.0 para todo a, y
de esta forma a|0.

• a|b y b|c entonces a|c

Sabiendo que a|b y que b|c tenemos que probar que a|c, o sea, que existe un entero k tal
que c = a.k. Por hipótesis sabemos que existe un entero h tal que b = a.h y un entero t tal
que c = b.t, luego c = b.t = (a.h).t y como el producto de enteros es cerrado y asociativo
vale que c = b.t = (a.h).t = a.(h.t) = a.k con k = h.t en Z, y por lo tanto a divide a c
(valiendo la propiedad transitiva de la división de enteros).

• a|b y a|c entonces a|b + c

Vamos a suponer que a|b y a|c entonces existen enteros B y C tales que b = a.B y c = a.C,
luego b + c = a.B + a.C = a.(B + C) y como vale la propiedad distributiva (aqui la usamos
sacando factor común a) y la suma es cerrada en Z existe k = B + C entero tal que
b + c = a.k y probamos que a|b + c.

7
1.2.1 Algoritmo de la División

Dados a, b ∈ Z con b ̸= 0, cuando no existe el entero c que haga valer la igualdad a = bc, se
trata de realizar la división inexacta entre a y b.
Es decir que se trata de aproximar de la mejor manera posible a a por un múltiplo de b. La
diferencia entre a y dicho número es lo que llamamos resto de la división; que será nulo en el
caso que a sea múltiplo de b.

Teorema 1.2. Dados a, b ∈ Z con b ̸= 0, existen y son únicos c (cociente) y r (resto)

enteros tales que
a = bc + r con 0 ≤ r < |b|

Ejemplo 1.3. Dados 95, 7 ∈ Z , existen y son únicos c = 13 (cociente) y r = 4 (resto) enteros
tales que
95 = 13.7 + 4 con 0≤4<7

Ejemplo 1.4. Sea a y b dos números enteros que tienen restos 4 y 7 respectivamente en la
división por 11. Hallar el resto de la división por 11 de 2a + b

Por el algoritmo de la división y los datos que nos dan podemos saber que a = 11A + 4 y
b = 11B + 7, y queremos ver cual es el resto de la división de 2a + b, o sea, queremos encontrar
r de 2a + b = 11Q + r.

2a + b = 2(11A + 4) + (11B + 7) = 2.11A + 8 + 11B + 7 = 22A + 11B + 15

= 11(2A) + 11B + 11 + 4 = 11(2A + B + 1) + 4

Luego, el resto es 4

8
 Aplicación al Cambio de base

En el sistema posicional decimal, cada entero positivo se representa a partir de los diez
dı́gitos: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
El siguiente teorema muestra como se pueden representar los enteros positivos en distintas bases:

Teorema 1.5. Sea b un entero mayor a 1. Entonces para todo entero positivo a, existe un
entero no negativo k, y enteros 0 ≤ aj < b con j = 1, 2, ....k tales que a = ak bk + ak−1 bk−1 +
ak−2 bk−2 + ..... + a1 b + a0 con ak ̸= 0, Además esta representación es única.

En la expresión a = ak bk +ak−1 bk−1 +ak−2 bk−2 +.....+a1 b+a0 , 0 ≤ aj < b con j = 1, 2, ....k,
el número b es llamado base de la representación. Si la base no se especifica se sobreentiende
que es igual a 10
Se acomtumbra a escribir a = (ak ak−1 ak−2 ..... + a1 a0 )b

Ejemplo 1.6. Escribir 37 en base 5.

• 37 = 5.7 + 2

• 7 = 5.1 + 2,

• 1 = 5.0 + 1

Luego, 37 = (122)5

9
1.2.2 Enteros Primos

Definición 1.7. Un número entero p ̸= 1 se dice primo si sus únicos divisores son los
triviales (ésto es el propio número, su opuesto, 1 y −1). Caso contrario se dice que el
número es compuesto

Ejemplo:
2, 3, 5, 7, .... son primos
4, 6, 8, 9.... son compuestos.

La teorı́a de los números primos es una de las (pocas) áreas de la matemática pura que tiene
una aplicación en el mundo real, la criptografı́a.
Pero estos números también aparecen en el mundo natural. Existen 14 especies de cigarra
periódicas cuyo ciclo vital tiene duraciones de números primos para evitar a depredadores

Criba de Eratóstenes
La Criba de Eratóstenes es un método algorı́tmico para encontrar y /o enumerar los primos
(positivos) menores que un natural fijo dado.

Partimos de una lista de números que van de 2 hasta el número dado y vamos eliminando
los números compuestos (los múltiplos de los primos).
Eliminamos de la lista los múltiplos de 2.
Luego tomamos el primer número después del 2 que no fue eliminado (el 3) y eliminamos de
la lista sus múltiplos, y ası́ sucesivamente.
El proceso termina cuando el cuadrado del mayor número primo (uno que ya sabemos que
es primo o confirmamos que es primo) es menor que el número natural que tenı́amos fijo (el del
final de la lista).
Los números que no fueron eliminados y permanecen en la lista son los primos.

10
 Algunas propiedades importantes relativas que no demostraremos:

• Hay infinitos números primos

• Si m es un entero compuesto, entonces existe un primo p tal que p divide a m

Con esta propiedad que dice que todo entero compuesto es divisible por un número primo
concluimos que todo número compuesto se puede descomponer en factores primos, y esta fac-
torización es única, salvo quizás el orden.
Esto es un elemento central en muchas demostraciones.2

Teorema 1.8. Teorema Fundamental de la Aritmética

Todo número entero distinto de 0, 1, −1 es producto finito de números primos y esa fac-
torización es única salvo el orden.

1.2.3 Máximo Común Divisor

Se define el Máximo Común Divisor (MCD) de dos o más números enteros al mayor
número entero que los divide sin dejar resto.

Teorema 1.9. Máximo Común Divisor

Dados a, b ∈ Z no simultáneamente nulos, existe un único entero d > 0 que satisface:

• d|a y d|b

• Si existe D tal que D|a y D|b entonces D|d

Este entero d es el denominado máximo común divisor entre a y b y se lo denota

(a, b) ó m.c.d(a, b)

2
La descomposición única en factores primos fue descubierta (y demostrada para todos los números enteros
distintos de 0,1 y -1) por Euclides en el siglo IV a.C. quien la describió en el libro IX de sus Elementos

11
Ejemplos 1.10. Encontar el máximo común divisor entre 8 y 64, y entre 45 y 60.

• Como el 8 es un divisor de 64 (y obviamente de él mismo) el m.c.d(8, 64) será 8.

• Claramente vemos que 45 y 60 no se dividen mutuamente, tenemos que buscar dividores

comunes y entre ellos tomar el menor. Podrı́amos listar todos los divisores de cada número
y de allı́ elegirlo, o podemos descomponer cada entero en producto de primos y buscar los
factores en común.

45 = 15.3 = 5.3.3 = 5.32

60 = 20.3 = 4.5.3 = 2.2.5.3 = 22 .5.3

Vemos que 5.3 = 15 es el mayor factor en común, y por lo tanto será el m.c.d

Ejemplo 1.11. Hay que organizar equipos para realizar una actividad de determinada materia.
En curso está compuesto por dos comisiones, la ComA y ComB.
Cada grupo debe estar formado por el mismo número de personas para evitar que un grupo tenga
más ventaja que otro. Además, no se pueden mezclar alumnos de las dos clases.

Sabiendo que en la comA hay 60 alumnos y en la comB, 45, ¿cuántos alumnos tienen que ir
en cada grupo para que en ninguno haya más personas que en otro?

El problema nos está pidiendo realmente cuál es el número máximo de personas que pueden
ir en un equipo sin que haya uno con más personas, es decir, sin que sobre ningún compañero.
“Sin que sobre” significa que la división debe ser exacta (resto 0).
Por tanto, como tenemos que calcular el número máximo de personas, buscamos el máximo
común divisor entre 45 y 60 (cantidades de alumnos de cada comisión)

12
 Algoritmo de Euclides

El algoritmo de Euclides es un método antiguo y eficiente para calcular el mcd. Fue orig-
inalmente descrito por Euclides en su obra Elementos. El algoritmo extendido es una ligera
modificación que permite expresar al mcd como una combinación lineal.

Dados a, b ∈ Z, supongamos a ≥ b con b ̸= 0.

Por el algoritmo de la división existen c1 y r1 tales que a = c1 b + r1 con 0 ≤ r1 < b.
Si r1 = 0, (a, b) = (b, r1 ) = (b, 0) = b
Si r1 ̸= 0, podemos decir que existen c2 y r2 tales que b = c2 r1 + r2 con 0 ≤ r2 < r1 . Si r2
es cero, ya está, el mcd es r1 , si no es cero repetimos el proceso. Y ası́ sucesivamente.

Concluı́mos: (a, b) = (b, r1 ) = (r1 , r2 ) = (r2 , r3 ) = ....... = (rn−1 , rn ) = (rn , 0) = rn siendo rn

el último resto no nulo

Ejemplos 1.12. • (60, 45) = (45, 15) = (15, 0) = 15

• (86, 22) = (22, 20) = (20, 2) = (2, 0) = 2

Una propiedad muy útil es la llamada Identidad de Bézout que veremos sin su demostración

Proposición 1.13. Dados a, b ∈ Z y d su m.c.d, existen enteros m y n tales que

d = ma + nb

Ejemplo 1.14. Usemos la Identidad de Bézout para probar el siguiente resultado: Si (a, b) = d
; a|c y b|c entonces ab|cd

Queremos probar que ab divide a cd siendo d el máximo común divisor entre a y b y sabiendo
que a c lo dividen tanto a como b.
Como a|c existe, por definición de división, un entero A tal que c = aA, y como b|c existe
un entero B tal que c = bB.
Por otro lado, por ser d = (a, b) y la Identidad de Bézout, existen enteros m y n tales que
d = ma + nb.

13
 Luego, cd = c(ma + nb) = cma + cnb = mac + nbc = mabB + nbaA = ab(mB + nA) ya que
el producto de enteros es cerrado, conmutativo y asociativo.
De esta forma vemos que existe un entero k = mB +nA tal que cd = ab.k y por lo tanto ab|cd

A continuación veremos un ejemplo en el cual, obteniendo el MCD entre dos números, po-
dremos calcular la descomposición de este máximo común divisor como combinación lineal de
los números que divide, es decir, la Identidad de Bézout. Al proceso con el que obtendremos
esta forma de expresar el MCD se la denomina “subir por los restos”:

Ejemplo 1.15. Queremos hallar mcd(120, 50):

Comenzamos dividiendo 120 por 50:

120 = 50.2 + 20 (1)

Como el resto es 20, tenemos que (120, 50) = (50, 20). Ahora dividimos 50 por 20:

50 = 20.2 + 10 (2)

Como el resto es 10, tenemos que (50, 20) = (20, 10). Dividimos 20 por 10:

20 = 10.2 + 0

Como el resto es 0, tenemos que 10 es el MCD entre 120 y 50. Observar que obtuvimos

(120, 50) = (50, 20) = (20, 10) = (10, 0) = 10

Por otro lado veamos como podemos escribir al MCD de la forma

10 = m.120 + n.50, m, n ∈ Z

Veamos que si despejamos el 10 de la ecuación (2) obtenemos

10 = 50 − 20.2 (3)

Luego, despejando el 20 de la ecuación (1)

20 = 120 − 50.2 (4)

14
Finalmente, reemplazando (4) en (3):

10 = 50 − (120 − 50.2).2
10 = 50 − 120.2 + 50.4
10 = 120. (−2) + 50. (5)
| {z } |{z}
m n

Es decir, llegamos a la expresión, 10 = 120.m + 50.n siendo m, n ∈ Z.

Definición 1.16. Si (a, b) = 1 se dice que a y b son coprimos

Ejemplo 1.17. Sean a y b dos enteros coprimos, demostrar que a + b y a son coprimos.

Una forma de probar que dos enteros son coprimos es suponer que no lo son. Supongamos
que existe d un entero tal que d = (a + b, a), por definición de m.c.d este entero divide a a + b y
divide a a.
Fácilmente se puede probar que si d|a + b y d|a entonces d debe dividir a b. Luego, d|a y
d|b y por lo tanto d|(a, b) por definición de m.c.d. Pero entonces d|1 y no hay no le queda otra
opción que ser d = 1.

Observación 1.18. Si p es primo, entonces el (a, p) para cualquier a ∈ Z será el propio p o

son coprimos.

Esto vale ya que al ser p primo el único factor en común que puede tener con otro entero es
él mismo, en ese caso lo divide y el m.c.d es el primo p. Caso contrario, no tienen factores en
común y el m.c.d es 1, es decir, son coprimos.

15
 Proposición 1.19. Sea d el máximo común divisor entre los enteros a y b, entonces
existen A y B números enteros tales que a = d.A y b = d.B y (A, B) = 1

Demostración: Queremos probar que A y B son coprimos. Supongamos que no lo son,

es decir, existe D = (A, B)

D divide a A, entonces existe un entero k tal que A = Dk, luego a = d.A = d.Dk y por
lo tanto dD|a.

De la misma forma podemos ver que dD divide a b.

De esta forma probamos que dD divide a a y b, entonces dD divide al (a, b), dD|d (por
definición de mcd), pero esto es una (ya que dD > d) excepto cuando D = 1

1.2.4 Mı́nimo Común Múltiplo

El Mı́nimo Común Múltiplo (abreviado m.c.m) de dos o más números naturales es el menor
número natural distinto de cero que es múltiplo común de todos ellos (o el ı́nfimo del conjunto
de los múltiplos comunes).

Teorema 1.20 (Mı́nimo Común Múltiplo). Dados a, b ∈ Z, existe un único entero m

que satisface:

• a|m y b|m

• Si existe M tal que a|M y b|M entonces m|M

Este entero m se denomina mı́nimo común múltiplo entre a y b y se lo denota [a, b]

ó mcm[a, b]

16
 |a.b|
Observación 1.21. Se puede demostrar que |a.b| = (a, b)[a, b], luego [a, b] = (a,b)

Ejemplo 1.22. *Sé la envidia de tus amigos con tus conocimientos del mı́nimo común múltiplo*

Un grupo de amigos están organizando la juntada del finde y quieren comprar cerveza. De-
ciden comprar los packs de 6 de tal manera que todos tengan el mismo número de cervezas.
Con el m.c.m. pueden calcular cuantos packs comprar , teniendo en cuenta el número de cervezas
que se incluyen en cada uno y el número de amigos que sean.

Por ejemplo, cada pack trae 6 y son 15 amigos.

El m.c.m. [6, 15] = 30, es decir 30 cervezas son necesarias

Por tanto, 30 cervezas : 6 cervezas por pack = 5 packs hay que pedir.

17
2 Números Reales

Volviendo a la idea de la introducción es que llegamos a los números reales, un conjunto de

números que se dice completo (aunque luego veremos que tampoco alcanzó para responder to-
das las preguntas). Se fueron descubriendo, ”construyendo” conjuntos númericos para resolver
los problemas abiertos, “completar” los espacios vacı́os.

Dijo Leopold Kronecker, matemático y lógico del siglo XIX, “Dios hizo los números enteros;
todo lo demás es obra del hombre”

El conjunto R de los números reales incluye tanto a los números racionales como a los
irracionales (que estudiaremos en lo que sigue)

Los números reales pueden ser descritos y construidos de varias formas, algunas simples
aunque carentes del rigor necesario para los propósitos formales de matemáticas y otras más
complejas pero con el rigor necesario para el trabajo matemático formal.

Con los números reales pueden realizarse todo tipo de operaciones básicas (suma, resta,
producto, división y además potencias y raı́ces) con diversas excepciones importantes:

1. No existen raı́ces de orden par (cuadradas, cuartas, sextas, etc.) de números negativos en
números reales

2. La división por cero no está definida (pues cero no posee inverso multiplicativo)

3. No se puede hallar el logaritmo de un número real negativo, cualquiera sea la base de

logaritmos

El conjunto de los números reales junto con la suma y el producto usual, dotado del orden
habitual que es compatible con estas operaciones, tiene estructura de cuerpo.

18
2.1 Números Racionales

La idea de número racional como relación entre dos enteros fue utilizada por los pitagóricos en
el siglo VI a. de C. Antes, los babilonios y los egipcios utilizaron algunas fracciones, las que
tenı́an como numerador 1.

Se cree que el origen está vinculado al pan. En el antiguo Egipto necesitaban repartir el
pan entre la gente, como habı́a más personas que panes recurrieron a las fracciones, pero estas
1
fracciones eran de la forma n, siendo n un número natural.

Después fueron los hindúes, quienes formalizaron las reglas para ejecutar las operaciones
entre números fraccionarios.
En Occidente tuvieron que pasar muchos siglos hasta que los musulmanes introdujeron su sistema
de numeración, conocido como indo arábigo. Sin embargo, no fue hasta el Siglo XIII cuando
Leonardo de Pisa (Fibonacci) introdujo el concepto de números quebrados o números “ruptus”,
empleando además la raya para separar el numerador del denominador.

Definición 2.1. Un número racional es todo número que puede representarse como el
cociente de dos números enteros ( o más precisamente, un entero y un natural positivo,
o sea, podemos considerar que el denominador nunca es negativo)
a
Es decir, una fracción común b con numerador a y denominador b distinto de cero.

El término racional alude a una fracción o parte de un todo.

El conjunto de los números racionales se denota por Q (o bien Q) que deriva de cociente
(Quotient en varios idiomas europeos).

Estrictamente, un número racional es el conjunto de todas las fracciones equivalentes a

una dada; de todas ellas, se toma como representante canónico de dicho número racional a la
fracción irreducible.

19
Observación 2.2. Este conjunto de números incluye a los números enteros.

n
Cualquier entero n se puede expresar como el número racional 1 debido a eso se escribe
frecuentemente Z ⊂ Q

También se dice que Z está contenido en Q pero técnicamente los racionales contienen un
subanillo isomorfo al anillo de los números enteros.

2.1.1 Artimética de los Números Racionales

• Equivalencia entre fracciones

a c
= si y sólo si ad = bc
b d

• Orden de los números racionales

a
Cuando ambos denominadores son positivos b < dc si y sólo si ad < bc

Si alguno de los denominadores es negativo, las fracciones deben convertirse en otras

−a a a −a
equivalentes con denominadores positivos, siguiendo las ecuaciones: −b = b y −b = b

• Operaciones entre Números Racionales

1. Suma:
Se define la suma o adición de dos racionales a la operación que a todo par de números
racionales le hace corresponder otro racional de la siguiente forma:

a c ad bc ad + bc
+ = + =
b d bd bd bd

Como el producto y la suma de enteros son operaciones cerradas el resultado de la

suma de fracciones devuelve otra fracción (cociente de dos enteros), por lo tanto la
operación de adición está bien definida y es cerrada.

20
 a c
Sean b y d dos números racionales, observemos que dado que el producto y la suma
de enteros son conmutativas vale que:

a c ad + bc bc + ad cb + da c a
+ = = = = +
b d bd bd db d b
Y por lo tanto, la suma de racionales es conmutativa. De manera similar se puede
probar que la suma es asociativa.

Concluimos que la suma es cerrada, asociativa y conmutativa.

El elemento neutro para la suma de racionales es el mismo neutro que para la suma
de enteros, el 0.

2. Resta:
−a
El inverso aditivo u opuesto existe y está dado por: −( ab ) = b = a
−b

La operación que a todo par de racionales le hace corresponder su diferencia se llama

a c a
resta o diferencia y se la considera operación inversa de la suma b − d = b + (− dc )

3. Multiplicación:

La multiplicación o producto de dos números racionales está dado por:

a c ac
. =
b d bd

Por la definción anterior del producto en Q y por ser el producto de enteros cerrado
en Z queda claro que la multiplicación de racionales es una operación cerrada.

Veamos que el producto es asociativo: Sean ab , dc y e

f números racionales.

Por definición de producto y recordando que el producto de enteros es asociativo vale:

a c  e  ac  e    
(ac)e a(ce) a ce a c e
. . = . = = = . = . .
b d f bd f (bd)f b(df ) b df b d f
Mostrando que el producto de racionales es asociativo. De igual forma se puede
mostrar facilmente que el producto es conmutativo.

La multiplicación de racionales es cerrada, asociativa y conmutativa.

21
 El elemento neutro para el producto de racionales es el mismo neutro que para el
producto de enteros, el 1.

4. División:

Inversos:

El inverso multiplicativo existe en los números racionales y está dado por: ( ab )−1 = b
a

con a ̸= 0

Se define la división o cociente de dos racionales r entre s distinto de 0, al producto

de r por el inverso de s, esto es:
a c a d
: = .
b d b c

Observemos que como decimos que los racionales son no nulos a y c (los numeradores)
son distintos de 0, por lo tanto no tendremos problemas al dividir o buscar inversos

2.1.2 Densidad de los racionales

Los números racionales cumplen la propiedad arquimediana o de densidad, esto es, para cualquier
par de números racionales existe otro número racional situado entre ellos, propiedad que no está
presente en los números naturales ni en los números enteros.

Una forma de mostrar que Q es denso es tomar dos números racionales y encontrar otro
racional entre ellos.

Sean x e y en Q. Supongamos que x < y, entonces 2x = x + x < x + y (y de la misma forma

x + y < y + y = 2y)

x+y
Luego, 2x < x + y < 2y , y diviendo todo por 2 nos queda x < 2 <y

x+y
el número z = 2 es el racional que existe entre x e y.

22
2.2 Números Irracionales

Euclides abordó el tema de la irracionalidad en el décimo volumen de Los Elementos, su meta

era demostrar que podrı́a existir un número que no era posible escribir como fracción.
√
No demostró la existencia de un irracional,en su lugar examinó un número ( 2)y a través de
reductio ad absurdum probó que no puede ser escrito como una fracción, un racional.

A los enteros y racionales ahora debemos agregarles los irracionales.

Un tipo de número “abstracto” . El número que equivale a la raı́z de 2 (el número que
√
multiplicado por si mismo da 2) sólo puede ser expresado por el “sı́mbolo” 2, no puede ser
escrito como una fracción ni siquiera como un decimal; sólo podrı́amos tener una aproximación.

Definición 2.3. Un número irracional es un número que no puede ser expresado

m
como cociente de dos enteros, es decir que no puede ser una fracción n donde m y n sean
enteros (con n diferente de cero)

√
Ejemplo 2.4. 5 es un número irracional.

√
Supongamos que no se cumple la afirmación, es decir, 5 es un número racional.

Entonces puede representarse como el cociente de dos números enteros, o sea existen m, n
√
en Z tal que 5 = mn (n no puede ser 0). Para facilitar las cuentas vamos a suponer que m y

n no tienen factores en común, es decir, son coprimos (será un fracción irreducible).

√
Luego, si elevamos al cuadrado 5 = m n y operamos vamos a obtener:

√ 2  m 2 m 2 m2
5 = = 2 ⇒ 5 = 2 ⇒ n2 5 = m2
n n n
√
Cuando definimos los enteros de la fracción que igualamos a 5 pusimos n ̸= 0. Obviamente
√
m no puede ser 0 (ya que si no llegarı́amos a un absurdo, 5 = 0 )

23
 Observemos que tampoco m y n pueden ser iguales a 1 o −1.

√ 1 1
Si m = 1, 5= n o equivalentemente, 5 = n2
que es igual a n2 5 = 1, lo cual es un absurdo
ya que 5 no divide a 1.
Pasa lo mismo si m = −1.

√ m
Si ahora suponemos que n = 1 (o de la misma forma n = −1) obtenemos que 5= 1 o lo
que es lo mismo 5 = m2 .
Como m no es 0, ni 1 o −1, podemos aplicar el Teorema Fundamental de la Aritmética
(TFA), m será producto finito de primos, por lo tanto:

 2  
5=m = 2
ph1 1 ....phi i = p2h1 2hi
1 ....pi

Luego, el número primo 5 aparece una vez del lado izquierdo de la igualdad y una cantidad
par de veces (que puede ser ninguna, cero veces) del lado derecho. Lo cual es un absurdo.

Ahora si, como m y n son números enteros (diferentes de 1, −1 y 0), por el TFA , son
producto finito de números primos (y esa factorización es única salvo el orden)

 2
(q1s1 ....qrsr )2 5 = pt11 ....ptkk

   
2tk
q12s1 ....qr2sr 5 = p2t
1
1
....pk

Cada primo aparece una cantidad par de veces en cada uno de los lados de la igualdad, salvo
el número primo 5 que aparece una cantidad impar (2si + 1) de veces en el lado izquierdo (que
puede ser una sola vez) y una cantidad par (2tj ) de veces en la lado derecho (que puede ser 0
veces), Absurdo!!.

√
Por lo tanto, no existen enteros tales que 5 sea cociente de ambos.

√
5 es un número irracional.

24
2.2.1 Números Irracionales - Propiedades

Estas son algunas propiedades importantes de los números irracionales

• La suma y la diferencia de un número racional y de un número irracional es un número

irracional

• El producto de un racional diferente de cero por un irracional es un número irracional

• El cociente entre un racional no nulo y un irracional, es un número irracional

• El inverso de un número irracional es número irracional

Observación 2.5. La suma y el producto de irracionales no son operaciones cerradas.

√
Pensemos por ejemplo en el producto de 5 por si mismo, o si al número irracional π le
restamos la “parte” decimal de π, queda 3 que es un número entero.

25
3 Números Complejos

Supongamos que queremos resolver la ecuación

x2 − 9 = 0

no es difı́cil encontrar que los números 3 y −3 satisfacen nuestra ecuación, o sea son solu-
ciones.

Ahora pensemos en otra ecuación,

x2 + 9 = 0

Ya sea por despeje directo o usando la fórmula de resolución de la ecuación de cuadrática

vemos que esta nueva ecuación no tiene solución en el conjunto de los números reales. Llegamos
a una raı́z cuadrada de un número negativo y sabemos que eso no puede pasar (recordar la regla
de los signos)

Pero este tipo de ecuaciones y otras similares que no tienen solución en R aparecen a menudo
en las ciencias y la ingenierı́a, y lo vienen haciendo desde hace mucho!!

Ya en el siglo I a.c hay referencias a raı́ces cuadradas de números negativos en el trabajo de

matemáticos griegos como Herón de Alejandrı́a.
Luego, se hicieron patentes en el siglo XVI cuando matemáticos italianos como Tartaglia o
Cardano buscaban fórmulas que dieran raı́ces exactas de polinomios de grado 2 y 3.
Décadas más tarde, el ingeniero hidráulico Bombelli le dio sentido a las ecuaciones de Cardano
aunque su trabajo fue ignorado en su momento.
Siglos más tarde, René Descartes bautizó a estos “nuevos números” como imaginarios (también
eran llamados imaginables o falsos, porque solo existı́an en la imaginación) y sostuvo que toda
ecuación debı́a tener tantas raı́ces como indica su grado, aunque algunas de ellas podrı́an no ser
√
reales. Leonhard Euler llamó unidad imaginaria a −1 y para representarla utilizó el sı́mbolo
i.

26
 Los números complejos constituyen una extensión de los números reales , que permite obtener
todas las raı́ces de cualquier polinomio.

Los números complejos son además utilizados en la representación de funciones trigonométricas

y por ende, de funciones periódicas.

3.1 Definición - Forma binómica

Definimos al número i (unidad imaginaria) como aquel número que satisface la siguiente igual-
dad:
i2 = −1

Esto nos permite ampliar al conjunto de los números reales y por lo tanto escribiremos a un
número complejo z de la siguiente forma:

z = a + ib, a, b ∈ R

Esta manera de introducir a los números complejos es a través de lo que llamamos forma
binómica del número complejo

Luego el conjunto de números complejos, al que denotaremos como C, se define por com-
prensión de la siguiente forma:

C = {z = a + ib; a, b ∈ R; i2 = −1}

Observemos que si tenemos b = 0 “recuperamos” a los números reales

Si a = 0 decimos que el número complejo es un imaginario puro

Definición 3.1. Dado un número complejo z = a + ib, se definen la parte real y la parte
imaginaria de z como:
Re(z) = a Im(z) = b

siendo a, b ∈ R

27
 Definición 3.2. Dos números complejos son iguales si lo son las partes reales e imagi-
narias respectivamente.
Es decir, dados dos números complejos z1 y z2 , vale la igualdad si :

Re(z1 ) = Re(z2 ) y Im(z1 ) = Im(z2 )

Definición 3.3. El conjugado de un número complejo z = a + ib se lo denota como z̄ ó z ∗ y se

lo define como:
z̄ = a − ib

Observamos que (z) = z

3.2 Operaciones Aritméticas entre Números Complejos

• Suma de Complejos

Definición 3.4. Dados dos números complejos z1 = a1 + ib1 y z2 = a2 + ib2 , se define la

suma de estos dos números como:

z1 + z2 = (a1 + a2 ) + i (b1 + b2 )

Ejemplo 3.5. Sean z1 = 1 + i2 y z2 = 3 − i4 entonces,

z1 + z2 = (1 + i2) + (3 − i4) = (1 + 3) + i(2 − 4) = 4 − i2

Observación 3.6. Como sumamos “parte real con parte real” y “parte imaginario con
parte imaginaria”, todos números reales, podemos asegurar que la suma es cerrada, de-
vuelve un número complejo y además será asoaciativa y conmutativa.

También observamos que el neutro para la suma de complejos es el número 0 = 0 + i0

28
• Opuesto y Resta de Complejos

Definición 3.7. Dado un número complejo z = a + ib se define el opuesto de z y

se lo denota como −z al complejo −z = −a − ib.

(Observemos que z + (−z) = 0 que como dijimos antes es el neutro para la suma)

Esto nos permite definir la operación resta entre dos complejos z1 = a1 +ib1 y z2 = a2 +ib2
como sigue:

z1 − z2 = (a1 + ib1 ) − i (a2 + ib2 ) = (a1 + ib1 ) + (−a2 − ib2 )

Es decir, no es más que sumarle a z1 el opuesto de z2 .

Ejemplo 3.8. Sean z1 = 1 + i3 y z2 = 2 − i5,

z1 − z2 = (1 + i3) − (2 − i5) = (1 + i3) + (−2 + i5) = −1 + i8

• Producto de Complejos

Definición 3.9. Dados dos números complejos z1 = a1 + ib1 y z2 = a2 + ib2 , se

define el producto de estos dos números como:

z1 .z2 = (a1 + ib1 ) . (a2 + ib2 ) = a1 a2 + ia1 b2 + ia2 b1 + ib1 ib2

= a1 a2 + ia1 b2 + ia2 b1 + i2 b1 b2

= a1 a2 + ia1 b2 + ia2 b1 − b1 b2

= (a1 a2 − b1 b2 ) + i(a1 b2 + a2 b1 )

Ejemplo 3.10. Sean z1 = 2 + i3 y z2 = 4 − i5 entonces,

z1 .z2 = (2 + i3) . (4 − i5) = 2.4 + 2(−i5) + i3.4 + i3.(−i5)

= 8 − i10 + i12 − i2 15 = 8 − i10 + i12 + 15

= (8 + 15) + i(−10 + 12) = 23 + i2

29
 Observación 3.11. De la definición de este producto vemos que es cerrado, asociativo y
conmutativo.

Observemos, además, que el neutro para el producto de complejos es el número 1 = 1 + i0

• Inverso y Cociente de Complejos

Definición 3.12. Dado el número complejo z = a + ib ̸= 0 + i0, se define el inverso

de z y se lo denota como z −1 al siguiente número:

1.z̄ a − ib
z −1 = =
z.z̄ (a + ib).(a − ib)

Ejemplo 3.13. Queremos calcular el inverso del complejo z = 2 + i3 (y obviamente

queremos que ese inverso sea un número complejo, o sea, que tenga una parte real y una
parte imaginaria mulpliticada por i) entonces,

1.z̄ 2 − i3 2 − i3
z −1 = = =
z.z̄ (2 + i3).(2 − i3) ((2.2 + 3.3) + i(2.(−3) + 3.2))
2 − i3 2 3
= = −i
13 13 13

Definición 3.14. Dados dos números complejos z1 = a1 +ıb1 y z2 = a2 +ıb2 ̸= 0+ı0,

z1
se define el cociente de estos dos números y se lo denota como z2 , al producto de z1
con el inverso de z2 es decir:

z1 (a1 + ıb1 ) . (a2 − ıb2 )

= z1 .z2−1 =
z2 (a2 + ıb2 ) (a2 − ıb2 )
(a1 a2 + b1 b2 ) + ı(−a1 b2 + a2 b1 )
=
a22 + b22

Ejemplo 3.15. Por ejemplo si z1 = 1 + i y z2 = 3 + i4 entonces,

z1 (1 + i) . (3 − i4) 7−i 7 1
= z1 .z2−1 = = = −i
z2 (3 + i4) (3 − i4) 25 25 25

30
• Potencias de Complejos

Potencias del número i

Sabemos que i2 = −1, ahora nos preguntamos ¿cuánto vale in ?

Observamos que:

i0 = 1

i1 = i

i2 = −1

i3 = i2 i = −1.i

i4 = i2 i2 = −1. − 1 = 1

Esto nos permite inferir que im = ir siendo m = 4q + r; 0 ≤ r < 4 ya que

q
im = i4q+r = i4q ir = i4 ir = 1q ir = 1.ir = ir

Ejemplo 3.16. Calculemos las potencias 173 y 1354 de i.

43
i173 = i4·43+1 = i4·43 i1 = i4 i = 143 i = i

i1354 = i4·338+2 = i2

Con esta misma idea podemos calcular potencias de cualquier imaginario puro:

(ai)m = am .ir siendo m = 4q + r; 0 ≤ r < 4

31
 Ejemplo 3.17.

(2i)15 = 215 i15 = (4096)i3 = (4096)(−i) = −4096i

Ahora tratemos de calcular (a + ib)2 , usemos la regla del binomio

(a + ib)2 = a2 + 2.a.bi + (bi)2 = a2 + 2abi + (−b2 ) = (a2 − b2 ) + i2ab

Si queremos calcular (a + ib)3 o alguna potencia superior , debemos multiplicar al anterior

o recordar el desarrollo del binomio de Newton.

No “parece” algo muy práctico, más adelante veremos otra manera de calcular potencias.

3.3 Plano Complejo - Diferentes representaciones

3.3.1 Representación en par ordenado

Geométricamente, un número complejo puede representarse como un punto en el plano, como

un par ordenado.

Un número complejo z serı́a un par ordenado (a, b) donde a es la parte real y b la parte
imaginaria de mi complejo.

Se pueden definir en esta forma de manera natural la igualdad entre complejos como la
igualdad entre pares ordenados (esto es, la primera coordinado del primer par debe ser igual a
la primera coordenada del segundo par, y la segunda coordenada del primer par será igual a la
segunda coordenada del segundo par); la suma de complejos y el producto por un escalar (por
un real), siempre coordenada a coordenada.
Las operaciones de producto y cociente no son ya tan intuitivas.

La unidad imaginaria, nuestro i, se representará por el par (0, 1).

Esta forma de representación es la que muchos eligen para introducir el conjunto de los
números complejos.

32
 El concepto de número complejo extiende ası́ la recta real a un espacio bidimensional, el
llamado Plano Complejo.

3.3.2 Módulo y Argumento

De la representación en el plano complejo de un número z se puede ver que hay asociado a

cada número complejo un número real que es su distancia al origen y llamaremos módulo del
complejo y al que denotaremos como |z|, y un ángulo θ, que es el que forma el segmento de
recta |z| con el eje real positivo, al que llamaremos argumento de z y se definen de la siguiente
forma:

Definición 3.18.
p
módulo de z = |z| = a2 + b2

argumento de z = θ = arctan(b/a)

Observemos que hay infinitos ángulos equivalentes a θ (es decir, ángulos que satisfacen que
su tangente es igual a ab ) por eso tenemos que elegir el rango para que no haya confusión.
Nosotros en este curso vamos a pedir que 0 ≤ θ < 2π

33
 En términos de estos valores diremos que dos complejos z y w son iguales si :

módulo de z = |z| = |w| = módulo de w

θ = argumento de z = argumento de w = α + 2kπ

Observando el gráfico y recordando propiedades y definciones trigonométricas

adyacente a
cos(θ) = =
hipotenusa |z|
opuesto b
sin(θ) = =
hipotenusa |z|
se puede expresar la parte real y la parte imaginaria de cada complejo en forma binómica
z = a + ib como:

Re(z) = a = |z| cos(θ)

Im(z) = b = |z| sin(θ)

Y a partir de esto obtener nuevas representaciones.

• Forma Trigonométrica

z = a + ib = |z| cos(θ) + i|z| sin(θ) = |z| (cos(θ) + i sin(θ))

• Forma Exponencial

Usando la formula de Euler

eiα = cos(α) + i sin(α);

y la forma trigonométrica de un número complejo, obtenemos una forma cómoda de escribir

a un número complejo z que se conoce como forma exponencial del complejo y se la define
como:

z = |z|(cos(θ) + i sin(θ)) = |z|eiθ

34
 • Forma Polar

La muy usada forma polar toma los elementos básicos, módulo y argumento. Es muy
sencilla y práctica pero no es muy intuitiva para realizar operaciones.

z = |z|θ

3.3.3 Operaciones en forma exponencial

La forma polar, trigonométrica o exponencial de un complejo resulta muy conveniente para el

producto y cociente, y por ende para las potencias (que ya vimos eran tediosas para la forma
binómicas).

Aqui trabajaremos solamente con la forma exponencial pero en las otras formas se opera de
manera similar.

• Producto y cociente de complejos en forma exponencial

Dados dos números complejos escritos en su forma exponencial, z1 = |z1 |eiα1 y z2 =

|z2 |eiα2 , podemos escribir el producto y el cociente de dos número complejos de manera
simple como:

z1 z2 = |z1 |eiα1 |z2 |eiα2 = |z1 ||z2 |eiα1 eiα2 = |z1 ||z2 |ei(α1 +α2 )

z1 |z1 |eiα1 |z1 | i(α1 −α2 )

= iα
= e
z2 |z2 |e 2 |z2 |
√ 5 3
Ejemplo 3.19. 1. Calcular el producto de z1 = | 8|ei 4 π y z2 = |2|ei 2 π

√    √ 5 3 √ 11 √ 8+3 √
i 45 π i 32 π 3
z1 .z2 = | 8|e . |2|e = 8.2ei( 4 π+ 2 π) = 2.42ei( 4 π) = | 2.2.2|ei 4 π = |4 2|ei 4 π

Recordemos que el argumento no puede ser mayor a 2π

35
 √ π π
2. Calcular el cociente entre z1 = | 2|ei 4 y z2 = |4|ei 3

√ iπ √
z1 2e 4 2 i( π − π ) 1 1 1 23
= i π = e 4 3 = √ ei(− 12 )π = √ ei 12 π
z2 4e 3 4 23 23
observemos que el argumento no puede ser menor que 0

• Potencias de un número Complejo

Notamos que al escribir un número complejo en su forma exponencial resulta fácil calcular
el producto o el cociente de dos números complejos, de manera similar ocurre con la forma
trigonom’etrica o polar (aunque hay que recordar reglas y propiedades), esto nos permite
definir la potencia n de un número complejo de manera muy simple.

Sea z = |z|eiα , n un número natural,

  !
n iα iα iα iα
z = z. {z . . . .z} = |z|e
| . . . .z. . . . . .|z|e = |z|. . . . .|z| |e . .{z
. . .e } = |z|n ei(α+···+α) = |z|n einα
| {z } | {z }
n n n n

Luego,

n
z n = |z|eiα = |z|n einα

Ejemplo 3.20. Calcular (2 + 2i)15

Primero pasemos nuestro complejo z = 2 + 2i a la forma exponencial, calculando módulo

y argumento:

√ √ √ √ √ √ √
|z| = 22 + 2 2 = 4+4= 8= 4.2 = 4 2=2 2

2
El argumento de z, llamemoslo α, podemos obtenerlo con calculando el arcotangente de 2
π
o graficando nuestro complejo en el plano y “viendo” que el ángulo formado es de 45 o 4

√ π √
15  i15 π  √ 7
Ahora, 2+2i = z = 2 2ei 4 y la potencia 15 quedará : z 15 = 2 2 e 4 = 222 2ei 4 π

36
• Raı́ces n-ésimas de un complejo

Definición 3.21. Dado un número complejo z = |z|eiα , se define a las raı́ces

n-ésimas de z (y se las denota como z 1/n ), como los números complejos w que
satisfacen la siguiente ecuación wn = z.

Observemos que dos complejos en forma exponencial son iguales si sus módulos coinciden
y sus argumentos son iguales más algún múltiplo de 2π.

Luego, dado z = |z|eiα y n ∈ N las raı́ces n-ésimas de z, las w = |w|eiφ tales que wn = z,
cumplen que :

n
|z|eiα = z = wn = |w|eiφ = |w|n einφ

Entonces
p
|z| = |w|n ⇒ |w| = n |z|
α + 2kπ
nφ = α + 2kπ ⇒ φk = ,k ∈ N
n

Observación 3.22. Supongamos que k > n, podemos fijar k = n + r con 0 < r < n y

α+2kπ α+2(n+r)π α (2n+2r)π α (2n)π+(2r)π α (2r)π (2n)π

φk = n = n = n + n = n + n = n + n + n =
α+(2r)π
n + 2π = φr

Como r < n obtenemos una raı́z “repetida”

α+2kπ
p
Entonces w = |w|eϕ donde |w| = n
|z| = |z|1/n y φ = n ;0 ≤ k < n, es decir :

Definición 3.23. Las raı́ces n-ésimas de z están dadas por la siguiente expresión:

α+2kπ
wk = |z|1/n e n ;0 ≤ k < n

37
Ejemplo 3.24. Calcular las raı́ces cuartas de 2 + 2i

√ π
Ya habı́amos obtenido la forma exponencial de este complejo, z = 2 2ei 4 . Como habla
de raı́ces cuartas entendemos que n = 4, entonces.

p
4
q
4 √ √
8
|w| = |z| = 2 2 = 23

π
4 + 2kπ
φk = ; 0≤k≤3
4

Entonces,

π π
4 + 2.0π π
φ0 = = 4 =
4 4 16
π 9π
4 + 2π 9π
φ1 = = 4 =
4 4 16
π 17π
4 + 4π 17π
φ2 = = 4 =
4 4 16
π 25π
4 + 6π 25π
φ3 = = 4 =
4 4 16

Por lo tanto, las raı́ces cuartas serán:

√
8 π
w0 = 23 ei 16
√
8 9π
w1 = 23 ei 16
√
8 17π
w2 = 23 ei 16

√
8 25π
w3 = 23 ei 16

38