El Misterio de los Números

Primos Gemelos

La conjetura de los números primos gemelos, formulada por Alphonse de Polignac en

1849, postula la existencia infinita de pares de números primos con una diferencia de
2 unidades. A pesar de décadas de estudio, la conjetura sigue siendo un desafío
matemático sin resolución.

Espacios con la propiedad del Punto Fijo•

Sistemas lineales de ecuaciones diferenciales•
El problema de los números congruentes•
 Sobre Infinity Math

Misión Visión
Promover el entusiasmo y el cono- Ser reconocida como la principal revis-
cimiento en el campo de las matemáti- ta en la divulgación en el ámbito de la
cas, proporcionando a nuestros lectores matemática a nivel nacional, transfor-
acceso a contenido relevante, compren- mando la manera en que la sociedad
sible y de vanguardia, además de inspi- ecuatoriana percibe y se relaciona con
rar y educar a una diversa audiencia. las matemáticas.

Club Café con Gödel

El Club de Matemática "Café con

Gödel" es una iniciativa creada por la
ASEMAT en conjunción con los estudi-
antes de la Escuela Superior Politécnica
de Chimborazo (ESPOCH) con el
propósito de fortalecer y difundir el
conocimiento en el campo de las
matemáticas, así como unir a los estudi-
antes interesados en esta disciplina, este
surgió como una respuesta a la necesi-
dad de fomentar un ambiente propicio
para el aprendizaje y la práctica de las
matemáticas, y a su vez, para dar a con-
ocer la importancia y versatilidad de la
carrera de Matemática.

II INFINITY MATH | Mayo 2024

 Carrera de Matemática
El matemático/a, es un profesional competente en el manejo conceptual y metodológi-
co de las teorías matemáticas; capaz de interpretar críticamente, analizar y aplicar sus
conocimientos en la resolución de problemas. Se desempeña con responsabilidad,
trabaja en equipo y posee la capacidad de tomar decisiones en su campo profesional y
laboral, adaptándose a los requerimientos de las instituciones educativas, empresas
consultoras, empresas públicas y privadas. Además, está en la capacidad de utilizar
herramientas y recursos tecnológicos de manera eficiente; crear y gestionar empren-
dimientos afines a la matemática y participar en grupos de investigación multidiscipli-
narios que requieran la matemática teórica y aplicada.

Misión Visión
Formar matemáticos con una prepa- Ser una carrera referente nacional en la
ración sólida e integral, competentes en formación de profesionales en la
el manejo conceptual y metodológico matemática, que aporte significativa-
de la matemática teórica y aplicada, a mente a la solución de los problemas
través de ambientes de aprendizaje sociales con un enfoque de sostenibili-
innovadores, para contribuir con el dad y que se constituya en un paradig-
desarrollo sostenible y dar solución a ma en docencia e investigación en la
problemas estratégicos de la región y el matemática teórica y aplicada.
país.
 Editorial
N.- 1 | Mayo del 2024

Nos complace anunciar la llegada de la primera edición de nuestra querida revista

“Infinity Math”. Este proyecto, nacido de la iniciativa del club Café con Gödel, tiene
como objetivo principal abrir las puertas al fascinante universo de las matemáticas
tanto para los estudiantes de la ESPOCH como para el público en general. En esta
edición inaugural, nos enfocamos en presentar una selección de artículos cau-
tivadores y claramente explicados, cortesía de los estudiantes de la carrera de
Matemática de la ESPOCH. Cada artículo ha sido cuidadosamente seleccionado
para enriquecer y estimular el interés de nuestros lectores. Esperamos sinceramente
que “Infinity Math” no solo ilumine sino también inspire a todos aquellos que se em-
barquen en esta aventura matemática con nosotros.

Roderick A. Hackney | E ditor

En la portada

La espiral de Ulam, la cual es una representación gráfica

de números primos que fue desarrollada por el matemáti-
co Stanislaw Ulam en 1963. Esta se construye colocando
los números enteros positivos en un patrón de espiral en
una cuadrícula bidimensional, comenzando con 1 en el
centro y luego avanzando en el sentido de las agujas del
reloj.

Aunque la espiral de Ulam no proporciona información

directa sobre la distribución de los números primos, sí
exhibe algunas características intrigantes, como los
números primos gemelos, los cuales son abordados en el
artículo “El misterio de los números primos gemelos”.

IIII INFINITY MATH | Mayo 2024

 ÍNDICE

1. Sistemas de ecuaciones Roderick Alexander

diferenciales lineales Hackney
Presidente
5. Integración en términos finitos
Darío Gonzalo Matehu
Vicepresidente
9. El misterio de los números
primos gemelos Angélica Gabriela Villa
Secretaria
12. Teorema de punto fijo de
brower en topología Mateo Sebastián Rojas
Tesorero
15. El preoblema de los númer-
os congruentes Daniel Alejandro Reinoso
Primer Vocal
18. Matemática ilustrada César Daniel Reinoso
Segundo Vocal
20. Libros recomendados
 Infinity Math
ESPOCH

Sistemas lineales de ecuaciones diferenciales

Mat. Agila Hidalgo Pablo Andrés1

Resumen
Los sistemas de ecuaciones diferenciales lineales, se revelan como herramientas fundamentales para modelar
la evolución temporal de fenómenos en tanques interconectados y circuitos eléctricos. En el ámbito de tanques
interconectados, estas ecuaciones describen las variaciones en la altura de lı́quidos en función del tiempo,
permitiendo una representación matemática precisa de sistemas dinámicos. En el contexto de circuitos eléctricos,
las corrientes y tensiones se expresan mediante ecuaciones diferenciales lineales, brindando una comprensión
profunda de la dinámica temporal de los componentes. Este enfoque matemático puro facilita el análisis riguroso
y la formulación de soluciones exactas para fenómenos dinámicos en estos contextos, destacando la elegancia
y utilidad de las ecuaciones diferenciales lineales en la investigación matemática.
Palabras clave
Sistemas de ecuaciones diferenciales, Aplicaciones
1 Riobamba, Escuela Superior Politécnica de Chimborazo, Facultad de Ciencias, Carrera de Matemática

Introducción sistemas que capturan la interrelación fluida entre estos com-

partimentos. El modelado matemático no solo aborda cues-
En el vasto campo de las matemáticas, la aplicación de
tiones prácticas, como la gestión de recursos hı́dricos, sino
sistemas de ecuaciones diferenciales lineales revela su esencia
que también destaca la capacidad de la teorı́a de ecuaciones
y utilidad en la modelización de fenómenos dinámicos intrin-
diferenciales lineales para ofrecer soluciones analı́ticas y una
cados. Desde la perspectiva de un matemático, el estudio de
comprensión profunda de la dinámica temporal.
estos sistemas aplicados a tanques interconectados y circuitos
En un giro similarmente intrigante, la aplicación de ecua-
eléctricos se convierte en una fascinante exploración de la ele-
ciones diferenciales lineales en circuitos eléctricos revela un
gancia y precisión matemática en la descripción de cambios
espectáculo matemático apasionante. Aquı́, las corrientes y
temporales.
tensiones en los componentes se describen mediante sistemas
Un sistema de ecuaciones diferenciales (SED) de primer
de ecuaciones diferenciales lineales, permitiendo al matemáti-
orden es aquel que está formado por n ecuaciones diferen-
co abordar la complejidad de las interacciones eléctricas. La
ciales de primer orden que involucran las derivadas de dos o
capacidad de anticipar y modelar cambios en el tiempo, desde
más funciones no conocidas con respecto de una sola variable
variaciones en la señal de entrada hasta ajustes en las condi-
independiente y expresado en forma implı́cita se tiene
ciones iniciales, destaca la versatilidad y poder de la teorı́a de
ecuaciones diferenciales lineales en este dominio.
F1 (t, x1 (t), ..., xn (t).x1′ (t), . . . , xn′ (t)) = 0


 Desde la perspectiva de un matemático, la aplicación de
ecuaciones diferenciales lineales en tanques interconectados y

..
 . circuitos eléctricos no solo representa una herramienta analı́ti-
Fn (t, x1 (t), ..., xn (t), x1′ (t), . . . , xn′ (t)) = 0,

ca, sino un medio para explorar la estructura intrı́nseca de

los fenómenos dinámicos. La búsqueda de soluciones exac-
o bien de forma explı́cita tas, la comprensión profunda de las propiedades matemáticas
subyacentes y la apreciación de la belleza inherente a estas
dx

 1 = f1 (t, x1 (t), ..., xn (t))
 descripciones forman la esencia de este fascinante campo de
 dt


 estudio.
..
 .

 dxn = fn (t, x1 (t), ..., xn (t)).


 1. ¿Cómo se resuelven sistemas lineales
dt de ecuaciones diferenciales?
Consideremos, en primer lugar, tanques interconectados, un Los métodos numéricos y no numéricos son enfoques para
escenario donde la dinámica de fluidos encuentra su expre- resolver sistemas de ecuaciones diferenciales lineales. Los
sión matemática. Aquı́, las alturas de los lı́quidos en tanques métodos numéricos, como Euler y Runge-Kutta, aproximan
conectados se rigen por ecuaciones diferenciales lineales, un las soluciones mediante cálculos numéricos iterativos. Estos
desafı́o que catapulta al matemático hacia la resolución de son eficaces pero pueden generar errores acumulativos.

1
 En contraste, los métodos no numéricos, como transforma- de columna de esta. Luego, introducimos la matriz columna
das integrales y matrices, buscan soluciones analı́ticas directas. f (t) = ( fi (t)) de las funciones fi (t),
Aunque son más precisos, pueden resultar complejos y limi-  
tados a ciertos tipos de ecuaciones. La elección entre ambos f1 (t)
depende de la naturaleza del problema y los recursos disponi-  f2 (t) 
f (t) = ( fi (t)) =  . 
 
