Professional Documents
Culture Documents
#
$
!" #$%! &! $#'()#$ "
*
+,-
!.!
*
*
*
"
*
0
*
0
0
%
0
2
%
)
3
0
%
4
0
2
#
3
! "
#
$
%
&
'
( &
)
*+%
&
$
$+*,-.%
/#0
/ 1-*2 #
$
%
&
'
( & )
El arte de razonar
Profesor titular
Pontificia Universidad Javeriana
Hay quienes dedican toda su vida a una actividad, al culto de un saber, a la adoración de
una ninfa inspiradora. La recompensa a veces es un simple rictus que remeda una son-
risa, pero que para el adorador es suficiente. Ese leve gesto los nutre y los llena de una
sensación pletórica de satisfacción. Es ese el camino que escoge la persona que decide
dedicarse a la matemática, consciente de la belleza y la dificultad que tiene su elección.
Existe una gran parte de la misma que se aplica a las necesidades directas de la sociedad
y es por ésta, recibida con admiración y aprobación, pero la disciplina se retroalimenta
y comienza a generar conocimiento, que en algunos casos, no se aplica de una manera
directa a la realidad o a la producción. Entonces ¿qué sentido tiene estudiar topología al-
gebraica, teoría de nudos, espacios generalizados de funciones? Preguntas semejantes se
pueden formular en otras actividades como el arte, la música y la filosofía. ¿Qué sentido
tiene una sonata, una sinfonía, un poema, un cuadro, un ensayo? ¿Qué representa esto
para una sociedad de consumo? ¿Tiene sentido que una sociedad apoye la realización de
actividades que aparentemente no tienen una aplicación comercial? Hay actividades que
simplemente dignifican el espíritu humano, pues son una forma de enaltecer lo que la
palabra humano significa en su más pura esencia. La matemática tiene un carácter lúdico
que nos invita a conocer la belleza y la consistencia de su estructura. Esta invitación nos la
ofrecen las primeras partes del texto El arte de razonar. Nos regala un paseo por anécdotas
y conectivos lógicos que nos muestran cómo el sentido común y el razonamiento lógico se
acompañan y complementan logrando situaciones divertidas. El primer modelo estructu-
ral en matemática surge con la geometría euclidiana, allí se ve con todo rigor, la belleza,
fortaleza y dificultad de las pruebas matemáticas. De igual manera permite entender una
idea presente en matemáticas, la reducción del número de axiomas. Pero ¿cómo saber si
una proposición es un axioma? En esta parte, el texto nos brinda una discusión sobre el
quinto postulado y el surgimiento de las llamadas nuevas geometrías (no euclidianas),
dejando el camino abierto para el concepto de curvatura y los trabajos de Gauss . La dis-
cusión de la consistencia del modelo, surge de una manera natural, llevando al lector a
descubrir a Gödel y la importancia de su legado. El autor busca, que el lector se familia-
rice con los sistemas numéricos y sus estructuras. Los conceptos de números algebraicos
8
i
ii ÍNDICE GENERAL
7. El número π 247
Tía Amalia se quedó un fin de semana con sus simpáticos sobrinitos: Hugo, Paco, Luis, Lu-
pe, Pepe y Poncho, en su exclusivo apartamento del barrio La Perseverancia. La tranqui-
lidad del día fue interrumpida por el sonido de un jarrón de legítimo cristal de Bohemia,
cuyos pedazos volaban por los aires en persecución de un balón de fútbol.
Inexplicablemente molesta, la comprensiva tía Amalia exclamó:
1
2 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
Partiendo del hecho: quien mintió en una ocasión, mintió en ambas, tía Amalia logró final-
mente encontrar al culpable. ¿Cómo lo hizo?
Solución.
Si en la segunda respuesta Hugo dice la verdad, entonces todos las demás mienten. Pero
esto no esto no es posible, ya que en este caso lo dicho por Paco también es cierto. Por lo
tanto:
Hugo miente.
Si en la segunda respuesta Luis dice la verdad, se llega a una contradicción, ya que en este
caso, lo dicho por Paco y Lupe también es cierto. Por lo tanto:
Luis miente.
Pepe miente.
Si uno sólo de los tres niños que quedan; Paco, Lupe y Poncho dicen la verdad, entonces
Hugo dice la verdad, lo cual es una contradicción.
Si sólo dos de los tres niños que quedan; Paco, Lupe y Poncho dicen la verdad, entonces
Luis dice la verdad, lo cual es una contradicción.
Si los tres niños que quedan; Paco, Lupe y Poncho, dicen la verdad, entonces Pepe dice la
verdad, lo cual es una contradicción. Por lo tanto:
Como tía Amalia le dio el mismo valor de verdad a las dos respuestas dadas por cada
niño, entonces:
Un censor del ICBF (Instituto Colombiano de Bienestar Familiar) tiene que recoger in-
formación sobre los nombres, apellidos y edades de los niños del barrio Los Laches de la
ciudad de Bogotá. Con tal fin, un martes en la mañana, acude a un inquilinato de dicho
barrio y ante la ausencia de las madres de los niños, es atendido por una mujer que tiene
tan sólo datos fragmentarios y le manifiesta lo siguiente:
1. En este inquilinato, hay cinco niños de edades distintas, comprendidas entre los tres
y los siete años, todos hijos de madres solteras no reconocidos por sus padres.
2. Todos los sábados por la tarde, la señora Moreno se va a trabajar y deja a sus hijos
con la señora Jiménez, ya que ésta no sale ese día, además su hija es más joven que
los hijos de la señora Moreno.
3. Tina es mayor que Luis y más joven que la criatura de la señora Rojas.
4. La niña de apellido Torres es dos años mayor que Lucía.
5. La madre de Rita, que a veces se queda en el inquilinato los sábados por la tarde, se
encarga de vez en cuando de Toni, mientras la madre de éste sale de compras.
4 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
Recibida esta información, el funcionario consideró que era suficiente, agradeció la aten-
ción que le había prestado la mujer, y se marchó. ¿Cuáles son los nombres, apellidos y
edades de los niños de ese inquilinato?
Solución.
De 1 se deduce que las edades de los niños son:
3, 4, 5, 6 y 7 años
Por lo tanto, podemos construir la siguiente tabla, en la cual se relaciona dicha informa-
ción:
APELLIDOS EDADES
De 4 se deduce que la señora Torres tiene una hija y por lo tanto Luis y Toni no son hijos
de esta señora.
Como Luis no es de apellido Rojas, Jiménez o Torres, entonces es hijo de la señora Moreno.
Como Toni no es hijo de las señoras Moreno, Jiménez y Torres entonces es hijo de la señora
Rojas.
Tina no puede ser la hija de la señora Jiménez, ya que si esto sucediera sería más joven
que Luis, lo cual contradice 3.
De 2 y 5 se deduce que la madre de Rita no puede ser la señora Jiménez.
Reemplazando esta información en el cuadro, tenemos:
APELLIDOS EDADES
Luego:
APELLIDOS EDADES
Para pesar cualquier objeto que tenga un peso de cinco libras puede utilizar las pesas d0
y d3 ya que d0 + d3 = 5.
8 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
Para pesar cualquier objeto que tenga un peso de seis libras puede utilizar las pesas d1 y
d3 ya que d1 + d3 = 6.
Para pesar cualquier objeto que tenga un peso de siete libras puede utilizar las pesas d0 ,
d1 y d3 ya que d0 + d1 + d3 = 7.
Para pesar cualquier objeto que tenga un peso de ocho libras tiene que revisar las posibi-
lidades que son las siguientes:
Para pesar cualquier objeto que tenga un peso de nueve libras puede utilizar las pesas d0
y d4 ya que d0 + d4 = 9.
Para pesar cualquier objeto que tenga un peso de diez libras puede utilizar las pesas d4 y
d1 ya que d4 + d1 = 10.
Podemos continuar así sucesivamente, y de esta forma llegamos finalmente a que:
dk = 2k ∀k = 0, 1 . . . , 7
Y además
7
M= 2k = 28 − 1 = 255
k=0
Toma una cadena de tres eslabones y abre cada uno de los eslabones; une la segunda y
la tercera cadena con uno de estos eslabones. Esta nueva cadena de seis eslabones la une
con uno de los eslabones abiertos con la cuarta cadena; finalmente, con el eslabón abierto
que queda, une la cabeza y la cola de la cadena, obteniendo en total que se abrieron 3
eslabones y se cerraron 3 eslabones con un costo total de:
R = n − 4, A = n − 4, N = n − 4, V = n − 4, B = n−4
10 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
comete algún error lógico, los matemáticos de Colombia negarán cualquier vínculo lógico con
usted”.
Los casos, rótulos y pistas son las siguientes:
Caso 1:
Rótulo I Rótulo II
Debajo de este rótulo está Uno de estos rótulos cubre
el cinco y debajo del otro el cinco y el otro el cero
el cero
Pista: Uno de los letreros dice la verdad pero el otro no. ¿Cuál de los rótulos escoge Usted?
Solución.
Si el primer letrero dice la verdad, entonces el segundo letrero también dice la verdad, lo
cual es una contradicción. Por lo tanto, el primer letrero no dice la verdad, pero, como el
segundo letrero dice la verdad, entonces escogemos el Rótulo II.
Caso 2:
Rótulo I Rótulo II
Debajo del otro rótulo en- Al menos uno de estos ró-
contrará el cero tulos cubre el cinco
Pista: O bien los dos letreros dicen la verdad o bien los dos mienten. ¿Cuál de los dos
rótulos escoge usted?
Solución.
Si los dos letreros mienten entonces se llegaría a una contradicción, ya que, si es falso el
rótulo I, entonces es verdadero el rótulo II. Por lo tanto, los dos rótulos dicen la verdad. Y
de lo que afirman se infiere que se debe escoger el Rótulo I.
Caso 3:
Rótulo I Rótulo II
Los dos rótulos cubren El otro rótulo cubre el cin-
cincos co
12 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
Pista: Si el Rótulo I cubre un cinco, el letrero dice la verdad, pero si cubre un cero, el
letrero miente; por otra parte, si el Rótulo II cubre un cero, el letrero dice la verdad, pero
si cubre un cinco, el letrero miente. ¿Cuál de los dos rótulos escoge Usted?.
Solución.
Si el primer letrero dijera la verdad, entonces ambos letreros cubrirían cincos. Luego el
rótulo II miente, pero esto es una contradicción. Por lo tanto, el primer letrero miente y
no puede cubrir un cinco. Se debe escoger el segundo rótulo.
Caso 4:
Rótulo I Rótulo II
Los dos rótulos cubren Los dos rótulos cubren
cincos cincos
Pista: Si el Rótulo I cubre un cinco, el letrero dice la verdad, pero si cubre un cero el
letrero miente; por otra parte, si el Rótulo II cubre un cero, el letrero dice la verdad, pero
si cubre un cinco, el letrero miente. ¿Cuál de los dos rótulos escoge Usted?
Solución.
Si el primer letrero dijera la verdad, entonces el segundo también diría la verdad, pero
esto implicaría que ambos letreros cubrirían cincos, luego el rotulo II miente, lo cual es
una contradicción. Por lo tanto el primer letrero miente y no puede cubrir un cinco. Se
debe escoger el segundo rótulo.
Caso 5:
Rótulo I Rótulo II
No importa que rótulo eli- El otro rótulo cubre un
jas. cinco
Pista: Si el rotulo I cubre un cinco, el letrero dice la verdad, pero si cubre un cero, el
letrero miente; por otra parte, si el Rótulo II cubre un cero, el letrero dice la verdad, pero
si cubre un cinco el letrero miente. ¿Cuál de los dos rótulos escoge usted?
Solución.
Si el rótulo I cubre un cinco el letrero I dice la verdad y por lo tanto el rótulo II cubre
un cinco, pero esto implica, que el rótulo II es falso lo cual es una contradicción. Luego
1.8. LA CALIFICACIÓN EN LÓGICA 13
el rótulo I no cubre un cinco además sí importa que rótulo se elija. Por lo tanto, se debe
escoger el rótulo II.
Caso 6:
Rótulo I Rótulo II
Sí importa que rótulo eli- Te irá mejor si eliges el
jas otro rótulo
Pista: Si el rótulo I cubre un cinco, el letrero dice la verdad, pero si cubre un cero, el
letrero miente, por otra parte, si el Rótulo II cubre un cero, el letrero dice la verdad, pero
si cubre un cinco, el letrero miente. ¿Cuál de los dos rótulos escoge usted?
Solución.
Si el rótulo I cubre un cero no importa que rótulo elijas, por lo tanto, el rótulo II cubre un
cero; de donde el letrero II es verdadero, pero esto no tiene sentido ya que no te irá mejor
si eliges el otro rótulo. Por lo tanto el rótulo I no cubre un cero sino un cinco.
Caso 7:
Rótulo I Rótulo II
Este rótulo cubre un cero Este rótulo cubre un cinco
Rótulo III
El rótulo II cubre un cero
Pista: A lo más uno de los tres letreros dice la verdad. ¿Cuál de los tres rótulos escoge
usted?
Solución.
Si el rótulo I dice la verdad, el rótulo II miente y el rótulo III miente, lo cual es una
contradicción. Por lo tanto, el rótulo I no dice la verdad, luego el rótulo I no cubre un cero
sino un cinco.
Caso 8:
14 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
Rótulo I Rótulo II
Este rótulo contiene un Este rótulo cubre un cero
cinco
Rótulo III
El rótulo II cubre un cero
Pista: El letrero correspondiente al rótulo que cubre el cinco es verdadero y al menos uno
de los otros dos letreros miente, además todos los letreros cubren cincos o ceros. ¿Cuál de
los tres rótulos escoge usted?
Solución.
El cinco no puede estar debajo del rotulo II porque en caso contrario, el letrero II sería
verdad, lo cual es contradictorio, luego el rótulo II tiene un cero. Por lo tanto el letrero
III dice la verdad, como al menos un letrero miente, entonces es el letrero I. De donde el
rótulo III es el que cubre el cinco.
Caso 9:
Rótulo I Rótulo II
El rótulo III no cubre ni ce- El rótulo I cubre un cinco
ros ni cincos
Rótulo III
Este rótulo no cubre ni ce-
ros ni cincos
Pista: Debajo de uno de estos letreros está el cinco, debajo del otro está el cero y el que
queda no cubre ceros ni cincos. Por otra parte, el letrero correspondiente al rotulo que
cubre el cinco es verdadero, el letrero correspondiente al rótulo que cubre al cero es falso
y el letrero correspondiente al rotulo que queda puede ser verdadero o falso. ¿Cuál de los
tres rótulos escoge usted?
1.8. LA CALIFICACIÓN EN LÓGICA 15
Solución.
Si debajo del rótulo II está el cinco, se llegaría a una contradicción con lo que dice su
letrero, si debajo del rótulo III está el cinco su letrero debería ser cierto, lo cual no se da.
De lo anterior se concluye que el cinco esta debajo del rotulo I.
Caso 10:
Rótulo I Rótulo II
El cinco está debajo de un El rótulo no cubre ceros ni
rótulo de número impar cincos
Rótulo V Rótulo VI
O el letrero II es verdade- El letrero III es falso
ro, o el letrero IV es verda-
dero
Rótulo IX
Debajo de este rótulo hay
un cero y el letrero VI es
falso
Pista: Debajo de solo uno de estos letreros está el cinco, debajo de los otros está un cero
o no hay ceros ni cincos. Por otra parte, el letrero correspondiente al rótulo que cubre el
cinco es verdadero; el letrero correspondiente a los rótulos que cubren ceros son falsos
y los otros letreros pueden ser verdaderos o falsos. Aunque usted no me está pidiendo
16 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
ayuda, puedo asegurarle que debajo del letrero VIII hay un cinco o un cero. ¿Cuál de los
rótulos escoge usted?
Solución.
Si debajo del rótulo VIII está el cinco, se llegaría a una contradicción con lo que dice su
letrero. Por lo tanto, debajo del rótulo VIII está un cero, lo cual hace que su letrero sea
falso, por lo tanto debajo del rótulo IX hay ceros o cincos.
Si debajo de rótulo IX está el cinco, su letrero sería cierto lo cual no es así, por lo tanto
debajo del rótulo IX hay un cero y su letrero es falso. De donde VI es verdadero, lo cual
implica que el letrero III es falso, esto es: El letrero V es falso y el letrero VII es verdadero,
luego los letreros II y IV son falsos y además el cinco no esta debajo del rótulo I. Por lo
tanto, el rótulo II cubre ceros o cincos y el letrero I es verdadero, es decir, el cinco está
debajo de un rótulo de numero impar. Resumiendo, se descartan los rótulos I, III y V
quedando tan sólo el rótulo VII, que es precisamente el que cubre el cinco.
Si dijo (4) un Lunes entonces (3) lo dijo un Domingo, y por lo tanto, en ese día tampoco
mintió, lo cual es una contradicción, ya que no mentiría el Lunes y el Domingo.
Por lo tanto:
Solución.
Como la mosca se mueve a velocidad constante, basta hallar el tiempo transcurrido hasta
el momento en que se encuentran los dos viajeros, para determinar el espacio recorrido
por la mosca.
Como los dos viajeros se deben encontrar después de recorrer m/2 kilómetros, entonces
m
gastarán 2α horas, por lo tanto:
m
La distancia recorrida por la mosca es 2α β.
6. Moreno, hincha apasionado del Deportivo Cali, se marcho a su casa antes de que
terminara el partido, debido al gol que metió el Nacional de Medellín ya bien avan-
zando el segundo tiempo.
7. Jorge y Rojas se sintieron muy contentos al ver que el Deportivo Cali ganaba el
partido con un gol logrado en los últimos segundos.
Con esta información el astuto teniente Toribio logró deducir cuáles son los nombres y
apellidos de los cuatro asistentes a esta reunión, así como también la profesión de cada
uno. ¿Cómo lo hizo?.
1.12. EL PARTIDO DE FÚTBOL 19
Solución.
De 4) y 6) se deduce que Hugo no es de
apellido Moreno (recuerde que son hin-
chas de distintos equipos).
De 6) se desprende que Mario no es de ape-
llido Moreno.
De 7) se desprende que Jorge no es Rojas.
De 4) se desprende que Hugo no es de ape-
llido García.
De 6) y 7) se desprende que Jorge no es de
apellido Moreno.
Luego, Hugo Beltrán es ingeniero civil y por lo tanto no es ingeniero de sistemas, odontó-
logo o estadístico.
De 5) se deduce que Pablo Moreno no es odontólogo.
De 8) se deduce que Mario no es ingeniero de sistemas.
De 6) y 8) se deduce que Moreno no es ingeniero de sistemas y por lo tanto es estadístico.
Dos amigos que no se veían desde hace mucho tiempo se encuentran en una calle de
Bogotá y sostienen la siguiente conversación:
1.13. LAS TRES NIÑAS 21
No es suficiente saber que la suma de las edades es el número de esta calle, porque hay
más de una posibilidad de escoger las triplas cuya suma dé ese valor, ya que si fuese
alguno de los otros resultados de las sumas, no se necesitarían más pistas. De donde, el
número de la calle es 13 ya que éste es el único número que se repite y por lo tanto los dos
posibles valores de las edades son:
N1 =1, N2 =6 y N3 =6
y
N1 =2, N2 =2 y N3 =9
El primero lo descontamos ya que hay una hija de mayor edad (la pelirroja), luego las
edades serán:
22 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
N1 = 2, N2 = 2 y N3 = 9
tuviera sombrero negro y otro tuviera sombrero blanco, el tercero al darse cuenta que el
de sombrero blanco no dedujo que llevaba dicho sombrero comprendió que él tampoco
llevaba sombrero negro.
Como pasó un tiempo sin que ninguno dijera una sola palabra, todos tres comprendieron
que solo era posible que llevaran sombreros blancos.
Salto de
liebre
Salto de
galgo
De la hipótesis se puede observar que cada vez que la liebre da cuatro saltos el galgo da
tres saltos y recupera medio salto de liebre.
Salto de
liebre
Salto de
galgo
Luego el galgo debe dar 6 saltos para recuperar un salto de liebre, pero como son 30 los
saltos de liebre a recuperar, entonces el galgo debe dar 6 × 30 = 180 saltos.
1. Cada uno de ellos ocupa una habitación distinta, como muestra el grabado
Amalia Fabio
¿Quién es el asesino?
Solución.
Sean A=Amalia, B=Betty, C=Celia, D=David, E=Eugenio y F=Fabio.
Construimos la siguiente tabla con la información dada en los numerales 3), 4) y 5).
1.19. EL CULPABLE 25
1.19. El culpable
maciones son verdaderas y una falsa. Partiendo de esta suposición, determine quién es el
culpable sabiendo que las declaraciones fueron:
Jorge: “Yo estaba en Bogotá cuando Correa fue asesinado. Yo nunca he matado a nadie.
Rafael es el culpable. Miguel y yo somos amigos”.
César: “Yo no maté a Correa. Nunca en mi vida he tenido un revolver. Rafael me conoce.
Yo estaba en Pereira la noche del 3 de marzo”.
Alfonso: “César mintió cuando dijo que nunca había tenido un revolver. El asesinato fue
cometido el 3 de marzo. Uno de nosotros es culpable. Jorge se encontraba en Bogotá en
esa ocasión”.
Miguel: “Yo no maté a Correa. Rafael nunca ha estado en Bucaramanga. Yo no conozco a
Jorge. César estaba conmigo en Pereira la noche del 3 de marzo”.
Rafael: “Yo no maté a Correa. Yo nunca he estado en Bucaramanga. Yo no conozco a César.
Jorge mintió al decir que soy el culpable”.
Solución.
Si es falso que Jorge se encontraba en Bogotá esa noche, entonces las demás afirmaciones
de Jorge son ciertas, ya que por hipótesis, sólo una de las cuatro afirmaciones es falsa,
luego Rafael es culpable, así Rafael miente cuando afirma que él no mató a Correa y
cuando afirma que Jorge mintió, lo cual implica que, Rafael mintió en más de una de las
afirmaciones, siendo esto una contradicción, por lo tanto:
Alfonso dijo verdades al afirmar que: “El asesinato fue cometido el 3 de Marzo”, “uno de
nosotros es culpable” y “Jorge se encontraba en Bogotá en esa ocasión”, luego la afirmación
que queda es falsa, esto es:
Si Rafael hubiera matado a Correa, entonces habría mentido en dos ocasiones; cuando dijo
“yo no maté a Correa”, y cuando afirmó: “Jorge mintió al decir que yo soy el culpable”, pero
esto no es posible ya que ninguno dio más de una declaración falsa. Por lo tanto,
Rafael es inocente.
Jorge miente cuando afirma que Rafael es culpable, por lo tanto, las otras afirmaciones
son ciertas. De donde:
1.20. UN VIAJE PACÍFICO 27
Jorge es inocente.
Miguel miente cuando afirma que no conoce a Jorge, pero las demás afirmaciones que
hizo son ciertas, luego,
Miguel es inocente
Luego,
César es inocente.
3. En ninguna orilla los judíos pueden superar en número a los palestinos, pues se
rumora que los eliminarían.
¿Cómo distribuiría el representante del Comité de Paz los viajes de la orilla A a la B, para
que no se produzcan bajas?.
Solución.
Sean
G1 : Primer palestino G2 : Segundo palestino
G3 :Tercer palestino Sm : Judío que sabe manejar la embarcación
S1 : Segundo judío S2 : Tercer judío
R: Representante del comité de Paz.
1. Todos los pacientes que tienen una dieta rica en calorías y nacieron antes de 1940
son hipertensos.
2. Ningún paciente que pese más de 85 kg, tiene una dieta rica en calorías.
3. Todos los pacientes nacidos antes de 1940 son hipertensos o bien tienen una dieta
rica en calorías.
4. Ninguno de los que pesa 85 kg o menos y no tienen una dieta rica en calorías, han
nacido antes de 1940.
a. ¿Es posible que existan pacientes en este hospital que hayan nacido antes de 1940
pero que no sean hipertensos?
b. ¿Existen pacientes que hayan nacido antes de 1940, pero no tengan una dieta rica
en calorías, y que no sean hipertensos o no pesen más de 85 kg?
c. ¿Será cierto que todos los pacientes de ese hospital nacidos antes de 1940 o son
hipertensos o pesan más de 85 kg?
Solución.
Sean
A = Conjunto de los pacientes que tienen una dieta rica en
calorías.
B = Conjunto de los pacientes que han nacido antes de 1940.
C = Conjunto de los pacientes hipertensos.
D = Conjunto de los pacientes que pesan más de 85 kg.
De 1) tenemos que: (A ∩ B) ⊆ C
De 2) se deduce que: D ∩ A = ∅
De 3) se concluye que: B ⊆ (C ∪ A)
De 4) se infiere que: (D c ∩ Ac ) ∩ B = ∅
a. La pregunta es:
¿∃n ∈ (B ∩ C c )?
Como
B ⊆ (C ∪ A) por 3)
Se tiene que:
(B ∩ C c ) ⊆ (C ∪ A) ∩ C c = A ∩ C c
30 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
Entonces:
(B ∩ C c ) = (B ∩ C c ) ∩ B ⊆ (A ∩ C c ) ∩ B = (A ∩ B) ∩ C c ⊆ C ∩ C c = ∅
Por lo tanto, no existen pacientes en este hospital que hayan nacido antes de 1940 y
además no sean hipertensos.
b. La pregunta es:
¿∃n ∈ B ∩ (Ac ∩ (D c ∪ C c ))?
Como
(D c ∩ Ac ) ⊆ Bc por 4)
Entonces
B ⊆ (D ∪ A)
Pero
B ⊆ (C ∪ A) por 3)
Luego,
B ⊆ (D ∪ A) ∩ (C ∪ A) = A ∪ (D ∩ C)
Y por lo tanto:
B ∩ (A ∪ (D ∩ C))c = ∅
De donde,
B ∩ (Ac ∩ (D c ∪ C c )) = ∅
Luego no existen pacientes que hayan nacido antes de 1940, que no tengan una dieta
rica en calorías, y que no sean hipertensos o no pesen más de 85 kg.
c. La pregunta es:
¿B ⊆ (C ∪ D)?
De 1) se tiene que:
C c ⊆ (Ac ∪ Bc )
Luego,
(C c ∩ D c ) ⊆ (Ac ∪ Bc ) ∩ D c = (Ac ∩ D c ) ∪ (Bc ∩ D c )
Por lo tanto,
(C c ∩ D c ) ∩ B ⊆ ((Ac ∩ D c ) ∪ (Bc ∩ D c )) ∩ B
=(Ac ∩ D c ∩ B) ∪ (Bc ∩ D c ∩ B)
=(Ac ∩ D c ∩ B)
=∅ por 4)
1.22. EL POLÍTICO MATEMÁTICO 31
De donde:
(C c ∩ D c ) ∩ B = ∅
Luego:
(C ∪ D)c ∩ B = ∅
Lo cual implica que:
B ⊆ (C ∪ D)
Así todos los pacientes de ese hospital nacidos antes de 1940 o son hipertensos o pesan
más de 85 kg.
Alfredo no es el ladrón.
Si Alfredo fuera pianista, entonces, todos los tres dirían por lo menos una verdad, lo cual
traería como consecuencia que ninguno fuera el ladrón, luego Alfredo no es pianista, lo
cual significa que, Vicente y Carlos dicen por lo menos una mentira. Por lo tanto:
Así, Alfredo dice la verdad cuando afirma que “Carlos es agente de seguros”, y por lo tanto,
Carlos dice por lo menos una verdad. En conclusión.
Carlos es el cómplice y
Vicente es el ladrón.
1. Teresa dijo que su hija había iniciado estudios en comunicación social en la Univer-
sidad.
2. Pedro me dijo que su hija estudiaba Administración de Empresas.
3. Recuerdo que Joaquín ante alguna confusión que se presentó, aclaró que su hija no
era María.
4. Fue fácil comprobar que la mujer de Carlos no era Susana.
Esta es toda la información que puedo darte ya que no averigüe más, por que no me gusta
el chisme, y además con ella tu puedes deducir la que necesites. ¿Tendrá razón el profesor?
Solución.
Si tiene la razón el profesor, por la siguiente argumentación:
De la declaración de Joaquín, se deduce que tiene una hija, pero que ésta no es María, por
lo tanto:
De la declaración de Pedro, se deduce que tiene una hija, pero ésta no es Ruth, luego
Como Teresa tiene una hija que no es la de Pedro, entonces es Ruth, luego Joaquín es el
marido de Teresa.
Por otra parte, como Carlos no es el marido de Susana, entonces Carlos es el marido de
Luisa.
Resumiendo tenemos:
Solución.
De 1) se deduce que Diego es el esposo de Isabel o de María.
Si Diego es el esposo de María entonces de 2) se deduce que Isabel es esposa de Bernardo
y Carlos es esposo de Luisa.
De 1) y 4) se deduce que Diego no es padre de Enrique y María no es la madre de Adán,
por lo tanto Diego y María son los padres de Victor.
Adán es hijo de Bernardo, ya que si fuera hijo de Carlos, Luisa sería la madre de Victor, lo
cual es una contradicción, pero, como Isabel es la esposa de Bernardo, entonces Adán es
hijo de Isabel, lo cual contradice 2).
De lo anterior, se concluye que Diego no es el esposo de María y por lo tanto:
Por otra parte, como Luisa no es la madre de Victor, entonces el padre de Adán no es
Carlos y por lo tanto,
y además,
36 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
Luisa no es la esposa de Carlos, ya que en caso contrario, María sería la esposa de Bernardo
y no podrá ser la madre de Adán, lo cual es una contradicción. En donde se deduce que,
En conclusión, se tiene:
De lo dicho por Braulio se descarta que él haya sido el culpable y como lo que dijo Alfredo
es cierto, entonces el culpable es Claudio.
¿Cuáles, entre las frases siguientes, se deducen lógicamente de las dos afirmaciones ante-
riores?
Solución.
Sean: A = Conjunto de aves, I = Conjunto de insectos y G =Conjunto de golondrinas.
Además, el complemento del conjunto B se notará Bc .
Hipótesis: A ⊆ I c y G ⊆ A
Las frases a), b), c) y d) toman la siguiente forma:
a)G ⊆ I c b)A ∩ Gc ∅ c)A ⊆ G d)I ⊆ Ac
Como puede verse, tan sólo a) y d) se deduce lógicamente de las afirmaciones anteriores.
Solución.
Existen dos posibilidades: Que la respuesta del primer vecino haya sido: ¡Soy un Político!,
o por el contrario que haya dicho: ¡No soy un político! El primer caso no se puede tener,
ya que no es posible que halla dicho la verdad, precisamente, porque los políticos siempre
mienten y tampoco es posible que no hubiera dicho la verdad, porque entonces, no sería
político y por lo tanto diría la verdad.
De lo anterior se concluye que la respuesta fue: ¡No soy un político! En este caso hay dos
posibilidades:
1. Que la respuesta sea falsa. En este caso, el segundo y el tercer vecino dijeron la
verdad.
1.31. UN JUEGO DE NIÑOS 39
2. Que la respuesta sea verdadera. En este caso, el segundo vecino diría la verdad mien-
tras que el tercero mentiría.
Por lo tanto, el segundo vecino siempre dice la verdad, de donde se desprende que no es
un político y sólo uno de los tres vecinos es político.
1. ¿Es posible que cada niño sea alcanzado por una bola?
Solución.
Sea dk la menor de las distancias del k-ésimo niño a los demás. Sin pérdida de generalidad,
podemos suponer que dk ≥ dk+1 , ya que en caso contrario podríamos renumerarlos.
Si la última distancia es estrictamente mayor que la anterior, el último niño nunca será
alcanzado ya que a él nadie le va a apuntar.
En caso contrario, o sea suponiendo que el último niño es alcanzado, tendría que serlo por
el mismo niño que él alcanza (pues todas las distintas son diferentes).
Así pues, quedan 13 niños, a los que se les aplica el mismo razonamiento que a los 15
iniciales.
El problema es que no se pueden eliminar a todos los niños de a dos, pues hay un número
impar de ellos. Por lo tanto, siempre hay un niño que no es alcanzado por ninguna bola.
Con 16 niños o con otro número par, es posible que todos sean alcanzados, siempre y
cuando la última distancia no sea estrictamente mayor que la anterior, pues en caso con-
trario este niño nunca será alcanzado.
40 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
En una región de Sudamérica, los políticos nunca dicen la verdad y los que no son políticos
jamás mienten.
Un visitante se encuentra con tres nativos y les pregunta: ¿Cuántos de ustedes son políti-
cos?
El primer nativo respondió: “Todos somos políticos”.
El segundo nativo dijo: “No, solamente dos de nosotros somos políticos”.
El tercer nativo exclamó. “Ninguna de las respuestas anteriores es verdadera”.
¿Es político el tercer nativo?
Solución.
El primer nativo es político, ya que si no fuera polí-
tico, entonces su respuesta sería verdadera, lo cual
es una contradicción pues él afirma que “Todos so-
mos políticos”. Por lo tanto su respuesta debe ser
falsa, lo cual implica que, por lo menos uno de los
dos nativos que quedan no es político.
Si el tercer nativo fuera político, su respuesta tam-
bién sería falsa, por lo tanto alguna de las respues-
tas anteriores es verdadera, pero como no es la del
primer nativo, sería la del segundo, pero éste a su
vez afirma que dos de ellos nos son políticos, lo cual
no es posible. Por los tanto, el tercer nativo no es po-
lítico.
Risura se va a casar.
3. Gustavo dice: “Solo uno de nosotros, los cuatro hombres, dice siempre la verdad”.
4. Pedro dice: “Solo uno de nosotros los cuatro hombres siempre miente”.
6. Risura dice: “Mi novio y yo o decimos siempre la verdad o jamás decimos la verdad”.
a. Si Risura miente entonces 6) es falso, por lo tanto, el novio hará lo contrario que ella,
es decir, el novio dice la verdad.
Si Risura dice la verdad, entonces de acuerdo con 6), el novio hará lo mismo que ella,
esto es, el novio dice la verdad.
De lo anterior se deduce que
c. Por otra parte, si Gustavo dijera la verdad, entonces (3) sería verdadera; pero esto sería
imposible, ya que por lo menos hay dos que dicen la verdad que son, Gustavo y Víctor
lo cual es contradictorio.
Por lo tanto:
42 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
1. Los empleados de la compañía son: el señor Rojas, el señor López, la señora Casas,
la señorita Torres, el señor Parra y la señorita Salas.
2. Los cargos que ocupan son: gerente, asistente de gerencia, cajero, director de perso-
nal, recepcionista y mecanógrafo, aunque no necesariamente en ese orden.
¿Con esta información pudo Bonifacio Chicamocha determinar quién ocupa cada cargo?
Solución.
De numeral 3), se puede deducir que:
El gerente es un hombre.
El señor López no puede tener nietos por ser muy joven, por lo tanto no es el gerente.
El señor López no puede tener yernos por ser muy joven, por lo tanto, no es director
de personal.
Ha muerto el señor Rico, hombre de gran capital, pero mudo. El mayordomo da la siguien-
te versión de los hechos. “El patrón estaba leyendo un libro sobre la revolución Francesa, se
durmió y empezó a soñar que en ese momento iba ser guillotinado. Con el fin de despertarlo, le
di una pequeña palmadita en el cuello. Fue tal la impresión que sufrió, que murió inmediata-
mente de un infarto”. ¿Por qué no creyó la policía la versión del mayordomo? ¿Cambiaría
en algo si el señor Rico no hubiese sido mudo?
44 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
Solución.
Porque el mayordomo no podía saber qué estaba soñando el señor Rico.
Si el señor Rico no hubiese sido mudo, cabría las posibilidad de que hablara dormido.
n
2n+1 − 1
2k a = a = a(2n+1 − 1)
2−1
k=0
En una carrera ciclística participa el mismo número de colombianos que de franceses. Los
primeros son en general pequeños y morenos, los segundos grandes y rubios. Pero hay
excepciones.
Por ejemplo, entre los corredores franceses hay una quinta parte de pequeños morenos. Se
sabe por otra parte, que en el conjunto de todos los corredores hay tres pequeños morenos
por cada dos grandes y rubios, y que no hay ni grandes morenos ni pequeños rubios.
A la llegada, dos aficionados A y B, esperan impacientemente a los corredores. De pronto,
se ve a lo lejos un ciclista grande y rubio:
1 2
C = F, F = PMF, GR = PM, GM = 0, PR = 0.
5 3
46 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
Como,
GR + PR + GM + PM = C + F
reemplazando, tenemos:
2
PM + 0 + 0 + PM = 2C
3
por lo tanto
5
(PMF + PMC) = 2C
3
Reemplazando nuevamente tenemos:
5 1
C + PMC = 2C
3 5
Por lo tanto:
PMC = C
Luego, todos los corredores colombianos son pequeños y morenos, lo cual implica que A
tiene toda la razón.
1. C o E es el hijo único de L.
2. E o L es la hermana de M.
Nueve hombres juegan en las distintas posiciones de un equipo de béisbol. Sus nombres
son: Fabio, Pedro, Julio, Antonio, Samuel, Carlos, Rafael, Ernesto y Mario. Recordando
que las nueve posiciones son: lanzador, receptor, paracortos, primera base, segunda base,
tercera base, jardinero derecho, jardinero central y jardinero izquierdo.
1. Fabio y Ernesto ganaron cada uno $10.000, jugando baraja con el lanzador.
2. Carlos es más alto que Rafael y mas bajo que Pedro, pero cada uno de los tres pesa
más que el primera base.
4. Antonio y los jardineros (outfielders) juegan a las cartas en sus ratos libres.
9. Samuel es mas alto que los jugadores del medio campo (primera, segunda y tercera
base y el paracortos) y el lanzador y el receptor, excepto Mario, Fabio y Julio.
10. El segunda base les gana jugando a las cartas a Mario, Ernesto, Carlos y el receptor.
11. El tercera base, el paracortos y Carlos, cada uno obtuvo $150.000 especulando con
acciones financieras.
48 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
13. Julio vive en el mismo edificio de departamentos que su propia hermana pero le
tiene aversión al receptor.
14. Julio, Ernesto y el paracortos, perdieron cada uno $200.000 especulando con cerea-
les.
15. El receptor y su esposa tienen tres hijas, el tercera base y su esposa tienen dos hijos,
pero Samuel tiene presentada una demanda de divorcio.
Solución.
Para facilitar la escritura vamos a emplear sólo la letra mayúscula inicial del nombre
de cada uno de los jugadores cuando hagamos referencia a ese jugador. Procedemos a
continuación al análisis del problema:
Observación: Causa
F y E no son lanzadores. Por (1)
C,R y P no son primera base Por (2)
M no es tercera base Por (3)
A no es jardinero Por (4)
P, A y E no son jardineros derechos ni centrales Por (5)
M, E y C no son segunda base ni receptores Por (10)
C no es tercera base ni paracortos Por (11)
A no es segunda base Por (12)
J no es el receptor Por (13)
Ni J ni E son el paracortos Por (14)
S no es receptor ni tercera base Por (15)
Lanzador Receptor Paracortos 1a base 2a base 3a base Jardinero derecho Jardinero central Jardinero Izquierdo
FABIO
PEDRO
JULIO
ANTONIO
SAMUEL
CARLOS
RAFAEL
ERNESTO
MARIO
Por 12) se tiene que el segunda base es soltero, luego P, A o E pueden ser el segunda base
pero como A y E no lo son, entonces el segunda base es P.
1.41. DELGADO, RUBIO, FRANCO Y MORENO 49
Si se sabe que tres de estas cuatro proposiciones son falsas. ¿Quién es el moreno, el delga-
do, el franco y el rubio?
Solución.
Sean:
Supongamos que (a) es cierta, entonces (b), (c) y (d) son falsas. Reemplazando en la tabla
se obtiene:
m d f r
M 3
D 3
F 3
R 3
m d f r
M
D
F 3
R 3
Luego el Sr. Moreno es moreno, lo cual es una contradicción. De donde, (b) es falsa.
Supongamos que (c) es cierta, como (a), (b) y (d) son falsas entonces:
1.42. UN PROBLEMA EN CANTÓN 51
m d f r
M 3
D
F
R 3
Luego ninguno es rubio, lo cual es una contradicción. De donde, (c) es falsa. Por lo tanto:
(a), (b) y (c) son falsas, y (d) verdadera. Reemplazando en la tabla tenemos:
m d f r
M 3
D 3
F 3
R 3
En conclusión:
Sabiendo que la permanencia solo va a ser de 4 días y que cada día visitarán una y so-
lamente una vez el restaurante, ¿será posible que puedan describir los nueve platos a su
llegada al país, sabiendo que ningún miembro de la delegación sabe hablar chino?
Solución.
Para facilitar el análisis, vamos a identificar cada uno de los platos del menú con las letras:
A, B, C, D, E, F, G, H, I
En la siguiente tabla se muestra una forma de hacer los pedidos de cada día para poder
resolver el problema:
Según lo anterior, debemos descartar los múltiplos de 3. Luego sólo nos quedan:
Si no fuera múltiplo de 4 estaría entre los 60 y 69, lo cual no es posible ya que los números
de la lista está por fuera de ese rango. Luego, el número es múltiplo de 4 y como 72 se
descartó, el número es 76.
Tres ingenieros y sus esposas se reúnen. Uno de ellos es ingeniero civil (Ic), otro es inge-
niero industrial (Ii), y el último ingeniero eléctrico (Ie). Se sabe además que:
b. La mujer cuya talla se aproxima más a la del ingeniero civil pesa lo mismo que él,
mientras que la señora Losada (L) pesa 8 Kg menos.
¿Se puede deducir de esta información, cuál es el apellido de: el ingeniero industrial, el
ingeniero electrónico y el ingeniero civil?
Solución.
De lo anterior se puede concluir que:
y
h(Sra. L) < h(Sra.x) = h(Ic)
54 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
luego
h(Sra. Ic) < h(Sra.x) < h(Sra. H)
Entonces, Sra. x = Sra. P, luego:
Natalia Navas y su esposo partieron por tierra de vacaciones desde Bogotá hasta Santa
Marta el 21 de diciembre a las 5:00 a.m. El viaje duró 16 horas, pararon en un restaurante
arriba de San Alberto (Cesar) y posteriormente continuaron su viaje.
Trece días después, el 3 de enero a las 5:00
a.m, emprendieron el viaje de retorno a
Bogotá y nuevamente se detuvieron en el
mismo sitio; el mesero que los había aten-
dido en el viaje de ida también los atendió
en esta ocasión y al verlos exclamó: ¡Qué
coincidencia, hace trece días ustedes para-
ron aquí y exactamente a la misma hora!
¿Podría estar en lo cierto el mesero?
Solución.
Si es posible. Suponga que dos personas parten a la misma hora, una de Bogotá y otra
de Santa Marta, recorriendo el mismo trayecto pero en sentidos opuestos, como es obvio.
Necesariamente se deben cruzar en algún sitio de la carretera, de tal forma que en ese
preciso instante ambos se encontrarán.
1.46. EL CONGRESO DE INMUNOLOGÍA 55
Alicia, Jaime, Roberto, David y Elisa viven cada uno en diferentes casas distinguidas con
los números 101, 102, 103, 104 y 105, ubicadas en una calle que corre de Norte a Sur,
siendo la Nro 105 la más alejada de Norte.
R no puede vivir en la 103 porque en este caso J vivirá en la 102 o 104 lo cual contradice
6). Por el mismo motivo J no puede vivir en la 103.
Si J viviera en la 102 entonces R viviría en la 104, D en la 105 y E en la 101 o 103, lo cual
no puede ser por (5). De donde J no vive en la 102 y por lo tanto:
R vive en la 104, J vive en la 102, E vive en la 105, D vive en la 103 y A vive en la 101.
1.48. EL CAPTURADO 57
1.48. El capturado
1. El peso total de los seis turistas no era un número entero, mientras que el de las
esposas era exactamente de 171 Kg.
2. Pablo pesa lo mismo que su mujer, Victor una vez y media más y Mario dos veces
más.
3. Julia pesa 10 Kg más que Claudia, y ésta pesa 5 Kg menos que Elizabeth.
Pero los cálculos del peso se alargaban un poco y finalmente cinco de los seis jóvenes
fueron liberados. Sólo quedó retenido el marido de Elizabeth quien enfurecida exclamó:
J = X + 10 E = X +5 X + J + E = 171
luego
3X + 15 = 171
58 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
de donde
X = 52, J = 62 y E = 57
Victor tiene que ser el esposo de Elizabeth en caso contrario la suma de los pesos es un
número entero; su peso es 57 × 32 = 85 kilos y una libra.
1. Que la balanza quede en equilibrio, en este caso podemos afirmar que la moneda
falsa está en el tercer grupo.
Tomamos a continuación dos monedas del tercer grupo y otras dos de alguno de
los grupos iniciales y las pesamos. Si la balanza queda en equilibrio, es por que la
moneda falsa está entre las dos que quedaron del tercer grupo. Si esto no sucede,
entonces estará entre las dos del tercer grupo que están en la balanza. Como, en este
caso, ya está identificado el grupo de dos en donde esta la moneda falsa, se procede
a comparar una de ellas con una de las que fueron descartadas. Si la balanza queda
en equilibrio la moneda falsa es la que no se toma del grupo de dos, si no queda en
equilibrio la moneda falsa es la que se toma del grupo de dos. Resumiendo podemos
afirmar que en el caso 1):
El número de pesadas que se re-
quieren para encontrar la mone-
da falsa es tres.
Pablo, como siempre tan comprensivo, le dijo: “Deje de hacer preguntas inoportunas y de-
dúzcalo usted misma”
¿Pudo determinar Sandra cuánto pagó cada uno por sus medallas?
Solución.
Sean:
x = la cantidad restante del que pagó $5 por su medalla
y = la cantidad restante del que pagó $25 por su medalla
z = la cantidad restante del que pagó $125 por su medalla
w = la cantidad restante del que pagó $625 por su medalla
r = la cantidad restante del que pagó $3125 por su medalla
Entonces:
x5 + y52 + z53 + w54 + r55 = 9615
Cancelando 5 obtenemos:
x + y5 + z52 + w53 + r54 = 1923
Luego:
5(y + z5 + w52 + r53 ) = 1923 − x (1.3)
Como por hipótesis se tiene que x ∈ {1, 2, 3, 4, 5} entonces x = 3 ya que éste es el único de
estos números tal que 1923 − x es divisible por 5. Por lo tanto:
Como por hipótesis se tiene que y ∈ {1, 2, 3, 4, 5}, entonces y = 4 ya que éste es el único de
estos números tal que 384 − y es divisible por 5. Por lo tanto:
Como por hipótesis se tiene que z ∈ {1, 2, 3, 4, 5}, entonces z = 1 ya que éste es el único de
estos número tal que 76 − z es divisible por 5. Por lo tanto:
62 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
Como por hipótesis se tiene que w ∈ {1, 2, 3, 4, 5}, entonces w = 5 ya que este es el único de
estos números tal que 15 − w sea divisible por 5. Por lo tanto:
Observe que:
1 + 11 = 12
1 + 11 + 111 = 123
1 + 11 + 111 + 1111 = 1234
1 + 11 + 111 + 1111 + 11111 = 12345
Solución.
Si S = 1 + 10 + 102 + 103 + · · · + 10n podemos multiplicar S por 10 y restar el resultado a S
obteniendo:
10S − S = (10 + 102 + 103 + 104 + · · · + 10n + 10n+1 ) − (1 + 10 + 102 + 103 + 104 + · · · + 10n )
= 10n+1 − 1
Despejando S obtenemos:
10n+1 − 1
S=
9
Por otra parte:
11 = 1 + 10 = 109−1
2
1 = 10−1
9
103 −1 104 −1
111 = 1 + 10 + 102 = 9 1111 = 1 + 10 + 102 + 103 = 9
y en general
10n − 1
111 . . . 1 = 1 + 10 + 102 + 103 + 104 + · · · + 10n−1 =
9
de donde
10 − 1 102 − 1 103 − 1 104 − 1 10n − 1
1 + 11 + 111 + · · · + 11 . . . 1 = + + + + ... +
9 9 9 9 9
1
= (10 + 102 + 103 + 104 + · · · + 10n − n)
9
1 10n+1 − 10
= −n
9 9
64 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
Pero,
103 − 1
111 = 1 + 10 + 102 =
10 − 1
De donde el tercer término es:
103 − 1 4 4 8 8
× (4 × 103 + 8) + 1 = 106 − 103 + 103 − + 1
9 9 9 9 9
2 2
2 2 1 1
= 103 + 2 × 103 × +
3 3 3 3
2
2 × 103 + 1
=
3
En general:
Pero,
10n − 1
111 . . . 1 = 1 + 10 + 102 + . . . + 10n−1 =
9
n−veces
10n − 1 4 4 8 8
× (4 × 10n + 8) + 1 = 102n − 10n + 10n − + 1
9 9 9 9 9
2 2
2 2 1 1
= 10n + 2 × 10n × +
3 3 3 3
2
2 × 10n + 1
=
3
* 1 *
× 3 * 2
* 3 *
1 * 6 *
* 2 * 5
1 * 1 * 3 0
66 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
Solución.
Sabemos que 2 × ∗. debe darnos un número que termina en 0, pero como 15 × 2 = 30
entonces el último * del primer número es 5, el ultimo * del tercer número debe ser 0.
* 1 5
× 3 * 2
* 3 0
1 * 6 *
* 2 * 5
1 * 1 * 3 0
* 1 5
× 3 4 2
* 3 0
1 * 6 0
* 2 4 5
1 * 1 * 3 0
Como 3 × ∗15 es una número de cuatro cifras entonces las únicas posibilidades para este *
son 4, 5, 6, 7, 8 y 9, pero como 3 × ∗15 = ∗245, el * del primer número es 4, por lo tanto:
4 1 5
× 3 4 2
8 3 0
1 6 6 0
1 2 4 5
1 4 1 9 3 0
* 2 * 5 * 3 2 5
* * * 1 * *
* 0 * *
* 9 * *
* 5 *
* 5 *
0
Teniendo en cuenta que para este caso se colocan bajo el dividendo las sustracciones que
se deben efectuar.
Solución.
El último dígito del cociente tiene que ser
2 ya que los posibles valores de este dígi-
to son 1, 2, y 3, y además el resultado de
multiplicar este dígito por 325 debe ser un
número del tipo *5*, siendo 2 el único que
se ajusta. De donde la división se transfor-
ma en:
* 2 * 5 0 3 2 5
* * * 1 * 2
* 0 * *
* 9 * *
6 5 0
6 5 0
0
Sea a el * que queda en el cociente, sabemos que a × (325) = ∗9 ∗ ∗, lo cual implica que
a {1, 2, 3}, ya que en caso contrario a×(325) sólo tendría 3 dígitos. Como (325)×4 = 1300,
(325) × 5 = 1625, (325) × 6 = 1950, (325) × 7 = 2275, (325) × 8 = 2600, (325) × 9 = 2925
entonces las dos únicas posibilidades son que a = 6 o a = 9, pero como (325) × (192) =
62400 entonces a 9, de donde a = 6, por lo tanto la división es:
5 2 6 5 0 3 2 5
3 2 5 1 6 2
2 0 1 5
1 9 5 0
6 5 0
6 5 0
0
68 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
En una investigación realizada por el super agente 89, se encontró, en una papelera de
una oficina del cuartel de CAOS, un papel que decía: “Pago en dólares de los sobornos a
funcionarios estatales” y a continuación aparecía la siguiente multiplicación:
* * 5
× 1 * *
2 * * 5
1 3 * 0
* * *
4 * 7 7 *
Como puedes darte cuenta la mayoría de los números fueron borrados por seguridad.
¿Podrás ayudarle al astuto agente 89 a encontrar las cifras faltantes?
Solución.
Sea
α β 5
× 1 γ δ
2 e 7 5
1 3 f 0
α β 5
4 λ 7 7 5
1) Si α = 1 el máximo valor de αβ5 = 195 y el máximo valor de 1δ8 es 189 pero 195 ×
189 = 36855 lo cual no es posible luego α 1.
2) Si α = 2 entonces como 2β5 × 7 ≤ 295 × 7 = 2065 < 2e75, entonces γ > 7, es decir
γ = 8 pero como 205 × 8 = 1640 > 13f 0 llegamos a una contradicción, luego α = 3.
Tenemos que
1.58. OTRA MULTIPLICACIÓN PARA COMPLETAR 69
3 β 5
× 1 γ δ
2 e 7 5
1 3 f 0
3 β 5
4 λ 7 7 5
3 2 5
× 1 4 7
2 2 7 5
1 3 0 0
3 2 5
4 7 7 7 5
70 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
* * * * * * * * *
* * * * * 8 * *
* *
* *
* * *
* * *
1
Por otra parte, en aquel tiempo se colocaban bajo el dividendo las sustracciones que se
debían efectuar.
¿Eres capaz de reconstruir la división?
Solución.
Con el fin de facilitar el análisis vamos a asignarle un nombre a cada uno de los asteriscos
(*) que aparecen en la división borrada.
a b c d e f g α β
j k l m n 8 p q
r s
t u
v w x
y z h
1
a b c d e f g α β
a b c m n 8 p q
d e
t u
v f g
y z h
1
a b c d e f g 1 2
a b c m n 8 p q
d e
9 6
v f g
y z h
1
1 0 8 d e f g 1 2
1 0 8 9 0 8 p q
d e
9 6
v f g
y z h
1
Tenemos que p = 0 ya que se pide un dígito más, en este caso g, además como q × 12 es
un número de 3 cifras entonces q = 9. por lo tanto, yzh = 108, vf g = 109 y de = 97. Por lo
tanto la división se transforma en
1 0 8 9 7 0 9 1 2
1 0 8 9 0 8 0 9
9 7
9 6
1 0 9
1 0 8
1
72 CAPÍTULO 1. PROBLEMAS DE RAZONAMIENTO MATEMÁTICO
2. Problemas con conectivos
lógicos
p q p∧q p q p∨q p q p −→ q p q p ←→ q
V V V V V V V V V V V V p ¬p
V F F V F V V F F V F F V F
F V F F V V F V V F V F F V
F F F F F F F F V F F V
Una proposición condicional es una frase en la cual intervienen variables, la cual se trans-
forma en proposición, al ser reemplazadas las variables por constantes.
Una proposición compuesta es aquella que está integrada por varias proposiciones.
Una tautología es una proposición compuesta siempre verdadera, independiente del valor
de verdad de las proposiciones que la integran. Ejemplos:
1. (p −→ q) ←→ ¬(p ∧ (¬q))
3. p ∧ (q ∨ r) ←→ (p ∧ q) ∨ (p ∧ r)
73
74 CAPÍTULO 2. PROBLEMAS CON CONECTIVOS LÓGICOS
p q p⊗q
V V F
V F F
F V F
F F V
Solución.
a. El conectivo ⊗ es conmutativo.
b. p ⊗ q ⇐⇒ ¬(p ∨ q)
c.
p ⊗ (q ⊗ r) ⇐⇒ ¬(p ∨ (¬(q ∨ r))) ⇐⇒ (¬p) ∧ (q ∨ r).
Por otra parte,
d. p ⊗ p ⇐⇒ ¬p.
(p ⊗ q) ⊗ (p ⊗ q) ⇐⇒ p ∨ q.
(p ⊗ p) ⊗ (q ⊗ q) ⇐⇒ p ∧ q.
Hipótesis: Tarzán murió de rabia Pregunta: ¿Cómo tenía las orejas Tarzán?
Solución.
Construimos las siguientes proposiciones condicionales:
P1 (x) : x tiene las orejas largas P2 (x) : x tiene la cola corta
P3 (x) : x persigue a los conejos P4 (x) : a x le da rabia.
Teniendo en cuenta que: (p → q) ⇔ (¬q → ¬p), entonces a), b) y c) se pueden escribir en
la forma:
¬P2 (x) ⇒ ¬P1 (x), P4 (x) ⇒ ¬P3 (x) y ¬P3 (x) ⇒ ¬P2 (x).
P4 (x) ⇒ ¬P3 (x) ⇒ ¬P2 (x) ⇒ ¬P1 (x) por lo tanto P4 (x) ⇒ ¬P1 (x).
Pero, por hipótesis P4 (Tarzán) es verdadera, entonces ¬P1 (Tarzán) es verdadera. Luego:
p ⇒ ¬q r s ¬s ⇒ q siendo la o exclusiva
Sabemos además que si r es verdadera entonces s tiene que ser falsa; por lo tanto ¬s es
verdadera lo que no obliga a que q es verdadera y por consiguiente ¬q es falsa, de donde
p es falsa, lo cual nos permite afirmar que no hubo vacaciones prolongadas.
Solución.
Nuestro cautivo se quedó pensando en la forma de salir libre; sólo dos preguntas se cru-
zaban en su mente:
Primera: ¿Cuál es la puerta que conduce a la libertad?
Segunda: ¿Cuál de los dos guardias dice la verdad?
A partir de estos dos interrogantes, debería hacer una sola pregunta que le absolviera
las dudas; como su única arma era sus conocimientos de lógica matemática, pensó en las
siguientes proposiciones que estaban relacionadas con las preguntas:
p: La primera puerta conduce a la libertad.
q: Usted dice la verdad.
A continuación se propuso construir una pregunta r que relacionara estas dos proposi-
ciones, de tal forma que independiente de que se le hiciera la pregunta a uno u otro de
los dos guardias estaría seguro que si la respuesta para r es “sí” entonces p es verdadera,
mientras que si la respuesta es “no”, entonces p es falsa. O sea que las respuestas son como
la indica el siguiente cuadro:
Respuesta p
sí V
no F
Estos resultados como hemos dicho son independientes del valor de verdad o falsedad de
q. luego el cuadro que involucraría todas las posibilidades de p y q sería:
Respuesta p q
sí V V
sí V F
no F V
no F F
A continuación pensó en hacer la pregunta r de tal forma que las únicas respuestas posi-
bles sean si o no. Por tal razón la redactó de la siguiente manera:
1. Que el guardia diga la verdad, es decir que q sea V. En este caso se presentan dos
posibilidades con la respuesta.
78 CAPÍTULO 2. PROBLEMAS CON CONECTIVOS LÓGICOS
p q r
V V V
p q r
F V F
2. Que el guarda no diga la verdad, es decir que q sea F. En este caso, se presentan dos
posibilidades con la respuesta.
p q r
V F F
p q r
F F V
p q r
V V V
F V F
V F F
F F V
¿Es cierto que la primera puerta conduce a la libertad si y solo si usted dice la verdad?
2.6. JUAN Y PEDRO 79
Pedro dice
Q→P
Como
(¬P → ¬Q) ⇔ (Q → P)
Entonces, o ambos mienten o ambos dicen la verdad.
Supongamos que ¬p es verdadero (V); como Luis sólo dice una mentira entonces r es falso
(F), luego p y r son F, lo cual implica que Hugo dice más de una mentira. De donde ¬p es
F, esto es p es V y r es V, ya que Luis sólo dice una mentira.
Como Hugo dice sólo una mentira entonces ¬q es F, de donde q es V. Como Paco sólo dice
una mentira entonces ¬s es V.
De lo anterior se desprende que fueron a Barranquilla, Santa Marta y Cartagena pero no
a Sincelejo.
82 CAPÍTULO 2. PROBLEMAS CON CONECTIVOS LÓGICOS
De r(M) ⇒ s(M) se deduce que r(M) es F y por lo tanto ¬r(M) es verdadero (V).
De ¬r(M) ⇒ ¬q(M) se deduce que ¬q(M) es V y por lo tanto q(M) es falso (F).
De p(M) ⇒ q(M) se deduce que p(M) es F. Luego,
Solución.
p : la persona morena dice la verdad.
q : la persona peliroja dice la verdad.
Se presentan las siguientes posibilidades:
p q Consecuencia
V F Ambos son chicos
F V Ambos son chicas
F F La morena es chica y el pelirojo chico
q⇒p
V
V
Los políticos honestos, cumplen con las promesas que hicieron cuando fueron candidatos.
Los políticos que no son honestos, no tienen respaldo de ma-
sas.
Hipótesis: El diputado Benigno Bueno Bueno no cumplió en
el pasado período legislativo las promesas que hizo cuando
fue candidato.
Pregunta: ¿Ganará nuevamente las elecciones Bueno Bueno?
Solución.
Sean:
p(x) : x gana las elecciones r(x) : x es honesto
q(x) : x tiene respaldo de masas s(x) : x cumple con las promesas que hizo cuan-
do fue candidato
B : Benigno Bueno Bueno
Como S(B) es falso, entonces:
Por lo tanto:
Luego:
Por lo tanto:
Solución.
Sean:
h(x) : x vota por Hugo p(x) : x vota por Paco l(x) : x vota por Luis
Identificamos a Fabio, Juan y Mario, con la letra inicial de su nombre. Lo que han dicho
estos tres amigos puede resumirse en el siguiente esquema:
Como estos señores nunca se ponen de acuerdo, entonces votarán por candidatos distin-
tos.
Supongamos que h(J) es V, entonces l(F) es V y por lo tanto p(M) es V, luego l(F) es F
porque i(F) ⇒ ¬p(M), llegando a una contradicción. De donde:
h(J) es F. (2.1)
Supongamos que l(M) es V, como l(M) ⇒ p(F) entonces p(F) es V y por lo tanto h(J) es V,
pero esto contradice (2.1). De donde:
l(M) es F. (2.2)
2.16. EL DILEMA DE LA MÚSICA 87
Supongamos que p(F) es V, como p(F) ⇒ ¬l(J) entonces l(J) es F y como también l(M) es
F entonces l(F) es V, pero esto es una contradicción ya que Fabio no puede votar por dos
candidatos distintos. De donde:
p(F) es F. (2.3)
Supongamos que h(M) es V, como h(M) ⇒ l(J) entonces l(J) es V y por lo tanto p(F) es V,
pero esto es una contradicción por (2.3). De donde:
h(M) es F. (2.4)
Esto es:
Fabio vota por Hugo, Juan vota por Luis y Mario vota por Paco.
(¬p ∧ q ) ⇒ r (p ∨ r ) ⇒ s l ⇒q
V F F F F F F F
Por lo tanto:
1. Agustín dijo: “Daniel y yo tenemos perros o; Bartolomé o Cándido también tienen pe-
rros”.
2. Bartolomé dijo: “Si Cándido y yo tenemos gatos, entonces o Agustín o Daniel tienen
perros”.
3. Cándido dijo: “Si Agustín y yo tenemos perros, entonces o Bartolomé o Daniel tienen
gatos”.
4. Daniel dijo: “Si Bartolomé y yo tenemos gatos, entonces o Bartolomé o yo también tene-
mos perros”.
Una vecina que estaba escuchándolos asomada por una ventana, exclamó con cierto es-
cepticismo: ¡Sólo uno de los cuatro dice la verdad!. ¿Quién dijo la verdad?
Solución.
Sean:
A: Agustín
B: Bartolomé
2.18. EN LOS ZOOLÓGICOS 89
C: Cándido
D: Daniel
p(x) : x tiene perros
q(x) : x tiene gatos
Lo que han dicho estos cuatro jóvenes se puede simbolizar de la siguiente manera:
En una pintoresca nación del Africa se ha establecido los siguientes criterios para poder
autorizar la creación de un zoológico:
b) En los zoológicos donde hay rinocerontes y no hay jirafas deben haber hipopótamos.
1. ¿Puede crearse un zoológico en donde haya hipopótamos sin que haya jirafas y ri-
nocerontes?
Solución.
Sean las siguientes proposiciones:
p: Hay hipopótamos en el zoológico.
q: Hay rinocerontes en el zoológico.
r: Hay jirafas en el zoológico.
El enunciado del problema puede expresarse en la forma:
(p ∧ q) ⇒ ¬r (¬r ∧ q) ⇒ p (p ∧ r) ⇒ q
(p ∧ q ) ⇒ ¬r (¬r ∧ q ) ⇒ p (p ∧ r ) ⇒ q
V F V V F V V F F
F F F
V V V
Por lo tanto:
(p ∧ q ) ⇒ ¬r (¬r ∧ q ) ⇒ p (p ∧ r ) ⇒ q
F V F F V F F V V
F F F
V V V
Por lo tanto:
2.19. LOS CULPABLES 91
(p ∧ q) ⇒ ¬r (¬r ∧ q ) ⇒ p (p ∧ r ) ⇒ q
F F V V F F F F F
F F F
V V V
Por lo tanto:
Solución.
Sean las proposiciones:
p(x) : x es culpable
q(x) : x es inocente
Identificaremos a cada uno de los sospechosos con las letras:
A: Alfredo
B: Bernardo
C: Carlos
92 CAPÍTULO 2. PROBLEMAS CON CONECTIVOS LÓGICOS
Si Carlos es culpable, q(C) es F. Como se tiene q(C) p(B) entonces p(B) es V, luego p(B) ⇒
q(C) es F, lo cual es una contradicción.
Por lo tanto q(C) es V, esto es:
¡Carlos es inocente!
¡Bernardo es inocente!
Si Alfredo es inocente, q(A) es V, pero como q(A) ⇒ p(B), entonces p(B) es V, por lo tanto,
Bernardo es culpable, lo cual es una contradicción.
De donde:
¡Alfredo es culpable!
2.20. PROBLEMAS PARA RESOLVER 93
1. El dilema de la isla
En una isla cada habitante es, o de tipo X o de tipo Z; los del tipo X siempre dicen la
verdad y los de tipo Z siempre mienten. Una vez un lógico visitó la isla y se encontró
con dos habitantes A y B.
Preguntó a B:
¿Son los dos de tipo X?
B contestó si o no. El lógico pensó durante unos minutos, pero no contaba aún con
suficiente información para determinar de que tipo eran. A continuación el lógico
preguntó a A: ¿Son los dos del mismo tipo?
A contestó si o no, y así el lógico logró determinar de que tipo era cada uno.
¿De que tipo eran A y B?
2. Aritmética e historia
Un historiador observa un día que el año del descubrimiento de la radio por Marconi
y el año del inicio del pontificado de Juan XXIII están formados por las mismas cifras
escritas en diferente orden por una parte; y por otra, los restos de la division por 9
de estas dos fechas son los mismos. Se dedica entonces a buscar otro par de años
que cumplan la primera de las dos propiedades pero no la segunda. ¿Podrá usted
encontrarlo?
3. El gallo matemático
Un gallo sabía contar según un sistemas de numeración en base cuatro. Los simbolos
que empleaba para ello eran los siguientes Q, U , I , R. ¿Qué valor numérico exacto
daba a cada una de estas cuatro letras sabiendo que cuando quería decir 2197345,
cantaba “QU I QUI RI QU I ”?
* * * *
× * 9
* 7 5 4 7
* * * * *
* * * * 6 *
5. Los gemelos
94 CAPÍTULO 2. PROBLEMAS CON CONECTIVOS LÓGICOS
Los esposos Rojas y sus dos hijas pasan sus vacaciones con los esposos Diaz y sus
dos hijos gemelos.
Pedro, uno de los gemelos, observa que las sumas de la edades de la cuatro personas
que juegan a las bolas es igual a la de las otras cuatro personas que juegan a las
cartas.
El señor Diaz tiene cuatro años más que su mujer, quien tiene a su vez diez más que
la señora Rojas. Los gemelos tienen dos años más que la hija mayor de los Rojas y
cuatro más que la pequeña.
El señor Rojas tiene seis años más que su mujer, quien tiene a su vez tres veces la
edad de su hija pequeña.
Sabiendo que la suma de las edades de las ocho personas es multiplo de 31. Deter-
mine si los hijos gemelos están jugando a lo mismo.
6. El colegio
Los diferentes salones de un colegio del barrio Patio Bonito tienen el mismo número
de alumnos. Después de un incendio, seis de los salones quedan inutilizables. Se
deben anadir cinco alumnos a cada salón. Posteriormente, los desperfectos causados
por un daño en el suministro de agua se agraban tanto que otros diez salones deben
suprimirsen. Es necesario entonces añadir quince alumnos más a cada uno de los
cursos en buen estado.
¿Cuántos alumnos hay en ese colegio?
7. Rompecabezas
Luis dice un día a María: “tengo tres veces la edad que usted tenía cuando yo tenía la
edad que usted tenía cuando yo tenía la edad que tiene usted hoy” y María le responde:
“cuando tenga yo la edad que tiene usted hoy, la suma de nuestras edades será 77 años”.
¿Cuál es la edad de Luis y cuál la de María?
8. La viejita y sus gatos
Cuando se le pregunta a la viejita Tita con cuantos gatos vive ella responde melancó-
licamente: “con cuatro quintos de mis gatos más cuatro quintos de gato” ¿cuántos gatos
tiene?
9. Los balones
Juanito y Rafael tienen juntos 26 balones.
Rafael y Nicolas tienen juntos 17 balones.
Nicolas y Pablo tienen juntos 31 balones.
Pablo y Pedro tienen juntos 13 balones.
Pedro y Juanito tienen juntos 23 balones.
¿Cuántos balones tienen en conjunto Juanito, Rafael, Nicolas, Pablo y Pedro?
2.20. PROBLEMAS PARA RESOLVER 95
Después de que el segundo gemelo contestara, el juez supo quién era Pedro.
¿Es Pedro el primero o el segundo gemelo?
11. Cambios
Un número de tres cifras aumenta en 45 unidades si se invierte el orden de las dos
cifras de la derecha; y disminuye en 270 si se invierte el orden de las dos de la
izquierda. ¿Qué sucede si se invierte el orden de las dos cifras de los extremos?
19. El autobús
El número de pasajeros de un autobús ha permanecido constante desde la salida
hasta antes de la tercera parada. Después, en cada parada suben tantas personas
como las que había subido en las dos paradas precedentes, y bajan tantas como han
subido en la parada anterior. La décima parada es el final, donde bajan 55 pasajeros.
Si ha subido al menos una persona en el trayecto, ¿cuántos pasajeros había entre la
séptima y la octava parada?
Cuatro amigas (Martha, María, Carmenza y Teresa) salen a bailar a una discoteca
con cuatro amigos (Pablo, Raul, Danilo y Carlos). A lo largo de la velada, las cuatro
chicas bailaron las siguientes piezas: vallenato, rock, bolero y tango. A la salida,
hicieron las siguientes afirmaciones:
Martha: Disfruté más bailando el vallenato con Pablo, que el rock con Raúl.
María: Me gustó bailar con Danilo el vallenato.
Carmenza: Carlos me dio un pisotón mientras bailábamos el bolero.
Teresa: Nunca más volveré a bailar un bolero con Pablo.
Cuando bailaron el tango, ¿cómo estaban formadas las parejas?
b) Sara es mayor que la señora Gómez, pero más joven que Carmen.
c) Todas las mujeres del grupo tienen un número par de años, a excepción de la
señora Vázquez.
d) Susana no es ni la mayor ni la menor del grupo.
e) La Señora Luna le lleva tantos años a Ana como la señora Parra le lleva a la
señora Luna.
a) Jackeline y su compañero, la pareja que ganó $10.000 y la pareja que bailó Salsa
están participando por primera vez en esta competencia, mientras que las otras
dos parejas, Fabio y su compañera y la pareja que bailó Rock, son su segunda
vez.
b) Tres parejas, Alfonso y su compañera, Andrea y su compañero y la pareja que
ganó $30.000, fueron a bailar al programa de Pacheco que se emite los domin-
gos. Ni la pareja que bailó Rock, ni Nancy y su compañero fueron invitados a
la televisión.
c) Fabio y su compañera, Nancy y su compañero y los competidores que ganaron
$20.000 son casados.
d) Los cinco premios fueron distribuidos como sigue: el primero a Mauricio, el
Segundo para la pareja que bailó Vallenato, el tercero a Lulú y su compañero,
el cuarto a la pareja que bailó Reggae y el quinto a Cesar y su compañera.
2.20. PROBLEMAS PARA RESOLVER 99
mesa circular, uno de ellos es sordomudo, otro es parlanchín, uno es muy gordo,
otro odia a Ladino, uno tiene deficiencia vitamínica y uno es el anfitrión.
La persona que odia a Ladino se sentó directamente en frente de Pupo. El sordomu-
do se sentó frente a Goyeneche quien se sentó entre el que tiene deficiencia vitamí-
nica y el que odia a Ladino. El gordo se sentó frente a Saulo, enseguida de la persona
Sordomuda y a la derecha del que odia a Ladino. La persona que tiene deficiencia
vitamínica, se sentó entre Goyeneche y el que se sentó frente a la persona que odia
a Ladino. Edmundo, que es buen amigo de todos, se sentó junto a la persona gorda
y frente al anfitrión. Identifique a cada persona, dando su nombre y descripción.
Cinco jóvenes cuyos apellidos son: Aldana, Ferrer, Ibáñez, Jaramillo y Martínez son
estudiantes destacados en las universidades: Javeriana, Nacional, Andes, Distrital y
Rosario, aunque no forzosamente en este orden. Como por casualidad, todos ellos
son también excelentes deportistas, practican el boxeo, la equitación, la gimnasia, el
tenis y el atletismo (de nuevo sin ningún orden). Partiendo de las pistas siguientes,
intente determinar el nombre propio de los cinco chicos (José, Pedro, Ricardo, Tomás
o Víctor), sus apellidos, su universidad y el deporte que practican.
En un avión que vuela de Bogotá a Cartagena viaja un único pasajero que desea
entrar al baño, pero se encuentra con dos puertas consecutivas las cuales pueden
dar a el baño al vacío.
“Voy a colocar un letrero en cada puerta, si usted actúa con lógica podrá encontrar
el baño, en caso contrario es mejor que aprenda a volar; le daré una sola pista para
que se dé cuenta de mi limitada generosidad” ¡Para los Siguientes casos de letreros
y pistas, determine cuál es la puerta a escoger:
Caso 1:
102 CAPÍTULO 2. PROBLEMAS CON CONECTIVOS LÓGICOS
Rótulo I Rótulo II
En esta puerta está el baño Una de estas puertas da al
y en la otra el vacío baño y la otra al vacío
PRIMERA PISTA :
Uno de los letreros dice la verdad pero el otro no.
Caso 2:
Rótulo I Rótulo II
En la otra encontrará el va- Al menos una de estas dos
cío puertas da al baño
SEGUNDA PISTA:
O bien los dos letreros dicen la verdad o bien los dos mienten.
Caso 3:
Ahora tenemos tres puertas con tres rótulos
Rótulo I Rótulo II Rótulo III
El rótulo III no cubre la El rótulo I corresponde a Este rótulo no cubre la
puerta del baño ni la que la puerta que da al baño puerta del baño ni la que
da al vacío. da al vacío
TERCERA PISTA:
Detrás de uno de estos letreros está el baño, detrás del otro está el vacío y el que
queda no cubre la puerta del baño ni la que da al vacío. Por otra parte, el letre-
ro correspondiente al rótulo que cubre la puerta del baño es verdadero, el letrero
correspondiente al rótulo que cubre la puerta que da al vacío es falso y el letrero
correspondiente al rótulo que queda puede ser verdadero o falso.
Caso 4:
Ahora tenemos nueve puertas con nueve rótulos
2.20. PROBLEMAS PARA RESOLVER 103
CUARTA PISTA:
Detrás de sólo uno de estos letreros está el baño, detrás de los otros esta el vacío o no
está el baño. Por otra parte, el letrero correspondiente al rótulo que cubre la puerta
del baño es verdadero; el letrero correspondiente a los rótulos que cubren puertas
que dan al vacío son falsos y los otros letreros pueden ser verdaderos o falsos. La
decisión que tome respecto al letrero de la puerta VIII será definitiva.
que tengo pagaré la casa. El tercero dijo a los otros tres que le den 1/4. Y el cuarto
dijo que le den 1/5 y de esta forma cada uno pagará la casa agregando lo que tiene.
El vendedor que observaba la conversación, susurró en voz baja: Con lo que ustedes
tienen pueden comprar 3 veces la casa y les sobra aún $38,000,000. ¿Cuánto tiene
cada uno?
* * * * * 4 * * *
* 4 * * 4 * *
* 5 *
* * *
* * *
4 * *
3.1. Introducción
Para muchos, una paradoja es algo que a primera vista parece ser falso, pero que en reali-
dad es cierto; o que parece ser cierto pero que en rigor es falso; o sencillamente que encie-
rra en sí mismo contradicciones; pero los conceptos de certeza o falsedad en matemáticas
y aún el de contradicción, dependen del grado de desarrollo de la matemática en un mo-
mento dado; parodiando a Hamlet puede decirse que “lo que una vez fue paradoja, ya no
lo es, pero puede volver a serlo”. Este hecho también se da en las ciencias experimentales
y conduce inicialmente a un cuestionamiento del concepto de “rigor científico” que se
maneja en cada época.
Uno de los aspectos más interesantes de la matemática estriba en que sus más difíciles
paradojas encuentran un camino para originar las más bellas y profundas teorías; Kasner
y Newman sostienen: “El testamento de la ciencia es un flujo continuo, de tal manera que la
herejía del pasado es el evangelio del presente y el fundamento del mañana” [2].
A menudo se llega a paradojas cuando se contradice el denominado principio del tercero
excluido [1], que afirma lo siguiente:
cualquier enunciado proposicional es verdadero o es falso, pero no se pueden dar am-
bas cosas simultáneamente.
107
108 CAPÍTULO 3. LAS PARADOJAS
Al tratar de aplicar a conjuntos infinitos el hecho de que: Si es posible emparejar todos los
elementos de un conjunto con todos los pertenecientes a otro, entonces, ambos conjuntos
tienen el mismo número de elementos [6], Bolzano puso a los matemáticos ante algunos
hechos que eran inexplicables en su época y que fueron considerados como paradojas;
algunos de ellos, son:
tante en la comprensión del infinito como numerosidad consiste en entender que los
dos segmentos son numerosamente iguales aunque la longitud del uno sea mayor
que la longitud del otro. Como se ve la teoría del infinito elimina la paradoja.
2. En el siglo XVI, observando Galileo Galilei, que todo entero positivo tiene un cua-
drado y que todo cuadrado proviene de un entero positivo, es decir, que es posible
emparejar todos los elementos del conjunto de los enteros positivos con todos los
elementos del conjunto de los cuadrados de números enteros positivos, llegó a la
conclusión de que las relaciones de igualdad y de desigualdad no son válidas en el
infinito [1].
En efecto, en su obra Discursos y demostraciones matemáticas presenta el siguiente
diálogo entre Salviati y Simplicius:
“Salviati: Si pregunto cuántos son los cuadrados de los números, puedes responderme
correctamente que son tantos como sus propias raíces; dado que cada cuadrado tiene su
raíz, y cada raíz su cuadrado, ni cada cuadrado tiene más de una sola raíz, ni cada raíz
tiene más de un solo cuadrado.
3.1. INTRODUCCIÓN 109
4. En el siglo XIII, el filósofo escocés John Duns Scoto observaba que dadas dos circun-
ferencias concéntricas, todos los puntos de la una pueden emparejarse uno a uno,
con todos los de la otra. Una observación similar es válida para el caso de dos esferas
concéntricas [8].
La paradoja aquí es nuevamente, el resultado de confundir la magnitud con la nu-
merosidad. Dos circunferencias (o dos esferas) pueden tener magnitudes diferentes
y finitas(áreas diferentes y finitas) y sin embargo como colecciones de puntos ser
indistinguibles.
5. Es posible emparejar todos los puntos de una semicircunferencia con los de una
recta.
110 CAPÍTULO 3. LAS PARADOJAS
6. Es posible emparejar todos los puntos de una semirecta con los de un segmento de
recta [8].
En efecto, sean S la semirrecta y OR el segmento; por el punto O trácese un segmen-
to OP ⊥ OR, constrúyase el rectángulo OPSR y la diagonal OS
Tómese un punto M ∈ OR, y trácese el segmento perpendicular MH a S en donde
H ∈ OS. A continuación prolónguese el segmento de recta PH hasta el punto W de
la semirrecta S , de esta forma se asigna a cada punto de OR uno y sólo uno de S ;
similarmente, si W es un punto cualquiera de S , devolviéndose puede verse que,
existe una y sólo una imagen de W en OR
7. En la obra: “Diálogo relativo a dos nuevas ciencias”, Galileo Galilei propone la hoy
denominada Paradoja de Galileo, de la siguiente manera:
3.1. INTRODUCCIÓN 111
HG AD
=
HB AB
HG = HB (3.3)
2 2 2
Reemplazando (3.2) y (3.3) en (3.1), tenemos que: HE = HG + HF
112 CAPÍTULO 3. LAS PARADOJAS
luego
2 2 2
HG = HE − HF
de donde
2 2 2
πHG = πHE − πHF
⎛ ⎞ ⎛ ⎞
⎜⎜área de la circunferencia ⎟⎟ ⎜⎜área de la corona circular ⎟⎟
⎜⎜ ⎟⎟ = ⎜⎜ ⎟⎟
⎝con centro en H y radio HG ⎠ ⎝con centro en H y radios HF y HE ⎠
Los ejemplos anteriores muestran claramente que los conceptos clásicos sobre el infinito,
la longitud, el área, la relación entre una totalidad y sus partes, y el uso de procedimien-
tos finitos, pero potencialmente infinitos, no eran suficientes para dar una interpretación
racional a ciertos hechos geométricos.
Un abogado concertó con sus alumnos que deberían pagarle por sus enseñanzas, si y sólo si,
ganaban su primer caso ante los tribunales; y no debían abonar nada si lo perdían. Uno de sus
discípulos que había terminado sus estudios, resolvió evitar aceptar ningún caso para de esta
forma eludir el pago. El abogado lo demandó para que le pagara.
¿Pagará o no el alumno ?.
Si el alumno paga es porque perdió el caso y por lo tanto no ha ganado su primer caso lo cual
lo exonera del pago. Si el alumno no paga es porque el resultado lo favoreció y por lo tanto ganó
su primer caso, lo cual lo obliga a pagar.
3.4. LA PARADOJA DEL BARBERO 115
Supongamos que en un país se crea una ciudad que es habitada solo por alcaldes de municipios
del país, mediante ley aprobada por el congreso se establece que todo alcalde sólo puede vivir en
su propia ciudad o en la ciudad de los alcaldes. Como todo municipio debe tener un alcalde, la
pregunta es: ¿En dónde vive el alcalde de la ciudad de los alcaldes?.
Hay dos posibilidades:
1. Que el alcalde viva en su propia ciudad, en este caso vivirá en la ciudad de los alcaldes,
pero esto implica que el alcalde no vive en su propia ciudad.
2. Que el alcalde no viva en su propia ciudad, en este caso vivirá en la ciudad de los alcaldes
que es precisamente su propia ciudad.
Llamemos:
∞
bn
α=
10n
n=1
De acuerdo al código anterior, se tiene que los números de los caracteres que corresponden
a esta sentencia son en su orden:
35 1 17 51 55 5 41 1 7 35 1 7 1 55 7 9 55 7 29 37.
√
El número natural que se hace corresponder a 2 es:
235 31 517 751 1155 135 1741 191 237 2935 311 377 411 4355 477 539 5955 617 6729 7137
En general, si un número α ∈ A está representado por una frase cuyos caracteres corres-
ponden en su orden a los números:
m1 m2 · · · mk · · · mr
m mr
nα = 2m1 3m2 · · · Pk k · · · Pr
118 CAPÍTULO 3. LAS PARADOJAS
Φ: A → N
α → Φ(α) = nα
A = {α1 , α2 , . . . , αm , . . .}
Se sabe que cada αm puede expresarse en la forma: αm = a.bm1 bm2 · · · bmm · · · en donde
bmk ∈ {0, 1, 2, . . . , 9} ∀k ∈ N y a ∈ Z.
Constrúyase el siguiente número:
∞
ck
δ=
10k
k=1
en donde,
1, si bkk = 0
ck =
0, si bkk 0
como δ αm ∀m ∈ N, entonces δ A.
Por otra parte, de acuerdo con la construcción de δ, se puede decir que este número se
puede describir con una frase en castellano, por lo tanto δ ∈ A, lo cual es una contradic-
ción.
Esta paradoja semántica fue enunciada por primera vez en 1908 por Kurt Grelling (1886-
1941) y Leonard Nelson (1882-1927), consiste en lo siguiente:
Un adjetivo es autológico si se describe a sí mismo, en caso contrario se dirá que es heterológico.
Por ejemplo: Corto es una palabra corta, por lo tanto es autológico; polisilábico es una palabra
polisilábica, por lo tanto es autológico; castellano es una palabra en castellano por lo tanto es
autológico; autológico es una palabra autológica.
3.4. LA PARADOJA DEL BARBERO 119
Tómese las 27 letras del alfabeto más el caracter que indica un espacio entre dos palabras.
Con estos 28 caracteres se puede escribir cualquier expresión y en particular las expresiones que
caracterizan cada número natural.
Hágase la siguiente asignación para cada número natural n.
N → N
n → f n
En donde f n es el menor número de caracteres que producen una expresion que caracteriza al
número n. Si
A = {n ∈ N | f n ≥ 100}
entonces A ⊆ N y A ∅. Luego existe m ∈ N tal que m = mı́n A, esto es: m es el menor número
natural que requiere mínimo cien caracteres para describirlo.
120 CAPÍTULO 3. LAS PARADOJAS
Pero esta expresión caracteriza a m y tiene menos de 100 caracteres (76 para ser más
precisos), lo cual es una contradicción ya que f m < 100, pero como m ∈ A f m ≥ 100.
Como puede verse, muchas de estas paradojas, están enmarcadas dentro de las denomi-
nadas paradojas del “mentiroso” que ha sido objeto de muchas reflexiones en la lógica
formal y que consiste en tratar de saber si un hombre que dice “yo miento” está, o no,
diciendo la verdad al pronunciar estas palabras.
Entre las paradojas lógicas o matemáticas están las debidas a las denominadas coleccio-
nes paradójicas. Una colección paradójica es aquella que al admitir su existencia conduce a
paradojas.
El primer ejemplo de una colección de este tipo fue dado el 28 de Marzo de 1897 por el
matemática italiano Cesare Burali-Forti (1861-1931) quien la presentó en un encuentro
del Círculo Matemático di Palermo [13], en pocas palabras la paradoja es la siguiente:
Se sabe en teoría intuitiva de conjuntos, que todo conjunto bien ordenado tiene un nú-
mero ordinal; en particular, como la colección de todos los ordinales es bien ordenado,
entonces debe tener un ordinal, digamos σ, pero el conjunto formado por todos los ordi-
nales agregándole σ, tiene ordinal σ + 1, que es mayor que σ, por lo tanto σ no puede ser
el número ordinal del conjunto de todos los ordinales ya que σ < σ + 1.
El lógico alemán Gottlob Frege (1848−1925) consideraba: “los matemáticos deben de ha-
cer frente a la posibilidad de encontrar una contradicción que convierta el edificio completo
en ruinas. Por esta razón me he sentido obligado a volver a los fundamentos lógicos generales
de la ciencia · · · ”. Es así como se dedicó durante un cuarto de siglo a construir la funda-
mentación conjuntista del análisis. Con tal fin, elaboró un sistema formal que intentaba
constituirse en el fundamento de las matemáticas. Este sistema se sostenía en dos princi-
pios:
1. Principio de Extensionalidad: Dos conjuntos son iguales si poseen los mismos elemen-
tos.
Sus ideas fueron plasmadas en dos extensos volúmenes.En 1902 ya había publicado el
primero y el segundo estaba en la imprenta listo para ser publicado, cuando recibió una
carta del joven matemático inglés Bertrand Russell (1872-1870) en la que le planteaba la
siguiente inquietud:
Si x es, por ejemplo, el conjunto de los conjuntos que no son cucharas, x ∈ x, pero si x es el
conjunto de todas las cucharas, evidentemente x no es una cuchara y por lo tanto x x. [3]
Esta paradoja que presentó Russell, convertía en contradictoria las bases mismas de la
obra científica de Frege.
En un gesto de gallardía y de humildad científica, Frege escribió una nota a pie de página
al final del segundo volumen que comenzaba diciendo:
“Dificilmente puede encontrarse un científico con algo más indeseable que notar que ceden
los fundamentos de una obra que acaba de terminar. En esa situación me encuentro al recibir
una carta del señor Bertrand Russell cuando el segundo volumen de mi trabajo estaba casi en
imprenta.”
Realmente lo que demuestra la paradoja de Russell es que el principio de abstracción es
falso, y es este aspecto el que hace contradictorio el sistema de Frege, aunque la forma
como construyó el análisis no lo fue.
La causa de muchas de estas paradojas, como señalaban Russell y Whitehead [12], radica
en la definición de un objeto en términos de una clase que contiene como elemento al
objeto que se está definiendo. Tales definiciones se llaman impredicativas y aparecen de
manera especial en la teoría de conjuntos.
Como afirman Kasner y Newmann: “Quizás la mayor de todas las paradojas es que haya
paradojas en la matemática” [2]. Afortunadamente para esta ciencia, las paradojas siempre
han estado presentes en su quehacer, ellas se han convertido en un verdadero reto, fuente
de inspiración y creación, que le ha permitido adquirir no sólo un alto grado de desarrollo,
sino también la ha obligado a cambiar sus conceptos de rigor y precisión, !bienvenidas
sean las paradojas!.
3.6. REFERENCIAS 123
3.6. Referencias
[6] Bolzano B., Las paradojas del infinito, Traducción del alemán de Luis Felipe Segura,
MATHEMA, facultad de ciencias UNAM, México, 1991.
[10] D. M. Burton, The History of Mathematics, (Second Edition), Wm. C. Brown Publis-
hers,
Veamos a continuación algunos ejemplos de aplicación de este método para resolver cier-
tos problemas de geometría.
Primer Ejemplo:
Dado un triángulo rectángulo isósceles de cateto 1, empleado el método experimental
científico determine cuánto mide la hipotenusa.
Solución.
1. Tome un triángulo rectángulo isósceles de cateto 1; divida cada cateto por la mitad y
trace la curva poligonal que está sobre la hipotenusa del triángulo rectángulo, como
se indica en la figura. Es claro que la longitud de esta curva es 2.
125
126 CAPÍTULO 4. LA RAZÓN Y LA SIN RAZÓN
2. Nuevamente divida cada cateto en cuatro partes iguales y trace la curva poligonal
que está sobre la hipotenusa del triángulo, como se indica en la figura. Es claro que
la longitud de esta curva también es 2.
3. Nuevamente divida cada cateto en ocho partes iguales y trace la curva poligonal
que está sobre la hipotenusa del triángulo rectángulo, como se indica en la figura.
Es claro que la longitud de esta curva también es 2.
4.1. RAZONAMIENTO LÓGICO-DEDUCTIVOS 127
4. Continué dividendo cada cateto en 16, 32, 64,. . . partes iguales y trace la curva po-
ligonal que está sobre la hipotenusa del triángulo rectángulo, en forma similar a la
de los casos anteriores. Es claro que para cada uno de los casos la longitud de esta
curva también es 2.
A medida que se va tomando la partición mas fina la curva poligonal se ve que va ten-
diendo hacia la diagonal del triángulo y a la vez su longitud siempre es 2, por lo tanto
empleando el método experimental científico puede afirmarse que:
Segundo ejemplo:
128 CAPÍTULO 4. LA RAZÓN Y LA SIN RAZÓN
partir de unos axiomas previamente establecidos (método deductivo); los cuales, según
esta escuela, tienen las siguientes características:
a. Son completos, es decir, toda proposición válida de esta teoría admite una prueba a
partir de estos axiomas.
c. Son independientes, esto es, ninguno de los axiomas es consecuencia de los otros.
El poder demostrar que un problema no tiene solución a menudo no es una labor sencilla,
debido a que se tiende a confundir el que no se haya podido encontrar la solución a un
problema con que el problema no sea soluble.
Casi en todas las ciencias existen problemas abiertos para los cuales no se ha podido
demostrar si son o no solubles y muy pocos son los que se les han podido probar que
son insolubles, esto es que los intentos de solucionarlos conducen a una contradicción.
Veamos los siguientes ejemplos ilustrativos:
A un tablero de ajedrez se le han quitado dos esquinas opuestas, de tal forma que quedan
tan sólo 62 cuadros, se tiene además 31 fichas de dominó cada una de las cuales puede
cubrir exactamente dos cuadros del tablero.
¿Es posible cubrir con estas 31 fichas los 62 cuadros que quedan?
130 CAPÍTULO 4. LA RAZÓN Y LA SIN RAZÓN
Solución.
Antes de dar una demostración formal, veamos que sucedería si empleamos el método
experimental científico:
Ensaye una disposición de las fichas; si esta no le funciona, ensaye otra; si nuevamente no
le funciona ensaye otra distinta y continúe así sucesivamente.
Después de realizar este proceso muchas veces descubrirá que todas fallan; este hecho le
permite plantearse la hipótesis: el problema no tiene solución.
Si después de llevar a cabo procesos similares, para poner a prueba el poder de predicción
de la hipótesis, se observa que continúa teniendo éxito, entonces hay aún más evidencia
para respaldarla.
Si la cantidad de evidencia es muy grande, respaldada en la dificultad de resolver el pro-
blema después de que mucha gente haya hecho bastantes ensayos, ninguno con éxito,
entonces existe suficiente información para aceptar la hipótesis como “científicamente
válida”, aunque queda siempre la duda de su veracidad, ya que existen millones de posi-
bles arreglos y por lo limitado de la vida humana tan sólo es posible explorar una pequeña
fracción de ellos.
Ahora sí veamos como se resolvería el problema empleando razonamientos de tipo lógico-
deductivos:
Lo primero que observamos es que los dos cuadros suprimidos deben ser del mismo color.
Supongamos que ambos son blancos (si son negros, la demostración es análoga).
Como se han suprimido dos cuadros blancos, quedan sólo 30 cuadros blancos y 32 negros.
4.1. RAZONAMIENTO LÓGICO-DEDUCTIVOS 131
Por otra parte, cada ficha de dominó cubre un cuadro blanco y uno negro, independiente
de la forma horizontal o vertical en que se coloque en el tablero.
Por lo tanto, cualquier arreglo de las 30 primeras fichas cubre 30 cuadros blancos y 30
negros, quedando una sola ficha y dos cuadros negros; pero esa ficha no puede cubrir
estos dos cuadros negros, lo cual es una contradicción. De donde podemos concluir que:
Por la ciudad de Konigsberg (hoy Kalinigrado, Lituania) pasa el río Pregel, al cual pertene-
cen dos islas que están comunicadas entre sí y con los márgenes del río por siete puentes,
como se ilustra a continuación:
Si después de llevar a cabo procesos similares para poner a prueba el poder de predicción
de la hipótesis se observa que continúa teniendo éxito, entonces hay aun más evidencia
para respaldarla.
Si la cantidad de evidencia es muy grande, respaldada en la dificultad de resolver el pro-
blema después de que mucha gente haya hecho muchos ensayos, ninguno con éxito, en-
tonces existe suficiente información para aceptar la hipótesis como “científicamente váli-
da”, quedando siempre la duda acerca de su veracidad.
Ahora sí veamos como se resolvería el problema empleando razonamientos de tipo lógico-
deductivos:
Represéntese con las letras A, B, C, y D, las cuatro regiones en que queda dividida Ko-
nigsberg por el río, como se indica en el gráfico.
El paso por los siete puentes de Konigsberg, requiere de ocho letras para designarlo
(1)
Por otra parte, si a una región E conducen por ejemplo siete puentes y una persona desea
realizar un recorrido que incluya estos siete puentes de tal manera que pase sólo una vez
por cada uno, entonces en la secuencia de letras que denota el camino recorrido aparecerá
exactamente cuatro veces la letra E, por lo siguiente:
Supongamos que empezó el recorrido por fuera de E y notemos F la parte exterior a E.
Inicialmente hace el recorrido FE pasando por un primer puente. Como tiene que salir,
4.1. RAZONAMIENTO LÓGICO-DEDUCTIVOS 133
hace el recorrido EF pasando por un segundo puente; de tal forma que aunque ha pasado
por dos puentes sólo parece una vez la letra E.
Más adelante tendrá que realizar el recorrido FE pasando por un tercer puente y nece-
sariamente hará EF pasando por un cuarto puente; aquí nuevamente ha empleado dos
puentes pero sólo ha agregado una sola letra E a la secuencia que denotará el trayecto.
Tarde o temprano tendrá que hacer FE pasando por un quinto puente y lógicamente EF
pasando por un sexto puente. Nuevamente tenemos dos puentes y una sola letra E. Final-
mente tendrá que hacer FE, pasando por el último puente y agregando una letra E a la
secuencia.
De lo anterior se deduce que el número de veces que aparece la letra E en la secuencia es
cuatro. Si hubiéramos iniciado el recorrido en E, el resultado sería idéntico.
En general, aplicando el mismo procedimiento, podemos darnos cuenta que si existen
2n + 1 puentes que comunican a E con F, el número de veces que aparece la letra E en la
secuencia es n + 1.
Aplicando esto al caso de los puentes de Konigsberg, podemos observar que si fuera po-
sible hacer el recorrido pasando por cada puente una y sólo una vez, entonces, como a C
llegan tres puentes, el número de veces que aparece C en la secuencia será dos.
Como a A llegan cinco puentes, el número de veces que aparece A en la secuencia es tres.
De la misma forma a D y B llegan respectivamente tres puentes, entonces el número de
veces que aparece cada una de estas dos letras en la secuencia es dos.
Por lo tanto:
El recorrido por los siete puentes de Konigsberg requiere de nueve letras para
designarlo.
En cierta comunidad hay gente de bien (la mayoría) y gente que no es de bien (una peque-
ña minoría), como lo que se quiere es que esta situación se corrija ¿Qué debe hacerse?
En la búsqueda de una posible solución, una gran cantidad de personas propone que se
elimine la gente que no es de bien.
El problema que se ha planteado no es sino un caso particular del siguiente problema
general:
En cierta comunidad hay gente que cumple la condición P (la mayoría) y gente que no cumple
la condición P (una pequeña minoría), como lo que se quiere es que esta situación se corrija
¿qué debe hacerse?.
Por analogía con la solución del caso particular entonces se debe eliminar la gente que no cumple
la condición P.
Aquí empieza a cuestionarse esta posible solución ya que son muchas las condiciones P
aceptadas como positivas por la gran mayoría y que obviamente no cumple una pequeña
minoría, como por ejemplo: Tener las mismas creencias religiosas, tener los mismos in-
tereses políticos, tener los mismos intereses culturales, no ser obeso, no ser terco, no tener
alto el ácido úrico y muchas más.
Al escribir este problema en lenguaje matemático quedaría de la siguiente forma:
Sean:
Entonces los únicos que sobrevivirán serán los que estén en el conjunto:
Hp
p∈U
Para tener una idea de cuantos pueden ser los posibles sobrevivientes veamos este otro
problema:
Interesante o corriente:
136 CAPÍTULO 4. LA RAZÓN Y LA SIN RAZÓN
Si α la persona más anodina del mundo (es decir la más corriente), entonces tiene una
característica que la distingue de todos los demás, luego α ∈ I.
Sacamos a α de C; entre los elementos que quedan debe haber un β que es el más corriente
de todos, entonces tiene una característica que la distingue de todos los demás luego β ∈ I.
Podemos continuar así sucesivamente hasta agotar todos los elementos del conjunto C,
llegando de esta forma a demostrar que todos los seres humanos somos interesantes.
De lo anterior se desprende que para cada ser humano existe una condición P que satisface
“la mayoría” pero que él no la satisface. Por lo tanto el conjunto.
Hp
p∈U
No tiene elementos lo cual implica que todos los miembros de esa comunidad serán eli-
minados. Por lo tanto no es posible aceptar como válida la solución que se propone.
La palabra Matemática viene del vocablo griego “Mathema” (μαθμθ), que significa “La
Ciencia”.
El pensamiento matemático aparece desde el surgimiento del hombre mismo, motivado
por:
La lucha por su subsistencia.
La necesidad de interpretar el mundo.
La necesidad de transformar el mundo para su beneficio.
4.2. ALGUNAS DEFINICIONES DE LO QUE ES LA MATEMÁTICA 137
Cada ser humano tiene su propia definición de la Matemática, la cual obedece a su expe-
riencia vivida en esta ciencia.
Veamos algunas definiciones dadas por grandes pensadores:
Aristóteles
Platón
Descartes
Gauss
Einstein
Felix Klein
Gustav Jacobi
David Hilbert
“Es un juego con reglas muy sencillas que deja marcas sin significado en el papel”.
Alfred Whitehead
4.2. ALGUNAS DEFINICIONES DE LO QUE ES LA MATEMÁTICA 139
Henri Poincare
Bertrand Russell
Para poder entender el punto de vista de Russell al respecto, es necesario conocer algunos
aspectos que lo llevaron a esa conclusión.
Bertrand Russell y su maestro Alfred North Whitehead (1861-1972), publicaron en 1910
su obra cumbre Pincipia Mathematica, considerada universalmente como la obra maestra
de la lógica matemática.
Russell se dedicó durante toda su vida a tratar de deducir la matemática a partir de la
lógica; de ahí que se le considere como el padre de la corriente filosófica-matemática
denominada el logicismo. En 1956, después de muchos años de investigación llegó a la
siguiente conclusión.
“Yo pensaba que si existía la certidumbre en algún lugar, tenía que ser en las matemáticas;
pero descubrí que muchas de las demostraciones que mis profesores me habían hecho aceptar
estaban llenas de falacias y que si la certidumbre estaba en las matemáticas, tendría que estar
en otro campo de las matemáticas con fundamentaciones más sólidas que las conocidas hasta la
presente.
Pero al avanzar en mi búsqueda se me aparecía constantemente la fábula del elefante y la tor-
tuga: había construido un elefante sobre el que iba a descansar el mundo de las matemáticas, y
el elefante empezó a tambalearse; trate de construir una tortuga para sostener el elefante, pero
la tortuga también se movía.
Después de unos veinte años de difícil trabajo llegué a la conclusión de que nada más era posible
hacer para que fuera indubitable el conocimiento matemático”.
Estas observaciones lo llevaron a dar la siguiente definición de lo que es la matemática:
“Las Matemáticas son una materia en la que nunca conocemos lo que estamos tratando, ni si lo
que decimos es verdad”.
140 CAPÍTULO 4. LA RAZÓN Y LA SIN RAZÓN
Martin Lutero
“La medicina hace enfermos a los hombres, la matemática los hace tristes, y la teología los hace
pecadores”.
San Agustín
“El buen cristiano debe tener cuidado con los matemáticos y todos aquellos que hacen vagas
profecías. Ya existe el peligro de que los matemáticos hayan hecho un trato con el diablo para
oscurecer el espíritu y confinar al hombre a las fronteras del infierno”.
Por esto algunos afirman que en el infierno hay un cuarto en donde están confinados
aquellos pecadores que sufren de “matematofobia” y en el se dictan clases de matemáticas
a toda hora y por toda la eternidad. De ahí que aquello que sufren de esta “enfermedad”,
no tengan más remedio que portarse bien en esta vida, mientras que los matemáticos
tenemos asegurado trabajo a perpetuidad.
Artur Shopenhauer
“La aritmética es la más baja actividad del espíritu, como claramente lo demuestra el hecho de
que puede ser realizada por máquinas”.
Se conoce con el nombre de aritmética a la Teoría de Números, para Gauss esta área de
la matemática es la reina de dicha ciencia ya que alrededor de los intentos por solucionar
4.4. “APLICACIONES DEL RIGOR MATEMÁTICO A LA VIDA REAL” 141
“Los griegos mantenían a los geómetras en la más alta estima, consecuentemente nada
progresó mas brillantemente entre ellos que las matemáticas, nosotros hemos establecido como
límite para este arte su utilidad para medir y contar”.
En relación con esta última frase y refiriéndose a la muerte de Arquimides, Alfred Whi-
tehead afirmó:
“En efecto, ningún romano perdió la vida porque se hallase absorto en la contemplación de una
figura geométrica”.
Albert Einstein sugería que la creación científica surgía de la combinación entre el trabajo
y el descanso. Siguiendo esta premisa veamos estas caricaturescas “aplicaciones del rigor
matemático”.
142 CAPÍTULO 4. LA RAZÓN Y LA SIN RAZÓN
Demostración. Para demostrar este teorema para todo gobernante, es suficiente probarlo
para un gobernante arbitrario. Pero si un gobernante es arbitrario, obviamente es injusto.
Por lo tanto, todos los gobernantes son injustos.
audiencia en 1963 ante el comité de relaciones exteriores del senado de Estados Unidos,
sobre el tratado de pruebas de explosiones nucleares:
Seaborg: El tritio se usa en una arma y se desintegra con una vida-media de 12 años. Pero
el plutonio y el uranio tienen una vida-media tan larga que no se detectan cambios en la
vida humana.
Fulbright: Estoy seguro que esto parece un asunto muy ingenuo, pero ¿Por qué usted se
refiere a la vida-media y no a toda la vida? ¿Por qué lo mide en términos de vidas-medias?
Seaborg: Es un asunto que puede discutirse largamente.
Fulbright: Probablemente no me beneficiaría un gran debate. Es curioso que usted hable
de vida-media en vez de vida entera.
Seaborg: Bien, lo intentaré. Si hay, dígase, un millón de átomos de un material como
el tritio, en doce años la mitad de ellos se habrá transformado en otras sustancias y se
tendrá 500.000 átomos de tritio. Entonces, en otros doce años, la mitad de lo que resta se
transforma, así que habrá 250.000 átomos, y así sucesivamente.
Con base en este análisis, este químico nunca se desintegra totalmente, porque siempre
queda la mitad, pero por supuesto:
“Más del 95 % de los autos registrados de la marca NN en los últimos 11 años aún
están en servicio”.
“El 95 % de los funcionarios claves del presente gobierno leen a diario este
periódico”.
En ninguna parte está definido qué se entiende por funcionario clave del actual
gobierno.
4. Un industrial manifestaba en una entrevista:
“En nuestra compañía hay 3003 accionistas y en promedio cada uno tiene 660
acciones”.
El valor de cada acción es de $2,000,000, y tres accionistas poseen más de las tres
cuartas partes de las acciones, el resto, es decir, menos de 750 acciones, están en
poder de los otros 3000 accionistas.
5. En una propaganda de un almacén por TV se decía: “Nuestras ventas aumentan un
50 % las de nuestro competidor tan sólo un 25 %”.
La realidad es que las ventas se aumentaron de 200 a 300 artículos, mientras que el
competidor paso de 20.000 a 25.000 artículos.
6. Es un estudio estadístico se demostró que cuanto más grandes sean los pies de los
niños, mejor ortografía tienen. ¿Habrá que usar estiradores de pies para mejorar la
ortografía de los niños?
No es necesario, los niños con los pies más grandes cometen menos errores porque
tienen más años y por lo tanto tienen mayor escolaridad.
7. Existe una correlación casi perfecta entre la edad de Juanita y el precio de la gasolina
en los últimos veinte años, por lo tanto Juanita es el culpable del aumento del precio
de la gasolina en los últimos veinte años.
La correlación no implica causa.
4.7. LA VISION DE UN MATEMÁTICO SOBRE EL MOVIMIENTO BROWNIANO 145
de las partículas del fluido con la esfera se promediarán suficientemente bien de tal forma que
no se observará ningún movimiento. Hay un rango intermedio en el cual la esfera es suficien-
temente grande para ser visible bajo el microscopio en un constante movimiento irregular. Esta
agitación, la cual indica el movimiento irregular de las moléculas, se conoce como movimiento
browniano”.
5. El legado de Euclides
Euclides de Alejandría
La huella dejada por Euclides fue inmensa, no sólo por haber sido uno de los primeros
en presentar en forma lógica, ordenada y sistemática la matemática, iniciando un nuevo
período en el desarrollo de esta ciencia, sino también porque en sus trabajos se trasluce
simultáneamente las dos formas de cultivar las ciencias; esto es como creador y como
organizador y difusor de los resultados de sus predecesores.
Aunque parezca paradójico, en nuestro medio, las generaciones anteriores de estudiosos
de la matemática tenían una mayor información sobre la obra de Euclides que los actua-
les. Este hecho se debe fundamentalmente a que quienes impartimos la enseñanza de la
matemática caemos consciente o inconscientemente en el error de identificar lo viejo con
lo obsoleto sin darnos cuenta que muchos de los métodos seguidos por Euclides en sus
demostraciones son una poderosa herramienta en el proceso de enseñanza de las mate-
máticas. A continuación pretendemos presentar un resumen de la obra de este eminente
matemático griego.
La vida de Euclides ha sido un enigma, ya que no se conoce en forma precisa hechos que
permitan elaborar su biografía.
En una obra de Diacono Proclo (410–485) se afirma que vivió bajo el reinado de Ptolomeo
I (306–285 a. c). Las fuentes árabes que se reconoce en el Libro de los Indices aseguran
que Euclides era hijo de Neucrates y nieto de Zenarco quien había nacido en Tiro pero
vivió en Damasco, y su madre se llamaba Berenice. En otros textos se sostiene que nació
en el año 375 a.c y el historiador de la matemática T. Vogt afirma que Euclides vivió en el
período 365–325 a.c.
147
148 CAPÍTULO 5. EL LEGADO DE EUCLIDES
De sus escritos se trasluce la influencia de la lógica aristotélica así como también la ense-
ñanza ideológica de Platón. Estos hechos han permitido suponer que se educó en Atenas
aunque parece que vivió en Alejandría. Los estudios más recientes conducen a la posibi-
lidad de que haya muerto alrededor del año 275 a. c.
Euclides escribió las siguientes obras:
1. Elementos
4. Secciones Cónicas
6. Porismas
7. Sofismas
8. Óptica y Catóptrica
Las obras 3) y 7) están perdidas, existe sólo conjeturas acerca de sus contenidos las cuales
han dado origen a una serie de polémicas que no han terminado aún.
El Libro de los Datos fue traducido al latín en 1180, al francés en 1625 y al alemán en
1866. Esta obra es un suplemento de los libros de geometría que aparecen en los Elemen-
tos. En ella afirma Euclides:
“Una cosa puede ser dada de tres maneras distintas: en especie, como un polígono semejante a
otro; en posición, como el punto común de dos líneas; y en magnitud, como un círculo de radio
conocido”.
Acerca de ptica y Catóptrica podemos decir que son obras de dudosa autenticidad, fueron
traducidas al español en 1585 y al alemán en 1911. En ptica se estudia algo de geodesia y
perspectiva.
Los Elementos es una de las obra más grandes escritas por la mente humana, a pesar
de ser una colección de libros científicos, está catalogada como uno de los escritos más
famosos de la literatura universal. Su rigor lógico ha servido de modelo a los matemáticos,
a través de los siglos.
La obra consta de 13 libros:
El libro I, trata de construcciones elementales, teoremas sobre congruencias, áreas polí-
gonos y el Teorema de Pitágoras. Se inicia con una lista de 23 definiciones algunas de las
cuales son las siguientes:
149
15) Círculo es una figura plana limitada por una sola línea que se llama periferia, res-
pecto de la cual son iguales las rectas que inciden sobre ella trazadas desde uno de
los puntos situados en el interior de la figura.
19) Figuras rectilíneas son las limitadas por rectas. Trilácteras si lo están por tres: cua-
driláteras por cuatro y multiláteras por más de cuatro.
21) Entre las figuras triláteras, el triángulo rectángulo es el que tiene un ángulo recto;
obtusángulo, el que tiene un ángulo obtuso, y acutángulo el que tiene sus tres án-
gulos agudos.
23) Rectas paralelas son las que estando en el mismo plano y prolongadas al infinito, no
se encuentran.
1) Trazar una línea recta desde un punto cualquiera a otro punto cualquiera.
5) Si una recta, al incidir sobre otras dos, forma del mismo lado ángulos internos meno-
res que dos rectos, las dos rectas prolongadas al infinito se encontrarán en el lado
en que estén los ángulos menores que dos rectos.
Vale la pena recordar que algunos de los términos que se mencionan fueron introducidos
mucho después de Euclides, aunque los conceptos son los mismos. Es el caso por ejemplo
de la palabra radio, la cual fue definida sólo hasta el siglo XVI por Ramus en su obra
Scholarum Mathematicorum.
El quinto postulado ha sido llamado postulado de las paralelas porque de él se despren-
de que por un punto exterior a una recta L pasa una y sólo una paralela a L. Muchos
matemáticos intentaron en vano demostrar la dependencia del quinto postulado de los
otros cuatro. En el siglo XIX se probó que un sistema axiomático integrado por los cuatro
150 CAPÍTULO 5. EL LEGADO DE EUCLIDES
primeros axiomas y la negación del quinto era consistente, es decir que de ellos no se de-
rivan resultados contradictorios. De esta manera se demostró la independencia del quinto
postulado de los demás, y surgieron las geometrías no euclidianas.
Después de los postulados presenta una lista de suposiciones sobre las que descansa la
teoría; el nombre que les da es el de Nociones Comunes y son las siguientes:
5. Las cosas dobles de una misma cosa son iguales entre sí.
6. Las cosas mitades de una misma cosa son iguales entre sí.
Las Nociones 2. y 3., fueron presentadas por Aristóteles en sus obras Primeros Analíti-
cos y Metafísica. En la Noción 7 cuando se refiere a cosas congruentes, está señalándose
precisamente aquellas cosas que se ajustan unas a otras sin deformarse.
A continuación enuncia y demuestra 48 proposiciones, entre las cuales mencionamos a
manera de ejemplos las siguientes:
Proposición 4: Si dos triángulos tienen dos lados del uno iguales a dos lados iguales del
otro e iguales los ángulos comprendido por los lados iguales, tendrán iguales sus bases y
los dos triángulos serán iguales.
Proposición 6: Si dos ángulos de un triángulo son iguales, los lados opuestos a estos
ángulos también serán iguales.
Proposición 10: Dividir un segmento dado en dos partes.
Proposición 11: Dada una recta indefinida, trazarle desde un punto que no esté sobre
ella una recta perpendicular.
Proposición 15: Si dos rectas se cortan, forman ángulos opuestos por el vértice iguales.
Proposición 20: En todo triángulo dos lados cualesquiera, tomados en junto, son mayores
que el otro lado.
151
Proposición 29: Una recta que incide sobre dos paralelas forma ángulos alternos iguales
entre sí y el externo igual al interno y opuesto y los internos del mismo lado iguales a dos
rectos.
Proposición 47: En los triángulos rectángulos, el cuadrado sobre el lado opuesto al ángulo
recto es equivalente a los cuadrados sobre los lados que forman ese ángulo recto.
Esta última proposición fue atribuida por Proclo al “jefe de la escuela pitagórica”, y hoy
se conoce con el nombre de Teorema de Pitágoras.
Euclides la demostró así:
Sea ABG el triángulo rectán-
gulo que tiene recto el ángu-
lo BAG. Constrúyase sobre el
lado BG el cuadrado BDEG y
sobre los lados BA y AG los
cuadrados HB y T G; por el
punto A trácese la AL para-
lela a los BD y GE y únase A
con D y Z con G.
Puesto que los ángulos BAG y BAH son rectos, sobre la recta BA y en su punto A las dos
rectas AG y AH, no situadas en el mismo lado, forman ángulos contiguos que, juntos, son
dos rectos, esas rectas están sobre la misma recta.
Por el mismo razonamiento se demuestra que las rectas BA y AT están sobre la misma
recta y como el ángulo DBG es igual a ZBA porque los dos son rectos, añádase el ángulo
común ABG y entonces el ángulo entero DBA será igual al entero ZBG.
Y porque DB es igual a BG y ZB a BA, los triángulos DBA y ZBG son iguales.
Ahora bien: El paralelogramo BL es doble del triángulo ABD porque tienen la misma base
BD y están entre las mismas paralelas BD y AL, y el cuadrado HB es doble del triángulo
ZBG porque tienen la misma base ZB y están entre las mismas paralelas ZB y HA; luego
el paralelogramo BL es equivalente al cuadrado HB.
Si se trazan las rectas AT y BK se demostraría de modo análogo que el paralelogramo GL
es equivalente al cuadrado T G, y por tanto, el cuadrado BDEG es equivalente a los dos
cuadrados HB y T G juntos.
Es importante resaltar, que en este primer libro, parece como si el autor eludiera a propó-
sito el empleo del quinto postulado, ya que sólo lo viene a utilizar en la Proposición 29,
cuando hubiera podido hacerlo con algunas proposiciones anteriores lo cual simplificaría
las respectivas demostraciones. Los historiadores de la matemática consideran este hecho
como una prueba de que Euclides no estaba absolutamente seguro de la independencia
de este postulado, de los otros cuatro.
152 CAPÍTULO 5. EL LEGADO DE EUCLIDES
1. De todo paralelogramo rectángulo se dice que está comprendido por las dos rectas
que forman el ángulo recto.
(a + b)2 = a2 + 2ab + b 2 .
Proposición 9: Si se divide una recta en partes iguales y desiguales, los cuadrados de las
partes desiguales de la recta entera son doble del de la mitad de la recta entera, mas el
cuadrado de la diferencia entre las dos clases de cortes.
153
Esta proposición está afirmando lo siguiente: Sean el segmento AB, G el punto medio y D
un punto cualquiera del segmento. Si a es la longitud del segmento AD y b es la longitud
del segmento DB, entonces
⎡ 2 ⎤
⎢⎢ a + b 2 a + b ⎥⎥⎥
a2 + b2 = 2 ⎢⎣⎢ + a− ⎦⎥ .
2 2
Proposición 11: Dividir una recta en dos partes de modo que el rectángulo comprendido
por la recta entera y por una de sus partes sea equivalente al cuadrado de la otra parte.
El método que siguió Euclides para la demostración de esta proposición fue en términos
generales el siguiente:
Sea PQ el segmento de recta da-
do.
Constrúyase el cuadrado PQRS.
Tome E el punto medio del seg-
mento PS. Prolónguese el seg-
mento SP hasta Z de tal forma
que
EZ = EQ (5.1)
Determine sobre PQ un segmen-
to PT igual a PZ. Veamos que
2
PQ T Q = PT
Pero
EZ = α + β (5.3)
154 CAPÍTULO 5. EL LEGADO DE EUCLIDES
y
EQ 2 = α 2 + (2α)2 . (5.4)
Entonces, de (5.1), (5.2), (5.3) y (5.4) se desprende que
1. Círculos iguales son los que tienen iguales sus diámetros o cuyas líneas desde el
centro son iguales.
155
2. Se dice que una recta es tangente al círculo cuando lo toca y prolongada no lo corta.
3. Se dice que dos círculos son mutuamente tangentes cuando se tocan mutuamente y
no se cortan.
6. Segmento de círculo es la figura limitada por una recta y por la periferia del círculo.
10. Sector circular es la figura formada por las rectas que limitan el ángulo construido
en el centro y por la periferia comprendida por ellas.
Vale la pena recordar que las palabras arco y cuerda fueron empleadas, por primera vez
solo hasta el siglo XIII cuando el matemático italiano Juan Campanus las introdujo en la
obra Principios de los Elementos.
El libro III está integrado por 37 proposiciones, entre las cuales mencionaremos las si-
guientes:
Proposición 1: Encontrar el centro de un círculo dado.
Proposición 2: La recta que une dos puntos cualesquiera de la periferia de un círculo cae
dentro del círculo.
Proposición 6: Si dos círculos se tocan no tiene el mismo centro.
Proposición 9: Si desde un punto interior a un círculo se le trazan más de dos rectas
iguales, este punto es el centro del círculo.
Proposición 17: Desde un punto dado trazar una recta tangente a un círculo dado.
Proposición 23: Sobre una recta y al mismo lado de ella no se puede construir dos seg-
mentos circulares semejantes y desiguales.
Proposición 29: En círculos iguales arcos iguales subtienden rectas iguales.
Proposición 36: Si desde un punto exterior a un círculo de le trazan dos rectas, una de las
cuales lo corta y la otra solo lo toca, el rectángulo comprendido por toda la recta secante y
su parte exterior entre el punto y la periferia convexa de círculo equivale al cuadrado de
la tangente.
Proposición 37: Si desde un punto exterior a un círculo se trazan dos rectas, una de las
cuales lo corta y la otra lo toca, el rectángulo comprendido por toda la secante y su parte
exterior entre el punto y la periferia cóncava equivale al cuadrado de la recta que le toca,
esta es tangente al círculo.
Para probar la primera proposición procedió de la siguiente manera:
Sean Γ la circunferencia y una cuerda cualquiera AB. Si D es el punto medio
156 CAPÍTULO 5. EL LEGADO DE EUCLIDES
también es recto, entonces los ángulos ADH y ADZ son iguales, lo cual es imposible.
La proposición 9 la demostró así:
ángulos AED y BED son rectos. Entonces, la cuerda KH es perpendicular a AB y pasa por
su punto medio; pero según la construcción que se hizo en la proposición 1 se sabe que
el centro de la circunferencia está sobre la cuerda KH y por la misma razón también está
sobre la cuerda T L, pero como estos dos segmentos no tienen ningún otro punto común
fuera de D, entonces D es el centro de la circunferencia.
La proposición 36 puede ser enunciada de la siguiente manera:
Si desde un punto A exterior a una circunferencia, se traza una recta tangente en B a la
circunferencia y otra que la corte en los puntos C y D, entonces
AC · AD = AB 2 .
2
PQ · PR = PE
3. Se dice que una figura rectilínea está inscrita en un círculo cuando cada uno de los
ángulos tiene el vértice en la periferia del círculo.
4. Se dice que una figura rectilínea está circunscrita a un círculo, cuando cada uno de
sus lados es tangente a la periferia de círculo.
5. Análogamente se dice que un círculo está inscrito en una figura cuando su periferia
toca a cada uno de los lados de la figura.
7. Se dice que una recta está adaptada a un círculo cuando sus extremos están en la
periferia del círculo.
Pero en la proposición 31 de este mismo libro, se demuestra que el ángulo HBA es recto.
Luego los ángulos AHB y BAH suman un recto. Por otra parte como AH es perpendicular
a ET , los ángulos BAH y T AB suman un recto. De donde los ángulos AHB y T AB son
iguales, y por lo tanto, los ángulos ACB y T AB son iguales.
Veamos ahora sí, cómo demostró Euclides la proposición 2 del libro IV.
Sean ABG el círculo y DEZ el triángulo. Trácese la recta HT tangente al círculo y cons-
trúyase sobre ella y en su punto de contacto A el ángulo T AG igual al ángulo DEZ y por
otro lado el ángulo HAB igual al ángulo DZE y únase B con G.
Por ser HT tangente al círculo, el ángulo T AG es igual al ángulo ABG y como el ángulo
T AG es igual a ángulo DEZ, el ángulo ABG también es igual al ángulo DEZ; lo mismo
sucede con los ángulos AGB y DZE; y por tanto, el ángulo restante BAG del triángulo
ABG será igual al restante EDZ y el triángulo ABG ha quedado inscrito en el círculo y sus
ángulos son iguales a los del DEZ.
4. Se dice que dos magnitudes tienen razón cuando se puede multiplicar una de ellas
de modo que supere la otra.
1. Figuras rectilíneas semejantes son las que tienen los ángulos iguales y los lados pro-
porcionales.
2. Figuras inversamente proporcionales son las que tienen sus lados inversamente pro-
porcional a los ángulos opuestos iguales.
3. Se dice que una recta esta dividía en media y en extrema razón cuando la línea total
es a la parte mayor como la parte mayor a la parte menor.
En la primera definición se observa que Euclides omitió el hecho de que los lados propor-
cionales son los opuestos a los ángulos iguales.
162 CAPÍTULO 5. EL LEGADO DE EUCLIDES
En este libro demuestra 33 proposiciones, entre las cuales están las siguientes:
Proposición 2: Si se traza una recta paralela a uno de los lados de un triángulo, cortara a
los otros dos proporcionalmente; y si los lados de un triángulo están cortados proporcio-
nalmente la recta que une los puntos de sección será paralelo al tercer lado del triángulo.
Proposición 4: En los triángulos equiángulos, los lados opuestos a los ángulos iguales son
proporcionales.
Proposición 5: Si dos triángulos tienen sus lados proporcionales, sean equiángulos y los
ángulos iguales corresponderán a los lados subtenidos.
Proposición 11: Construir la tercera proporcional a dos rectas dadas.
Proposición 13: Construir la media proporcional entre dos rectas dadas.
Proposición 19: Los triángulos semejantes son entre sí como las razones duplicadas de
los lados homólogos.
Proposición 27: Entre todos los paralelogramos aplicados sobre la misma recta y defi-
cientes de paralelogramo semejantes al construido sobre la mitad de esta recta y seme-
jantemente dispuestos, el mayor es el aplicado a la mitad de la recta y semejante a su
defecto.
Proposición 33: En círculos de igual radio los ángulos son proporcionales a los arcos que
comprenden, lo mismo si tienen sus vértices en el centro que en la circunferencia.
En términos generales, el método que utilizó en la demostración de la proposición 4 fue
el siguiente:
Sean los triángulos BAG y GDE, tales
que BG y GE estén en la misma recta y
y
AGB = DEG. (5.6)
Como
AZ = GD (5.8)
y
AG = ZD (5.9)
por la proposición 2 podemos concluir que
BA BG
= (5.10)
AZ GE
reemplazando (5.8) en (5.10), obtenemos
BA BG
=
GD GE
de donde
BA GD
= (5.11)
BG GE
Aplicando nuevamente la proposición 2 tenemos que como GD es paralelo a BZ, entonces
BG ZD
= (5.12)
GE DE
Reemplazando (5.9) en (5.12) obtenemos
BG AG
=
GE DE
de donde
BG GE
= (5.13)
AG DE
De (5.11) y (5.13) se sigue que
BA BG GD GE
=
BG AG GE DE
por lo tanto
BA GD
=
AG DE
La Proposición 11 la demostró así:
164 CAPÍTULO 5. EL LEGADO DE EUCLIDES
AB BD
=
BD BG
El libro VII es el primero de los destinados al estudio de la teoría de los números. Aunque
los Babilonios ya habían incursionado en esta rama de la matemática, es en este libro de
Euclides donde por primera vez se encuentra una sucesión lógica de teoremas relativos a
este tema. Su lectura es bastante difícil ya que exige realizar un gran esfuerzo para poder
seguir algunos razonamientos a través de caminos llenos de frase repetidas las cuales
muchas veces desvían la atención del lector. Lo inicia con 22 definiciones entre las cuales
están las siguientes:
1. Unidad es aquello en virtud de lo cual cada cosa que existe se llama uno.
2. Número es una pluralidad compuesta de unidades.
4. Un número es fracción de otro cuando no lo mide.
165
12. Números Primos entre sí son los que no tienen más divisor común que la unidad.
14. Números compuestos entre sí son los que tienen un mismo divisor común.
Llévese sucesivamente el menor DG sobre el mayor BA hasta el punto Z tal que la longitud
que quede ZA sea menor que DG.
Por medir E a DG y DG a BZ, entonces, E mide a BZ, y como también mide a BA medirá
a ZA. Pero ZA mide a DH, entonces E mide a DH, y como E mide a DG, E mide a HG.
HG mide a ZT , E mide a ZT , y por medir E además a ZA, se tiene que E mide a la unidad
T A lo cual es imposible. De donde los números BA y DG no teniendo, pues, un número
que los mida, son primos entre sí.
En la proposición 2 lo que pide hallar es el máximo común divisor de dos números, su
demostración es similar a la de la proposición anterior.
En la proposición 4 lo que se afirma es que dados dos números el menor es siempre divisor
o una fracción del mayor.
En la proposición 16 se pide demostrar la propiedad conmutativa del producto.
Veamos cómo demostró la proposición 23.
Sean A y B dos números primos entre sí. Si G es un número que divide a A, y B y G no
son primos entre sí, tendrán un divisor común D. Pero como D divide a G y G divide a A,
entonces, D divide a A; y como también divide a B, resulta que A y B no son primos entre
sí, lo cual es imposible; luego B y G son primos entre sí.
La proposición 28, significa que si a y b son primos entre sí, también lo son a y a + b, y b y
b + a.
La proposición 31 la demostró de la siguiente manera:
Si A es un número compuesto, tiene algún divisor B que si es primo queda demostrado
lo que queríamos, y si no lo es tendrá algún divisor G que lo será también de A; si G es
primo queda demostrado lo que queríamos, y si no es tendrá algún divisor D y siguiendo
razonando así se llega a un divisor primo, porque cada divisor es menor que el anterior y
no hay infinitos.
168 CAPÍTULO 5. EL LEGADO DE EUCLIDES
A B C
= = =K (5.14)
B C D
E Z T
= = =K (5.15)
Z T H
y
E < A, Z < B, T < C y H < D. (5.16)
A E
= .
D H
cd de
=
de ef
Este libro consta de 36 proposiciones dentro de las cuales están las siguientes:
Proposición 1. El producto de dos números planos semejantes es un cuadrado.
Proposición 9. Si varios números empezando por la unidad están en proporción continua
y el número que sigue a la unidad es un cuadrado, todos los demás serán cuadrados y si
cubo, cubos.
Proposición 20. Hay más números primos que cualquier conjunto de números primos.
Proposición 22. Si se suma un número par de números impares el conjunto es par.
Proposición 26. Si de un número impar se quita un impar lo que queda es un par.
Proposición 35. Si varios números están en proporción continua y se quita el primero del
segundo y del último, el exceso del segundo es al primero como el del último a todos los
que están delante de él.
Proposición 36. Si varios números empezando por la unidad, están en proporción dupli-
cada y el conjunto de todos es un número primo, el producto de éste por el último es un
número perfecto.
La demostración de la proposición 1 es muy sencilla ya que si A = ab y B = cd son dos
a b
números planos semejantes entonces = y por lo tanto ad = bc.
b d
Pero AB = abcd = (ad)(bc) = (ad)2 , que era lo que se pedía demostrar.
170 CAPÍTULO 5. EL LEGADO DE EUCLIDES
Si ED es el menor número que está medido por ellos2 , agréguesele la unidad DZ.
Esto es,
k n−1 − 1 = (k − 1)(1 + k + . . . + k n−2 )
2 Es decir ED es el producto de A, B y G
171
3 Una recta es perpendicular a un plano cuando forma ángulos rectos con todas las
rectas que la cortan y están en el plano.
13 Prisma es la figura sólida limitada por planos, dos de los cuales son opuestos, iguales
y paralelos, y los demás son paralelogramos.
24 Conos y cilindros semejantes son los que tienen proporcionales los ejes y los diáme-
tros de los cuadrados.
Proposición 1. Los polígonos semejantes inscritos en círculos son entre sí como los cua-
drados de sus diámetros.
Proposición 2. Los círculos son entre sí como los cuadrados de sus diámetros.
Proposición 10. Un cono es la tercera parte de un cilindro de la misma base y la misma
altura.
Proposición 14. Los conos de igual base son entre sí como sus alturas.
Proposición 16. Dados círculos del mismo centro, inscribir en el mayor un polígono equi-
látero cuyos lados no toquen el menor.
Proposición 18. Las esferas son entre sí como las razones triplicadas de sus diámetros.
Para poder entender la demostración que dio Euclides de la proposición 1 es necesario
recordar que en la proposición 20 del Libro VI probó que si a y b son dos lados homólogos
de los polígonos semejantes P y Q, entonces
a2 área de P
=
b 2 área de Q
Veamos ahora sí la prueba que hizo
Euclides de esta proposición:
Sean ABGDE y ZHT KL dos polígo-
nos semejantes inscritos en sendos
círculos de diámetro BM y HN . Trá-
cense las rectas BE, AM, HL y ZN .
BM BA
= .
HN HZ
176 CAPÍTULO 5. EL LEGADO DE EUCLIDES
Luego
2 2
BM BA
2
= 2
HN HZ
pero en la proposición 20 del libro VI se probó que
2
BA área del polígono ABGDE
2
=
HZ área del polígono ZHT KL
Por consiguiente
2
BM área del polígono ABGDE
2
=
HN área del polígono ZLKT H
La demostración según Euclides de la proposición 16 es la siguiente:
Sean ABCG y EZHT los círculos da-
dos. Trácese el diámetro BKD y por el
punto H la HA perpendicular a la BD
que tocará al círculo EZHT .
Bisecamos el arco BAD, hacemos lo
mismo con cada uno de los arcos en
que queda dividido, continuamos así
sucesivamente hasta obtener un arco
LD menor que AD.
Bájese desde L la perpendicular a BD hasta N . Únase D con L y será DL igual a DN y por
ser LN paralela a AG y AG tocar el círculo EZHT , la LN no lo tocará y por lo tanto DL y
DN tampoco.
Si en el círculo ABGD se trazan entonces las rectas iguales a DL y se colocan continua-
mente quedará inscrito en ese círculo un polígono equilátero cuyos lados no tocarán el
círculo EZHT , que era lo que se quería demostrar.
El último libro de los Elementos es el XIII, se basa en las investigaciones de Eudoxio sobre
la división de segmentos en media y extrema razón, así como también en los trabajos de
Theteto de Atenas “410?-368 a.c” sobre los cuerpos regulares y las irracionalidades que
determinan. El libro tiene como principal objetivo la construcción de los cinco sólidos
regulares y consta de 18 proposiciones, entre las cuales están:
Proposición 5. Si se divide una recta en media y extrema razón y se le añade una recta
igual a la parte mayor, la recta total también queda dividida en media y extrema razón y
su parte mayor es la recta dada.
Proposición 9. Si se unen el lado del hexágono y del decágono inscritos en el mismo
círculo, la recta total resultante queda dividida en media y extrema razón y la parte mayor
es el lado del hexágono.
177
DB AB
= ,
AB DA
y por ser AB mayor que AG, es AB mayor que DA. Luego BD ha quedado dividida en
media y extrema razón por el punto A y su parte es la recta dada AB.
Al interpretar algebraicamente esta proposición, lo que nos afirma es que si r = AB, x =
AG,
y r(r − x) = x2 , entonces
178 CAPÍTULO 5. EL LEGADO DE EUCLIDES
(r + x)x = r 2 .
En relación con la proposición 9 podemos decir que la idea central de la demostración
que aparece en los Elementos está en la siguiente prueba, la cual hemos hecho utilizando
notación que no fue empleada por Euclides.
T
Pero como
GEB + GEA = EBG + BGE + GEB.
Entonces
GEA = EBG + BGE.
Luego
4BEG = EBG + BGE. (5.18)
Por otra parte
EBG = BGE. (5.19)
Debido a que BE = GE.
Reemplazando (5.19) en (5.18) tenemos
2BEG = BGE.
además
GBE = GDE + GED.
179
Luego
BGE = 2GDE. (5.22)
BEG = GED
y por lo tanto
BED = 2GDE. (5.25)
Como el GBE es común a los triángulos BGE y BED; y además por lo que tenemos en
(5.24) y (5.26) podemos concluir que estos triángulos son equiángulos; de donde
BD BE
=
BE BG
l10 + r r
=
r l10
es decir que
2
l10 + rl10 − r 2 = 0
o sea √
5−1
l10 = r .
2
El método seguido en la prueba de la proposición 12 fue el siguiente:
180 CAPÍTULO 5. EL LEGADO DE EUCLIDES
Introducción
Aunque los vestigios sobre una actividad matemática se encuentran en todas las cultu-
ras, la historia de la matemática como tal se inicia hace un poco más de 4000 años; pero
como ciencia en un sentido moderno, la matemática aparece más tarde en Grecia, entre
los siglos V y IV a.C. El contacto creciente con el oriente puso a los griegos al corriente
del conocimiento de los babilonios y egipcios sobre matemáticas y otras ciencias; al some-
ter esta matemática a las discusiones filosóficas que florecieron en las ciudades griegas,
fueron surgiendo las grandes dificultades inherentes a los conceptos de infinitud, movi-
miento y continuidad entre otros; y en los intentos por darle solución a estos problemas
surgió de la mano de Eudoxio de Cnido, con su teoría del continuo geométrico, el método
de análisis axiomático-deductivo el cual vino a tener su más significativo grado de desa-
rrollo siglos después en la obra Elementos de Euclides, que ha sido considerada como el
más grande modelo de construcción deductiva de la matemática.
Los griegos fueron los creadores de la Matemática como una ciencia descontextualizada
universal, rigurosa cuyas diferentes áreas parten de una axiomática coherente e indepen-
diente y se construyen mediante un método de análisis lógico-deductivo.
Uno de los temas que más atrajo la atención de los matemáticos griegos, fue el de las
construcciones de figuras geométricas con el uso exclusivo de la regla y el compás. Los
historiadores de la matemática han atribuido a Platón (-429, -348) la limitación de los
elementos para la construcción de figuras geométricas, a estos dos instrumentos.
En todos estos casos, la regla sólo se utiliza, como borde rectilíneo para dibujar rectas,
pero no para medir o transportar distancias.
Los griegos ya podían hacer entre otras muchas, las siguientes construcciones con regla y
compás:
181
182 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
A I B
b. La bisectriz de un ángulo.
A
B
c. Una recta perpendicular a otra desde un punto dado. (Elementos. Libro I Proposición
11).
d. El hexágono regular inscrito en una circunferencia.
La realización de una construcción con regla y compás de alguna figura geométrica, repre-
sentó una enorme contribución al desarrollo de la matemática ya que toda la aritmética y
el algebra griegas se hicieron con el uso exclusivo de la regla y el compás.
183
Veamos cómo hacían los griegos sus operaciones aritméticas con regla y compás.
1
Demostración. Sea:
entonces:
1 1 1
√
6.3 Ejemplo. El número 2 es constructible.
184 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
1
Demostración. Sea:
Construimos con regla y compás un cuadrado de lado 1.
Trazamos con
√ la regla la diagonal del cuadrado y de esta forma obtenemos el segmento
de longitud 2:
1. α + β ∈ M
2. Si α < β, β − α ∈ M
3. αβ ∈ M
β
4. α ∈ M si α 0.
Demostración. Sean:
α β 1
entonces:
185
1.
α β
α+β
Lo anterior nos conduce a afirmar que α + β ∈ M.
2.
α β −α
0 1
α
A partir de O y sobre uno de los lados colocamos los segmentos de longitud α y 1,
sobre el otro se coloca el segmento β. A continuación se une el extremo superior de
β con el extremo superior del segmento 1, como se muestra en la figura.
A partir del extremo superior de α se traza una recta paralela a la que une β con 1,
β
este nuevo segmento lo llamamos x; por semejanza de triángulos tenemos que 1 = αx
por lo tanto x = αβ. Lo anterior nos permite afirmar que αβ ∈ M.
β
α
0 1
x
186 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
A partir de O y sobre uno de los lados colocamos los segmentos α y β, sobre el otro se
coloca el segmento 1. A continuación se une el extremo superior de α con el extremo
superior del segmento 1, como se muestra en la figura.
A partir del extremo superior de β se traza una recta paralela a la que une α con 1,
este nuevo segmento lo llamamos x; por semejanza de triángulos tenemos que α1 = βx
β β
por lo tanto x = α . Lo anterior nos permite afirmar que α ∈ M.
√
6.6 Teorema. Si α ∈ M y α > 0, entonces, α ∈ M.
β
α 1
A C
B
Como CDA CBD, por ser rectángulos y tener en común el ángulo en C, entonces
∠CDB = ∠DAB. Luego los triángulos rectángulos DBC y ABD son semejantes. Por lo
√
tanto, BC = BD . Esto es, β1 = α , de donde β 2 = α, lo cual implica que β = α .
β
BD AB
1
6.8 Ejemplo. Dado el segmento unitario construir con regla y compás:
√ √
1. 3y 2
√
2. 4 3
√ √
3. 4 3 2
√
4
√
3√ 2
4.
1+ 4 3
187
√ √
3 2 √
4
3
3 1 2 1
√4 √
√4 √ 3 2
√ 3 2
2 √
4
√
3√ 2
1+ 4 3
√4 √
1 3 1 1+ 43
6.9 Teorema. Dada la ecuación polinomial x2 − ax + b = 0 con a2 > 4b, es posible encontrar
con regla y compás sus raíces.
2
2
Por otra parte, al tomar el círculo con centro en 2a , b+1
2 y radio a4 + b−1
2 se obtiene la
ecuación:
2 2 2
a b+1 a2 b−1
x− + y− = + , (6.1)
2 2 4 2
188 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
pero de acuerdo con lo que que se acaba de hacer con la ecuación x2 − ax + b = 0 podemos
ver que cuando y = 0 en (6.1), se obtiene la ecuación original.
Luego las soluciones de la ecuación se obtienen al intersectar el círculo (6.1) con el eje
real.
Como los puntos (0, 1) y (a, b) satisfacen (6.1) y además el punto medio del segmento
que une (0, 1) y (a, b) es el centro del círculo, para encontrar las raíces de la ecuación
x2 − ax + b = 0 con regla y compás se debe proceder de la siguiente manera:
P
b
α β a
7. Los puntos de corte, α y β, del círculo con el eje horizontal son las soluciones de la
ecuación x2 − ax + b = 0 con a2 > 4b.
Solución.
189
P
2
0
α β 3
1
Sea el segmento
entonces como se ve en el gráfico α y β son las respectivas raíces de la ecuación.
Solución.
Sea y = x2 primero vamos a resolver la ecuación y 2 − 5y + 5 = 0.
1
Si
5
es el segmento 1, entonces
es el segmento 5,luego
b P
α β 5
A continuación se calcula con regla y compás la raíz cuadrada de cada una de las raíces
de la ecuación anterior.
190 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
5 P 5 P
0 0
1 1
α β 1
√
α β 5 5
α
β
x x x ··· x x x ··· x
a = nx b = mx
6.13 Teorema. La diagonal del cuadrado no es conmensurable con el lado del cuadrado.
A D
B F C
Tracemos una recta perpendicular a AC a partir del punto E tal que AE = AB.
Existen m y n naturales tales que AB = mx y AC = nx, luego EC = (n − m)x.
191
Los triángulos rectángulos ABF y AEF son iguales porque tienen un cateto igual AB =
AE y la hipotenusa AF común. Luego BF = FE.
Por otra parte el CEF ∼ CBA ya que ∠E = ∠B = ∠90◦ y ∠C es común; entonces
EC = FE (porque AB = BC). De donde BF = EC y por lo tanto FC = mx − (n − m)x =
(2m − n)x.
Llamemos n2 = (2m − n) y m2 = n − m. Es claro que 0 < n2 < n. Construimos el cuadrado de
lado EC = m2 x y diagonal FC = n2 x.
Procediendo en forma similar a como lo hicimos con el cuadrado ABCD tenemos que es
posible construir un cuadrado IJKC sobre la diagonal FC del cuadrado ABCD tal que
IC = m3 x y JC = n3 x con m3 y n3 naturales y además 0 < n3 < n2 .
A D
C
B F I
J K
G
lo cual es una contradicción ya que toda sucesión decreciente de números naturales tiene
un elemento mínimo.
Cuadraturas geométricas
6.15 Definición. Cuadrar una región R del plano, consiste en encontrar un cuadrado que
tenga igual área que R.
192 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
6.16 Observación. Con el fin de poder comparar áreas de regiones del plano los griegos
recurrían a procesos de cuadraturas. En algunos casos pudieron encontrar en forma exacta
el lado del cuadrado que permitiera cuadrar la región en cuestión, en otros no fue posible
hacerlo.
En general si tenemos una región R del plano, podemos tomar muchos puntos que estén
en su frontera y conectarlos continuamente con segmentos de recta para obtener de esta
forma un polígono que aproxime a la región R. Por esta razón vamos a limitarnos ini-
cialmente a estudiar como se cuadran los polígonos. Para tal efecto, tenemos que aceptar
que toda región poligonal R se puede descomponer en un número finito de triángulos:
(0)
1 , 2 , · · · , n , tales que si 1 es la región que encierra el triángulo i entonces
n
(0) (0) (0)
i ∩ j = ∅ ∀i j y R = i ∪ i
i=1
A b h B
C
Demostración. Sea T un triángulo de base b y altura h. Por el teorema 6.18 se tiene que el
rectángulo R de base b y altura h puede ser cuadrado.
193
Sea β el lado del cuadrado que cuadra a R. Trazamos las diagonales del cuadrado y con
el uso de la regla y el compás construimos un cuadrado R cuya área es el doble de la del
√ √ 2
β 2 β 2 β2
triángulo I de la figura. El lado de este cuadrado es 2 luego su área será: 2 = 2 = bh
2
c a
a b b
c 2 = a2 + b 2
Si ak es el lado del cuadrado k ∀k = 1, · · · , n, se escoge el lado b de de tal forma que,
n
b2 = a2k .
k=1
194 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
Demostración. Consecuencia inmediata de los teoremas 6.18 y 6.19, y del hecho de que
toda región poligonal puede descomponerse como la unión de un número finito de trián-
gulos disyuntos dos a dos.
ΔI
ΔII ΔIII
α β
δ α
δ
β
ς
195
ρ
μ κ
κ
ρ
μ
θ
ς
η λ
λ
η ς
φ
ς
Ω
196 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
6.22 Definición. Una lúnula es una región plana limitada por dos arcos de circulo de
radio diferente con la convexidad del mismo tipo.
6.23 Observación. Uno de los retos más grandes para los matemáticos griegos era el de
cuadrar regiones curvas. Las primeras regiones de este tipo que pudieron cuadrarse fue-
ron algunas lunulas, proeza debida a uno de los últimos pitagóricos, Hipócrates de Quios
(460-380 a.C), quien logró cuadrar tres lúnulas; durante mucho tiempo se creyó que estas
eran las únicas lúnulas cuadrables pero como sospechó J. Wallen d’Abo en 1776 y demos-
tró Th. Clausen en 1840, hay otras dos, lo que eleva a cinco y sólo a cinco, el número de
lúnulas cuadrables.
Es importante resaltar que los trabajos sobre cuadraturas de lúnulas debidos a Hipócrates
de Quios, se conocen gracias a los fragmentos que aún se conservan de la obra Historia de
la Geometría escrita por Eudemo de Rodas.
6.24 Definición. En forma general se pueden clasificar las lúnulas en tres grandes tipos:
Lúnulas de tipo I Estas lúnulas se caracterizan porque el diámetro del círculo menor es
secante a la circunferencia mayor.
Lúnulas de tipo II Estas lúnulas se caracterizan porque el diámetro del círculo menor
está dentro del círculo mayor.
Lúnulas de tipo III Estas lúnulas se caracterizan porque el diámetro del círculo menor
no es secante ni esta dentro del círculo mayor.
6.25 Observación. Vamos a cuadrar una lúnula de Tipo I y otra de Tipo II.
6.26 Teorema. Es posible cuadrar una lúnula de Tipo I.
nuevo radio el que parte de este punto y llega a uno cualquiera de los extremos de la dia-
gonal, trace el círculo mayor. De √
esta manera obtenemos una lúnula de Tipo I con radios
del círculo menor α y del mayor 2α.
I
D
α
A B
√
2α
Recordando que un segmento circular es la región limitada por un arco y una cuerda, se
puede observar que
(Segmento circular ADB) ∪ (AOB) = Sector circular OADB
(Segmento circular ADB) ∪ (Lúnula I) = Semicírculo menor
Además estas uniones son disyuntas; por lo visto en 2) y 4) se tiene que
1
Area del sector circular OADB = Area del semicírculo menor = α 2 π
2
Entonces
Luego:
(Area del AOB) = (Area de la Lúnula I)
2α α
6.27 Observación. Para poder cuadrar una lúnula de Tipo II es necesario demostrar una
serie de proposiciones previas.
6.28 Definición. Un trapecio es un cuadrilátero que tiene dos lados paralelos.
6.29 Definición. Un trapecio que tiene al menos un par de lados opuestos congruentes se
llama trapecio isósceles.
6.30 Ejercicio. Dado un segmento AD construir un segmento AB tal que:
2 2
AB = 3AD
Solución.
x
Sea entonces hacemos la siguiente construcción:
A D
B
x
C
√
√ 3x
2x
x
D x A
6.31 Teorema. Dado el segmento AD, construir un trapecio ABCD tal que AD = DC = CB y
2 2
AB = 3AD .
√
Demostración. Sea x = AD, constrúyase AB = 3x como √ se hizo
en el ejercicio anterior.
Sobre el segmento AB constrúyase el segmento FB = 12 ( 3x − x) FB = 12 (AB − AD) .
199
D x C
A R F B
D E C
A S B
6.33 Definición. Dos segmentos de círculo son semejantes si los ángulos centrales sub-
tendidos por sus cuerdas son iguales.
II
I es similar a I I
6.34 Ejercicio. En relación con el gráfico siguiente, construir un arco ASB tal que el seg-
mento IV sea semejante al segmento I.
Demostración. Sea M el centro del círculo en la cual esta inscrito el trapecio. Construimos
a continuación el triángulo ABR semejante al triángulo ADM.
De esta forma se obtiene que los segmentos I y IV son semejantes.
6.35 Ejercicio. Demuestre que el arco ACB es mayor que el semicírculo del círculo en la
cual está inscrito el trapecio.
2 2 2
AC = AF + FC
2 2 2
AF = AD − FD
2
FC = (FD + DC)2 .
F D C
A B
Luego,
2 2 2
AC = (AD − FD ) + (FD + DC)2
2 2 2 2
= AD − FD + FD + DC + 2FDDC
2 2
= AD + DC + 2FD DC
2 2
> AD + DC (6.2)
Pero como,
2 2
AB = 3AD
2 2 2
= AD + AD + AD
2 2 2
= AD + DC + CB
2 2 2
AB < AC + CB
2 2 2
Si ∠ACB = π
2 entonces AB = AC +CB , lo cual es una contradicción, por lo tanto ∠ACB
π
2.
202 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
Si ∠ACB fuera obtuso es fácil ver que esto nos conduce a una contradicción. De lo anterior
se desprende que ∠ACB es agudo.
Un conocido teorema de la geometría euclidiana establece que si ∠ACB esta inscrito en
una circunferencia, entonces la medida del arco menor AB = 2 la medida del ∠ACB.
Pero como: medida de ∠ACB < π
2
entonces
2 medida de ∠ACB < π.
Luego,
medida del arco menor AB < π
De donde,
medida del arco ACB > semicírculo.
A D B
θ θ
2 2
ADCB
área del AOB =
2
⎛
⎞
1 ⎜⎜⎜ ⎟⎟
= ⎜⎝2 DBOD ⎟⎟⎠
2
= DBOD
θ θ
= r 2 sin cos .
2 2
Por lo tanto:
área del segmento AEB = área del sector OAEB −área del AOB
θπr 2 θ θ
= − r 2 sin cos
360 2 2
θπ θ θ
= r2 − sin cos
360 2 2
6.37 Teorema. En el trapecio del ejercicio 6.35, el área del segmento circular IV, es igual a la
suma de las áreas de los segmentos I, II y III.
Demostración.
2 θπ
área del segmento IV OB 360 − sin θ2 cos θ2
2 θπ
=
área del segmento I MD 360 − sin θ2 cos θ2
2
OB
=
MD
204 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
D II C
I III
s
θ M VI
A D B
M
Pero como los dos triángulos MDA y OAB son semejantes tenemos que
OB AB
=
MD AD
luego
2 2
área del segmento IV AB AB
= = 2
área del segmento I AD AD
2 2
pero por el Ejercicio 6.31 tenemos que AB = 3AD , por lo tanto
Pero como
entonces
área del segmento IV = área del segmento I+ área del segmento II + área del segmento III.
6.38 Teorema. Para el gráfico del teorema anterior, se tiene que la lúnula AEBCDA tiene igual
área que la del trapecio ABCD.
Demostración. área del trapecio ABCD = área del segmento circular ADCB - área de I
-área de II -área de III
205
D C
E
A B
luego
área del trapecio ABCD = área del segmento circular ADCB - área de IV =área de la lúnula
AEBCDA.
D C
L
A B
d r
h G
s k
b h L
206 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
6.40 Ejercicio. Pruebe que el área del triángulo ABD es igual a la suma de las áreas de las
dos lúnulas.
Solución.
Sean
a(L) = área de la lúnula L
a(R) = área de la lúnula R
a(I) = área del segmento circular I
a(II ) = área del segmento circular I I
a() = área del triángulo ABD
Por el teorema de Pitágoras se tiene que c2 = a2 + b2 .
2 2 2
Luego π a8 + π b8 = π c8 .
Por otra parte
2 2 2
a(II ) + a(L) = π a8 , a(I) + a(R) = π b8 y a() + a(I) + a(I I ) = π c8 entonces
a(II ) + a(L) + a(I ) + a(R) = a() + a(I) + a(II ).
De donde a(L) + a(R) = a().
6.41 Teorema. Dado un segmento de recta AB encontrar con el uso exclusivo de la regla y el
compás un punto C tal que
AB AC
=
AC CB
207
A C B
1 x
=
x 1−x
√
5−1
De donde x satisface la ecuación x2 + x − 1 = 0 y por lo tanto x = 2 que es un número
constructible.
6.42 Observación. En el caso anterior se dice que C divide al segmento AB en razón áurea.
A
π π
5 5
π 2π
5 5
x 1−x
0 B E
OA AB
=
AE BE
Luego
1 x
=
x 1−x
√
De donde x satisface la ecuación x2 + x − 1 = 0 y por lo tanto x = 5−1 2 , lo cual permite
concluir que el lado del decágono regular esta en razón áurea con el radio del circulo en
el cual esta inscrito y por lo tanto el decágono regular es construible con regla y compás.
208 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
1
6.44 Ejercicio. A partir del segmento , construir el decágono regular:
√
5−1
2
5 1
D
E
A C B
Luca Pacioli
(1445-1514?)
Criterio de no constructibilidad
6.46 Observación. Cada construcción con regla y compás es una sucesión de las siguien-
tes operaciones:
Operación I Trazar una recta que pase por dos puntos dados.
L : ax + by + c = 0
y la de la circulo es:
C : (x − u)2 + (y − v)2 = r 2
Se dice que la recta L es una recta del cuerpo K si a,b y c son elementos de K; de la misma
forma se dice que el círculo C es una circulo del cuerpo K si u, v y r son elementos de K.
L1 : ax + by + c = 0 y L2 : dx + ey + f = 0
C : x2 + y 2 + dx + f y + g = 0 (6.4)
y2 + f y + h = 0
y
⎛ ⎞
⎜⎜ 2 2 ⎟
⎜⎜ c bk b k m k k m ⎟⎟⎟
P2 = ⎜⎜⎜− + + − ,− − − ⎟⎟
⎝ a 2aj a 2j j 2j 2j j ⎟⎠
Como podemos darnos cuenta al intersecar una recta y un círculo del cuerpo K se
obtienen puntos de la forma P = (γ + δλ, κ + ηλ) en donde γ, δ, κ y η están en el
cuerpo K, pero λ puede, o no, ser un cuadrado perfecto. En caso de que no lo sea,
los puntos de corte estarán en un cuerpo extensión de K en donde la ecuación x2 − λ
tiene sus raíces.
Esto mismo sucede si realizamos una operación del tipo V, ya que intersecar las círculos:
x2 + y 2 + ax + by + c = 0 y x2 + y 2 + dx + ey + f = 0
x2 + y 2 + ax + by + c = 0
con la recta
(a − d)x + (b − e)y + (c − f ) = 0.
212 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
La observación permanente de estos hechos fue lo que inspiró al joven matemático francés
Pierre Laurent Wantzel (1814 - 1848) para poder llegar a probar el denominado Teorema
de Wantzel que afirma lo siguiente:
Si un número real a es constructible, existe un polinómio irreducible sobre los racionales
(Q), de grado una potencia de dos, tal que a es raíz de ese polinomio.
La demostración rigurosa de este resultado, así como también algunos aspectos relativos
a la vida y obra de Wantzel, pueden encontrarlos en el capítulo II del libro:“Temas de
teoría de cuerpos, teoría de anillos y números algebraicos” Tomo III, escrito por el autor
del presente libro y publicado por el Departamento de Matemáticas de la Universidad
Nacional de Colombia.
6.47 Corolario. Si un número real a satisface un polinomio irreducible sobre Q de grado n ∈ N,
y si n no es una potencia de 2, entonces a no es constructible.
A P C B
A C P B
Esto es, se pretendía que con el uso exclusivo de la regla y el compás, se dividiera un án-
gulo arbitrario en tres partes iguales, se construyera un cubo cuyo volumen fuera el doble
del de un cubo dado, se construyera un cuadrado de igual área a la de una circunferencia
y se construyera el polígono regular de siete lados.
214 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
Hallar la solución de estos problemas, era un reto solo comparable en nuestra época con
el que representó el denominado último teorema de Fermat, demostrado por el matemá-
tico inglés Andrew J. Wiles. Muchos matemáticos célebres, fracasaron en sus intentos por
solucionarlos. Algunos otros creyeron equivocadamente que habían logrado resolver por
lo menos uno de ellos, como por ejemplo el francés Oronce Fine (1494-1555) y el italiano
José Justo Escalígero (1540-1609) quien se vanagloriaba de haber solucionado los tres pri-
meros, hasta que Francisco Vieta en1594 lo refutó.
Hipias de Elis (460 a.C.), creador de la curva denominada cuadratriz (y = x cot πx
2y ) demos-
tró que si se permite el uso de esta curva, es posible lograr la trisección del ángulo; los
problemas II y III también pueden resolverse en forma similar. Hipócrates de Quíos (440
a.C.), (el primer matemático que recibía honorarios por las clases que dictaba), introdujo
además de la regla y el compás, otro instrumento mecánico que permite duplicar el cubo.
Arquímedes en un manuscrito, que fue descubierto en 1927 por Carl Schoy, logró la cons-
trucción del Heptágono regular pero no es aceptada como construcción con regla y com-
pás. Pappo de Alejandría (320) y el mismo Arquímedes lograron trisecar el ángulo pero
no por el método que se exige en las construcciones con regla y compás.
Veamos cuál fue el camino que empleó Arquímedes para hacer esta construcción:
Sea θ el ángulo que pensamos trisecar. Prolonguemos uno de sus lados y haciendo centro
en el vértice de θ, construimos un semicírculo que tiene su diámetro sobre esta prolon-
gación y, además, corta los dos lados del ángulo θ.
μ
r r y
ξ x ξ θ
2∠ξ + ∠x = ∠μ + ∠x (6.6)
y
∠ξ + ∠y + ∠θ = ∠y + 2∠μ (6.7)
215
6.49 Lema. Es imposible trisecar un ángulo arbitrario, usando sólo regla y compás.
Demostración. Si esto fuera posible entonces en particular el ángulo de 60◦ sería trisecable
con regla y compás.
Como
cos 3θ = 4(cos θ)3 − 3 cos θ ∀θ
Luego
1
= 4a3 − 3a, siendo a = cos 20◦
2
u |α| = a
20o
|u| = 1
α
f (z) = 8z 3 − 6z − 1
Es claro que f (z) no se anula para estos valores, entonces ninguno de ellos es raíz; por lo
tanto, f (z) es irreducible sobre Q. Pero como el grado de f (z) no es una potencia de dos,
entonces por lo visto en el corolario 6.47 tenemos que a no es constructible.
Si fuese posible trisecar el ángulo de 60◦ , entonces el segmento de longitud a podría cons-
truirse con regla y compás, lo cual es una contradicción.
6.50 Lema. Es imposible con el uso exclusivo de la regla y el compás construir el polígono
regular de 9 lados.
u
20o
θ v
6.51 Lema. Es imposible con el uso exclusivo de la regla y el compás, duplicar el cubo.
Demostración. Si fuese posible duplicar el cubo con regla y compás, entonces en particular
sería posible√construir un cubo de volumen el doble del de arista uno. Luego el segmento
de longitud 3 2 es constructible.
u v
√
|u| = 1 y |v| = 3 2
217
6.52 Observación. Eratóstenes, atribuyó el origen de este problema a la leyenda que pre-
sentamos a continuación:
Eurípides al observar que el legendario rey de Creta, Minos, construía la tumba de su hijo
Glauco y que esta sólo media 100 pies por cada lado, dijo: “Es un espacio muy pequeño
para el sepulcro de un rey. Duplicadla conservando su forma cúbica, duplicando cada
lado”. Obviamente se equivocaba.
También cuenta que los habitantes de Delos se estaban muriendo a causa de una plaga.
Por tal razón, resolvieron consultar al oráculo, quien les manifestó que este mal había sido
enviado por Apolo debido a que se encontraba enojado con ellos.
Para desagraviar a Apolo, les recomendó que erigieran en su honor, un altar de oro cuyo
volumen fuese el doble del que actualmente tenía. Como el altar era en forma de cubo,
resolvieron construirlo con arista el doble del que tenía, pero la plaga empeoró en vez de
disminuir ya que el volumen en vez de duplicarse se hizo ocho veces más grande. Este
hecho obligó a enviar a la Academia a los geómetras para que conjuntamente con Platón
buscaran la solución del problema. Debido a esta leyenda este problema se conoce con el
nombre de: “Problema de Delos”.
Eratóstenes construyó un aparato mecánico que permite no sólo duplicar o ampliar cubos,
sino también otras superficies; pero esa construcción no tiene la precisión geométrica que
exigen las construcciones con regla y compás.
6.53 Lema. Es imposible lograr con el uso exclusivo de la regla y el compás la cuadratura del
círculo.
√
|W | = π
u
|u| = 1
218 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
6.54 Lema. Los vértices de un polígono regular de n lados (n-ágono regular), inscrito en la
circunferencia de radio 1 y centro en el origen, son las raíces n-ésimas de la unidad.
pero como
k
2π 2π 2π 2π
cos k + i sin k = cos + i sin ,
n n n n
entonces
θk = (θ1 )k ∀k ∈ N
Si llamamos θ1 = θ, entonces
θk = θ k ∀k ∈ N
luego
|θk | = |θ k | = |θ|k = 1k = 1 ∀k ∈ N
lo cual implica que las raíces n-ésimas de la unidad están sobre el círculo con centro en el
origen y radio 1.
Por otra parte,
6.55 Lema. Es imposible construir el heptágono regular con el uso exclusivo de la regla y el
compás.
z6 + z5 + z4 + z3 + z2 + z + 1 = 0 (6.8)
1 1 1
z3 + z2 + z + 1 + + + =0
z z2 z3
219
Luego
3 1 1 2
z 3 + 3z + + 3 + z2 + 2 + 2 − 2z + −1 = 0 (6.9)
z z z z
De donde
1 3 1 2 1
z+ + z+ −2 z+ −1 = 0 (6.10)
z z z
λ3 + λ2 − 2λ − 1 = 0
f (x) = x3 + x2 − 2x − 1
6.57 Lema (Libro III, proposición 20, Elementos). En un círculo el ángulo que tiene su vértice
en el centro del círculo es doble del que lo tiene en la periferia cuando ambos ángulos abarcan el
mismo arco.
Demostración. Sean E el centro del círculo y los ángulos ∠BAG y ∠BEG con B, A y G en la
periferia y además ambos ángulos abarcan el mismo arco. Se presentan dos posibilidades:
220 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
yw
α E
μ ν
x
B G
Z
Fig 1.
1. Que E sea interior al sector circular determinado por ∠BAG. En este caso trácese el
radio AE y prolóngese hasta Z (Z en la periferia). Al observar la Figura podemos
darnos cuenta que ∠x = ∠y ya que BE y AE son iguales por ser radios de la circunfe-
rencia. Luego
2∠y + ∠α = ∠x + ∠y + ∠α = ∠α + ∠μ
De donde
∠μ = 2∠y
Por lo tanto
∠BEG = 2∠BAG
E
Z A
u w
t y
x
B G
Fig 2.
221
Por lo tanto,
2∠w + 2∠y + ∠u = ∠180◦ (6.11)
2∠w + ∠t + ∠u = ∠180◦
Z P
E
A B
α
P
Z
E
A B
P R Q S
223
Tales que :
2 2
PQ PR = QS y RS RQ = PR
P R Q S
U V
T N H
U N T H = QV QS (6.12)
Por otra parte, como ∠V SQ = ∠N T U (alternos internos), entonces, los triángulos rectán-
gulos V SQ y U N T son semejantes. Luego
UN QV
= (6.13)
TN QS
QS TN
=
TH QS
De donde
2
QS = T N T H
Por otra parte, como los triángulos RSU y T N U son semejantes, entonces
UR UN
= (6.14)
RS TN
PR T N = N H RS (6.15)
6.61 Observación. Dado que no se conoce un instrumento que permita encontrar los
puntos R y S en forma directa, vamos a optar por el siguiente método:
1
1−X −2
X = Y2
0 X 1
P R Q
S
Demostración. Sean los puntos P y Q del plano. En el Lema 6.60 vimos que existen dos
puntos R y S ubicados como se indica
P R Q S
Tales que :
2
PQ PR = QS (6.16)
y
2
RS RQ = PR (6.17)
Sea H un punto de corte de los círculos con centro en R y radio PR, y con centro en Q y
radio QS, inscriba el triángulo PHS en un circulo.
Vamos a probar que PH es el lado del heptágono regular inscrito en dicho circulo. Para
ello tracemos las rectas que se indican en el gráfico.
Como HR = PR, entonces
∠RPH = ∠RHP = ∠α (6.18)
H
αβ β
P
α R 2α 2β Q β S
β
N
β
F
M
RS HR
= (6.20)
HR RQ
De donde los triángulos QRH y SRH son semejantes, ya que tienen un ángulo común
(∠QRH) y por (6.20), los lados que los forman proporcionales.
De lo anterior se desprende que ∠RHQ = ∠β. Resumiendo; se ha probado hasta ahora que
y
∠HPS = ∠PHM = ∠α
Luego
arco(PH) = arco(MF) = arco(FS) (6.21)
y
arco(HS) = arco(PM) (6.22)
H
αβ
P
α
β
x R 2β Q S
2β
2β 2β
Además,
PHQ = HPN
ya que tienen los ángulos iguales y un lado común; por lo tanto:
PN = HQ y PQ = HN
∠X = ∠π − 4β
pero como
∠X = ∠π − 2α
228 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
entonces
∠α = 2∠β
que era lo que se quería demostrar.
Cuando apenas tenía 18 años de edad Carl Friedrich Gauss hizo su primera espectacular
contribución a las matemáticas logrando construir el polígono regular de 17 lados. Esta
prueba la mencionó inicialmente en su diario, con fecha 30 de marzo de 1796, y dos
meses después la publicó en el periódico Intellegenzblatt der Allgemeinen Litteraturzeitung
el canciller Von Zimmermann, pero adquirió su mayor difusión en el capítulo séptimo,
parágrafo 365 de su tratado Disquisitiones Arithmeticae, el cual fue impreso en el verano
de 1801 en la ciudad de Leipzig.
Es interesante anotar que en el parágrafo 365 de Disquisitiones aparece la siguiente expre-
sión para cos 2π
17 :
2π 1 1√ 1 √ 1 √ √ √
cos =− + 17 + 34 − 2 17 + 17 + 3 17 − 34 − 2 17 − 2 34 + 2 17
17 16 16 16 8
2πi
Demostración. Sea ξ = e 17 , los vértices del heptadecágono regular inscrito en el circulo
de centro en el origen y radio 1 son:
ξj ∀j = 0, · · · , 16
si
α0 = ξ + ξ 2 + ξ 4 + ξ 8 + ξ 9 + ξ 13 + ξ 15 + ξ 16
α1 = ξ + ξ 2 + ξ 4 + ξ 8 + ξ 9 + ξ 13 + ξ 15 + ξ 16 ;
entonces
16
16
α0 + α1 = ξJ y α0 α1 = 4 ξJ
J=1 J=1
pero como
16
ξ J = 0,
J=0
entonces,
16
ξ J = −1.
J=1
Luego
α0 + α1 = −1 (6.23)
α0 α1 = −4 (6.24)
230 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
(α0 )2 + α0 − 4 = 0
f (z) = z 2 + z − 4
β0 = ξ + ξ 4 + ξ 13 + ξ 16
β1 = ξ 3 + ξ 5 + ξ 12 + ξ 14
β2 = ξ 2 + ξ 8 + ξ 9 + ξ 15
β3 = ξ 6 + ξ 7 + ξ 10 + ξ 11 .
Entonces
α0 = β0 + β2 (6.25)
α1 = β1 + β3 . (6.26)
Además,
16
β0 β2 = ξ J = −1 (6.27)
J=1
16
β1 β3 = ξ J = −1 (6.28)
J=1
(β0 )2 − α0 β0 − 1 = 0
g(z) = z2 − α0 z − 1
Procediendo de manera similar con (6.26) y (6.28), podemos afirmar que β1 y β3 son raíces
del polinomio
h(z) = z2 − α1 z − 1.
Sean ahora
γ0 = ξ + ξ 16
= ξ +ξ
2π
= 2 cos
17
y
γ1 = ξ 4 + ξ 13
4
= ξ4 + ξ
8π
= 2 cos
17
Entonces
γ0 + γ1 = β0 (6.29)
γ0 γ1 = ξ 3 + ξ 5 + ξ 12 + ξ 14
= β1 (6.30)
(γ0 )2 − β0 γ0 + β1 = 0
0 π π
2
−1
232 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
β1 = ξ 3 + ξ 5 + ξ 12 + ξ 140
12 3
= ξ3 + ξ + ξ 12 + ξ
6π 24π
β1 = 2 cos + 2 cos
17 17
6π 7π
= 2 cos + 2 cos( + π)
17 17
6π 7π
= 2 cos − 2 cos
17 17
Como cos 6π 7π
17 > cos 17 , entonces β1 > 0.
Por otra parte
α1 = ξ 3 + ξ 14 + ξ 5 + ξ 12 + ξ 7 + ξ 10 + ξ 6 + ξ 11
3 12 10 11
= ξ 3 + ξ + ξ + ξ 12 + ξ + ξ 10 + ξ + ξ 11
6π 24 20 22
= 2 cos + 2 cos π + 2 cos π + 2 cos π
17 17 17 17
6π 7π 3π 5π
α1 = 2 cos + 2 cos + π + 2 cos + π + 2cos +π
17 17 17 17
6π 7π 3π 5π
= 2 cos − 2 cos − 2 cos − 2cos
17 17 17 17
Pero cos 6π 5π 7π 3π
17 < cos 17 , cos 17 > 0 y cos 17 > 0, entonces α1 < 0.
De este hecho y de (6.24) se desprende que α0 < 0.
Pero como α0 y α1 son raíces de f (z), entonces
√
1 17
α0 = − + (6.31)
2 √2
1 17
y α1 = − − (6.32)
2 2
1
β1 = (α1 + α0 + 4) (6.34)
2
233
2π γ0
cos = ∈ M.
17 2
Lo cual implica que el heptadecágono es constructible con regla y compás.
B
Γ
0
A
T E G D W R S
Además,
√
1 17 1 α
|DT | = |GT | + |GD| = |GO| + = + =− 1
4 4 4 2
1 1
|OR| = 1 + α02 y |OT | = 1 + α12
4 4
Sean S un punto de corte de la recta que pasa por T y R, y el círculo con centro en R y
radio |RO| , y W un punto de corte de esta recta con el circulo de centro en T y radio |T O|,
entonces
|DW | = |T W | − |DT |
α
= |OT | − (− 1 )
2
α1 1
= + 1 + α12
2 4
= β1
Trácese el segmento de recta SN paralelo al eje vertical de tal manera que corte al eje
horizontal en M y además |MN | = |DW |.
Como |OM| = |DS| y |MN | = |DW |, entonces N = (β0 , β1 ). Constrúyase el círculo de diáme-
tro |BN |, dicha curva corta al segmento OM en los puntos u y v.
Dado que B = (0, 1), entonces una ecuación de este círculo es
235
B
Γ
L N
0 μ c ν
A M
F
T E G D W R S
β0 2 β +1 2 1 2
(x − ) + (y − 1 ) = (β0 + (β1 − 1)2 ),
2 2 4
Los puntos de corte con el eje horizontal los encontramos al hacer y = 0. Luego.
β0 2 β1 + 1 2 1 2
(x − ) +( ) = (β0 + (β1 − 1)2 )
2 2 4
esto es
x2 − β0 x + β1 = 0.
Por lo tanto |OU | y |OV | son las raíces de esta ecuación, pero como en la demostración
del Teorema 6.63, vimos que γ0 y γ1 son raíces de dicha ecuación y además γ0 > γ1 > 0,
entonces |OV | = γ0 y |OU | = γ1 .
Sea F el punto medio del segmento OV , entonces |OF| = cos 2π 17 , si L es un punto del
círculo tal que FL es paralelo a OB (ver la figura), entonces el segmento CL es el lado del
heptadecágono regular inscrito en el circulo de centro en el origen y radio 1.
236 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
5 4
6
3
7
2
8
2π 1
9 17
17
10
16
11
12 15
13 14
Los matemáticos de la antigua Grecia conocían las construcciones con regla y compás de
los polígonos regulares de 3, 4, 5 y 15 lados; y en general todas las demás que se obtienen
a partir de estas por bisecciones sucesivas de sus ángulos. El problema de determinar los
polígonos constructibles era atacado en forma particular; esto es, para cada entero n > 2
se intentaba construir con el uso exclusivo de la regla y el compás el polígono regular de n
lados; este camino no arrojó mayores éxitos en los intentos por determinar cuales eran los
polígonos regulares constructibles y de hecho contribuyo decididamente a la generación
de problemas insolubles que trajo como consecuencia la crisis de la matemática griega y
su declive.
Un largo trayecto de cerca de veinte siglos, tuvo que recorrer la humanidad para que
finalmente a través de métodos algebraicos se llegara de la mano genial de Gauss a la
solución final del problema. Gran parte de la importancia de Disquisitiones Arithmeticae
radica en que en esta obra Gauss no sólo demuestra que el polígono regular de 17 lados es
constructible, sino que además resuelve el problema de manera general, es decir establece
cuando el n-ágono regular es constructible y cuando no.
n
6.66 Definición. El número Fn = 22 + 1 se denomina el n-ésimo número de Fermat.
Demostración. Supongamos que no. Entonces existen s y r enteros, tales que: s > 0, r =
2h + 1 con h > 1 y m = 2s r. Luego
237
s
2m + 1 = 2 2 r + 1
s
2m + 1 = (22 )2h+1 + 1
⎛ ⎞
⎜⎜2h−1
s ⎟⎟
⎜
⎜ 2J 2h−J ⎟⎟⎟
= Fs ⎜⎜ 2 (−1) ⎟⎠
⎝
j=0
= Fs B.
Como 2s < m, entonces, 2m +1 > Fs . Además 1 < Fs ∀s ∈ N; por lo tanto 2m +1 tiene factores
propios, lo cual es una contradicción.
Esta demostración exige manejar algunos tópicos de Teoría de cuerpos que están a un
nivel superior; los interesados en el tema pueden consultar mi libro:“Temas de Teoría de
Cuerpos, Teoría de Anillos y Números Algebráicos”, Tomo III, pp. 314-322. Universidad
Nacional de Colombia, 1994.
6.69 Observación. El “príncipe de los aficionados a la matemática”, Pierre de Fermat
n
(1601-1665) afirmó que todos los números de la forma Fn = 22 + 1 n ∈ N, son primos.
Este hecho es cierto para n = 0, 1, 2, 3 y 4 ya que:
641|(5 · 27 + 1)(5 · 27 − 1)
Luego
641|(52 214 − 1)(52 214 + 1)
esto es
641|54 228 − 1. (6.37)
238 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
De donde
641|232 + 1
es decir
641|F5 .
Comparando los residuos de la división de Fn por 103 − 2, T.M. Pervouchine demostró que
F12 y F22 son compuestos y en febrero de 1878 probó que F23 es divisible por 5 · 225 + 1 =
16772161.
Félix Klein (1849-1925) demostró que F7 es compuesto. P. Seelhoff probó que 5 229 +
1 divide a F36 ; A. Cunningham encontró que F11 es divisible por (319489) · (974849) y
conjuntamente con J. Eullen demostró que 3(241 ) + 1 es un factor de F38 .
Aunque el problema de determinar todos los Fn que son primos, no ha sido resuelto en su
totalidad, existen algunos criterios generales que hacen un poco menos difícil esta tarea.
Entre éstos están los siguientes:
3, 4, 5, 6, 8, 10, 12, 15, 16, 17, 20, 24, 30, 32, 34, 40, 48, 51, 60, 64, 68, 80, 85, 96, 102,
120, 128, 136, 160, 170, 192, 204, 240, 255, 256, 257 y 272.
240 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
4
5
3
6
2
7 4π
5
2π 1
3
8
15
9
14
10
13
11
12
Vale la pena recordar que el anterior teorema nos permite discernir acerca de si un po-
lígono puede, o no, construirse con regla y compás; otra cosa muy distinta es lograr su
construcción geométrica.
Si observamos los 37 n-ágonos que acabamos de mencionar, podemos darnos cuenta que
a partir de la construcción del polígono regular de:
a) 3 lados, podemos construir los polígonos regulares de 6, 12, 24, 48, 96 y 192 lados.
b) 4 lados, podemos construir los polígonos regulares de 8, 16, 32, 64, 128, y 256 lados.
c) 5 lados, podemos construir los polígonos regulares de 10, 20, 40, 80, 160 lados.
d) 17 lados, podemos construir los polígonos regulares de 34, 68, 136, 272 lados.
Por otra parte, los polígonos regulares de 15, 30, 60, 120 y 240 lados se construyen tenien-
do en cuenta que 2π 15 = 5 − 3 .
4π 2π
Vale la pena recordar que la construcción del pentadecágono regular la hizo Euclides en
el libro IV proposición 16 de los Elementos.
Los polígonos regulares de 51, 102 y 204 lados se pueden construir si recordamos que
12π 2π 2π
− = .
17 3 51
241
En 1832 en el Journal fur Mathematik editado por Crelle, Lejeune Dirichlet (1805-1859)
2π
publicó un artículo en el cual demostró en forma directa que el cos 257 es un número
constructible. Cincuenta y cinco años después, los matemáticos Italianos Affolter y Er-
nesto Pascal en la revista Pendicenti de lla R. Academia di Napoli construyeron geométri-
camente el 257-ágono regular.
La última construcción interesante de un polígono regular, fue la realizada por el profesor
Kaermes de Lingren, quien en 1894 después de 10 años de dedicación, logró la construc-
ción del 65537-ágono regular.
Como podemos darnos cuenta, hasta tanto no se encuentre (si es que existe), un nuevo
número primo de Fermat, el construir polígonos regulares, ha dejado de ser un tema no-
vedoso para la matemática.
Paso 2: Haciendo centro en C, corte tres veces consecutivas con el compás de radio CD,
el círculo. Llame E el punto final.
Paso 4: Haciendo centro en E, trácese el arco de radio CE el cual cortará al círculo con
centro en C, en los puntos M y N .
Paso 5: Constrúyase arcos con centro N y M, y radio CD los cuales se interceptan en los
puntos C y R de la recta que une a C y E.
1
CR = CD
2
C R D E
∠T OM = ∠N OM ya que MT O = MN O
∠T PM = ∠N PM ya que PMT = PMN
y
∠T PN = ∠T ON ya que T ON = T PN
Luego los segmentos PM y OM bisectan el mismo ángulo, y por lo tanto, están sobre la
misma recta. De esto se desprende que M pertenece al segmento que une O y P.
244 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
R
T
P M O
r
N
S
Por otra parte, los triángulos PMT y PT O son semejantes, ya que ambos son isósceles
y además el ∠MPT es común. Luego
PM PT
=
PT P0
PM PR
=
PR P0
Además el ∠MPR es común; de donde el PMR es semejante al PRO, lo cual nos permite
afirmar que ∠PMR = ∠PRO, pero ∠MPR = ∠PMR, entonces,
∠MPR = ∠PRO
Por consiguiente,
OP = OR (6.39)
De (6.38) y (6.39) se deduce que 0 es el centro del círculo, que era lo que queríamos
demostrar.
6.75 Observación. El método que siguió Mascheroni para demostrar que todas las cons-
trucciones geométricas que pueden hacerse con regla y compás, también son realizables
con solo compás, fue el siguiente:
245
Ambos problemas fueron resueltos por Mascheroni; estas demostraciones se pueden en-
contrar en el libro: “Construcciones Geométricas Mediante un Compás”, de A.N. Kostovs-
ki, editorial MIR, Moscú.
Como un hecho anecdótico vale la pena recordar que Napoleón Bonaparte, siempre se
mostró orgulloso de haber resuelto un problema particular de construcciones con sólo
compás propuesto en el libro de Mascheroni. Hasta principios de este siglo, toda la gloria
sobre las construcciones con sólo compás era de Mascheroni, pero en 1928 un matemático
danés de apellido Guelmslev, encontró en una librería de Copenhague un libro publica-
do en 1672 en Amsterdam bajo el título de Euclides Danicus (Euclides danés), en el cual
aparece enunciado y demostrado el resultado que mencionamos anteriormente y que hizo
famoso a Mascheroni; el autor de este libro fue un desconocido de apellido Mohr. Como
la historia no siempre es severa y analítica; y a veces es furtiva, ladina y sagaz, le hace tra-
pisondas a los hombres, es así como la fama que debió corresponderle a Mohr, la disfrutó
Mascheroni.
En 1833 inspirado en el método seguido por Mascheroni, Jacob Steiner (1796-1863) reco-
nocido como “el más grande geómetra desde los tiempos de Euclides”, publicó un libro
en el cual demostró que toda construcción con regla y compás, puede hacerse con regla
246 CAPÍTULO 6. RAZONAMIENTO CON REGLA Y COMPÁS
y una circunferencia fija de centro y radio dados. Para poder entender este tipo de cons-
trucciones, se hace necesario el conocimiento de los métodos empleados en la geometría
proyectiva axiomática.
7. El número π
El número π como ningún otro, ha ejercido una especial fascinación a través de los siglos.
Su origen es incierto, aunque en una tablilla babilónica que data alrededor del año 2.000
a.C. encontrada en Susa en 1936, aparece la aproximación más antigua que conocemos de
su valor; la cual se obtuvo al comparar el área del círculo con la de un cuadrado circuns-
crito. Posteriormente alrededor del año 1650 a.C. en el Papiro de Rhind se asigna a π el
2
valor de 4 98 (aproximadamente 3.1604· · · ).
Arquímedes en su obra Medida del Círculo, prueba que el área A de un círculo C de radio
r, es igual al área de un triángulo de base longitud C y altura r.
247
248 CAPÍTULO 7. EL NÚMERO π
Longitud(C)r
Area(C) =
2
Este hecho le permitió concluir que la razón expresada por el área del círculo C y el
cuadrado de su radio, es la misma que existe entre la longitud de C y su diámetro.
Area(C) Longitud(C)
=
r2 2r
Esta razón común fue simbolizada en 1706 por el escritor y matemático inglés William
Jones con la letra griega π, debido a que con ella se inicia de la palabra griega perime-
tron que significa “la medida alrededor” o “medida del contorno”. Leonhard Euler en su
extensa obra científica la popularizó en el siglo XVIII.
Fueron muchos los intentos que hizo la humanidad para calcular el valor de π en forma
explícita. Arquímedes encontró que 3 10 1
71 < π < 3 7 mediante el cálculo de los perímetros
de los polígonos regulares, inscrito y circunscrito de 96 lados. Como la cota superior es 22
7
número aproximado a 3.14 resolvió darle este valor.
62832
En el siglo VI Aryabata, en la India, lo expresó como 20000 = 3,1416.
Con el fin de calcular una aproximación al valor de π, Francisco Vieta , dedujo en 1579 la
fórmula ⎛! ⎞
⎛ ⎞ ⎛⎜ ⎞⎟ ⎜⎜" ⎟⎟
2 ⎜⎜⎜ 1 ⎟⎟⎟ ⎜⎜⎜ 1 1 1 ⎟⎟⎟ ⎜⎜⎜⎜ 1 1 1 1 1 ⎟⎟⎟⎟
=⎜ ⎟ ⎜⎜ + ⎟⎟ ⎜ + + ⎟···
π ⎝ 2 ⎠ ⎜⎝ 2 2 2 ⎟⎠ ⎜⎜⎜⎝ 2 2 2 2 2 ⎟⎟⎟⎠
Adriaen Van Roomen en su Ideal mathemática (1593), encontró quince cifras decimales
de su desarrollo decimal.
En 1596 Ludolf van Ceulen calculó 20 cifras y más tarde en 1615 obtuvo 35 cifras; al
fallecer, su esposa hizo grabar sobre su tumba estas 35 cifras. Por este motivo, en los
libros antiguos era frecuente llamar a π como “el número de van Ceulen”.
Van Laensberg en 1616, consiguió calcular 28 cifras por métodos más sencillos. Injusta-
mente se atribuye a Adrián Metius (1625) la expresión
355
(recuérdese : 11 33 55)
113
249
como una buena aproximación a π, ya que esta había sido publicada anteriormente por
W. V. Otho (muerto en 1605).
John Wallis demostró en 1650 que
π 2 2 4 4 6 6 8 8···
=
2 1 3 3 5 5 7 7···
En 1671 James Gregory obtiene la primera serie infinita para π, por medio del desarrollo
de la función arco tangente en serie de potencias como
x3 x5 x7
arctan(x) = x − + − + ···
3 5 7
En 1674 Gottfried Leibniz, por su parte, prueba la convergencia de esta serie para x = 1,
obteniendo el conocido desarrollo:
π (−1)n
∞
=
4 (2n + 1)
n=0
π 1 1 13 135
= + + + + ···
6 2 2 3 2 3 2 4 5 2 5 2 4 6 7 27
√
1 1 − x2
θ
0 x P
250 CAPÍTULO 7. EL NÚMERO π
√
Expresó el desarrollo en serie binomial de 1 − t 2 :
√ ∞ 1
1 − t2 = 1 + 2 (−1)n t 2n
n
n=1
1 1 1 5 8
= 1 − t2 − t4 − t6 − t + ···
2 8 16 128
√
Es claro que la integral de 1 − t2 entre 0 y x es también el área de la región OPQR; de
donde:
# x
θ x√ 1 1 1 5 8
+ 1 − x2 = 1 − t2 − t4 − t6 − t + · · · dt
2 2 0 2 8 16 128
x3 1 5 1 7 5 9
=x− − x − x − x + ···
6 40 112 1152
√
reemplazando 1 − x2 por su desarrollo en serie binomial, despejando θ de la ecuación
anterior y recordando que θ = arcsin(x) se obtiene:
x3 3 5 5 7 35 9
arcsin(x) = x + + x + x + x + ···
6 40 112 1152
1
reemplazando x por 2 se llega a la fórmula:
π 1 1 13 135
= + + + + ···
6 2 2 3 2 3 2 4 5 2 5 2 4 6 7 27
Uno de los algoritmos más usados para calcular el valor aproximado de π es el que se
conoce con el nombre de “la fórmula de Machin”, debida a John Machin quien partió de
la identidad
π 1 1
= 4 arctan − arctan
4 5 239
para obtener:
16 4 42 43 4 1 1 1
π= 1− + − + ··· − 1− + − + ··· .
5 3 100 5 1002 7 1003 239 3 57121 5 571213 7 571213
En el siglo XVIII no se sabía aún a ciencia cierta, si π era o no un número racional, es decir
el cociente de dos enteros. Fue el matemático alemán Johann Heinrich Lambert quien en
1761 logró demostrar que:
251
a2n T
P Q
an R an
2 2
1 1
En efecto 2
an 1 1
OR = 1− = 4 − (an )2 TR = 1− 4 − (an )2
2 2 2
2 2
an 1 2
a2n = + 1− 4 − (an ) = 2 − 4 − (an )2 .
2 2
252 CAPÍTULO 7. EL NÚMERO π
7.2 Lema. !
!
!
" !
"
√
π ≈ 2n 3 2 − 2+ 2+ 2 + ··· + 2+ 3 ∀n ∈ N
Al dividir el perímetro del 2n-ágono regular por el diámetro del la círculo de radio 1 en
la cual está inscrito, obtenemos:
P2n
= n 2 − 4 − (an )2
2
Como para el hexágono regular se tiene que an = 1, entonces:
P12
= 6 2 − 4 − (1)2
2
= 3,105828541230
= 2n 2 − 2 + 4 − (an )2
entonces:
P24
= 12 2 − 2 + 4 − (1)2
2
√
= 12 2 − 2 + 3
= 3,132628613281
253
análogamente, se ve que:
!
"
P23 n
= 2n 2 − 2 + 2 + 4 − (an )2
2
luego
!
"
P48
= 12 2 − 2 + 2 + 4 − (1)2
2
√
= 12 2 − 2 + 2 + 3
= 3,139350203049
Por lo tanto
!
!
! !
" "
n
√
π ≈ 2 3 2− 2+ 2+ 2 + ··· + 2+ 3 ∀n ∈ N
⎛ ⎞
⎜⎜ ⎟
⎜⎜ √ F(n − 1)2 ⎟⎟⎟
⎜ n
F(n) := I F ⎜⎜n = 1, 6 2 − 3, 2 3 2 − 4 − ⎟⎟
⎝ 92 2n−2 ⎟⎠
7.4 Observación. En el Lema 7.2 se vio que si an es la longitud del lado del n-ágono
regular inscrito en el circulo de radio 1, entonces
a2n = 2− 4(an )2
√
Como a22 = 2, entonces:
√ √ √
a 23 = 2 − 2, a 24 = 2− 2 + 2, a 25 = 2− 2+ 2+ 2
Supongamos que
!
!
" " √
√
a2n = 2− 2 + ··· + 2
n−2 veces dos
entonces
a2n+1 = 2− 4 − (a2n )2
!
!
" " √
√
a2n = 2− 2 + ··· + 2
n−1 veces dos
Sabemos que el perímetro del circulo de radio 1 es 2π. Por otra parte; el perímetro del
2n+1 -ágono regular inscrito en dicho circulo es :
!
!
" " √
√
2n+1 2− 2 + ··· + 2
n−1 veces dos
255
A medida que n crece, la diferencia entre el perímetro del circulo de radio 1 y el perímetro
del 2n+1 -ágono regular inscrito en dicho circulo es cada vez más próxima a cero. Luego
⎛ ⎞
⎜⎜ ⎟⎟
⎜⎜ √ ⎟⎟
2π = lı́m ⎜⎜⎜⎜2n+1 2 − 2 + · · · + 2⎟⎟⎟⎟
n→∞ ⎜ ⎝ ⎟⎠
entonces,
⎛ ⎞
⎜⎜ ⎟⎟
⎜⎜ √ ⎟⎟
π = lı́m ⎜⎜⎜⎜2n 2 − 2 + · · · + 2⎟⎟⎟⎟
n→∞ ⎜ ⎝ ⎟⎠
7.5 Observación. Vamos a presentar un resultado debido al profesor Alan E. Park, que nos
va a permitir probar la irracionalidad de una ilimitada cantidad de números reales, entre
los que se encuentran π, e, sin(1) y ln(2), sin tener que recurrir a mayores herramientas
que las que nos da un curso elemental de cálculo diferencial y el teorema fundamental
del cálculo.
7.6 Definición. Sea c ∈ R+ y f una función continua de [0, c] en R y positiva en (0, c).
Diremos que f es una función especial para c (F.e. para c), si existe una sucesión de fun-
ciones f 1 , f 2 , · · · , f n , · · · , de [0, c] en R, derivables en (0, c) tales que :
⎧
⎪
⎪
⎨f (x) si n = 1
1. f n (x) = ⎪
⎪f (x) ∀x ∈ (0, c)
⎩ n−1 si n ≥ 2
entonces # c
f (x)g(x) dx ∈ Z, ∀g(x) ∈ P.
0
d
h(x) = (−1)n f n+1 (x)g (n) (x)
n=0
256 CAPÍTULO 7. EL NÚMERO π
entonces
d
h (x) =
(−1)n f n+1 (x)g (n) (x) + f n+1 (x)g (n+1) (x)
n=0
d
d−1
= f (x)g(x) + (−1)n f n (x)g (n) (x) + (−1)n f n+1 (x)g (n+1) (x) + (−1)d f d+1 (x)g (d+1) (x)
n=1 n=0
= f (x)g(x)
Luego
# c
f (x)g(x) dx = (h(x)]c0
0
d
= (−1)n f n+1 (c)g (n) (c) − f n+1 (0)g (n) (0)
n=0
7.9 Observación. Si c = m
n con m, n ∈ Z+ y t(x) = m − 2nx, entonces t(x) ∈ P.
xk (m−nx)k
7.10 Lema. Si gk (x) = k! k∈Nyc= m
n con m, n ∈ Z+ , entonces gk (x) ∈ P.
En efecto:
1 k−1
gk (x) = kx (m − nx)k − knxk (m − nx)k−1
k!
= gk−1 (x)t(x)
257
Como gk−1 (x) y t(x) están en P, por el Lema 7.8 tenemos que gk−1 (x)t(x) ∈ P;
luego gk (x) ∈ P.
Para que gk (x) ∈ P solo falta ver que gk (0) y gk (c) son enteros, lo cual es evidente ya que
gk (0) = 0 y gk (c) = 0.
xk (m−nx)k
7.11 Lema. Si gk (x) = k! k∈Nyc= m n con m, n ∈ Z+ , entonces
# c
f (x)gk (x) dx ∈ Z+
0
*c
Demostración. De los Lemas 7.7 y 7.10 se desprende que f (x)gk (x) dx ∈ Z. Por otra parte
0 *c
como gk y f son continuas en [0, c] y positivas en (0, c) entonces f (x)gk (x) dx > 0.
0
xk (m−nx)k
7.12 Lema. Si gk (x) = k∈Nyc= m
con m, n ∈ Z+ , entonces existe N ∈ N tal que
*c k! n
∀k ≥ N , 0 < 0 f (x)gk (x) dx < 1.
Demostración. Sea h(x) = x(m − nx) ∀x ∈ [0, c]. Como f y h son continuas y positivas en
[0, c], existen M > 0 y L > 0 tales que f (x) ≤ M y h(x) ≤ L ∀x ∈ [0, c].
*c k
Por lo tanto, 0 < 0 f (x)gk (x) dx ≤ cM Lk! ∀k ∈ Z+ .
k k
Dado que lı́mn→∞ Lk! = 0, existe N ∈ N tal que ∀k ≥ N , 0 < CM Lk! < 1.
*c
De donde, ∀k ≥ N 0 < 0 f (x)gk (x) dx < 1.
Demostración. Si c fuera racional, los Lemas 7.11 y 7.12 nos conducirían a una contradic-
ción.
7.14 Corolario. Si cos r y sin r son racionales, con 0 < |r| ≤ π, entonces r es irracional.
Demostración. Como cos |r| y sin |r| son racionales, existe m ∈ Z+ tal que m cos |r| y m sin |r|
son enteros.
Sea f (x) = m sin(x) ∀x ∈ [0, |r|], f es una F.e. para |r|, entonces por el Teorema 7.13 tenemos
que |r| es irracional y por lo tanto r es irracional.
7.16 Ejercicio. Sean x, y, z ∈ Q tales que x2 + y 2 = z 2 y zy 0, entonces arc cos x
z es
irracional.
x π
Demostración. 1. Si x = 0, arc cos z = 2 que es un número irracional.
Estos hechos no desanimaron a los matemáticos en su intento por encontrar cada día más
cifras de su desarrollo decimal, entre otros motivos porque esta búsqueda ha revelado
desconcertantes e inesperados resultados en la teoría de números. En la actualidad el
cálculo de π se ha convertido en una especie de “banco de prueba” computacional, ya que
proporciona una medida del refinamiento y fiabilidad de los computadores que lo efec-
túan, además de prestar un extraordinario servicio a la teoría de códigos y en particular al
manejo de códigos de seguridad. π aparece en toda clase de lugares inesperados que nada
tienen que ver con los círculos. Por ejemplo, tomando un número al azar en el conjunto
de los enteros, la probabilidad de que tal número carezca de factores primos repetidos es
6
π2
.
Veamos algunos otros resultados exitosos en la búsqueda de cifras significativas en el
desarrollo decimal de π.
- En 1844, Johann Dase computó en cosa de meses, 205 cifras del número π por el procedi-
miento de calcular los valores de tres arcotangentes valiéndose de una fórmula semejante
a la de Machin. Es interesante mencionar que Dase era capaz de multiplicar de memoria
dos números de 100 cifras.
- Después de 15 años de trabajo, el matemático inglés William Shanks publicó en 1853 las
primeras 607 cifras, 92 años después se demostró que las cifras posteriores a la 527 eran
erroneas.
- En junio de 1.949 se empieza a utilizar las computadoras para calcular el valor de π,
es así como John von Neumann y su equipo después de tener trabajando un computador
ENIAC durante 70 horas obtuvieron 2037 cifras decimales.
- En 1957 G. E. Feston trató de calcular 10.000 dígitos de π, más por un error de la má-
quina, sólo resultaron correctos los 7480 primeros. La meta de las 10.000 cifras la alcanzó
el año siguiente F. Genuys, con un computador IBM 704.
- En 1961 Daniel Shanks y John W. Wrench, Jr., empleando un IBM 7090 encontraron
100265 cifras decimales en 8 horas y 43 minutos.
- En 1973; Jean Guilloud y M. Bouyer realizaron la proeza de rebasar el millón de cifras
en menos de un día, empleando un computador CDC 7600 y usando varias identidades
del arco tangente.
- Los cálculos de cifras significativas del valor de π realizados desde principios del siglo
XVIII hasta principios de la década de 1970 se fundaron en variaciones de la fórmula de
Machin.
260 CAPÍTULO 7. EL NÚMERO π
obtenida en 1914, converge hacia el verdadero valor de π1 mucho más rápidamente ya que
cada uno de los términos sucesivos aporta alrededor de 8 dígitos exactos.
- La serie
√ √
∞
1 (−1) (6n)! 212,175,710,912 61 + 1,657,145,277,365 + n(13,773,980,892,672 61 + 107,578,229,802,750)
n
π
= √ 3n−32
n=0 (n!)3 (3n)! 5,280(236,674 + 30,303 61)
debida a Jonathan M. Borwein y Peter B. Borwein añade unas 25 cifras por término. El
primer término (esto es para n=0), proporciona un número que coincide con π hasta en
24 cifras decimales.
- Empleando algoritmos iterativos en 1984, se hallaron 8.388.608 cifras decimales en el
desarrollo decimal de π.
261
1
en este caso el número de cifras en las que αn coincide con π se duplica cada vez que n
crece una unidad.
Segundo algoritmo:
262 CAPÍTULO 7. EL NÚMERO π
Sean
√ √
y0 = 2 − 1 α0 = 6 − 4 2
1− 4
1 − yn4
yn+1 = αn+1 = (1 + yn+1 )4 αn − 22n+3 yn+1 (1 + yn+1 + yn+1
2
)
1 + 4 1 − yn4
en este caso el número de cifras en las que α1 coincide con π se hace cuatro veces mayor
n
cada vez que n crece una unidad. Este algoritmo es considerado por los expertos en el
tema como el más eficiente desde el punto de vista computacional.
Tercer algoritmo:
Sean
√
s0 = 5( 5 − 2) α0 = 12
25
sn+1 = s (Z+X/Z+1) siendo X = s5 − 1, Y = (X − 1)2 + 7 y
√
2
n
5 √ n
X(Y + Y 2 −4X 3 )
Z=
2
sn2 −5
αn+1 = sn2 αn − 5n 2 + sn (sn2 − 2sn + 5)
1
en este caso el número de cifras en las que αn coincide con π se hace cinco veces mayor
cada vez que n crece una unidad.
Demostración. Sean:
√ √
y0 = 2√− 1 α0 = 6 − 4 2
1− 4 1−y04
y1 = √ 4
α1 = (1 + y1 )4 α0 − 23 y1 (1 + y1 + y12 )
1+ √ 1−y04
1− 4 1−y14
y2 = 4 √ α2 = (1 + y2 )4 α1 − 25 y2 (1 + y2 + y22 )
1+ √1−y14
1− 4 1−y24
y3 = √ 4 4
α3 = (1 + y3 )4 α2 − 27 y3 (1 + y3 + y32 )
1+ 1−y2
263
√
1− 4 1−y34
y4 = √
4
α4 = (1 + y4 )4 α3 − 29 y4 (1 + y4 + y42 )
1+ √ 1−y34
1− 4 1−y44
y5 = √
4
α5 = (1 + y5 )4 α4 − 211 y5 (1 + y5 + y52 )
1+ √ 1−y44
1− 4 1−y54
y6 = √
4
α6 = (1 + y6 )4 α5 − 213 y6 (1 + y6 + y62 )
1+ √ 1−y54
1− 4 1−y64
y7 = √
4
α7 = (1 + y7 )4 α6 − 215 y7 (1 + y7 + y72 )
1+ √ 1−y64
1− 4 1−y74
y8 = √
4 4
α8 = (1 + y8 )4 α7 − 217 y8 (1 + y8 + y82 )
1+ 1−y7
√
1− 4 1−y84
y9 = √ 4 α9 = (1 + y9 )4 α8 − 219 y9 (1 + y9 + y92 )
1+ 4 1−y 8
√
1− 4 1−y94
y10 = √ 4
α10 = (1 + y10 )4 α9 − 221 y10 (1 + y10 + y10
2
)
1+ √ 1−y94
1− 4 1−y104
y11 = √ 4 4
α11 = (1 + y11 )4 α10 − 223 y11 (1 + y11 + y11
2
)
1+ √ 1−y10
1− 4 1−y114
y12 = 4 √ 4
α12 = (1 + y12 )4 α11 − 225 y12 (1 + y12 + y12
2
)
1+ 1−y11
√
1− 4 1−y12
4
y13 = √
4 4
α13 = (1 + y13 )4 α12 − 227 y13 (1 + y13 + y13
2
)
1+ √ 1−y12
1− 4 1−y 4 −13
y14 = √
4 4
α14 = (1 + y14 )4 α13 − 229 y14 (1 + y14 + y14
2
)
1+√ 1−y4 13
1− 4 1−y14
y15 = √ 4 4
α15 = (1 + y15 )4 α15 − 231 y15 (1 + y15 + y15
2
)
1+ 1−y14
1
α15 coincide con π en más de dos mil millones de cifras decimales.
FIGURA
Primeras 3000 cifras del desarrollo decimal de π
3.1415926535897932384626433832795028841971693993751058209749445923078164062862
089986280348253421170679821480865132823066470938446095505822317253594081284811
174502841027019385211055596446229489549303819644288109756659334461284756482337
867831652712019091456485669234603486104543266482133936072602491412737245870066
063155881748815209209628292540917153643678925903600113305305488204665213841469
519415116094330572703657595919530921861173819326117931051185480744623799627495
673518857527248912279381830119491298336733624406566430860213949463952247371907
021798609437027705392171762931767523846748184676694051320005681271452635608277
857713427577896091736371787214684409012249534301465495853710507922796892589235
420199561121290219608640344181598136297747713099605187072113499999983729780499
510597317328160963185950244594553469083026425223082533446850352619311881710100
264 CAPÍTULO 7. EL NÚMERO π
031378387528865875332083814206171776691473035982534904287554687311595628638823
537875937519577818577805321712268066130019278766111959092164201989380952572010
654858632788659361533818279682303019520353018529689957736225994138912497217752
834791315155748572424541506959508295331168617278558890750983817546374649393192
550604009277016711390098488240128583616035637076601047101819429555961989467678
374494482553797747268471040475346462080466842590694912933136770289891521047521
620569660240580381501935112533824300355876402474964732639141992726042699227967
823547816360093417216412199245863150302861829745557067498385054945885869269956
909272107975093029553211653449872027559602364806654991198818347977535663698074
265425278625518184175746728909777727938000816470600161452491921732172147723501
414419735685481613611573525521334757418494684385233239073941433345477624168625
189835694855620992192221842725502542568876717904946016534668049886272327917860
857843838279679766814541009538837863609506800642251252051173929848960841284886
269456042419652850222106611863067442786220391949450471237137869609563643719172
874677646575739624138908658326459958133904780275900994657640789512694683983525
957098258226205224894077267194782684826014769909026401363944374553050682034962
524517493996514314298091906592509372216964615157098583874105978859597729754989
301617539284681382686838689427741559918559252459539594310499725246808459872736
446958486538367362226260991246080512438843904512441365497627807977156914359977
001296160894416948685558484063534220722258284886481584560285060168427394522674
676788952521385225499546667278239864565961163548862305774564980355936345681743
241125150760694794510965960940252288797108931456691368672287489405601015033086
179286809208747609178249385890097149096759852613655497818931297848216829989487
226588048575640142704775551323796414515237462343645428584447952658678210511413
547357395231134271661021359695362314429524849371871101457654035902799344037420
073105785390621983874478084784896833214457138687519435064302184531910484810053
706146806749192781911979399520614196634287544406437451237181921799983910159195
618146751426912397489409071864942319613596953623144295248493718711014576540359
027993440374200731057853906219838744780847848968332144571386875194350643021845
319104848100537061468067491927819119793995206141966342875444064374512371819217
999839101591956181467514269123974894090718649423196
8. El teorema de incompleti-
tud de Gödel
“Si toda teoría formal F adecuada para englobar la teoría de números es consistente y si los
axiomas del sistema formal de la aritmética son axiomas o teoremas de F, entonces F es
incompleta”
Por lo tanto, la consistencia de la aritmética no puede ser establecida por todo razona-
miento matemático que pueda estar representado en el interior del formalismo de la arit-
mética.
Gödel partió de la obra Principia Mathematica de Alfred Withehead y Bertrand Russell,
ya que sus tres tomos suministran un amplio sistema de notación con cuya ayuda pueden
codificarse todos los enunciados de la matemática pura.
Por sentencias formalmente indecidibles se entiende aquellas que no pueden ser demos-
tradas ni refutadas dentro del sistema; la existencia de sentencias indecidibles en siste-
mas como Principia Mathematica que incluyen los números naturales, significa que toda
265
266 CAPÍTULO 8. EL TEOREMA DE INCOMPLETITUD DE GÖDEL
AXIOMA 1:
(0 ∈ W )
AXIOMA 2:
(a ∈ W ) ⇒ (Sa ∈ W )
AXIOMA 3:
(Sa = Sa ) ⇒ (a = a ), ∀a ∈ W
AXIOMA 4:
¬(Sa = 0), ∀a ∈ W
AXIOMA 5:
(P0 ∧ (Pa ⇒ PSa)) ⇒ Pa, ∀a ∈ W
267
Se asigna a los símbolos que aparecen en la escritura de estos axioma un número natural
impar de la siguiente manera:
Se hace corresponder a cada sentencia que se elabore con los símbolos del código un único
número natural de la siguiente forma:
Sea por ejemplo el AXIOMA 2:
(a ∈ W ) ⇒ (Sa ∈ W )
De acuerdo el código anterior se tiene que los números de los símbolos que corresponden
a esta sentencia son en su orden:
1 11 5 7 9 13 1 15 11 5 7 9
En general, si una sentencia μ está representada por una sucesión de símbolos que corres-
ponden en su orden a los números:
m1 m2 . . . mk . . . mr
REGLA A: “Un número puede sustituir a una variable o una variable a una variable en
el enunciado si y solo si la misma sustitución se hace en todas partes”.
REGLA B: Si se sabe que “esto es cierto” y se sabe que “si es esto, entonces es aquello”,
entonces se tiene que “aquello es cierto”.
Demostración.
h1 → h2 → · · · hk → · · · hn
SS · · · S0
n−veces
Esta nueva fórmula puede, o no, ser demostrable dentro de este sistema matemático. Esto
es, puede o no ser una secuencia que conforma una proposición previamente establecida
que lógicamente prueba la fórmula SU BST [n, R(n)]
Supóngase que para un n particular, la fórmula de Gödel SU BST [n, R(n)] es demostrable.
Esto se puede expresar escribiendo:
¬(a ∈ Z)
Esta fórmula que contiene a la variable a es una de las formulas del sistema y por lo tanto
tiene un número de Gödel. Luego existe q ∈ Z, tal que
R(q) := ¬(a ∈ Z)
Esto es:
G := SU BST [q, R(q)]
Se tiene entonces que
⎧
⎪
⎪G es verdadera
⎪
⎪
⎨
⎪
⎪ ó
⎪
⎪
⎩¬G es verdadera
q∈Z (8.1)
¬(q ∈ Z) (8.2)
Como (8.1) y (8.2) no pueden darse simultáneamente porque en caso contrario el sistema
sería inconsistente, entonces se ha llegado a una contradicción.
Por otra parte supóngase que ¬G es demostrable. Entonces G no es verdadera y por lo
tanto no es demostrable, esto es:
Puesto que no se puede tener simultáneamente (8.3) y (8.4), se ha llegado a una contra-
dicción.
Kurt Friedrich Gödel, nació el sábado 28 de abril de 1906 en Brunn, Moravia (en esa época
parte del Imperio Austro-Húngaro y ahora en la república Checa). Fue el segundo de los
dos hijos de Rudolf Gödel, alemán de Rheineland, y de Marianne Handschuh, también
271
nacida en Brunn. El padre de Gödel murió en 1929; a los 6 años el pequeño Kurt sufrió de
una dolorosa fiebre reumática y se creo la convicción de que por esa causa tenía el corazón
débil. Esta idea lo acompañó hasta el final de su vida.
Su interés por la matemática se inicia a los 14 años . En 1923 ingresa a la Universidad de
Viena; indeciso entre estudiar física o matemáticas se inclina por la segunda estimulado
por las excelentes clases en Teoría de Números del profesor Philipp Furtwngler; pero
el profesor que más influyo en Gödel fue Hans Hahn (1879-1934), destacado logística y
miembro activo del Circulo de Viena y cuya área de interés eran los fundamentes de la
matemática.
En 1928 aparece la primera edición del libro sobre lógica matemática de Hilbert y Acker-
man (Elementos de la Lógica Formal, Grundzüge der Formelle Logik), en el cual se planteaba
como un reto la completitud del cálculo de predicados (o lógica de primer orden). Gödel
resolvió este problema un año después, en 1929, en su tesis doctoral bajo la dirección de
Hans Hahn. En este trabajo, que fue escrito en tan sólo 11 páginas, quedaron establecidos
tres resultados fundamentales para el cálculo de predicados de primer orden:
Gödel visitó Princeton, por primera vez, en 1933-1934. Luego de este viaje sufrió una de
sus depresiones, tal vez la primera significativa; este problema lo acompaño por el resto
de su vida e incluso lo condujo a la muerte.
En 1936 su salud se vio nuevamente afectada, pero luego de este año, entre el otoño de
1937 y la primavera de 1938 trabajo en Viena, en la preparación de sus aportes a la fun-
damentación de la matemática. Su principal logro en ese periodo fue el siguiente:
El axioma de elección establece que,
Para toda colección C no vacía de conjuntos no vacíos, existe una función ψ de dominio C tal
que ∀A ∈ C, ψ(A) ∈ A.
Gödel logró probar la consistencia de estas dos proposiciones, es decir, que la existen-
cia de axioma de elección y la hipótesis generalizada del continuo dentro de un sistema
axiomático no implica enunciados contradictorios. Vale la pena reconocer que sobre este
problema venía trabajando desde 1935.
Posteriormente, Gödel presentó una conferencia, sobre tal tema, en el Instituto de Estu-
dios Avanzados Princeton, en el cual dio todos los detalles de sus demostraciones. De esta
conferencia resultó una monografía que apareció en 1940 en la cual demuestra que la
hipótesis del continuo es consistente con los demás axiomas de la teoría de conjuntos.
En 1942 Gödel obtuvo su famosa interpretación intuicionista de la teoría de los números
por medio de las funciones primitivas recursivas descubiertas por él mismo. Con el fin de
clarificar qué tipo de funciones son éstas, es necesario dar algunas definiciones básicas.
Previamente hay que aclarar que cuando se refiere a la función f (m) se está hablando de
una función de Nm → N en donde N es el conjunto de los números naturales.
(n) (n) (n)
Sean las funciones f (r) y f 1 , f 2 , . . ., f r (r > 0, n ≥ 0). La función
(n) (n)
g(x1 , x2 , . . . , xn ) = f (r) f 1 (x1 , x2 , . . . , xn ), . . . , f r (x1 , x2 , . . . , xn )
(n−1) (n+1)
Sean las funciones f 1 y f2 . Las ecuaciones
(n−1)
g(x1 , . . . , xi−1 , 0, xi+1 , . . . , xn ) = f1 (x1 , . . . , xi−1 , xi+1 , . . . , xn )
(n+1)
g(x1 , . . . , xi−1 , xi + 1, xi+1 , . . . , xn ) = f 2 (x1 , . . . , xi−1 , xi , xi+1 , . . . , xn , g(x1 , . . . , xi−1 , xi , xi+1 , . . . , xn ))
define la función g (n) por una operación de recursión primitiva con respecto al i-ésimo
argumento.
El esquema anterior se denomina un esquema de recursión primitiva; así por ejemplo:
(1) (3) (1) (3)
Tomemos las funciones I1 y λ3 , tales que I1 (x) = x y λ3 (x, y, z) = z + 1, constrúyase el
esquema de recursión primitiva según el primer argumento
⎧
⎪
⎪ (1)
⎨sum(0, y) = I1 (y) = y
⎪
⎪ (8.5)
⎩sum(x + 1, y) = λ(3) (x, y, sum(x, y)) = sum(x, y) + 1
3
Luego:
Las igualdades (8.5) definen de manera primitiva-recursiva la función sum por las fun-
(1) (3)
ciones I1 y λ3 . Es evidente ver que sum(x, y) = x + y.
Cuando se refiere a una clase de funciones de tipo Nk → N ∀k ∈ N se está incluyendo en
ellas todos los elementos de N como funciones de 0 argumentos, es por eso que si m ∈ N
se identifica m(0) = m.
Por otra parte, se dice que una clase de funciones es primitiva recursiva cerrada si:
(1) (1)
1. Contiene a las funciones 0(0) y λ1 ; 0(0) (x) = 0 y λ1 (x) = x + 1.
Por ejemplo
1. ΦP.D. la clase de todas las funciones definidas en todas las partes es primitiva recur-
siva cerrada.
2. ΦC la clase de todas las funciones calculables, es decir aquellas para las cuales existe
un algoritmo que permite determinar, en un número finito de pasos, la imagen de
cualquier elemento, es primitiva recursiva cerrada.
(1) (1)
1. Como λ1 y 0(0) están en P , entonces λ1 ◦ 0(0) = 1(0) ∈ P .
(1) (1)
2. Como λ1 y 1(0) están en P , entonces λ1 ◦ 1(0) = 2(0) ∈ P .
(1)
5. La función I1 se obtiene por recursión primitiva sobre el primer argumento a partir
(2)
de las funciones 0(0) y λ1 de las siguiente manera:
⎧
⎪
⎪ (1)
= 0(0)
⎪
⎨I1 (0)
⎪
⎪ (1) (2) (1)
⎪
⎩I1 (x + 1) = λ1 x, I1 (x)
Luego, I1 ∈ P .
(1)
En 1938 Kurt Gödel se casó con Adela Pockert, vienesa, quien era 6 años mayor que él, y
no tuvieron hijos. Antes de su matrimonio fue ascendido a profesor titular, con sueldo, y,
además, ya había dictado algunas conferencias en Göttingen sobre sus nuevos intereses en
Teoría de Conjuntos. Estos trabajos enriquecerían en el futuro la denominada Teoría de
conjuntos de Von Neumann Bernays Gödel, la cual fue formulada inicialmente por John
von Neumann (1903-1957) en 1925 modificada por Paul Bernays (1888-1977) y simpli-
ficada por Gödel en 1940. En este enfoque, a diferencia del Zermelo, se toma la noción
de función como fundamental en lugar de la de clase o conjunto, además las nociones
primitivas son las de clase, conjunto y pertenencia.
A principios de 1940, Gödel y su esposa emigran a los EEUU. Tomó la ciudadanía Esta-
dounidense en 1948. Estuvo siempre vinculado a el Instituto de Estudios Avanzados de
Princeton en donde fue miembro ordinario hasta 1946, miembro permanente hasta 1953
y a los 47 años de edad fue nombrado profesor. En Princeton empezó a incursionar en
la Teoría General de la Relatividad. Einstein estaba también ahí y a Gödel le impresiono
mucho el singular éxito de Einstein al usar un análisis filosófico para presentar su Teoría
General de la Relatividad. Einstein estuvo, siempre encantado por la combinación de ele-
gancia y precisión de Gödel y los dos compartieron, frecuentemente, tiempo e inquietudes
y tuvieron una gran amistad que se extendió hasta la muerte del genial físico.
275
En los años posteriores 1945, Gödel se interesó por la relatividad general; en 1949 publicó
una solución a las ecuaciones einstenianas del campo gravitatorio. Estas soluciones plan-
tean un universo que no es real, no es el universo en el que vivimos, es sólo un universo
posible; en el mismo año Gödel expone las consecuencias filosóficas de su modelo.
Posteriormente Gödel incursionó en la filosofía de la ciencia y específicamente de la ma-
temática, uno de sus más comentados trabajos apareció en 1944 y trató sobre la lógica
matemática de Russell. Casi como una consecuencia inmediata de estos pensamientos,
Gödel, llegó al tema físico-filosófico del momento: la teoría de la relatividad.
A principios de los años 50, los logros de Gödel comenzaron a ser formalmente recono-
cidos, Yale y Harvard le otorgaron doctorados honoríficos; también se le entrego en 1951
el Premio Einstein, conjuntamente con Julian Schwinger. En 1967 recibió el doctorado
Amherst College y fue elegido miembro honorario de la London Mathematical Society.
En 1974 recibió la Medalla Nacional de ciencias de los Estados Unidos, luego de haber
recibido en 1972 un doctorado honorífico de la Universidad Rockefeller. En 1966 otro
doctorado honorífico de la Academia Austriaca de ciencias. Estos dos nombramientos no
los tomó personalmente.
Kurt Gödel recibió también otros honores, algunos de los cuales le permitieron sentirse
muy complacido, como fueron los de Miembro Extranjero de la Sociedad Real Inglesa,
Miembro Honorario de la Sociedad Matemática de Londres, Miembro correspondiente de
la Academia Británica; también fue nombrado miembro de la asociación Americana de
Ciencias y Artes y de la Sociedad Americana de Filosofía.
En 1974 Gödel, publicó su último trabajo, en el se refiere al denominado Análisis No-
estándar, descubierto por el profesor Abraham Robinson. Cuatro años después, en las
horas de la tarde del sábado 14 de Enero de 1978, Gödel murió en la silla de su cuarto del
Hospital de Princeton, presumiblemente por inanición crónica debida a la dieta especial
que voluntariamente se sometía motivada por su hipocondría y trastornos de personali-
dad.
Gödel fue un autor profundo con una increíble densidad científica, pero no escribió en
abundancia. Durante sus 35 años de producción científica activa publico 33 artículos y
resúmenes de los cuales existen 27 traducidos al español. El legado de sus manuscritos
está en la Sección de Libros Raros de la biblioteca de la Universidad de Princeton.
Después de la desconcertante demostración de Gödel sobre la imposibilidad de ciertas
demostraciones, se abrieron nuevas fronteras para descubrir las propias limitaciones de
la ciencia tal y como hoy la conocemos. Uno de los más grandes pasos en este sentido, lo ha
dado G. Chaitin, de la IBM, quién mostró, no solo que los indecibles son numerosos, sino
también que están cerca de nosotros y “son palpables”, como lo dijo Jean Paul Delahaye
en 1989.
276 CAPÍTULO 8. EL TEOREMA DE INCOMPLETITUD DE GÖDEL
“Veintidós años después de la muerte de Gödel se puede asegurar que la posición alcanzada por
sus resultados está plenamente justificada por la amplia diversidad de aplicaciones en toda la
ciencia”.
9. Máquinas de Post
1 si en el desarrollo decimal de π hay n ceros consecutivos.
f (n) = (9.1)
0 en otros casos.
277
278 CAPÍTULO 9. MÁQUINAS DE POST
Es una cinta infinita integrada por celdas que pueden estar marcadas o vacías y además
también tiene una celda externa llamada “carro” o “cabezal de lectura y registro”.
CINTA
V
Número 1
V V
Número 2
V V V
Número 3
V V V V
Y así sucesivamente.
9.2. ¿CÓMO SON LAS INSTRUCCIONES EN UNA MÁQUINA DE POST? 279
i. instrucción j
i y j están en N
i. ⇒ j
V
i. ⇐ j
V
280 CAPÍTULO 9. MÁQUINAS DE POST
i. ∨ j
V
i. ξ j
V V V V V V
i. stop
Con esta instrucción se da por terminado el programa.
Un programa de una Máquina de Post es una secuencia finita de instrucciones del tipo:
i. instrucción j
2. Cada salto de cualquiera de las instrucciones coincide con el número de cierta ins-
trucción.
1. ⇒ 2 1. ⇒ 2
5
3. ⇐ 4 2. ?
3
2. ∨ 4 3. ⇐ 4
4. ξ 1 4. ξ 1
1). P1
V V V V V V
2). P2
V V V V V V
3). P3
V V V V V V
9.5.1. Programa 1
V V V V V V
Desarrollo:
1. ⇒ 2
3
2. ?
1
3. ∨ 4
4. stop
9.5.2. Programa 2
sign(n) = n + 1 ∀n ∈ N (9.3)
V V V V V V
Desarrollo:
1. ⇒ 2
1
2. ?
3
3. ⇐ 4
4. ∨ 5
5. stop
284 CAPÍTULO 9. MÁQUINAS DE POST
9.5.3. Programa 3
sign(n) = n + 1 ∀n ∈ N (9.4)
V V V V V V
Desarrollo:
1. ⇐ 2
1
2. ?
3
3. ⇒ 4
4. ∨ 5
5. stop
¿Cómo procederíamos si no se sabe donde está el carro? En este caso lo primero que hace-
mos es empezar con una instrucción del tipo:
6
1. ?
2
3
1. ?
2
2. stop
En caso de que la respuesta sea negativa clava una estaca en el piso y da un paso en la
dirección norte, N.
3. ∨ 4
4. ⇒ 5
V
286 CAPÍTULO 9. MÁQUINAS DE POST
6
5. ?
2
6. ∨ 7
7. ⇐ 8
7
8. ?
9
V V
9. ξ 10
10. ⇐ 11
12
11. ?
2
12. ∨ 13
13. ⇒ 14
13
14. ?
15
9.5. PROGRAMAS EN MÁQUINAS DE POST 287
V V
2 17. ξ 18
1. ? 9. ⇐ 10 18. ⇒ 19
20 11 18
2. ∨ 3 10. ? 19. ?
3. ⇒ 4 21 20
5 11. ∨ 12 20. Stop
4. ? 12. ⇒ 13 21. ⇒ 22
15 12 21
5. ∨ 6 13. ? 22. ?
6. ⇐ 7 14 23
6 14. ξ 3 23. ξ 24
7. ? 15. ⇐ 16 24. ⇐ 25
8 15 24
8. ξ 9 16. ? 25. ?
17 20
9.5.5. Programa 5
Construya un programa para calcular la suma de dos números si el carro está en la posi-
ción que se indica en la figura.
288 CAPÍTULO 9. MÁQUINAS DE POST
V V V V V V V V V
Desarrollo:
1. ξ 2 7 10. ⇐ 11
2. ⇒ 3 6. ? 12
4 10 11. ?
3. ? 7. ⇐ 8 10
2 9 12. ⇒ 13
4. ∨ 5 8. ?
7 13. ξ 14
5. ⇒ 6 9. ⇒ 1 14. Stop
9.5.6. Programa 6
Construya un programa para calcular la suma de dos números si el carro está en la posi-
ción que se indica en la figura.
V V V V V V V V V
9.5. PROGRAMAS EN MÁQUINAS DE POST 289
Desarrollo:
1. ⇒ 2 6. ⇐ 7
1 6
2. ? 7. ?
3 8
3. ξ 4 8. ⇒ 9
4. ⇒ 5
10 9. ∨ 1
5. ?
6 10. Stop
9.5.7. Programa 7
Construya un programa para calcular la suma de dos números si el carro está en la posi-
ción que se indica en la figura.
V V V V V V V V V
Desarrollo:
1. ⇒ 2 6. ∨ 7 11. ⇒ 3
1 7. ⇒ 8 12. ⇐ 13
2. ? 9 14
3 8. ? 13. ?
3. ξ 4 12 12
4. ⇒ 5 9. ⇐ 10 14. ⇒ 15
6 11
5. ? 10. ? 15. ξ 16
4 9 16. Stop
9.5.8. Programa 8
Construya un programa para calcular el valor absoluto de la diferencia entre dos números
si el carro está señalando una célula marcada por el primer número como se indica en la
figura.
290 CAPÍTULO 9. MÁQUINAS DE POST
V V V V V V V V V V
Desarrollo:
3 17 13
1. ? 7. ? 12. ?
2 8 3
2. ⇒ 1 8. ⇐ 9 13. ⇒ 14
3. ⇒ 4 8 13
3 9. ? 14. ?
4. ? 10 15
5 10. ξ 11 15. ⇐ 16
5. ξ 6 16. ∨ 17
6. ⇒ 7 11. ⇐ 12 17. Stop
9.5.9. Programa 9
Construya un programa para calcular el valor absoluto de la diferencia entre dos números
si el carro está señalando una célula limpia como se indica en la figura.
V V V V V V V V V V
Desarrollo:
3 17 13
1. ? 7. ? 12. ?
2 8 3
2. ⇒ 1 8. ⇐ 9 13. ⇒ 14
3. ⇒ 4 8 13
3 9. ? 14. ?
4. ? 10 15
5 10. ξ 11 15. ⇐ 16
5. ξ 6 16. ∨ 17
6. ⇒ 7 11. ⇐ 12 17. Stop
9.5.10. Programa 10
Programa para determinar el mayor de dos números. El carro se encuentra sobre el nú-
mero de la derecha.
9.5. PROGRAMAS EN MÁQUINAS DE POST 291
V V V V V V V
Desarrollo:
1. ⇒ 2 32
3 19. ξ 20 33. ?
2. ? 20
1 20. ⇒ 21 34. ⇐ 35
3. ∨ 4 20 34
4. ⇒ 5 21. ? 35. ?
5. ∨ 6 22 36
6. ⇐ 7 22. ξ 23 36. ξ 37
8 23. ⇒ 24 37. ⇐ 38
7. ? 34 38. ⇐ 39
6 24. ? 40
8. ∨ 9 25 39. ?
9. ⇐ 10 25. ⇐ 26 48
11 25 40. ∨ 38
10. ? 26. ? 41. ⇒ 42
15 27 41
11. ⇒ 12 27. ⇐ 28 42. ?
13 27 43
12. ? 28. ? 43. ξ 44
11 29 44. ⇒ 45
13. ⇐ 14 29. ξ 30 45. ⇒ 46
14. ξ 6 30. ⇐ 31 47
15. ⇒ 16 41 46. ?
16. ξ 17 31. ? 48
17. ⇒ 18 32 47. ∨ 45
18. ⇒ 19 32. ⇒ 33 48. Stop
9.5.11. Programa 11
Construir un programa para calcular el mayor de dos números. El carro está ubicado a la
izquierda de los números o sobre el número de la izquierda.
V V V V V V
292 CAPÍTULO 9. MÁQUINAS DE POST
Desarrollo:
1. ⇐ 2 12. ⇒ 13 33
3 14 24 34. ?
2. ? 13. ? 25. ? 35
5 12 26 35. ξ 36
3. ⇒ 4 14. ⇐ 15 26. ξ 27 36. ⇐ 37
3 15. ξ 16 27. ⇒ 28 57
4. ? 16. ⇐ 17 44 37. ?
5 18 28. ? 38
5. ⇒ 6 17. ? 29 38. ⇒ 39
7 16 29. ⇐ 30 38
6. ? 18. ∨ 19 29 39. ?
5 19. ⇒ 20 30. ? 40
7. ⇐ 8 21 31 40. ⇐ 41
8. ξ 9 20. ? 31. ⇐ 32 41. ∨ 42
9. ⇐ 10 19 33 42. ⇒ 43
11 21. ⇒ 22 32. ? 24
10. ? 22. ⇒ 23 31 43. ?
9 23. ∨ 24 33. ⇐ 34 42
11. ∨ 12 24. ⇒ 25 44. ⇐ 45
44 53 63. ξ 64
45. ? 54. ? 64. ⇒ 65
46 55 70
46. ⇐ 47 55. ⇐ 56 65. ?
48 66
47. ? 56. ∨ 48 66. ⇐ 67
46 57. ⇒ 58 66
48. ⇐ 49 57 67. ?
48 58. ? 68
49. ? 59 68. ⇒ 69
50 59. ⇒ 60 69. ∨ 61
50. ξ 51 61 70. ⇐ 71
51. ⇐ 52 60. ? 70
59 71. ?
74
52. ? 61. ⇒ 62 72
53 61 72. ⇒ 73
53. ⇒ 54 62. ? 73. ∨ 74
63 74. Stop
9.5. PROGRAMAS EN MÁQUINAS DE POST 293
9.5.12. Programa 12
Programa para calcular la suma de los n primeros números naturales, si el carro está
ubicado sobre el número n.
V V V V V V V
Desarrollo:
1. ⇒ 2 9. ξ 10 16. ⇒ 17
3
2. ? 10. ⇐ 11 17. ⇒ 18
1 16 19
3. ⇒ 4 11. ? 18. ?
4. ∨ 5 12 20
5. ⇐ 6 12. ⇒ 13 19. ∨ 17
7 12 20. ⇐ 21
6. ? 13. ? 21. ξ 22
5 14 22. ⇐ 23
7. ⇐ 8 14. ⇒ 15 24
7 4 23. ?
8. ? 15. ? 9
9 14 24. Stop
9.5.13. Programa 13
2 14. ξ 3 27. ⇒ 28
1. ? 15. ⇐ 16 28. ⇒ 29 44. ⇐ 45
25 15 30
2. ∨ 3 16. ? 29. ? 46
3. ⇒ 4 17 31 45. ?
5 17. ξ 18 30. ⇐ 53 44
4. ? 18. ⇒ 19 31. ⇐ 32 46. ⇐ 47
15 18 32. ξ 33
5. ∨ 6 19. ? 33. ⇒ 34 48
6. ⇐ 7 28 35 47. ?
6 20. ⇒ 21 34. ? 46
7. ? 20 33 48. ⇒ 49
8 21. ? 35. ⇒ 36
8ξ 9 22 37 49. ξ 50
9. ⇐ 10 22. ξ 23 36. ?
11 23. ⇐ 24 35 50. ⇒ 51
10. ? 23 37. ∨ 38 52
20 24. ? 38. ⇒ 39 51. ?
11. ∨ 12 25 39. ∨ 40 33
12. ⇒ 13 25. ⇐ 26 40. ⇒ 41 52. ∨ 53
12 27 41. ∨ 42
13. ? 26. ? 42. ⇒ 43 53. Stop
14 25 43. ∨ 44
9.5.14. Programa 14
Programa para multiplicar un número por cinco; si el carro está ubicado en cualquier
posición.
V V V V V V V V
9.5. PROGRAMAS EN MÁQUINAS DE POST 295
Desarrollo:
35. ξ 36 59. ⇒ 60
2 18. ⇒ 19
1. ? 36. ⇒ 37 61
18 60. ?
20 19. ? 37. ⇒ 38
38. ∨ 39 62
2. ∨ 3 20
39. ⇒ 40 61. ⇒ 60
3. ⇒ 4 20. ⇒ 26
40. ∨ 41 62. ⇒ 63
5 21. ⇒ 22
4. ? 41. ⇒ 42 64
21
15 22. ? 42. ∨ 43 63. ?
43. ⇒ 44 62
5. ∨ 6 23
44. ∨ 45 64. ∨ 65
6. ⇐ 7 23. ξ 24
45. ⇒ 46 65. ⇒ 66
6 24. ⇐ 25
7. ? 46. ∨ 47 66. ∨ 67
24 47. ⇒ 48
8 25. ? 67. ⇒ 68
20 48. ∨ 49 68. ∨ 69
8ξ 9 49. ⇐ 50 69. ⇒ 70
9. ⇐ 10 27
26. ? 51 70. ∨ 71
11 50. ? 71. ⇒ 72
10. ? 28 49
21 72. ∨ 73
27. ⇒ 29 51. ⇐ 52 73. ⇐ 74
11. ∨ 12 28. ⇐ 26
51 75
12. ⇒ 13 29. ⇒ 30 52. ? 74. ?
12 31 53 73
13. ? 30. ?
14 32 53. ⇐ 54 75. ⇐ 76
55 75
14. ξ 3 31. Stop 54. ? 76. ?
15. ⇐ 16 32. ⇒ 33 57 77
15 34 55. ⇒ 56 77. ⇐ 78
16. ? 33. ?
17 32 56. ξ 51 55
57. ⇒ 58 78. ?
17. ξ 18 34. ⇐ 35 58. ξ 59 57
9.5.15. Programa 15
Programa para multiplicar un número por seis si el carro se encuentra en cualquier posi-
ción
V V V V V V V V
296 CAPÍTULO 9. MÁQUINAS DE POST
Desarrollo:
2 14. ξ 3 27. ⇒ 28
1. ? 15. ⇐ 16 28. ⇒ 29 44. ⇒ 45
25 15 30 45. ∨ 46
2. ∨ 3 16. ? 29. ? 46. ⇒ 47
3. ⇒ 4 17 31 47. ∨ 48
5 17. ξ 18 30. ⇐ 57 48. ⇐ 49
4. ? 18. ⇒ 19 31. ⇐ 32 50
15 18 32. ξ 33 49. ?
5. ∨ 6 19. ? 33. ⇒ 34 48
6. ⇐ 7 28 35 50. ⇐ 51
6 20. ⇒ 21 34. ?
7. ? 20 33 52
8 21. ? 35. ⇒ 36 51. ?
8ξ 9 22 37 50
9. ⇐ 10 22. ξ 23 36. ? 52. ⇒ 53
11 23. ⇐ 24 35 53. ξ 54
10. ? 23 37. ∨ 38 54. ⇒ 55
20 24. ? 38. ⇒ 39 56
11. ∨ 12 25 39. ∨ 40 55. ?
12. ⇒ 13 25. ⇐ 26 40. ⇒ 41 33
12 27 41. ∨ 42 56. ∨ 57
13. ? 26. ? 42. ⇒ 43
14 25 43. ∨ 44 57. Stop
9.5.16. Programa 16
Programa para calcular un número por siete si el carro se encuentra en cualquier posición.
V V V V V V V V
9.5. PROGRAMAS EN MÁQUINAS DE POST 297
Desarrollo:
27. ⇒ 28 44. ⇒ 45
2 14. ξ 3
28. ⇒ 29 45. ∨ 46
1. ? 15. ⇐ 16
25 30 46. ⇒ 47
15 29. ?
2. ∨ 3 16. ?
31 47. ∨ 48
3. ⇒ 4 17
30. ⇐ 59 48. ⇒ 49
5 17. ξ 18
31. ⇐ 32 49. ∨ 50
4. ? 18. ⇒ 19
15 32. ξ 33
18 50. ⇐ 51
19. ? 33. ⇒ 34
5. ∨ 6
28 35 52
6. ⇐ 7 34. ? 51. ?
6 20. ⇒ 21 33 50
7. ? 20
8 21. ? 35. ⇒ 36 52. ⇐ 53
22 37 54
8. ξ 9 36. ? 53. ?
9. ⇐ 10 22. ξ 23 35 52
11 23. ⇐ 24
10. ? 37. ∨ 38 54. ⇒ 55
23
20 24. ? 38. ⇒ 39 55. ξ 56
25 39. ∨ 40 56. ⇒ 57
11. ∨ 12
40. ⇒ 41 58
12. ⇒ 13 25. ⇐ 26 57. ?
41. ∨ 42
12 27 42. ⇒ 43 33
13. ? 26. ?
14 25 58. ∨ 59
43. ∨ 44 59. Stop
9.5.17. Programa 17
V V V V V V V V
298 CAPÍTULO 9. MÁQUINAS DE POST
Desarrollo:
2 18. ⇒ 19 35. ⇒ 36
1. ? 18 37
26 19. ? 36. ?
2. ∨ 3 28 46
3. ⇒ 4 20. ⇒ 21 37. ∨ 38
5 22 38. ⇐ 39
4. ? 21. ? 40
15 23 39. ?
5. ∨ 6 22. ⇒ 21 38
6. ⇐ 7 23. ξ 24 40. ⇐ 41
6 24. ⇐ 25 41. ⇐ 42
7. ? 24 42. ⇐ 43
8 25. ? 44
8ξ 9 26 43. ?
9. ⇐ 10 28 42
11 26. ? 44. ⇒ 45
10. ? 27 73
20 27. ⇐ 26 45. ?
11. ∨ 12 28. ⇒ 29 30
12. ⇒ 13 28 46. ξ47
12 29. ? 47. ⇒ 48
13. ? 30 49
14 30. ξ 31 48. ?
14. ξ 3 31. ⇒ 32 47
15. ⇐ 16 33 49. ⇒ 50
15 32. ? 52
16. ? 31 50. ?
17 33. ⇒ 34 51
17. ξ 18 34. ⇒ 35 51. ⇒ 50
9.5. PROGRAMAS EN MÁQUINAS DE POST 299
52. ∨ 53 68
53. ⇐ 54 67. ?
55 66
54. ? 68. ⇐ 69
53 69. ⇐ 70
55. ⇐ 56 70. ⇐ 71
58 73
56. ? 71. ?
57 72
57. ⇐ 56 72. ⇐ 79
58. ∨ 59 73. ⇒ 74
59. ⇐ 60 73
61 74. ?
60. ? 75
46 75. ⇒ 76
61. ∨ 62 77
62. ⇒ 63 76. ?
64 75
63. ? 77. ∨ 78
62 78. Stop
64. ⇐ 65 80
65. ξ 66 79. ?
66. ⇐ 67 72
80. ⇒ 30
9.5.18. Programa 18
V V V V V V V V
300 CAPÍTULO 9. MÁQUINAS DE POST
Desarrollo:
9.5.19. Programa 19
Programa para calcular el residuo de dividir un número por dos.
V V V V V V V
9.5. PROGRAMAS EN MÁQUINAS DE POST 301
Desarrollo:
2 11. ∨ 12 23. ξ 24
1. ? 12. ⇒ 13 24. ⇐ 25
20 12 24
2. ∨ 3 13. ? 25. ?
3. ⇒ 4 14 20
5 14. ξ 3 18
4. ? 15. ⇐ 16 26. ?
15 15 20
5. ∨ 6 16. ? 27. ⇒ 28
6. ⇐ 7 17 28. ⇒ 29
6 17. ξ 18 30
7. ? 18 29. ?
8 19. ? 31
8. ξ 9 27 30. Stop
20. ⇐ 26 31. ⇐ 32
9. ⇐ 10 21. ⇒ 22 18
11 21 32. ?
10. ? 22. ? 33
21 23 33. ξ 31
9.5.20. Programa 20
Programa para calcular el cociente y el residuo de dividir un número n por dos; dejando
el cociente a la izquierda y el residuo a la derecha.
V V V V V V V
Desarrollo:
302 CAPÍTULO 9. MÁQUINAS DE POST
2 14. ξ 3 27. ⇒ 28
1. ?
20 15. ⇐ 16 28. ∨ 29
2. ∨ 3 29. ⇒ 30
3. ⇒ 4 15
16. ?
5 29
4. ? 17 30. ?
15 17. ξ 18 31
18. ⇒ 19 31. ⇒ 32
5. ∨ 6
6. ⇐ 7 18 32. ⇒ 33
19. ?
6 20 34
7. ? 33. ?
8 20. ⇐ 26 35
21. ⇒ 22
8. ξ 9 34. Stop
21
22. ? 35. ⇐ 36
9. ⇐ 10 23 38
11 36. ?
23. ξ 24
10. ? 37
24. ⇐ 25
21 37. ξ 35
24
11. ∨ 12 25. ? 38. ⇐ 39
12. ⇒ 13 20 38
12 27 39. ?
13. ? 26. ? 40
14 20 40. ⇒ 28
9.5.21. Programa 21
V V V V V V V
9.5. PROGRAMAS EN MÁQUINAS DE POST 303
Desarrollo:
1. ⇒ 2 13 28. ⇐ 29
3 14. ? 28
2. ? 15 29. ?
1 15. ξ 16 30
3. ⇒ 4 16. ⇒ 17 30. ⇒ 31
4. ∨ 5 19 32
5. ⇐ 6 20. ? 31. ?
6. ⇐ 7 21 30
8 21. ⇒ 22 32. ∨ 33
7. ? 23 33. ⇐ 34
6 22. ?
8. ⇐ 9 21 23
8 23. ⇐ 24 34. ?
9. ? 23 33
10 24. ? 35. ⇒ 36
10. ξ 11 25 37
11. ⇐ 12 25. ξ 26 36. ?
13 26. ⇐ 27 38
12. ? 35 37. ∨ 35
19 27. ? 38. ⇐ 39
13. ⇒ 14 28 39. ξ 6
304 CAPÍTULO 9. MÁQUINAS DE POST
Los ejemplos que hemos presentado representan una pequeña muestra de la gran varie-
dad de programas que pueden construirse.
Las funciones aritméticas nos ofrecen una amplia y rica variedad de ejemplos que son de
interés en Teoría de Números y que pueden llevarse a través de Máquinas de Post al aula
de clase.
Construir Máquinas de Post que realicen las acciones que se indican a continuación:
1. A y B son de tipo Z.
2. No existen dos años que cumplan la primera de las dos propiedades pero no la
segunda.
3. Q = 2, U = 0, I = 1, R = 3
4.
5 2 8 3
× 4 9
4 7 5 4 7
2 1 1 3 2
2 5 8 8 6 7
6. 900 alumnos.
305
306 CAPÍTULO 10. RESPUESTAS DE LOS EJERCICIOS PROPUESTOS
17. La base es 7.
18. 7 hijos.
20. Si es posible.
21. $525,000
23. Alicia Reyes Torres se encuentra en segundo de bachillerato. Julio López Torres se
encuentra en quinto de bachillerato. Juan Santander Torres se encuentra en segun-
do de bachillerato. Bernardo Mosquera Vargas se encuentra en sexto de bachillerato.
Pedro Bolívar Vargas se encuentra en primero de bachillerato. Eduardo Obando Var-
gas se encuentra en quinto de bachillerato.
24. Luisa Rodriguez tiene 98 años. Ana Gómez tiene 92 años. Susana Luna tiene 94 años.
Carmen Parra tiene 96 años. Sara Vásquez tiene 95 años.
26.
28. El espía es B.
29. Claudia.
30. Ubigilda es la abogada y viste de verde, Bertilda es piloto y viste de naranja, Risura
es profesora y viste de rojo, Saturnina es salvavidas y viste de azul.
31. Olimpo es la persona que odia a Ladino, Ladino es el gordo, Edmundo es el sordo-
mudo, Pupo es el parlanchín, Saulo es el que tiene deficiencia vitamínica y Goyene-
che es el anfitrión.
307
9 3 3 2 2 4 2 1 2
-8 4 8 4 4 0 2
8 5 2
8 4 8
4 2 4
4 2 4
44. 84 años.
45. Ninguna. Ambas distancias son iguales.