Apndices

Apndice 1. La demostracin del teorema de Pitgoras

El propsito de la demostracin es probar que el teorema de Pitgoras es cierto para todos

los tringulos rectngulos. El tringulo mostrado arriba podra ser cualquier tringulo
rectngulo ya que las longitudes de sus lados no estn especificadas, sino representadas
por

las

letras x , y y z .

En la figura de arriba se combinan cuatro tringulos rectngulos idnticos con un cuadrado

girado para construir un cuadrado mayor. El rea de este cuadrado mayor es la clave de la
demostracin.
El

rea

del

cuadrado

se

puede

calcular

de

Mtodo

dos

modos:
1.

Medir el rea del cuadrado como un todo. La longitud de cada lado es x + y . Por lo tanto,
el

rea

del

cuadrado

grande

es

(x+y)2 .

Mtodo
2.
Medir el rea de cada elemento del cuadrado grande. El rea de cada tringulo
es 1/2( xy ), o sea, 1/2 x base x altura . El rea del cuadrado girado es z 2 . En
consecuencia, rea del cuadrado grande= 4 x (rea de cada tringulo)+rea
del
cuadrado
girado
=
4
x
( xy )
+z2.
Los mtodos 1 y 2 dan dos expresiones diferentes. Sin embargo, estas dos
expresiones deben ser equivalentes, puesto que representan la misma rea.
Por ello
rea del mtodo 1 = rea del mtodo
2( x + y )

= 4 x ( xy ) + z

Los parntesis se pueden desarrollar y simplificar. Entonces,

x

+y

+ 2xy = 2xy + z

El trmino 2xy se cancela en ambos lados. As tenemos

x

+y

=z

Que
es
el
teorema
de
Pitgoras!
La argumentacin se basa en el hecho de que el rea del cuadrado mayor debe
ser la misma sin importar qu mtodo se usa para calcularla. Entonces, por
medio de la lgica, derivamos dos expresiones para la misma rea, las
igualamos, y finalmente la conclusin inevitable es que x

+ y

= z

, es

decir, el cuadrado de la hipotenusa, z2 , es igual a la suma de los cuadrados de

los
catetos, x 2 +
y2.
Este razonamiento es cierto para todos los tringulos rectngulos. Los lados
del tringulo en nuestro razonamiento estn representados por x , y y z , y
pueden, por lo tanto, representar los lados de cualquier tringulo rectngulo.
Apndice 2. Demostracin de Euclides de que 2 es irracional
El objetivo de Euclides era probar que 2 no se puede escribir como una
fraccin. Debido a que us una reduccin al absurdo, el primer paso es
suponer que lo contrario es cierto, es decir, que 2 se podra escribir como
alguna fraccin desconocida. Esta hipottica fraccin se representa por p / q ,
donde p y q son
dos
nmeros
enteros.
Antes de embarcarnos en la demostracin en s, todo lo que se requiere es una
comprensin bsica de algunas propiedades de las fracciones y los nmeros
pares.
1. Si se toma cualquier nmero y se multiplica por 2, el nuevo nmero debe
ser par. Esto es casi equivalente a la definicin de un nmero par.
2. Si se sabe que el cuadrado de un nmero es par, entonces el nmero
mismo debe ser tambin par.
3. Finalmente, las fracciones se pueden simplificar: 16/24 es lo mismo que
8/12; slo hay que dividir el numerador y el denominador de 16/24 por
el factor comn 2. Es ms, 8/12 es lo mismo que 4/6, y, a su vez, 4/6 es
lo mismo que 2/3. Sin embargo, 2/3 no puede ser simplificado ya que 2
y 3 no poseen factores comunes. Es imposible continuar simplificando
una fraccin por siempre.
Ahora recurdese que Euclides cree que 2 no se puede escribir como una
fraccin. Sin embargo adopta el mtodo de prueba por contradiccin y trabaja
con la suposicin de que la fraccin p / q existe y explora las consecuencias de
su existencia:
2 = p / q

Si se elevan ambos miembros al cuadrado, entonces

2=p

/q

Esta ecuacin se puede reescribir como

2q

=p

Ahora, segn el punto 1, sabemos que p

debe ser par. Es ms, por el punto 2