bles, buscando un equilibrio entre eficiencia y precisión en la  .. 
resolución de sistemas de ecuaciones diferenciales lineales. fn (t)
En el presente mostraremos métodos no numéricos para
resolver sistemas lineales de ecuaciones diferenciales. El sistema de ecuaciones diferenciales lineales de primer or-
den se representa de la siguiente manera
2. Métodos para resolver sistemas de    
ecuaciones diferenciales x1 p11 (t) p12 (t) · · · p1n (t)
 x2   p21 (t) p22 (t) · · · p2n (t) 
d    
Si las funciones fi para i ∈ {1, 2, . . . , n} son lineales en  ..  =  .. .. .. 
dt  .   . . ··· .
las variables independientes xi con i ∈ {1, 2, . . . , n} se tiene la

forma xn pn1 (t) pn2 (t) · · · pnn (t)
dx1 
x1
 
f1 (t)

= a11 (t)x1 + a12 (t)x2 + · · · + a1n (t)xn + f1 (t)
dt  x2   f2 (t) 
+
   
 .. .. 
dx2 . .
= a21 (t)x1 + a22 (t)x2 + · · · + a2n (t)xn + f2 (t)
   
dt xn fn (t)
..
. Hacemos referencia a la regla de multiplicación de matrices
dxn que se puede escribir de la siguiente manera:
= an1 (t)x1 + an2 (t)x2 + · · · + ann (t)xn + fn (t),
dt n
xi′ = ∑ pi j (t)x j + fi (t)
2.1 Método por eliminación j=1
El método de eliminación de ecuaciones diferenciales es
muy similar al método algebraico de una incógnita. Hacemos con i ∈ {1, 2, . . . , n}, ası́ obtenemos todos las ecuaciones del
referencia a la forma normal de un (SEDL), para revisar este sistema diferencial. Además, puede representarse de una ma-
método ver la Tesis [1]. nera matricial simbólica

2.2 Método por operadores diferenciales X ′ = p(t)x + f (t)

Para revisar este método analı́tico para resolver (SLDE)
ver la Tesis [1]. De la misma manera, introducimos el vector solución x(t) =
(xi (t)) por lo cual sus componentes son funciones que satisfa-
2.3 Métodos matriciales cen cada una de las ecuaciones de este, tal que
Mostraremos la forma matricial del sistema, en donde  
incluimos la matriz columna X = xi con i ∈ {1, 2, . . . , n} de x1 (t)
 x2 (t) 
las variables dependientes, tal que
x(t) = (xi (t)) =  . 
 
   .. 
x1
 x2  xn (t)
X = (xi ) =  . 
 
 ..  donde, cada componente del vector solución es cada compo-
xn nente de la solución del sistema. Aplicando las condiciones
iniciales para el problema del valor inicial o de Cauchy, se
Insertamos la matriz cuadrada de orden n y p(t) = (pi j (t)) tiene
con i, j ∈ {1, 2, . . . , n}, tal que    0 
x1 (t0 ) x1
   x2 (t0 )   x0 
p11 (t) p12 (t) ··· p1n (t)   2 
 =  ..  o bien x(t0 ) = x0

 p21 (t) p22 (t) ··· p2n (t)
 ..
.   . 
 
p(t) = (pi j (t)) = 
 
.. .. .. 
xn (t0 ) xn0
 . . ··· . 
pn1 (t) pn2 (t) ··· pnn (t)
2.4 Transformada de Laplace
que son los elementos de la matriz cuadrada. en donde el 1. Aplicamos la transformada de Laplace a cada termino
ı́ndice i denota las filas de la matriz y j denota el número de las ecuaciones del sistema.

2
 Para apreciar mejor la (ED), obviaremos las unidades de

dx1

medida, entonces el (SLED) que modela esta situación
L = a11 L (x1 ) + a12 L (x2 ) + · · · + a1n L (xn ) + L ( f1 (t))
dt es,
 
dx2 
dx y 7x
L = a21 L (x1 ) + a22 L (x2 ) + · · · + a2n L (xn ) + L ( f2 (t))  = 1, 2 + −
dt 
..
dt 100 100 . (1)
  .  dy = 3x − 3y

dxn dt 100 100
L = an1 L (x1 ) + an2 L (x2 ) + · · · + ann L (xn ) + L ( fn (t))
dt
Y la solución particular del (SEDL) (1) es
2. Aplicamos las fórmulas de las derivadas de la transfor-    √   √
mada y reemplazamos en las ecuaciones del sistema. 20 (−5+ 7)t 20 (−5− 7)t
 x(t) = − 10 − √ e 100 − 10 + √ e 100 + 20


Aplicamos las propiedades de las transformada de cons- 7
√ √
7 .
30 (−5+ 7)t 30 (−5− 7)t
 y(t) = − √ e 100 + √ e 100 + 20

tantes, exponentes, derivada, etc. 
7 7

3. Realizamos las operaciones algébraicas con las ecua-

ciones del sistema. 4. Interpretación de resultados
4. Resolvemos el sistema utilizando la regla de Cramer. En esta sección hablaremos de los resultados obtenidos,
Dependiendo de cada resultado aplicamos los productos es decir, del par de ecuaciones x(t) e y(t), empezamos
notables. primero graficando ambas funciones, estas son:
5. Calculamos la inversa de transformada de Laplace y
encontramos la solución de cada función incógnita, ası́
encontramos la solución de todo el sistema.

2.5 Método por variación de parámetros

El sistema de variación de parámetros no solo se utiliza
para coeficientes constantes, también funciona para las
funciones que involucren la variable independiente t.
Debido a la extensión de este método, se recomienda [Función x(t).]
revisar la tesis [1].

3. Tanques interconectados
Dos grandes tanques, cada uno con 100 litros de lı́quido,
están conectados entre sı́ mediante tubos, de modo que
el lı́quido fluye del tanque A al tanque B a razón de
3 litros/minuto y de B al A a razón de 1 litro/minuto.
El lı́quido dentro de cada tanque se mantiene bien re- [Función y(t).]
vuelto. Una solución salina con una concentración de Figura 2. Funciones solución del (SEDL)
0.2 kg/litro de sal fluye hacia el tanque A a razón de
6 litros/minuto. La solución (diluida) sale del sistema En la Figura 2 (a), la concentración de sal aumenta con
del tanque A a 4 litros/minuto y del tanque B a 2 li- el tiempo, mientras que en la Figura 2 (b) se observa
tros/minuto. Si en un principio, el tanque A contiene una disminución abrupta seguida de un aumento en la
agua pura y el tanque B contiene 20 kg de sal, determi- concentración de sal al aumentar el tiempo t. En ambos
ne la masa de sal en cada tanque en el instante t ≥ 0. casos, se concluye que a medida que t → ∞, la solución
se vuelve homogénea con concentración de sal igual en
ambos tanques.

5. Circuitos eléctricos
Determine un sistema de ecuaciones diferenciales de
primer orden que describa las corrientes I1 (t), I2 (t) e
Figura 1. Tanques interconectados. I3 (t) en el circuito eléctrico de la figura.

3
 Suponga que todas las corrientes iniciales se anulan. [Corriente I1 del circuito]
Determine las corrientes en cada rama de la red. Cuyo

[Corriente I2 del circuito]

Figura 3. Circuito eléctrico

(SLED) viene dado por

 10I1 + 20I2′ = 10,



10I1 + 5I3 + 30q3 = 10,

5I3 + 30q3 − 20I2′ = 0.

[Corriente I3 del circuito]

Teniendo como solución a las corrientes,

8 3

 I1 = 1 − e−2t/3 + e−3t/2


 5 5
6 −2t/3 1 −3t/2

I2 = 1 − e + e
 5 5
2 2


 I3 = e−3t/2 − e−2t/3

5 5

6. Interpretación de resultados
Figura 4. Corrientes I1 , I2 , I3 del circuito.
Gráficamente podemos ver el comportamiento de las
corrientes I1 , I2 , I3 en las siguientes gráficas,
Nótese que cuando t = 0, las corrientes In (t) = 0 con Referencias
n = {1, 2, 3}, luego podemos apreciar que cuando t → [1] Pablo Agila. Introducción a los Sistemas de Ecua-
∞, las corrientes tienen diferente comportamiento:
ciones Diferenciales y sus aplicaciones. 2022.
Para la corriente I1 , notamos que esta corriente es la que [2] R Kent Nagle, Edward B Saff, and Arthur David
entra al circuito y luego se divide en dos corrientes, I2 e Snider. Ecuaciones diferenciales y problemas con
I3 , por lo que es importante señalar que la intensidad I1 valores en la frontera. Pearson Educación, 2000.
es mayor a estas dos intensidades de corriente, a igual [3] Dennis G Zill and Michael R Cullen. Matemáti-
a su suma, es decir, I2 , I3 < I1 , y también I1 = I2 + I3
cas avanzadas para ingenierı́a. MC GRAW HILL
Para el caso de la corriente I2 que se encuentra circu- INTERAMERICANA, 2008.
lante en la malla, al solamente pasar por el inductor L,
la corriente no puede cambiar instantáneamente, es por
ello que notamos las gráficas de I1 e I2 muy similares.
Para el caso de la corriente I3 que se encuentra circulan-
te en la malla, notamos que esta corriente pasa por un
resistor R2 , el cual se opone al paso de corriente eléctri-
ca, además atraviesa un capacitor C, el cual almacena
energı́a para sustentar al circuito eléctrico.

4
 Infinity Math
ESPOCH

Integración en términos finitos

Hackney Garofalo Roderick Alexander 1

Resumen
Al momento de querer hallar una antiderivada elemental F(x) de una función elemental f (x) usualmente se
requiere recurrir a técnicas de integración, pero su uso no siempre es efectivo, más aún, existen funciones que
no poseen tales antiderivadas, en este artı́culo se abordarán algunos conceptos fundamentales y teoremas que
las caracterizan brindado ejemplos de cada teorema, además se presentará una pequeña lista de funciones
que carecen de una antiderivada elemental.
Palabras clave
Integración, Análisis Matemático, Funciones Elementales
1 Riobamba, Escuela Superior Politécnica de Chimborazo, Facultad de Ciencias, Carrera de Matemática

Introducción f : X → C se dice elemental si se puede expresar mediante

operaciones aritméticas finitas (suma, resta, multiplicación,
Dada una función f es sabido que no siempre es posible
división y potenciación) o composición finita de las siguientes
hallar una antiderivada [1], más aún en el caso de existir dicha
funciones:
antiderivada esta no necesariamente se va a poder expresar
mediante funciones elementales, en este caso se puede decir f (x) = c para c ∈ C.
que la integral de f no se puede resolver, pero esto no su-
cede por no aplicar la técnica de integración correcta o que f (x) = xn para n ∈ C.
dicha no se haya inventado, sino que ninguna técnica de in-
f (x) = logb (x) para b ∈ C \ {0}.
tegración puede ni podrá conseguir que tales integrales sean
expresadas mediante funciones elementales, tal hecho ya ha f (x) = bx para b ∈ C \ {0}.
sido demostrado [2].
El primer avance dentro del tema fue dado por Pierre La- De esta definición se puede notar que las funciones po-
place en 1812 [3], posteriormente Joseph Liouville se encargo linómicas, racionales, algebraicas, trigonométricas, inversas
de continuar dicho trabajo y desarrolló importantes resultados, trigonométricas, valor absoluto entre otras son elementales,
para 1853, Pafnuty Chebyshev logró generalizar cierto tipo para el caso de las funciones trigonometricas basta usar su
de funciones algebraicas que no tienen antiderivada elemen- forma compleja para probar que son elementales.
tal, ya para 1916 Godfrey Hardy aplicó uno de los teoremas Nótese que el conjunto de las funciones elementales es ce-
de Liouville para caracterizar un tipo especial de funciones rrado bajo la suma y producto usual de funciones el siguiente
logarı́tmicas que no tienen primitiva elemental. lema generaliza lo mencionado:
Por ultimo se han desarrollado algoritmos que determinan
Lema 1.1. El conjunto de las funciones elementales repre-
si una función carece de una antiderivada elemental, dentro
sentado por F es un campo bajo la suma y producto usual
de estos destaca el algoritmo de Risch que en caso de existir
de funciones.
una antiderivada elemental el algoritmo la hallará [4].
Demostración. Evidentemente F es no vacı́o, conmutativo
1. Funciones elementales y abeliano para ambas operaciones además existen los ele-
mentos identidad f (x) = 0 para la suma y f (x) = 1 para el
En el Análisis Matemático, el estudio de las funciones y
producto por otro lado, la ley distributiva se cumple y la suma
sus propiedades es fundamental, puesto a su gran número de
y el producto son cerrados por la propia definición de función
aplicaciones dentro de la matemática y en otras áreas, entre
elemental. También nótese que existen los inversos de la suma
la basta cantidad de funciones que existen, una clase deter-
y la multiplicación:
minada conocida como funciones elementales posee especial
importancia debido a su simplicidad y ubicuidad, siendo estas Para toda f ∈ F , existe − f = f ·(−1) tal que f − f = 0.
las primeras en ser estudiadas por los estudiantes del Cálcu-
lo o el Análisis Matemático, a continuación se presentará la Para toda f ∈ F \ {0}, existe f −1 = 1
f tal que
definición que las caracteriza: f · f −1 = 0.

Definición 1.1 (Función elemental). Sea X ⊆ R, una función Por lo tanto, es un campo.

5
 Vale destacar que el concepto de integrabilidad de una Lema 2.1. Sean f , g funciones racionales distintas de cero
función y la existencia de una antiderivada elemental no son y además g no es constante, entonces f (x)eg(x) posee una
iguales, puesto que la integrabilidad hace referencia al con- antiderivada elemental si y sólo si f (x) = a′ (x) + a(x)g′ (x)
cepto de Liouville. Llegando ası́ a tener casos de funciones para alguna función racional a(x).
integrables pero que no posean antiderivadas elementales co-
2 El lema presentado con anterioridad (cuya demostración
mo por ejemplo f (x) = ex que es integrable sobre cualquier puede ser hallada en [6]) es una herramienta muy fuerte para
conjunto de los reales pero cuya antiderivada no es elemental poder determinar si una función posee una antiderivada ele-
como se demuestra en el ejemplo 2.2. mental esto ya que brinda un marco más amplio de trabajo, el
ejemplo presentado a continuación presenta lo dicho:
2. Teoremas de Imposibilidad Ejemplo 2.2. La antiderivada de la función h(x) = ex no es
2

Los conocidos como teoremas de imposibilidad son un elemental.

conjunto de teoremas que caracterizan a aquellas funciones Demostración. Usando el lema 2.1, entonces se tiene que
elementales que carecen de antiderivadas elementales, dichos f (x) = 1 y g(x) = x2 , por lo que si la antiderivada de h(x)
teoremas surgen del trabajo de varios matemáticos. La de- fuese elemental, entonces existirı́a una solución racional a(x)
mostración de dichos teoremas requiere de herramientas del tal que
álgebra diferencial [5] en la mayorı́a de los casos, por lo que
dichas no serán abordadas dentro de este artı́culo.
1 = a′ (x) + 2xa(x) (1)
Teorema 2.1 (Teorema de Laplace). Sea f una función racio-
nal (i.e, puede escribirse como cociente de dos polinomios), Sin pérdida de generalidad, supóngase que a(x) = p(x)/q(x)
entonces su antiderivada es elemental. donde p(x), q(x) son polinomios primos relativos y q(x) ̸= 0,
ası́
Este primer teorema (cuya demostración puede ser encon-
trada en [3]) es un resultado importante puesto que indica p′ (x)q(x) − p(x)q′ (x)
que sin importar de la complejidad de una función racional a′ (x) = (2)
q2 (x)
(i.e. f (x) = 1+x1100 ) su antiderivada será elemental, cave recal-
car que el cálculo de la misma no será siempre sencillo. Por reemplazando la ecuación (2) en la (1) se obtiene que
otro lado, mediante técnicas de integración podemos trans-
formar algunas funciones (especialmente trigonométricas) a
funciones racionales, por ejemplo: q(x)[q(x) − 2xp(x) − p′ (x)] = −p(x)q′ (x),
supóngase que q(x) posee una raı́z r de multiplicidad k ≥
Ejemplo 2.1. Si f (x) = cosm (x) senn (x) para m, n ∈ Z, en-
1, entonces r es una raı́z de q(x)[q(x) − 2xp(x) − p′ (x)] con
tonces su antiderivada es elemental.
multiplicidad mayor o igual a k por otro lado, ya que p y q son
′
Demostración. Aplicando el método de sustitución trigonométri- primos relativos, entonces r es una raı́z de −p(x)q (x) con
ca universal (también conocido como sustitución de Weiers- multiplicidad k − 1, esto implicarı́a que necesariamente q(x)
trass) se puede aplicar el siguiente cambio de variable: debe ser una constante, recordando que a(x) = p(x)/q(x),
entonces a(x) debe ser un polinomio, si nos fijamos en los
grados de la igualdad 1, entonces
2t 1 − t2 2
sen(x) = , cos(x) = y dx = dt,
1 + t2 1 + t2 1 + t2
0 = deg(a′ (x) + 2xa(x))
R
de donde se puede reescribir f (x)dx como lo cual es una contradicción, por lo tanto, no existe tal a(x) con
2
lo que se concluye que h(x) = ex no posee una antiderivada
Z Z 
1 − t2
m 
2t
n
2 elemental.
f (x)dx = dt
1 + t2 1 + t2 1 + t2 Ejemplo 2.3. La antiderivada de f (x) = sen(x2 ) no es ele-
Z
2n+1t n (1 − t 2 )m mental.
= dt,
(1 + t 2 )m+n+1 Demostración. Se puede reescribir la integral como
Nótese que la función en el integrando después de aplicar la Z Z 
2
sustitución trigonométrica universal es una función racional sen(x2 )dx = Im eix dx
por lo tanto, por el teorema 2.1 su antiderivada es elemental,
lo que implica que la antiderivada de f (x) = cosm (x) senn (x)
 Z 
1 2
para m, n ∈ Z también lo será. = Im √ eu du .
i

6
 Como ya se demostró con anterioridad en el ejemplo 2.2 la Por último nótese que el conjunto de las funciones que
2
función eu no posee una antiderivada elemental por lo tanto, carecen de antiderivadas elementales no es cerrado bajo opera-
2
sen(x ) tampoco la tendrá. ciones aritméticas básicas, ası́ existen funciones que a pesar de
individualmente carecer de una antiderivada elemental su su-
ma o producto no necesariamente presenta esta caracterı́stica,
Teorema 2.2 (Integral binómica de Chevyshev). La función el lema presentado a continuación detalla lo dicho:
f (x) = xm (b + axn ) p con a, b ∈ R, m, n, p ∈ Q y Lema 2.2. El conjunto de las funciones f ∈ F cuyas anti-
a, b, n ̸= 0, posee una antiderivada elemental si y sólo si derivadas no son elementales no es cerrado bajo la suma, el
uno de los tres números p, m+1 m+1
n , n + p es entero. producto o la composición de funciones.
Este teorema es uno de los más sencillos de usar pues- Demostración. Considérese los siguientes casos:
to que únicamente se basa en comprobar si uno de los tres p
números p, m+1 m+1
n , n + p es entero. p Sean las funciones f (x) = sen(x) y
Para la suma:
g(x) = 1 − sen(x), se sabe Rque f y g no poseen anti-
derivadas elementales, pero [ f (x) + g(x)]dx es igual
p
Ejemplo 2.4. La función f (x) = sen(x) no posee una anti-
derivada. a

Demostración. Usando un cambio de cambio de variable (en Z p p Z

este caso aplicando una sustitución trigonométrica) se obtiene ( sen(x) + 1 − sen(x))dx = 1dx = x + c
que:
2 2
Para el producto: Sea f (x) = ex y g(x) = e−x se sabe
1 que f y g no poseen antiderivadas elementales, pero
sen(x) = u, dx = √ du, R
f (x) · g(x)dx es igual a
1 − u2

de donde Z
2 2
Z
ex · e−x dx = 1dx = x + c
Z p Z
√ 1 n
sen(x) = u· √ du composición de funciones: Sea f (x) = ex y
Para la p
1 − u2 n
g(x) = ln(x) , se sabe Rque f y g no poseen antideri-
Z
1 1
= u 2 · (1 − u2 )− 2 du vadas elementales, pero f (g(x))dx es igual a