sabemos que el mismo p 2 tambin ha de ser par. Pero si p 2 es par entonces

se puede escribir como 2 m , donde m es otro nmero entero. Esto se sigue
del punto 1. Lo introducimos en la ecuacin y resulta
2q

= (2m)

=4m

Dividiendo ambos lados por 2, se tiene

q

= 2m

Pero por el mismo argumento que el usado antes sabemos que q 2 ha de ser
par, y as, el mismo q tambin tiene que ser par. Si ste es el caso,
entonces q se puede escribir como 2 n , donde n es algn otro nmero entero.
Si volvemos al principio, entonces
2 = p / q = 2 m /2 n
La fraccin 2 m /2 n se puede simplificar dividiendo el numerador y el
denominador por 2, y se obtiene
2 = m/n
Ahora se tiene una fraccin m / n que es ms sencilla que p / q .
Sin embargo, nos encontramos en la posicin de poder repetir exactamente el
mismo proceso sobre m / n , y al final del proceso generaremos una fraccin
an ms sencilla, digamos g / h . Esta fraccin puede ser pasada otra vez por
la piedra del molino, y la nueva fraccin, llammosla e / f , ser ms simple
an. Podemos volver a tratar esta fraccin y repetir el proceso una y otra vez,
en una sucesin sin fin. Pero por el punto 3 sabemos que las fracciones no
pueden simplificarse indefinidamente. Siempre existe la fraccin ms simple,
pero nuestra fraccin hipottica original p / qno parece obedecer esta regla.
Por lo tanto, estamos justificados para decir que hemos encontrado una
contradiccin. Si 2 se pudiera escribir como una fraccin la consecuencia
sera un absurdo, y as lo correcto es decir que 2 no se puede escribir como
una fraccin. Por tanto 2 es un nmero irracional.
Apndice 3. El enigma de la edad de Diofanto
Llamemos L a la longitud de la vida de Diofanto. A partir del acertijo tenemos
la siguiente relacin completa de la vida de Diofanto:

1/6
L /12
L /7
5
L /2
4

de su vida, L /6 , lo pas siendo un nio

lo pas siendo un joven
lo pas antes de su matrimonio
aos despus naci su hijo
fue la duracin de la vida de su hijo
aos pas sumido en la pena antes de
morir

La longitud de la edad de Diofanto es la suma de todo lo anterior:

L = L /6 + L /12 + L /7 + 5 + L /2 + 4
Podemos simplificar la ecuacin como sigue:
L = (25/28) L + 9
(3/28) L = 9
L = 9 (28/3) = 84
Diofanto muri a la edad de 84 aos.
Apndice 4. EL problema de las pesas de Bachet
Para pesar cualquier nmero de kilogramos entre 1 y 40 la mayor parte de la
gente sugerira que se precisan seis pesas: 1, 2, 4, 8, 16 y 32 kg. De esta
forma, todos los pesos se pueden obtener fcilmente colocando las siguientes
combinaciones en un platillo:
1 kg =
2 kg =
3 kg =
4 kg =
5 kg =

40 kg =

1
2
2+1
4
4+1
32 + 8

Sin embargo, si se sitan pesas en ambos platillos, de forma que las pesas
tambin puedan ponerse junto con el objeto pesado, Bachet pudo completar la
tarea con slo cuatro pesas: 1, 3, 9 y 27 kg. Una pesa situada en el mismo
platillo que el objeto que se est pesando toma un valor efectivo negativo. As,
los
pesos
se
pueden
obtener
como
sigue:
1 kg =
2 kg =
3 kg =

1
3-1
3

4 kg =
5 kg =

40 kg =

3+1
93-1
27 + 9 + 3 + 1

Apndice 5. Demostracin de Euclides de que hay un nmero infinito

de ternas pitagricas
Una terna pitagrica es un conjunto de tres nmeros enteros tales que el
cuadrado del primero ms el cuadrado del segundo es igual al tercer nmero al
cuadrado. Euclides pudo demostrar que exista un nmero infinito de tales
ternas
pitagricas.
La demostracin de Euclides empieza con la observacin de que la diferencia
entre cuadrados sucesivos siempre es un nmero impar:
1

10

16

25

36

49

64

81

10

1
1