√
aplicando el teorema 2.2, entonces se obtienen los coeficientes Z n ln(x)
n Z Z
x2
m = 12 , n = 2, p = − 12 , de donde e dx = eln(x) dx = xdx = + c.
2

p no es entero puesto que p = − 12

1/2+1
m+1
n no es entero puesto que m+1
n = 2 = 3
4
3. Ejemplos adicionales
m+1 m+1 1/2+1 1 A continuación se presentará un pequeño listado de fun-
n + p no es entero puesto que n + p = 2 −2 = ciones que carecen de una antiderivada elemental, la demos-
1
4 tración de tal caracterı́stica recae en los teoremas presentados
con anterioridad, pero no será incluida.
por lo tanto, f (x) no posee una antiderivada elemental.
3.1 Funciones algebraicas
Teorema 2.3. Si f y f −1 son funciones elementales sobre un Las siguientes funciones algebraicas, dónde destacan las
intervalo cerrado e inversas una de la otra, entonces f posee funciones elı́pticas carecen de una antiderivada elemental:
una antiderivada elemental si y solo si f −1 la posee. √
p 1. f (x) = axn + b con a, b ∈ R no nulos y n ∈ Q para
Ejemplo 2.5. La función f (x) = ln(x) no posee una anti- n > 0.
derivada elemental.
2. f (x) = √ 1 con a, b ∈ R no nulos y n ∈ Q tal que
p axn +b
Demostración. Sea y = ln(x), entonces su inversa está da- n > 0.
2 2
da por x = ey , notemos que ey no posee una antiderivada 3. f (x) = √ 1
con 0 < k < 1
elemental como ya se demostró anteriormente (1−x2 )(1−k2 x2 )
p en el ejemplo √
2.2, por lo tanto, por el teorema 2.3, f (x) = ln(x) tampoco 2 2
tendrá una antiderivada elemental. 4. f (x) = √1−k 2x con 0 < k < 1
1−x

7
 3.2 Funciones trigonométricas 4. Conclusiones y recomendaciones
Las siguientes funciones trigonométricas no poseen una
antiderivada elemental. El camino de determinar si algunas funciones no poseen
antiderivadas elementales ha sido cimentado por grandes ma-
1. f (x) = cos(p(x)) y g(x) = sen(p(x)) no poseen antide- temáticos a lo largo de la historia, esto ha llevado a descubrir
rivada elemental cuando p es un polinomio de grado varias técnicas de integración, pero a pesar de esto el traba-
mayor o igual a 2. jo no está terminado, dentro de este artı́culo no se incluyó
algoritmos que sirven para determinar si una función posee
2. f (x) = sen 1x y g(x) = cos 1x



una antiderivada elemental, pero esto resultarı́a en un trabajo
    interesante para futuros matemáticos, más aún, un trabajo si-
3. f (x) = sen x12 y g(x) = cos x12 milar pero teniendo en cuenta dimensiones superiores serı́a
un trabajo desafiante e interesante.
√ √
4. f (x) = x sen(x) y g(x) = x cos(x)
p p Referencias
5. f (x) = sen(x) y g(x) = cos(x)
[1] G. De Barra. Measure Theory and Integration. Ellis
6. f (x) = sen (ex ) y g(x) = cos (ex ) Horwood Series in Mathematics and Its Applications.
Elsevier Science, 2003.
7. f (x) = ln(x) sen(x) y g(x) = ln(x) cos(x) [2] Clemens G Raab and Michael F Singer. Integration in
8. f (x) = x tan(x) y g(x) = x cot(x) Finite Terms: Fundamental Sources. Springer, 2022.
[3] Chebyshev. Oeuvres de PL Tchebychef, volume 1. Com-
9. f (x) = x sec(x) y g(x) = x csc(x)
missionaires de l’Académie impériale des sciences, 1899.
√ √ [4]
10. f (x) = sec( x) y g(x) = csc( x) Manuel Bronstein. Symbolic integration I: transcendental
functions, volume 1. Springer Science & Business Media,
11. f (x) = arc sen(x2 ) y g(x) = arc cos(x) 2005.
p p [5] Teresa Crespo and Zbigniew Hajto. Algebraic groups
12. f (x) = arc sen(x) y g(x) = arc cos(x)
and differential Galois theory, volume 122. American
arc sen(x) arc cos(x) Mathematical Soc., 2011.
13. f (x) = x y g(x) = x
[6] E.R. Kolchin. Differential Algebra & Algebraic Groups.
3.3 Funciones exponenciales y logarı́tmicas ISSN. Elsevier Science, 1973.
Las siguientes funciones logarı́tmicas y exponenciales no [7] Guy W. Cherry. Integration in finite terms with special
poseen una antiderivada elemental: functions: the error function. Journal of Symbolic Compu-
2 tation, 1(3):283–302, 1985.
1. f (x) = ex .
[8] J. Gallian. Contemporary Abstract Algebra. Cengage
2. f (x) = e1/x . Learning, 2016.
2
[9] A George Jr et al. Essentials of Padé approximants. Else-
3. f (x) = e1/x .
vier, 1975.
p
4. f (x) = ln(x). [10] G.H. Hardy. The Integration of Functions of a Single
1
Variable. Dover phoenix editions. Dover Publications,
5. f (x) = ln(x) . 2005.
[11] Elena Anne Marchisotto and Gholam-Ali Zakeri. An in-
6. f (x) = √ 1 .
ln(x) vitation to integration in finite terms. The College Mathe-
x matics Journal, 25(4):295–308, 1994.
7. f (x) = ee . [12] Robert H Risch. The problem of integration in finite
8. f (x) = ln(ln(x)). terms. Transactions of the American Mathematical So-
√ ciety, 139:167–189, 1969.
9. f (x) = xeax con a ̸= 0. [13] J. Stewart. Calculus. Cengage Learning, 2015.
eax
10. f (x) = √
x
con a ̸= 0.

11. f (x) = ex ln(x).

12. f (x) = xx .

8
 Infinity Math
ESPOCH

El misterio de los números primos gemelos

Espı́n Bermeo Nicole Estefania 1 *, Reinoso Reinoso César Daniel 2 *

Resumen
El presente artı́culo se sumerge en la conjetura de los números primos gemelos, formulada por Alphonse de
Polignac en 1849, dicha postula la existencia infinita de pares de números primos con una diferencia de 2
unidades. A pesar de décadas de estudio, la conjetura sigue siendo un desafı́o matemático sin resolución. En
este artı́culo se explorará la importancia de los números primos en áreas como la criptografı́a y la teorı́a de
grupos, resaltando su papel clave en estas diversas disciplinas y se examinarán avances recientes, como las
contribuciones de Yitang Zhang y James Maynard en 2013 y 2018, respectivamente. Se abordarán los distintos
enfoques que han propuesto para su demostración y también su relación con problemas como la función zeta
de Riemann y la Teorı́a de la Probabilidad. Y por último hablaremos de lo que promete la resolución de esta
conjetura en los aspectos profundos de la Teorı́a de Números, además también de como podrı́a catalizar
progresos en disciplinas interrelacionadas, subrayando la interconexión entre las matemáticas puras y aplicadas.
Palabras clave
Números primos, Primos gemelos, Conjetura, Avances recientes
1 Riobamba, Escuela Superior Politécnica de Chimborazo, Facultad de Ciencias, Carrera de Matemática
2 Riobamba, Escuela Superior Politécnica de Chimborazo, Facultad de Ciencias, Carrera de Matemática

Introducción 1. Nacimiento de la conjetura de los

Los números primos (aquellos que solo son divisibles para primos gemelos
sı́ mismos y la unidad) han fascinado tanto a matemáticos Los números primos, en general, han sido objeto de es-
como a aficionados, estos desempeñan un papel esencial en tudio desde la antigüedad, con matemáticos griegos como
varias áreas de la matemática como la Teorı́a de los Números, Euclides (325 a. C- 265 a. C) que dejo una de las primeras
puesto que todos los números naturales se descomponen en un huellas escritas de su existencia en su tratado matemático y
producto de primos (Teorema fundamental de la aritmética) geométrico ((Los Elementos)) en el mismo se formalizó por
por ellos se los considera los bloques de construcción en la primera vez su existencia. A partir de esto y a medida que
Teorı́a de Números [1]. la comprensión de los números primos avanzaba, algunos
A pesar de su aparente simplicidad, los números primos matemáticos antiguos como Galeno (siglo I d. C.) y Plutarco
están rodeados de diversas interrogantes y uno de estos es (siglo II d. C.) intuyeron la existencia de números primos
la existencia de números primos gemelos (aquellos números gemelos. Con lo cual, desde ese tiempo la idea de primos ge-
que difieren exactamente en dos posiciones como serı́an los melos estaba presente, pero no se expresaba de manera formal
números 3 y 5). Esta conjetura, formulada inicialmente por [2].
el matemático francés Alphonse de Polignac en 1849 quien La conjetura de los números primos gemelos tuvo su ori-
plantea que la existencia de infinitas parejas de números, mas gen formal en 1849, cuando el matemático francés Alphonse
formalmente se plantea que ((Existe un número infinito de de Polignac la formuló por primera vez. Polignac basó su
primos p tales que p + 2 también es primo)). conjetura en la observación de que, entre los primeros 100
La conjetura de los números primos gemelos se mantiene números naturales, existen 8 pares de números primos que
como uno de los problemas matemáticos más notables que aún difieren en 2, como (3, 5), (5, 7), (11, 13), (17, 19), (23, 29),
no tienen demostración que pruebe o desmienta su enunciado. (31, 37) y (41, 43) [3].
Su resolución se cree tendrı́a consecuencias profundas en la Impresionado por este comportamiento inicial, Polignac
Teorı́a de Números y otras ramas de las matemáticas. conjeturó que , para todo número natural k, existen infinitos
Este artı́culo tiene como objetivo explorar el misterio inhe- pares de números primos cuya diferencia es 2k.
rente a los números primos gemelos. Se abordará el nacimien- Es ası́ que la representación gráfica de esta conjetura cobra
to y relevancia de la conjetura, examinando a continuación los una relevancia significativa. Una forma interesante de visuali-
avances más recientes para su demostración y se discutirán zarla es mediante el uso de la Espiral de Ulam. Esta espiral,
posibles estrategias para demostrarla. nombrada en honor al matemático Stanislaw Ulam, es una
disposición gráfica donde los números primos se destacan en
una espiral cuadrada. Comenzando desde un punto central

9
 y avanzando en espiral hacia afuera, se marcan los números Este logro teórico abrirı́a la puerta a la exploración de nue-
primos, y los primos gemelos se hacen visibles como pares vas ramas matemáticas, brindando la oportunidad de abordar
de puntos adyacentes. Esta representación no solo proporcio- preguntas adicionales relacionadas con la naturaleza de los
na una intuición visual sobre la presencia y distribución de números primos.
los números primos gemelos conforme crecen los números Un paralelo puede trazarse con el último teorema de Fer-
naturales, sino que también ilustra la intrincada belleza y el mat; el teorema en sı́ mismo es más que un simple hecho
orden subyacente en la aparente aleatoriedad de los números interesante sobre los números, pero su demostración introdujo
primos. un nuevo teorema llamado Teorema de Modularidad. Este teo-
rema no solo proporcionó la resolución del problema original,
sino que también enriqueció nuestra comprensión de objetos
matemáticos como las curvas elı́pticas, que desempeñan un
papel fundamental en campos como la criptografı́a [6].

3. Avances recientes en la demostración

de la conjetura
Los avances en la demostración de esta conjetura han si-
do principalmente en el desarrollo de técnicas y herramientas
matemáticas que podrı́an, eventualmente, conducir a su resolu-
ción. Algunos matemáticos han propuesto métodos novedosos
Figura 1. Los cuarenta y nueve primeros números enteros, en y teorı́as relacionadas, pero hasta ahora ninguna ha conducido
espiral. a una demostración definitiva.
En el año 2013, el matemático chino Yitang Zhang logró
2. Importancia de los números primos y la demostrar la existencia de infinitos pares de números primos
que difieren en 246. Este logro representó un significativo
conjetura de los primos gemelos
avance en la teorı́a de números. No obstante, es importan-
Los números primos destacan por su importancia den- te señalar que esta demostración no abarca por completo la
tro de la matemática , ası́ por ejemplo, en Criptografı́a, son conjetura de los números primos gemelos. [7].
fundamentales para algoritmos de encriptación como el RSA En el año 2018, el matemático británico James Maynard
(Rivest-Shamir-Adleman), basado en la dificultad de factori- presentó una demostración que establece la existencia de in-
zar números grandes en sus factores primos, garantizando la finitos pares de números primos con una diferencia de 601
seguridad en las comunicaciones [4]. entre ellos. Este resultado se destaca como más sólido que el
Además, en la generación de números pseudoaleatorios, obtenido por Zhang, aunque todavı́a no constituye una prueba
los números primos simulan la aleatoriedad y seguridad de completa de la conjetura de los números primos gemelos [8].
los números generados en algoritmos especı́ficos. Con el avance de la computación, los matemáticos tam-
Por último, en la Teorı́a de Grupos y Campos, los núme- bién han estado utilizando métodos computacionales para
ros primos se utilizan para construir estructuras algebraicas investigar la distribución de números primos y buscar pares
fundamentales en diversas áreas de la Matemáticas y la Fı́sica de primos gemelos. Esto incluye algoritmos especializados
[4]. y programas informáticos diseñados para explorar grandes
Centrándose en la resolución de la conjetura de los núme- conjuntos de datos en busca de patrones y estructuras.
ros primos, esta no únicamente proporcionarı́a como tal una Vale destacar que la función zeta de Riemann la cual es
comprensión más profunda de la distribución de los números una función matemática que tiene propiedades profundas rela-
primos, sino que también podrı́a impulsar avances en campos cionadas con los números primos que si se pudiera demostrar
relacionados como la Teorı́a de la Probabilidad y la Geometrı́a que todos los ceros no triviales de la función zeta de Rie-
Algebraica. mann tienen una parte real de 12 , entonces esto implicarı́a la
Este logro también tendrı́a un impacto significativo en la conjetura de los primos gemelos [9].
informática en donde la confirmación de esta conjetura podrı́a La teorı́a de la probabilidad se puede utilizar para estudiar
conducir al desarrollo de algoritmos más eficientes y seguros la distribución de los números primos. Se puede demostrar que
para generar números como en la informática aplicada. La la probabilidad de que dos números consecutivos sean primos
conexión entre la resolución de la conjetura y los desarrollos es cero. Sin embargo, es posible que esta probabilidad sea lo
en ambas disciplinas destaca la importancia transversal en lo suficientemente grande como para garantizar la existencia de
aplicativo de esta conjetura [5]. un número infinito de números primos gemelos [10].
La conjetura plantea un desafı́o matemático tan intrincado En 2013, el matemático estadounidense Terence Tao pro-
que su resolución probablemente implicarı́a la revelación de puso un enfoque de la teorı́a de la probabilidad para demostrar
nuevas perspectivas en la comprensión de los números primos. la conjetura de los primos gemelos. Este enfoque aún no se

10
ha demostrado, pero es un enfoque prometedor [11]. Referencias
En general, los avances recientes en la demostración de [1]
la conjetura de los primos gemelos han sido significativos Javier Yanes. A la caza de los números primos: ¿A quién
además sugieren que la conjetura de los números primos ge- importa y por qué?, 10 2019.
[2] Oscar Fernández, José González, and Carlos Escobar. El
melos es probable que sea cierta. Sin embargo, aún no se ha
demostrado la conjetura. sentido de número primo en la Grecia Antigua , 3 2014.
[3] Alvy. Una conjetura sobre los números primos, 8 2011.
4. Reflexiones [4] Patrick J. Kiger. What are prime numbers, and why do
La resolución de la conjetura de los números primos ge- they matter?, 11 2023.
melos, que sugiere la existencia infinita de pares de números [5] Calcularareas. Los primos y su importancia en la teorı́a
primos con una diferencia de dos unidades, no solo satisfarı́a de los números , 6 2023.
la curiosidad inherente a los misterios matemáticos, sino que [6] Alain Gorley. Andrew Wiles gana el premio Abel por su
también podrı́a abrir caminos hacia nuevas perspectivas y
demostración del último teorema de Fermat, 2016.
el descubrimiento de teoremas y técnicas o herramientas in-
[7] Juan Arias. Avances en la conjetura diabólica, 6 2023.
novadoras. Al igual que el Último Teorema de Fermat, qué
permitió el desarrollo de varias áreas de la matemática para [8] Fernando Chamizo and Ágata A. Timón. James Maynard,
su demostración, la resolución de la conjetura de los primos tras la esquiva distribución de los números primos. 7
gemelos podrı́a llevar a descubrimientos que trascienden la 2022.
conjetura misma, enriqueciendo nuestra comprensión de la [9] Catalina Calderón. La Función Zeta de Riemann, 2002.
teorı́a de números y otros campos relacionados.
[10] FaterCapital. Distribucion de numeros primos Analizar la
La persistencia de la conjetura de los números primos distribucion de numeros primos - FasterCapital, 11 2023.
gemelos a lo largo del tiempo refleja la naturaleza in- [11] William Banks. Large prime gaps and probabilistic mo-
trincada de los números primos y cómo estos desafı́an dels, 8 2019.
la comprensión matemática. A pesar de los avances, la
incógnita perdura, sugiriendo que la resolución puede
requerir enfoques innovadores.

La conexión entre la conjetura y áreas diversas como la

teorı́a de números, criptografı́a e informática destaca la
riqueza y la interdisciplinariedad de los problemas ma-
temáticos. La resolución de la conjetura no solo tendrı́a
implicaciones teóricas, sino que también impactarı́a
aplicaciones prácticas.

Los avances recientes, como las demostraciones de Yi-

tang Zhang y James Maynard, indican que la conjetura
está más cerca de ser confirmada, pero aún no se ha
logrado una prueba completa. La propuesta de Terence
Tao y la utilización de la función zeta de Riemann su-
gieren que la investigación activa continúa, abriendo la
posibilidad de futuros desarrollos significativos.

Agradecimientos
Los autores expresan su sincero agradecimiento al Club de
Matemáticas por brindarnos a los estudiantes la oportunidad
de escribir un artı́culo de temática variada. La inspiración y el
estı́mulo proporcionados por este club han sido fundamentales
para el desarrollo y la concreción de las ideas. Agradecemos
también el apoyo continuo y el ambiente propicio para la
exploración y el aprendizaje que el club esta fomentando.
Este articulo ha enriquecido mi conocimiento permitiéndome
profundizar en el fascinante mundo de los números primos
gemelos . De antemano agradezco la recepción y el tiempo
para revisar este trabajo.

11
 Infinity Math
ESPOCH

Teorema de punto fijo de Brouwer en topologı́a

Mat. Pilachanga Toaza Evelyn Elizabeth 1

Resumen
El Teorema del Punto Fijo de Brouwer es un resultado fundamental en Topologı́a y Análisis Matemático puesto
que establece la existencia de un punto fijo para cualquier función continua que mapea un espacio topológico
compacto convexo en sı́ mismo. Este fue formulado por el matemático holandés Luitzen Egbertus Jan Brouwer
y demostrado por él en 1910. A lo largo del artı́culo se explorarán las herramientas matemáticas con el fin de
llegar a su demostración demostración
Palabras clave
Punto Fijo, Topologı́a, Brouwer
1 Riobamba, Escuela Superior Politécnica de Chimborazo, Facultad de Ciencias, Carrera de Matemática

Introducción Este teorema forma parte de estudios avanzados en Topo-