1
3

1
5

1
7

1
9

Cada uno de la infinidad de nmeros impares puede sumarse a un nmero

cuadrado especfico para crear otro cuadrado. Una fraccin de esos nmeros
impares es, a su vez, cuadrado; pero una fraccin de infinito, tambin es
infinito.
En consecuencia, hay una infinidad de nmeros cuadrados que pueden
sumarse a un cuadrado para obtener otro nmero cuadrado. En otras palabras,
existe un nmero infinito de ternas pitagricas.

Apndice 6. La demostracin de la conjetura del punto

La conjetura del punto afirma que es imposible dibujar un diagrama de puntos
de tal modo que cada lnea tenga por lo menos tres puntos sobre ella.
Aunque la demostracin requiere una cantidad mnima de matemticas, se
basa en algunas piruetas
geomtricas, as que se recomienda una inspeccin cuidadosa de cada paso.
Considrese primero una disposicin arbitraria de puntos y las lneas que
conectan cada punto con los restantes. Entonces para cada punto calclese su
distancia hasta la lnea ms cercana, excluyendo las lneas que pasan por l.
Despus, identifquese cul de entre todos los puntos est ms cerca de una

lnea.
Abajo se ve una ampliacin de un punto D que es el ms cercano a la lnea L.
La distancia entre el punto y la lnea se muestra como una lnea a trazos y esta
distancia es menor que cualquier otra distancia entre cualquier otra lnea y el
punto.

Ahora es posible mostrar que la lnea L siempre tendr slo dos puntos sobre
ella y que, por tanto, la conjetura es cierta, o sea, que es imposible dibujar un
diagrama
tal
que
cada
lnea
tenga
tres
puntos
sobre
ella.
Para demostrar que la lnea L debe tener dos puntos, consideramos qu
ocurrira si tuviera un tercer punto. Si el tercer punto, DA , existiera ms all
de los dos puntos mostrados originalmente, entonces la distancia mostrada
como una lnea punteada sera menor que la distancia a trazos, que se supona
era la distancia mnima entre un punto y una lnea. Por lo tanto el punto DA no
puede
existir.
De forma similar, si el tercer punto, DB , existiera entre los dos puntos
originales, entonces, una vez ms, la distancia mostrada como una lnea de
puntos sera menor que la lnea de puntos que supuestamente era la menor
distancia entre un punto y una lnea. Por lo tanto, DB tampoco puede existir.
En resumen, cualquier configuracin de puntos debe tener una distancia
mnima entre algn punto y alguna recta, y la lnea en cuestin slo puede
tener dos puntos. Por consiguiente, para cada configuracin habr siempre por
lo menos una lnea con slo dos puntos; la conjetura es cierta.
.
Apndice 7. Perdidos en el absurdo
Lo siguiente es una demostracin clsica de lo fcil que es empezar con un
enunciado simple y tras unos pocos pasos (aparentemente) directos y lgicos
mostrar
que
2
=
1.
Primero empecemos con el inocuo enunciado
a=b
Entonces multiplquense ambos miembros por a, con lo que se tiene
a

= ab

Smese entonces a

2 ab en ambos lados:
a

+a

- 2 ab = ab + a

- 2 ab

Que puede simplificarse en:

2( a

- ab ) = a

Finalmente, dividiendo ambos lados por a

- ab .

- ab , se tiene

2=1
El enunciado original parece, y es, completamente inofensivo, pero en algn
paso de la manipulacin se ha deslizado un error sutil pero desastroso que
lleva
a
la
contradiccin
del
ltimo
enunciado.
En realidad, el error fatal aparece en el ltimo paso, cuando ambos lados se
dividen por ( a

ab ). Sabemos por el enunciado inicial que a = b , y por

tanto dividir por (a 2 ab ) es equivalente a hacerlo por cero.

Dividir cualquier cosa por cero es arriesgado puesto que cero est un nmero
infinito de veces en cualquier cantidad finita. Al crear un infinito en ambos
miembros hemos destrozado ambas partes de la ecuacin y permitido que se
cuele
una
contradiccin
en
el
argumento.
Este sutil error es la tpica clase de pifia que se encontr en muchos de los
participantes
en
el
Premio
Wolfskehl.
.