logı́a Algebraica, más precisamente de Homotopı́as y teorı́a
En este artı́culo se estudiará y se brindará una demostra-
del grado. Ası́ comenzaremos donde algunas nociones básicas.
ción del teorema de punto fijo de Brouer 2−dimensional. La
demostración está basada en probar su equivalencia con el Definición 1.2. Sean X un espacio topológico y A un subcon-
Teorema de no existencia de Repliegues (Retracts) del disco junto de X. Una retracción de X en A, es una función continua
unitario B2 en el circulo unitario S1 . Este resultado forma par- r : X → A tal que r(a) = a, para cada a ∈ A.
te de estudios avanzados en Topologı́a Algebraica, puesto que
son propios de niveles de posgrado y ni son tratados en no son Si existe una retracción de X en A, entonces A se dice que
tratados en estudios de pregrado, por lo que se va a enunciar es un retract(repliegue) de X.
sin demostración algunos resultados propios de esta área. Esto
con el fin de alcanzar de manera rigurosa los objetivos. Teorema 1.3. Teorema 1−dimensional de no Retracción. No
existe retracción de B1 = [−1, 1] sobre su esfera frontera
S0 = {−1, 1}.
1. Espacios con la propiedad del Punto
Fijo
2. Homotopı́as
Definición 1.1. Sea f : X −→ X una función.Un punto x ∈ X
se llama un punto fijo de f si f (x) = x. El concepto de homotopı́a precisa lo que significa defor-
mación continuamente una función continua en otra.
Un espacio topológico X se dice que tiene la propiedad
del punto fijo si cada función continua f : X −→ X tiene un Definición 2.1. Sean f , g : X −→ Y funciones continuas. Con-
punto fijo. sideremos I = [0, 1] el subespacio topológico de R y que
La propiedad del punto fijo es una propiedad topológica, X × I tiene la topologı́a producto. Diremo que f y g son ho-
como lo muestra el seguiente resultado. motopı́cos si existe una función continua F : XxI −→ Y tal
Teorema 1.1. Si los espacios X e Y son homeomorfos, en- que F(x, 0) = f (x) y F(x, 1) = g(x), ∀x ∈ X.
tonces X tiene la propiedad de punto fijo si y sólo sı́ Y la Tal función F es llamada una homotopı́a entre f y g.
tiene. Demotaremos esto como f ≈ g (ya que más adelante veremos
que sobre el conjunto de las funciones continuas f : X −→ Y ,
El teorema de punto fijo de Brouwer establece que la ser homotópicos establece una relación de equivalencia)
bola cerrada n−dimensional Bn tiene la propiedad del punto
fijo (L.E.J. Brouwer). Mostraremos en este capı́tulo que el Podemos imaginar una homotopı́a como una familia uni-
teorema de punto fijo de Brouwer es equivalente al teorema paramétrica F(x,t) continua en el parámetro t ∈ [0, 1]. Si pen-
de no existencia de retracciones de Bn en Sn−1 2-dimensional samos en el parámetro t como representante del tiempo, en-
(esto es, el caso n = 2), su enunciado es como sigue. tonces la homotopı́a F describe la  ̏deformación˝continua en
el tiempo de 0 a 1; de la aplicación f en la aplicación g.
Teorema 1.2 (Teorema de la no-retracción 2-dimensional).
No existe una retracción del disco B2 sobre su disco frontera Teorema 2.1. La realción f ≈ g es una relación de equivalen-
S1 . cia sobre el conjunto de las funciones continuas f : X −→ Y .

12
 3. Funciones circulares y grado Teorema 4.2. Dos funciones circulos f , g : S1 −→ S1 son
homotópicas sı́ y sólo sı́, grado f = grado g.
En esta sección nos enfocaremos en funciones continuas
f : S1 −→ S1 , del circulo unitario en si mismo. Tales funciones Teorema 4.3. Una función cı́rculo f : S1 −→ S1 tiene grado
son llamadas funciones cı́rculos. 0 sı́ y sólo sı́, f se puede extender continuamente sobre el
Por comodidad representamos los puntos sobre el circulo disco B2 (esto es, si existe una función continua F : B −→ S1
usando la variable θ , donde θ es la medida angular usual tal que F|S1 = f )
tomada desde el eje x positivo del plano.
Teorema 4.4 (Teorema de la no-retracción 2−dimensional).
1 No existe una retracción del disco B2 sobre su cı́rculo frontera
S1 .
θ
Teorema 4.5. No existe retracción de R2 sobre S1 .
θ
Teorema 4.6. El disco B2 , como subespacio de R2 , tiene la
−1 1 propiedad del punto fijo sı́, y sólo sı́, no existe retracción de
B2 sobre su cı́rculo frontera S1 .

Demostración ⇒) Por reducción al absurdo, supongamos

−1 que existe un retracción F : B2 −→ S1 .
Consideremos la función continua
Asumimos que dos valores θ , y θ2 representar el mismo
punto sobre el circulo si difieren por un múltiplo entero de q : S1 −→ B
2π; esto es θ2 = θ + 2kπ, k ∈ Z.
x 7−→ q(x) = −x
4. El grado de una función cı́rculo
Sea la función q ◦ F : B2 −→ B2 , que es continua, pues F y q
El grado de una función circulo nos una medida de cuantas lo son.
veces una función circulo f : S1 −→ S1 envuelve o enrolla q ◦ F no tiene punto fijo pues
el circulo alrededor del mismo. Pensemos que esta medida
es igual a 1 para la función identidad id : S1 −→ S1 (S1 se
x = q ◦ F(x) = q(F(x)) = −F(x)
envuelve sobre si mismo una sola vez), es igual a −1 para la
función f (θ ) = −θ , y de manera mas general , es igual a n
Para algún x ∈ B implicarı́a una contradicción
para la función Cn = nθ (n veces enrollado sobre si mismo).
Es claro que no todas las funciones circulo son tan agrada-
bles como Cn (θ ). Podrı́an ser enrollados oscilatorios alrededor 1
del circulo; o enrollados en un sentido y luego enrollados en
otro sentido; o enrollados de diversa variedad de los anteriores F(x)
o de otros tipos mas complicados.
El siguiente teorema, concerniente a homotopı́as entre x
funciones cı́rculos, nos facilitara el concepto de grado de una
función circulo. −1 1

Teorema 4.1. Para cada función circulo f : S1 −→ S1 , existe

−F(x)
un unico numero n ∈ Z tal que f es homotópico a Cn (θ ) = nθ .
−1
Definición 4.1. El único n ∈ Z asociado a f : S1 −→ S1 en
el teorema anterior es definido como el grado de f y será Luego, no existe retracción del disco B2 del plano real sobre
denotado por grad( f ) = m. su cı́rculo frontera S1 .

⇐) Nuevamente, por reducción al absurdo, supongamos por

El siguiente teorema de la teorı́a de grado para funciones reducción al absurdo que el disco B2 no tiene la propiedad del
cı́rculo, es el resultado fundamental para demostrar el teorema punto fijo. Esto es, existe una función continua f : B2 −→ B2
de no retracción 2−dimencional. que no tiene punto fijo.

13
 B2 Teorema 4.7 (Teorema de Punto fijo de Brouwer 2−dimensional).
Cada función continua f : B2 −→ B2 tiene un punto fijo.

x r(x)
Referencias
[1] Andrzej Granas and James Dugundji. Fixed point theory,
f (x)
volume 14. Springer, 2003.
[2] Allen Hatcher. Algebraic topology. , 2005.
[3] Marta-Stadler Macho. Topologı́a general. Departamento
Definamos r : B2 −→ S1 como sigue: Para x ∈ B2 , como f de Matemática, Facultad de Ciencias y Tecnologı́a de la
no tiene punto fijo, f (x) ̸= x. Ası́ consideremos el rayo desde Universidad del Pais Vasco Managua-Nicaragua, 2002.
f (x) pasando por x, y sea r(x) el punto de intersección de este [4] James R Munkres et al. Topologı́a. 2002.
rayo con S1 . (Como ilustra la figura)
[5] James R Munkres. Elements of algebraic topology. CRC
Claramente r : B2 −→ S1 esta bien definida y r(x) = x para
todo x ∈ S1 press, 2018.
[6] George F Simmons. Introduction to topology and modern
analysis, volume 44. Tokyo, 1963.
S1

x = r(x)
f (x)

r es continua. En efecto sea U abierto en S1 .

Probaremos que r−1 (U) es abierto en B2 . Para esto, sea x ∈
r−1 (U) y probaremos que existe v abierto en B2 tal que x ∈
V ⊂ r−1 (U).
Escojamos, O1 = M( f (x)), O2 = M(x) bolas abiertas cen-
tradas en f (x) y x, respectivamente; contenidas en B2 y tales
que todo rayo comenzando en O1 y pasando a través de O2
intersecta a S1 en U.
Ya que f : B2 −→ B2 es continua, podemos encontrar a V
abierto en B2 tal que x ∈ V ⊂ O2 y f (V ) ⊂ O1 .
Ası́, para todo v ∈ V , v ∈ O2 y f (v) ∈ f (V ) ⊂ O1 .
Por lo tanto, el rayo comenzando en f (v) y pasando por v
intersecta a S1 en U. Esto es, r(v) ∈ U.
Esto prueba que v ⊂ r−1 (u).
En conclusión, hemos probado que si x ∈ r−1 (u), existe V
abierto en B2 tal que
x ∈ V ⊂ r−1 (u)
Esto es, r−1 (u) es abierto en B2 . Como querı́amos probar.
Ası́ r : B2 −→ S1 es una retracción, lo que contradice nuestra
hipótesis.
Luego B2 tiene la propiedad del punto fijo.
□
Este teorema, que da la equivalencia entre el teorema de
no retracción y la propiedad del punto fijo para el disco B2 ,
establece el teorema de punto fijo 2- dimensional.

14
 Infinity Math
ESPOCH

El problema de los números congruentes

Daniel Alejandro Reinoso Salas1

Resumen
El problema de los números congruentes es uno de los problemas de la teorı́a de números mas antiguos, dicho
data del año 900 A.C y ha pasado por numerosos matemáticos hasta la actualidad. Plantea la pregunta de
como saber si un número entero dado se puede expresar como el área de un triángulo con lados racionales.
Sus conexiones con las ecuaciones diofánticas y las curvas elı́pticas han dado lugar a varias conjeturas fuertes
que dependen de conjeturas matemáticas famosas y de actual investigación.
Palabras clave
Número congruente, Curvas elı́pticas, Teorı́a de Números, Conjeturas
1 Riobamba, Escuela Superior Politécnica de Chimborazo, Facultad de Ciencias, Carrera de Matemática

Introducción el siglo XV con Pierre de Fermat, con lo que el 1 y ningún

otro cuadrado perfecto puede ser un número congruente. Por
El problema de los números congruentes es uno de los
otro lado, Euler fue el primero en mostrar que 7 es un número
problemas abiertos más antiguos en Teorı́a de Números. El
congruente [2].
problema radica en determinar una forma de caracterizar todos
Otro resultado relativamente moderno fue dado en 1980
los números congruentes, que son los enteros n tales que
cuando Tunnel conjeturó y posteriormente demostró relacio-
puedan ser vistos como el área de un triangulos rectángulos
nes entre números congruentes con soluciones a ecuaciones
cuyos lados son racionales. Su antigüedad remonta a la edad
diofánticas. Existe una relación estrecha entre estos resultados
media con manuscritos árabes en el año 900 A.C (Para una
y la teorı́a de curvas elı́pticas, y mas aún ciertos resultados
detallada revisión histórica consultar el capı́tulo XVI de [1] ).
recı́procos serı́an ciertos, si es cierta la famosa conjetura de
Bird y Swinnerton-Dyer, que es uno de los problemas del
milenio del instituto Clay [3].

1. Enunciado
Decimos que n ≥ 1 es un número congruente si existe un
triangulo rectángulo cuyos lados son racionales y cuya área
es igual a n.
El problema radica en como decidir si dado un número
n saber si este es o no congruente, ya tenemos una solución
parcial descartando los cuadrados perfectos, pero para el resto
Figura 1. 5 es un número congruente de los casos se complica la respuesta, en este artı́culo se
discutirá el estado actual del problema.
La figura representa un triangulo rectángulo de lados ra-
cionales 41 20 3
6 , 3 y 2 cuya área 5 es un número entero, por lo 2. Avances
que 5 es un número congruente. Ası́ mismo 6 es un número Los avances recientes en este campo han abordado cues-
congruente debido a que tiene la terna racional (3, 4, 5). 30 tiones fundamentales como la existencia de soluciones para
también lo es, con la terna (5, 12, 13). Sin embargo, enteros ecuaciones congruentes, la distribución de los residuos y la
como el 1 no parecieran ser un número congruente, y entonces relación con otras ramas de la matemática como la Teorı́a de
surge la pregunta de como saber si un número es congruente Grupos y la Teorı́a de Galois. Estos avances han llevado a
o no. la resolución de problemas clásicos y han generado nuevas
Este hecho se esclareció en 1125 (de los primeros avances áreas de investigación en teorı́a de números y matemáticas
sobre los números congruentes), cuando Fibonacci escribió un computacionales.
tratado general acerca de los números congruentes, en el que
afirmó (sin demostración), que si n es un cuadrado perfecto, 2.1 Conjetura de Tunnel
entonces no pude ser un número congruente. Recordando que un entero n se dice que es libre de cua-
La demostración de esta afirmación tuvo que esperar hasta drados si n no es un múltiplo de cualquier cuadrado perfecto

15
 distinto de 1.

Conjetura 2.1. Sea n impar, libre de cuadrados y un entero

positivo. Entonces n puede ser expresado como el área de
un triángulo rectángulo con lados racionales si y solo si el
número de soluciones enteras a

2x2 + y2 + 8z2 = n

con z par es igual al número de soluciones con z impar. Sea

n = 2m con m impar, libre de cuadrados y positivo. Entonces n
puede ser expresado como el área de un triángulo rectángulo
con lados racionales si y solo si el número de soluciones Figura 2. Curva elı́ptica E : y2 = x3 − 25x
enteras a

4x2 + y2 + 8z2 = m Además, E tiene otros puntos (determinados por el doblaje

de puntos mediante la operación de suma en curvas elı́pticas),
con z par es igual al número de soluciones enteras con z como ( 1681 62279
144 , 1728 ) que corresponden al triángulo
impar.  
1519 4920 3344161
, ,
Tunnel demostró que si existe tal triángulo de área n en- 492 1519 747348
tonces el número de soluciones impares es igual al número de
soluciones pares. Sin embargo, la demostración del recı́proco,
denominado la condición del número de soluciones implica
la existencia de un triángulo de área n, utiliza la conjetura de
Bird y Swinnerton-Dyer, que aún no ha sido demostrada.
Por ejemplo, con n = 5 no hay soluciones con z par o
impar a 2x2 + y2 + 8z2 = 5; en cambio para n = 41 existen
16 soluciones [4] tanto para z par o z impar y, la terna es
( 40 123 881
3 , 20 , 60 ).

2.2 Relación con las curvas elı́pticas

La conexión entre el problema de los números congruentes
y las curvas elı́pticas está ligado de manera ı́ntima [5] y se
sigue de la siguiente proposición dado un cambio de variable: Figura 3. Doblaje de puntos

Proposición 2.1. El número n es congruente si y solo si la de esta forma, tenemos que un número congruente, puede
curva elı́ptica y2 = x3 − n2 x sobre R tiene un punto racional; tener mas de una representación.
es decir, un punto (x, y) con x, y ∈ Q e y ̸= 0. Más precisamen-
te, existe una correspondencia uno a uno Cn ↔ En entre los 3. Otros resultados
siguientes conjuntos:
Los números congruentes se llaman ası́ debido a la siguien-
ab te proposición, que asegura que cualquier número congruente
Cn = {(a, b, c) : a2 + b2 = c2 , = n} es la congruencia común entre 3 cuadrados perfectos.
2
En = {(x, y) : y2 = x3 − n2 x, y ̸= 0}. Proposición 3.1. Supóngase que n es el área de un triángulo
rectángulo con lados racionales a, b, c con a ≤ b < c y sea
Con correspondencias mutuamente inversas f : Cn → En y A = (c/2)2 . Entonces
g : En → Cn dadas por
A − n, A, y A+n
nb 2n2
 
f ((a, b, c)) = , , son todos cuadrados perfectos de números racionales.
c−a c−a
 2
x − n2 2nx x2 + n2
 Teorema 3.1. Si n es un número congruente, entonces exis-
g((x, y)) = , , . ten infinitamente distintos triángulos rectángulos con lados
y y y
racionales y área n.
Por ejemplo, la curva E : y2 = x3 − (52 )x tiene el punto La demostración de ambos resultados se encuentra en [6]
(−4, 6) que corresponde a la terna ( 23 , 20 41
3 , 6 ). con ejemplos aplicados con Sage.

16
 4. Avances actuales
Al dı́a de hoy, existen resultados parciales a la solución
del problema de números congruentes y, resultados fuertes
que dependen de conjeturas famosas. Por ejemplo, en 1975
Stephens mostró que la conjetura de Bird y Swinnerton-Dyer
implica que cualquier entero positivo n ≡ 5, 6 o 7 mód 8 es
un número congruente.
Por ejemplo n = 157 ≡ 5 mód 8 debe ser un número con-
gruente y, de hecho, D. Zagier mostró un triángulo rectángulo
(a, b, c) cuya área es igual a 157. La hipotenusa de este triángu-
lo simple es
2244035177043369699245575130906674863160948472041
c=
8912332268928859588025535178967163570016480830

Referencias
[1] Leonard Eugene Dickson. History of the Theory of Num-
bers..., volume 1. Carnegie Institution of Washington,
1919.
[2] Neal Koblitz. Introduction to elliptic curves and modular
forms, volume 97. Springer Science & Business Media,
1993.
[3] Clay Mathematics Institute. The millennium pri-
ze problems. https://www.claymath.org/
millennium-problems/, May 2022.
[4] Lawrence C Washington. Elliptic curves: number theory
and cryptography. Chapman and Hall/CRC, 2008.
[5] Álvaro Lozano-Robledo. Elliptic curves, modular forms,
and their L-functions, volume 58. American Mathematical
Soc., 2011.
[6] William Stein. Elementary number theory: primes, con-
gruences, and secrets: a computational approach. Sprin-
ger Science & Business Media, 2008.

17
 Matemática Ilustrada

Las ilustraciones en matemáticas son fundamentales para hacer comprensibles los conceptos abstractos, simplificar la
resolución de problemas, apoyar la enseñanza y el aprendizaje, comunicar resultados en publicaciones académicas y explorar
patrones y relaciones matemáticas. Desde gráficos de funciones hasta diagramas geométricos, estas representaciones visuales
desempeñan un papel crucial al hacer que la matemática sea más accesible y tangible tanto para estudiantes como para
investigadores, facilitando ası́ la comprensión y comunicación de ideas matemáticas complejas.

En esta sección de la revista se van a presentar una serie de ilustraciones que han surgido para ejemplificar conceptos
matemáticos o para explicar de explicar estos mismos. Junto a cada ilustración se encontrará una pequeña explicación sobre la
misma.

1. Teselaciones
En la ilustración se pude observar un mosaico formado por figuras 11-HEX, una figura
11-HEX es aquella formada al conectar 11 hexágonos regulares entre sı́. Por otro lado
estas figuras poseen la cualidad de ser ”Heesch-4”, esta cualidad se refiere a una propiedad
conocida como número de Heesch, que indica el número máximo de capas de copias que
pueden rodear una forma sin dejar espacios. En este caso, Heesch-4 significa que la forma
puede estar rodeada por hasta 4 capas de copias sin dejar espacios.
Encontrar un ejemplo especı́fico de figuras 11-HEX con Heesch-4 requerirı́a algo de
trabajo computacional o una base de datos especializada, ya que determinar la disposición
exacta de los hexágonos para cumplir con este criterio no es sencillo. Sin embargo, estas
formas pueden tener propiedades interesantes en los estudios de teselado y mosaico, donde
comprender cómo las formas pueden encajar sin dejar espacios es una cuestión fundamental.
Figura 1. Mosaico Heesch-4
Las teselaciones desempeñan un papel crucial en la ingenierı́a y la arquitectura, donde
formado por figuras 11-HEX el uso eficiente del espacio y los materiales es esencial. Los ingenieros y arquitectos
suelen utilizar principios de teselación al diseñar estructuras, pavimentos, baldosas y otros
elementos arquitectónicos para lograr tanto atractivo estético como eficiencia funcional.
Para aquellos interesados en el tema se recomienda revisar los libros Symmetry: A Mathematical Exploration del autor
Kristopher Tapp y el libro Introduction to Tessellations de los autores Dale Seymour y Jill Britton

2. Teorema de Lexell
El teorema de Lexell, nombrado en honor al matemático Anders Lexell, sostiene que
todo triángulo esférico con la misma área de superficie sobre una base fija tiene su vértice
en un cı́rculo pequeño, llamado cı́rculo de Lexell o lugar geométrico de Lexell, que pasa
por cada uno de los dos puntos antı́podas de los dos vértices de la base.
Este teorema es presentado el la Geometrı́a Esférica, puesto que en esta se da el estudio
de las formas geométricas y sus propiedades, pero en lugar de tratar con superficies planas
como la geometrı́a euclidiana, se centra en la superficie de una esfera.
Existen diferencias importantes entre la geometrı́a esférica y la geometrı́a Euclideana,
una de las más llamativas es que a diferencia de las superficies planas, donde las lı́neas
paralelas nunca se cruzan, dos cı́rculos máximos cualesquiera en una esfera siempre se
cruzarán en dos puntos opuestos de la esfera (puntos antı́podas). por otro lado, la suma
de ángulos en los triángulos. En geometrı́a euclidiana, los ángulos de un triángulo suman
Figura 2. Los triángulos
180 grados. En una esfera, sin embargo, la suma de los ángulos en un triángulo esférico
naranjas ABC comparten base
(formado por tres arcos de cı́rculo máximo) siempre será mayor que 180 grados debido a
AB y área. El lugar geométrico
la curvatura de la esfera. Evidentemente este tema es mucho más extenso de lo presentado
de su vértice C es un pequeño
y representa un área de estudio sumamente interesante.
cı́rculo (discontinuo verde) que
Para aquellos interesados en el tema se recomienda revisar los libros Spherical Geometry
pasa por los puntos antı́podas
and Its Applications del autor Marshall Whittlesey y el libro Heavenly Mathematics: The
de A y B.
Forgotten Art of Spherical Trigonometry del autor Glen Van Brummelen que abordan esta
temática con mayor profundidad.

18
 3. Esponja de Menger
El la ilustración se puede observar la esponja de Menger la cual es una fascinante
estructura de geometrı́a fractal que surge del proceso de eliminación iterativa de porciones
de un cubo. Esta esponja, que lleva el nombre del matemático Karl Menger, se construye
dividiendo un cubo en cubos más pequeños y luego retirando el cubo central junto con
los cubos más pequeños alrededor de cada cara y a lo largo de cada borde. Este proceso
continúa indefinidamente, creando una estructura similar a una esponja con una superficie
infinita pero volumen cero. A pesar de sus reglas de construcción aparentemente simples,
la esponja de Menger exhibe patrones increı́blemente complejos e intrincados, lo que la
convierte en un tema cautivador tanto en matemáticas como en gráficos por computadora.
La esponja de Menger, si en teorı́a se creara perfectamente, tendrı́a una superficie
infinitamente grande pero no encerrarı́a volumen alguno, vale recalcar que la esponja de
Menger es una generalización tridimensional del conjunto unidimensional de Cantor y la
Figura 3. Diferentes iteraciones
alfombra bidimensional de Sierpinski.
Algunos libros de topologı́a hablan sobre este tema, uno que destaca es Topology; a first en el proceso de construcción
course del autor James Munkres, otros libros de geometrı́a fractal también tratan el tema de la esponja de Menger
como por ejemplo Fractal Geometry: Mathematical Foundations and Applications del autor
Kenneth Falconer

4. Conjunto de Mendelbrot
El conjunto de Mandelbrot se genera por iteración, lo que significa repetir un proceso
una y otra vez. Para el conjunto de Mandelbrot, las funciones involucradas son todas aquellas
de la forma f (x) = x2 + c, donde c es un número constante.
Este conjunto esta dado por el conjunto de números complejos c para los cuales el
método iterativo

z0 = 0
zn+1 = z2n + c,
no tiende a infinito, es decir, no es divergente.
La forma de este conjunto se asemeja a la de un cardioide, siendo este simétrico respecto
al eje X
Lo que hace que el conjunto de Mandelbrot sea tan intrigante es su intrincado e infini- Figura 4. Conjunto de
tamente complejo lı́mite, que exhibe auto-semejanza a diferentes escalas. Cuando se traza, Mandelbrot
el lı́mite del conjunto de Mandelbrot revela una asombrosa variedad de patrones, espirales
y formas intrincados, a menudo denominados ”belleza fractal”.

5. Teceractos
Un teseracto, formalmente conocido como hipercubo, es una figura geométrica que
representa un análogo de cuatro dimensiones de un cubo. Se construye extendiendo el
concepto de cubo a la cuarta dimensión. De manera similar a cómo un cubo consta de 8
vértices, 12 aristas y 6 caras, un teseracto consta de 16 vértices, 32 aristas, 24 caras cuadradas,
8 celdas cúbicas y una sola celda de teseracto. Matemáticamente, puede describirse como
el producto cartesiano de dos segmentos en un espacio de cuatro dimensiones, formando un
politopo regular con ocho celdas cúbicas. A pesar de ser difı́cil de visualizar en el espacio
tridimensional, el teseracto tiene importancia en el campo de la geometrı́a y la fı́sica teórica
como ilustración de conceptos de dimensiones superiores.
El teseracto no es el único objeto tetra-dimensional, más aún existen infinitos objetos
con esta caracterı́stica, estos son denominados polı́coros o también politopos de cuatro
dimensiones, otro ejemplo destacado son las 4-esferas, las cuales son una generalización
Figura 5. representación de un
de un circulo en dos dimensiones o una esfera de tres dimensiones.
teceracto

19
 Libros recomendados

50 cosas que hay que saber sobre matemáticas de Tony Crilly

Un libro que no es como todos, no es de simples problemas ni soluciones, es un
compendio del conocimiento matemático y las 50 dudas más grandes y elementales desde
que la matemática existe. Una selección de temas a modo de mosaico, para comprender
mejor el mundo de las matemáticas. ¿Quién inventó el número cero? ¿Por qué hay 60
segundos en un minuto? ¿Cómo es de grande el infinito? ¿Dónde se cruzan las lı́neas
paralelas? ¿Es cierto que el aleteo de una mariposa puede causar una tormenta en la otra
punta del mundo? 50 cosas que hay que saber sobre matemáticas desgrana uno a uno los
cincuenta conceptos matemáticos -antiguos, modernos, cotidianos y esotéricos- que nos
permitirán entender y dar forma al mundo que nos rodea. Empezando por el número cero, el
libro nos introduce en los orı́genes de las matemáticas, desde las fracciones egipcias hasta
los números romanos.

Cartas a una joven matemática de Ian Stewart

Este libro de Ian Stewart es una obra inspiradora que ofrece una visión única y accesible
del mundo de las matemáticas. A través de una serie de cartas dirigidas a una joven estudiante
interesada en las matemáticas, Stewart explora una amplia gama de temas matemáticos,
desde conceptos básicos hasta ideas más avanzadas, en un estilo conversacional y amigable.
Lo que hace que este libro sea tan especial es la forma en que Stewart logra transmitir
su pasión por las matemáticas y hacer que el tema sea emocionante y relevante para el
lector. Utilizando ejemplos fascinantes y anécdotas históricas, Stewart muestra cómo las
matemáticas están presentes en todas partes, desde la naturaleza hasta la tecnologı́a moderna.
Este libro también ofrece consejos prácticos para aquellos que están interesados en
seguir una carrera en matemáticas o simplemente desean explorar más a fondo el tema.
Stewart aborda temas como la importancia del pensamiento crı́tico, la perseverancia y la
creatividad en el estudio de las matemáticas.

Math with Bad Drawings de Ben Orlin

Esta es una obra ingeniosa y única que combina matemáticas con humor y dibujos
humorı́sticos. A través de una serie de ensayos, Orlin explora diversos temas matemáticos,
desde conceptos básicos hasta ideas más avanzadas, utilizando un estilo de escritura accesi-
ble y lleno de humor que hace que incluso los conceptos más complejos sean comprensibles
para todos los lectores, independientemente de su nivel de familiaridad con las matemáticas.
Lo que distingue a este libro es su enfoque en las conexiones entre las matemáticas y el
mundo real, ası́ como en las curiosidades y peculiaridades de la disciplina. Orlin utiliza sus
dibujos ((malos)) de manera efectiva para ilustrar conceptos matemáticos de una manera que
es tanto entretenida como informativa, lo que ayuda a los lectores a visualizar y comprender
mejor los temas discutidos.

Weapons of Math Destruction de Cathy O’Neil

Esta es una obra provocativa que arroja luz sobre el lado oscuro de los algoritmos en
nuestra sociedad moderna. O’Neil, una exanalista de datos, examina cómo los algoritmos
utilizados en diversos campos, desde la contratación hasta la educación y la justicia, pueden
perpetuar la discriminación y amplificar las desigualdades existentes. El libro desentraña
cómo estos algoritmos, que a menudo se presentan como objetivos y neutrales, pueden
ser inherentemente sesgados debido a los datos sesgados con los que son entrenados y los
objetivos problemáticos que se les asignan. O’Neil utiliza ejemplos concretos y casos de
estudio para ilustrar cómo los algoritmos pueden ser armas poderosas que amplifican la
injusticia social, en lugar de herramientas que promueven la equidad y la transparencia.

20
«No hay rama de la Matemática, por abstracta que sea,
que no pueda aplicarse algún día a los fenómenos del
mundo real». Nikolái Lovachevsky - Matemático Ruso

godel_espoch