Apndice 8. Los axiomas de la aritmtica

Los siguientes axiomas son todo lo que se precisa para la fundamentacin de
la elaborada estructura de la aritmtica:
Para cualesquiera nmeros m y n ,
m+n=n+m
mxn=nxm
Para cualesquiera nmeros m, n y k
(m+n)+k=m+(n+k)
( mn ) k = m ( nk )
Para cualesquiera nmeros m, n y k
m ( n + k ) = mn + m+ k

 Existe un nmero 0 que tiene la propiedad de que, para cualquier

nmero n ,
n+0=n
Existe un nmero 1 que tiene la propiedad de que, para cualquier
nmero n
nx1=n
Para cada nmero n existe otro nmero k tal que
n+k=0
Para cualesquiera nmeros m, n y k
si k 0 y kn = km, entonces m = n
A partir de estos axiomas se pueden demostrar otras reglas. Por ejemplo,
aplicando rigurosamente estos axiomas y sin asumir nada ms, se puede
demostrar la aparentemente obvia regla de que
si m + k = n + k, entonces m = n
Para empezar, decimos que
m+k=n+k
Entonces, segn el axioma 6, supongamos que l es un nmero tal que k + l =
0, as que
(m+k)+l=(n+k)+l
Entonces, por el axioma 2,
m+(k+l)=n+(k+l)
Recordando que k + l = 0, sabemos que
m+0=n+0
Se aplica el axioma 4 y podemos declarar que hemos establecido que
m=n

Apndice 9. La teora de juegos y el trielo

Examinemos las opciones del seor Negro. Primero, el seor Negro podra
apuntar al seor Gris. Si tiene xito, entonces el siguiente disparo lo efectuar
el seor Blanco. Al seor Blanco slo le queda un oponente, el seor Negro, y

ya que el seor Blanco nunca falla un disparo, el seor Negro est muerto.
Una opcin mejor para el seor Negro es apuntar al seor Blanco. Si tiene
xito, entonces el siguiente disparo le corresponde al seor Gris. El seor Gris
slo da en el blanco dos de cada tres veces y, por tanto, existe una posibilidad
de que el seor Negro sobreviva para disparar otra vez al seor Gris y,
posiblemente,
ganar
el
trielo.
Parece que la segunda opcin es la estrategia que debera adoptar el seor
Negro. Sin embargo existe una tercera opcin an mejor. El seor Negro podra
apuntar al aire. El prximo disparo le corresponde al seor Gris, y l apuntar
al seor Blanco, puesto que es el oponente ms peligroso. Si el seor Blanco
sobrevive, l apuntar al seor Gris puesto que es su ms peligroso oponente.
Apuntando al aire, el seor Negro est permitiendo que el seor Gris elimine al
seor
Blanco,
o
viceversa.
sta es la mejor estrategia del seor Negro. Al final, el seor Gris o el seor
Blanco morirn y entonces el seor Negro disparar al superviviente. El seor
Negro ha manipulado la situacin de tal manera que, en lugar de tener el
primer disparo en un trielo, tiene el primer disparo en un duelo.
Apndice 10. Un ejemplo de prueba por induccin
Los matemticos encuentran til tener pulcras frmulas que den la suma de
varias listas de nmeros. En este caso, el reto es encontrar una frmula que d
la
suma
de
los
primeros n nmeros
naturales.
Por ejemplo, la suma del primer nmero es 1, la suma de los primeros dos
nmeros es 3 (2 + 1), la de los tres primeros nmeros es 6 (3 + 2 + 1), la
suma de los cuatro primeros nmeros es 10, (4 + 3 + 2 + 1), etc.
Una frmula candidata que parece describir este modelo es

En otras palabras, si queremos encontrar la suma de los primeros n nmeros,

simplemente tenemos que sustituir ese nmero en la frmula y calcular la
respuesta.
La demostracin por induccin prueba que esta frmula funciona para
cualquier
nmero
hasta
el
infinito.
El primer paso es demostrar que la frmula funciona para el primer caso, n
= 1. Esto es muy sencillo, puesto que conocemos que la suma de slo el
primer nmero es 1, y si introducimos n = 1 en la frmula candidata,
obtenemos el resultado correcto: