Juegos matemticos

por Bartolo Luque

Bartolo Luquees fsico y profesor de matemticas

en la Universidad Politcnica de Madrid. Sus investigaciones
se centran en la teora de sistemas complejos.

Dos es igual a uno

... luego yo soy el papa de Roma
n Los matemticos no son gente seria,
de Claudi Alsina y Miguel de Guzmn, dos de los grandes divulgadores espaoles de matemticas, se comenta una
ancdota muy conocida atribuida a Bertrand Russell (1872-1970). Parece ser que,
durante una de sus exposiciones, el filsofo y matemtico comenz a explicar cmo
a partir de una proposicin falsa poda deducirse cualquier cosa. Alguien le pregunt: Quiere decir que, si 2 + 2 = 5, entonces usted es el papa de Roma?.
Russell respondi al vuelo con la siguiente demostracin: Si 2 + 2 = 5, convendrn conmigo en que, si restamos 2
a cada lado de la igualdad, obtendremos
que 2 = 3. Si invertimos la expresin, llegaremos a 3 = 2, de lo cual, al restar 1 a
cada lado, nos quedar 2 = 1. Dado que el
papa de Roma y yo somos dos personas, y
que 2 = 1, entonces el papa y yo somos una
persona. Luego yo soy el papa de Roma.
Con su agnosticismo beligerante y su peculiar humor britnico, Russell nos ilustra
aqu cmo, en efecto, un enunciado falso
permite demostrar cualquier otro.
El tema ha llegado a ser motivo de
reflexin incluso en la literatura. En la
celebrrima novela 1984, publicada en
1949 por George Orwell (1903-1950), el
protagonista, Winston Smith, elucubra
sobre si el Estado poseer suficiente capacidad de manipulacin para convertir en
una verdad aceptada un enunciado como
dos ms dos es igual a cinco. Y en La
vida, el universo y todo lo dems (1982),
el tercer libro de los cinco que conforman
la serie de ciencia ficcin surrealista e hilarante Gua del autostopista galctico, de
Douglas Adams, se describen las bistromatemticas: As como Einstein observ
que el espacio no es absoluto, sino que
depende del movimiento del observador
en el tiempo, los nmeros no son absolutos, sino que dependen de movimiento del
observador en los restaurantes.
Pero, sin duda, la palma se la lleva
uno de los cuentos de la recopilacin La

88 INVESTIGACIN Y CIENCIA, mayo 2015

historia de tu vida (1988), de Ted Chiang.

La ficcin de marras, titulada Dividido
entre cero, trata sobre un inquietante descubrimiento realizado por Renee, una matemtica genial. Ella misma lo describe
en los siguientes trminos: He descubierto un formalismo que permite igualar
cualquier nmero con cualquier otro. Esa
pgina demuestra que 1 y 2 son iguales.
[...] No hay operaciones ilegtimas, no hay
trminos mal definidos, no hay axiomas
independientes que estn asumidos de
forma implcita, no hay nada. La demostracin no emplea absolutamente nada
prohibido. [...] La aritmtica como sistema formal es inconsistente. [...] Acabo de
refutar la mayor parte de las matemticas; ahora ya no tienen sentido. En el
cuento, ningn matemtico es capaz de
encontrar fallos en la demostracin de
Renee.
A continuacin presentar seis demostraciones de la igualdad 2 = 1. Por
supuesto, se trata de sofismas: razonamientos que formalmente aparentan ser
irreprochables, pero que incluyen uno o
varios errores que conducen a resultados absurdos. Un ejemplo clsico es el
siguiente: Lo que no perdiste, lo tienes;
no perdiste los cuernos, por tanto, tienes
cuernos.
Los sofismas constituyen una excelente herramienta didctica y una fuente
de disfrute matemtico por el reto que
representan. Encabezar cada falacia con
un texto extrado del cuento de Chiang.
Tmense su tiempo. Al final encontrarn
una breve disquisicin, supuestamente
iluminadora, sobre cada una de ellas.

1 Existe una prueba muy conocida que

demuestra que 1 es igual a 2. Comienza

con varias definiciones: Si a = 1; si b = 1.
Termina con la conclusin a = 2a; es decir, 1 es igual a 2. Escondida discretamente
en el medio hay una divisin entre cero,
y en ese punto la prueba se ha extralimitado, vaciando y anulando todas las

reglas. Dar por buena una divisin entre

cero permite no solo demostrar que 1 y 2
son iguales, sino que dos nmeros cualesquiera (reales o imaginarios, racionales o
irracionales) son iguales.
Todos hemos tropezado alguna vez
con demostraciones algebraicas falaces
que finalizan con la identidad 2 = 1. La
mayora suelen ser poco sutiles, ya que se
sustentan en una divisin entre 0 ms o
menos enmascarada en algn paso.
Con toda seguridad han visto la siguiente, pero no puedo resistirme a que
aparezca en esta seleccin: a = b; a2 = b2;
a2 = ab; a2 ab = a2 b2; a(a b) = (a + b)
(a b); a = a + b; a = 2a; 1 = 2.

2 En 1900, durante el Segundo Congreso Internacional de Matemticos, David

Hilbert propuso una lista de los que consideraba los 23 problemas sin resolver
ms importantes de las matemticas.
El segundo punto era la peticin de una
prueba sobre la consistencia de la aritmtica. Semejante demostracin asegurara la consistencia de buena parte de
las matemticas superiores. En esencia,
lo que la prueba deba garantizar era la
imposibilidad de demostrar que 1 es igual
a 2. Pocos matemticos lo consideraron un
asunto de importancia.
Observe la siguiente secuencia de
identidades:

1 = 12 ,
2 + 2 = 22 ,
3 + 3 + 3 = 32 ,
4 + 4 + 4 + 4 = 42 ,
...
Generalizando:
x+x+
+ x = x2 .
x + xx veces
+ + x = x2 .

{{ {{

x veces

Derivando esta ltima identidad a izquierda y derecha, obtenemos:

1+1+
1 = 2x ,
+
1 + 1x +veces
+ 1 = 2x ,
x veces

que nos conduce a x = 2x y, con ello, a

1 = 2.
1 = 1
11 = 11
1 1
1 = 1
11 = 11
1
1

 + 1 = 2x ,
1 + 1xx +veces
veces
+ 1 = 2x ,
1 + 1x +
veces

) (

{{

i i + 3 =i 1 + 3
2 2i
2i 2i

{ { { {

x + x + + x = xx2 .veces

x veces

1 = 11
1
= 1
111 = 1
1
1 + 1 + + 1 = 2x1
1, = 11
x veces
1 1 1
1
1 =
= 1
11
111 = 1
11 = 11
1 = 1
1
1
1
11
x + x + 1+ x 1
= x 2 . 1 =
= 1

1
1 = 1
x veces
1
1
1 = 1
1 = 1
1
1
11 =i1
1 = i
1 + 1 + + 1 = 2x ,
1 = i
x veces
1 = 1
i1 =1i
1
1
i=
=1
11i = 1ii
1 = 11 = i
1i = 1i
1 1
13
3 i
2i
i=1
2i
3
1 = 1 1 i
3
2i
1
1
2i 1 3
i
3
3 =i
3 ii i +
=i 1 +
+3
2 + 2i
2i
2i
3 =i 2i
1 + 2i
3
1 = 12i
i 2i + 2i
3 =i 2i
1 + 2i
3
1
1
i 2i + 2i
2 2i
2i 2i
i i + 3 =i 1 + 3

i2 + 3i = i + 3i
2 2i 2i 2i

{ { { {
{ {{ {
{{ {{ { { { {{
{ {

{{

3 En 1931, Kurt Gdel demostr dos

1+ 3 = 1+ 3
2 2 2 2
teoremas. El primero establece que las
matemticas contienen enunciados que
pueden ser ciertos pero que resultan in1 logx dx
1 dx = 1 logx
2
x logx
x log
x
logx
trnsecamente imposibles de demostrar.
Incluso un sistema formal tan simple
como la aritmtica permite enunciados
1 dx = 1 +
1
dx ;
x logx
x logx
+ x = x 2y. que paprecisos, llenos
x + de
x +significado
veces
+ xtoda
+ probabilidad,
+ x = x2 .
recen ciertos xcon
pero
1 + 1 + 1 +
que, sin embargo,x veces
no pueden ser demos13 35 57
trados por medios formales.
+ 1 = 2x ,
2 1 +
+ x =1 x+
x + Su
x + segundo
2 2

x + x x1+++teorema
++veces
x+=+xx=1establece
.x 2x
x.1x+
. , que la
=
x veces
x veces
consistencia
la
es un enunS= 1 1 1 + 1 1 + 1 1 +
x de
veces
x aritmtica
veces

2 1 3
3 5
5 7
x + x + + x = x2 .
ciado de ese tipo: no puede
demostrarse
x veces

2
1 + 1 ningn
+
=1medio
2x
por
x + x++1
+
+x1,=+ xa.+partir
11= 2x , de los axiox vecesx+
S= 1 1+ 1 1 + 1 1 + 1 1 +
1 + x1
+
1== Esto
2x , es, la aritm-2
veces
veces
mas de 1la
aritmtica.
2 1 3 3
5 5
7 7
+x=x .
1
1
x+
+ 2x
2
2i
2i
2i
+ 1 1+
+ x1 =
,
x veces1 1 =
1 = i
2
2
x veces
3i
i
3i
i
tica
como
sistema
formal
no
puede
ga1
1
x
veces
2
3i
i
3i
i

+
=
+
x+x+ +x=x .
22 + 3i
2i = 2i
2i + 2i
2i
1 = 2x , producir resulta2i
i2
rantizar
S = 1 [1+0+0+0+ ]= 1 .
x veces
11 += 1 1+que+ nunca
= i + 3i
2
2
2+
i2 = 1
11= =1 1
x
veces
3i
i + 2i
3i
i
2
2i
2i
1 1 1 = 2;

dos como
estas
contradicciones
3i
i
3i
i
1
1
+
=
1
i
1
+
1
+
+
1
=
2x
,
1
1
1 =
1
+
=
+
2
2i
2i
2i
2 2i 2i 2i
11
= 11sido
pueden no 1
haber
detectadas
hasta
= 1 x veces
3 = 11 + 3
3
1 + 1 + 1+ 1 = 2x
1
x1+ 11+1 x 1
= x2 .
1 1,x +1
11 +
+ 3
3
S = 1 2 + 2 3 + 3 4 + .

=
2
ahora,
pero
es
imposible
demostrar
que
x veces1
21 32
2= 2
21 + 32
2
1 3
3 5
5 7
== + x = x .
11= x1 + xx +
2
2i
veces
1
1

+
=
+
1
1
1 = 1
1 1
1 + 3 = 1 + 32
jams lo1sern.
1 + 23 = 21 + 23

1
1
1 = x1veces
1 1
=
2 2 2 22 2
=
2 2
1
1 1identidad:
Partamos
1 = 1
1
1la
1
1 de
1siguiente
i i + 3 =i 1 + 3
1 =
S = 1 + 2 2 + 1 1 + 1 1 + ,
2
2i
2i
2i
1 =1 1 .11
=

1
=
i
1
1
1
1 3 3
5 5
7 7
races
cuadradas
a
11+1 + 1
+ 1 =12x
,
1 logx
1 2 logx
1 dx
=

dx
1 1 1Extrayendo

1
dx
=
logx

logx
dx

2
x
logx
x logx
x log
logx
1 +obtenemos
1x+1veces
1 ,
1
1 =+i 1== 2x
11 logx
1 x
11 logx
1 dx =x
ambos
lados,
= logx
dx x log
1
1 1 = 1 , de
dx
logx
dx
2 logx
1 = i 1 = x1
veces
x logx
x log
1 x
1 2x
1 dx = logx
logx
xlogx
x log
1 =11 . Empleando
1
i ==i 1
1
donde
ahora la c- i2 3i
1 = 1
i + 3i logx logx x log2x logx dx
2
x logx
1
1
+
=
1
i
1
1
11para
2 52iHilbert
2i 2idijo: Si el pensamiento mate1
= i1 la
Acabemos con unas fracciones contilebrei notacin
de iEuler
= unidad
=1
i 1= =1 i
11
11 dx = 1 +
1
1
dx
;;
1 i 1 =1
1 dx = es
1dx =
1
1
+
dx
nuas.
Partiendo de la identidad 1 = 3 21 y
imaginaria,
mtico
defectuoso,
dnde
encontrare,
podemos
reescribir
la
i
1
i

1
=
i
1
+
dx
;
logx
logx
x
x
1 = 1
=
1 x logx
1
x logx
x logx
3 1
1
1i = 1 . Dividiendo x logx
1
dx
=
1
+
dx
;
=
mos
verdad
y
certidumbre?.
ltima
igualdad
como
usndola
reiteradamente,
obtenemos
la
31
1
13
2
2
1
1 + 3 = 1x+logx
1 32i
1= 2 =
=
.
3 11 i 1 = i
dx = 1 + x logx
dx ;
2 Puede
2 2x logx
2 demostrarse
2
2
3
1
i = 1i
logx
x
2i sumando
que
la
serie
siguiente
expresin:
entre 2,
y
multiplicando
por
1
3
3
1 i = 12i2i 1
3 1
1 + 1 + 111 + 11
11 +
=i
1i illegamos
3 2
+
ia1ambos
lados,
es +
convergente.
Llame= 113 a:3 i = 1
2 =
2
2
+
+
+
3
13
35
57
2
2
2 3 .
13
35
57
1
1
=
=
.
1
1
2i+ 1 i
+
=i
i
i
3
1
3
13
35
57
1
1
1
1
=
=
=
=
2
2
3
1

=i 3i+ i2i + 32i

i +
1 2i
+logxPodemos
+
+ reescribirla 3
S a la 1
suma.
1 logx
1 dx = mos
3
2
3 1 32 2
+1 3+ 2i
2i 2i1
2ii 22i +2i31 = i=i2i1
dx
1
1
1
13
35
57
3
1
3

2i

2i 23 2i
3
+
+
x logx
x log x+
logx
=
2i 2i
3 1
2
como:
3

13
35
57
3
1
3
i
3

1 i
3
2i1
i =+ 1 = i +
3
S = 1 1 1 +11 11 + 11 1 1+ 1
2producto:
2i1
2i 2i
2i
Y, desarrollando
el

1
1
2 1 S3= 13 51 15 +7 1 1 +

i 3 = i 1 +31 = 1
+
+ .
S= 2 1 3 + 3 5 + 5
2 = 2 con la identidad
2 2i
i + 3iii22i
i2 +3i3i2 =+ 2i
1 i i13i 3i
21 1 1 31 + 31 51 + 51 177 +
Repitiendo la estrategia
1
3 2
3 2+=i
+3i3i=1 =+
dx ;
+3 i+ i + 3 = i 1 + x3 logx dx =S1=+2
2 2i2ii i2i+ 2i
1x 1logx
1 1 31 los
31trminos:
51 + 51 71 +
2i2i
2i 22i
3i
i
3i
2 = 2 , llegamos a:
Y,
reordenando
+

S
=
2i
2i
2i
1
1
1
1
1
1
2 2i2i2 +2i2i
2i
2i
2

3 2
1
+ + + +
S=
3ii += 2i
i + 3i
i==2i
2 2i
2 =+1,
2 1 3 31 2 15 1 15 3 17 37 1 5 1 5 1 7 1
Puesto3 que
que
i1
i tenemos
2= 2
2 = 2i
2i 2i

1
1 +
1
1 +
1
1 +
1 1+
i i + 3 1 =ii32 1 +
3i
i
3i
+

+
S
=

.
2 =
2 3 2
2
S
=
1
3
2
2i + 2i
+= 2i+
= +
1 + 1 +2
1
1
3
3
5
5
7
7
2
=
=
.

,
expresin
que
nos
con1
3
1
3
2
2i
2i
2i
21 57
1 ++ 31 31 + 51 51 + 17 17 +
2 2 2
2 21+ 2i3= 21+1 2 i23 3i i 3i 13 1S
2
3 2 2 3 . 2
2 =
2
=
35
1

2
=
=
3

+
=
+
=
S =Con
[1 +
0 que:
+10 +0+
]=
. 51 51
1
1
1
1
1
2
3
3
7
7
+
=
+
2
duce a nuestra
querida
identidad,
1
=
2.
lo

2
2
3
2
i
1
3
2
2
2
2
2
2
1
i
2S =
+ 2+ + +
3i
i + 3i =1 i +
1 + 13 =2 31 +
2i 3 2i 2i
3
3
3
+13=2i
2 1 13 3
5 5
7 7
3 2
2
2=i 22+ 22 2
2 3 .
2 2i 2i

1 [1+0+0+0+
2 = 2 3 =3 2
=
S
=
]= 11 ..

i2 + 3i = i 1++3i3 = 1 +2 3 2
S
=
[1+0+0+0+
]=
2
2
3
2
1
1
1
1
1
1
1
2
2
1
1
1 dx

2
2
2
2
2
2
1
1
4
2
2i
2i
2i

+
S
=
una1 13 2 3 25S =3 5 [1+0+0+0+
Pero ambas 3fracciones
son2
1 23 continuas
logx
=Gerhard
logx
dx 1 aport
3Gentzen
1 2 logx
1 1936,
]= .
x logx = logx
dx
x 3 x log
x log
12x+logx
3 = dx
1 + 23 S =
3 12
1
+ 2
+ 37 4 + .
En
=
=3 2 2
=
.
x 1logxde la
de
logx
2i
1 3Sin3embargo,
5 1 [1+0+0+0+
5 7tambin podemos
]= 21 . rees- idnticas,
1
1
0
prueba
consistencia
la
aritmtiluego
hemos
demostrado
S
=
2 3 que 2
3
1
2
2
2
2
0
3
dx
=
logx

logx
dx
1
1
1
3

2
2
2
2i
1
3
1
3
dx
=
logx

logx
dx
3
1
2
x
logx
log
x
x
2
logx

1= logx
1x log
1 para
+= hacerlo
+ tuvo
3
x una
ca.3 Pero
usar
1 = 2.
cribir1 =
la serie
inicial
1 12
2 como:
3
3 4
3logx
11 +

2x logx
2 1
2 logx
2 dxque
3
1+ 1 1 +S
1 dx
2 logx
= 11+ dx
dx

2 logx
S5 = 51 11+
72
+71 +2
35 +
+ 35
47 +
+ ..
xS =induclog
x2 =logx
+
a
x logx
i +xdxlog
3;conocida
3como
12 tcnica
21 +polmica,
2 1i1 logx
x=i 11 x
1a
3
3
logx
2
1
3
3
3
3
5
5
7
1
2
2
3
3
4
dx
=
+
2
2
1
1
1
1
1

0
x logx
1 +dx2i
dxlogx
; S1= logx
i2dx+ =2i
1= + 132i
x ilogx
x logx
=ix logx
x13logx
x log2x1 + 3 dx3SS +== 5 1 5 +32 7++ 327 +53 ++, 53 47 ++ ..
+ a
cin transfinita.
Comentarios
a las
2i logx
2i 1
+ afalacias

1 2dx2i
1
1 31 3 5
5 7
dx
=
1
+
dx
;
1 [1Pero

=
1
+
dx
;
1
logx
logx
x
x
Este
mtodo
no
se
encuentra
entre
los
ahora,
al
reordenar
los
trminos
de
En
el
primer
ejemplo,
el error
S
=
+
0
+
0
+
0
+
]=
.
a
1
1
1

1dx =
1 dx ; x logx
1
1 dx = 11 logx
a
2 = 2se pro

logx
x
2
2
1
1
dx
=
1
+
logx
logx
dx
1
22
2 + 11 11 + 11 11 +
1 + 1 12+ xlogx
1+ 2
3 2
x+logx
x logx xlogx
dx
1x+1log+2xen las
dx demos;
a(a b), ya que,
logx
1 =dx
,,
S
=
x+
loghabitualmente

x57
logx

la
siguiente
manera:
duce
al
dividir
entre
puesto

+
S
=
+
+
2
13empleados
35 logx
x logx
3 23
3
13 i2 35
551 551 + 177 177 + ,
11 + 23
3i =57i 1x+ logx
3i
a
dx = 1 + 1
dx ;
+

+
S
=
(1)(1)=1;
(1)(1)=
1;
+
a = b, estamos

logx
logx
x
x
traciones, y difcilmente
pareca
apropiaque
dividiendo
entre
0.
1
1
1

2
2
1
1
1
1
i
3i
i22 + 3i
1
3
3
5
5
7
7
2i =+ 2i+ +2i + S = 1 2 + 2S =3 + 2+3 4 +
+ . + + ,11=1; i 2 =1; 1=1.
2 = 21; =
13
35
1
1 +2i
1 2i+57
(1)(1)=1;
(1)(1)=
1 + 1garantizar
2=
.
51 5
7 7
do1 para
consistencia
de la
Pero por
qu ladivisin
entre2 cero ge-2 2
1 3
3 5 13 51 3 7 3
+ 121+ 1+2i la
a

11 dx
1
3
2
1
1
1
57
2
1
3
3
1+ +1 57
= 113
++ 135 13
+
11dx
1; +35
Sx=logx
1
1=1;
i
=1;
1=1.

3
2
2
+11 1dx
+1haba
+ 1hecho
2 1 aritmtica.
3 S1=3x2logx
5dx1 =
531+que
7 3 Gentzen
1
+
;
Lo
nera
estas
falacias?
llegamos
a:
2
3
21
5 57
5 + 7 + 57 +
x logx 13 1 35
x logx
3
b
a/b =La
a/divisin
(1)(1)=1;
113
1 3 1=+suponiendo
1+ 31 35
era demostrar
obvio
se define
a partir
21
2 2
(1)(1)=
1;de la mul+ 1 1la+1cerS =1 lo +
1
1
1
1

S
=
1+0+0+0+
=
1
.
2
1
3
1
3
3+ 2
5
5 S 7= + + + + ,2
1 1 1 + 1 12 +
2 +11231= +2
11S+=+ 21teza
1 11++
de13111algo
tiplicacin.
suponemos
=
b que 01 repre1=1;
i 2 =1;
1 1+dudoso.
a/b
a/1=1.
5 1121+
5 211+7112 + 121 1 1
1 3 3 5 5 7 7
=a/
S = 1 13
1+31
3 21
1
a/b
b1Si
3
51+ 1 5 17+ 1+ 1 1
2 1 335SS
3 ==57
5 1 +51313
713 +713
1
212
5
5
7
7
1
1
1
1
1
Calculemos
por
partes
la
integral
de
senta
un
nmero
concreto,
x, estaremos
As que acabamos
+ + + +
S = + +
3 21de demostrar que
S =13 + 35
37 1 5 1 5 7
1 3
1+++57
1 32 1 5+1 1 351+
1
2 S =11/(x

+
a
a/b
=
a/
b
la
funcin
logx):
afirmando
que
x
satisface
la ecuacin
=
1,
o,
como
viene
siendo
habitual,
S
=

3
1
2 111+ 31 31 +
5 1
5
7 7
2
a/b = a/b
+ 11+01+dx
+0 +11=
SS==11 1[1+0
]=5+ 0+. logx
1 . 2 logx dx
70 + 07 +]= 1
=1 511[1
0

x
=
1;
es
decir,
0
=
1.
que
1
=
2.
2
3111 3+S
S = 1 1 212 +1 x1 logx
1
x
1
1
1
1
1
1
+ a
b
2 7logx
21 +2 1logx
1 1
1 1
1 dx
logx
1 x+log
2 1 3 S3= 5 dx
+5 =
S =+
1 dx = 1 b + b 1 dx .
x5]=7115+. +7 . 7 + 3 2 1
x logx
21 1 1 31 logx
31 11 2[1+
511 10++5130x1+log
3 +71
Dado
que
hemos
llegado
a
una
conclu

logx
logx
x
x
1
a/b
=
a/
b
1
S
=
0

a
a
a
+ +1 + + +
a
+ + 32]=
S =S S= =1 2[1+0+0+0+
6 Albert Einstein dijo: En la medida en sin errnea, no nos queda ms remedio
5 325. . 5 35 7 4 7 72
1 Simplificando,
22 +221 313+1 3323 4obtenemos:
S
=
+
2
b
b
b
15 1+7 +
+ 1 + .
=15 +
S = 1 1 + 1 1 13+ 13S
1 que
1tal nmero
17 ]= dx
existe
x. 1;
1 . ; ]= 21 . que las proposiciones de las matemticas que admitir
2 1 3 3
5 5S =1 171 3[1+0+0+0+
7dx3= 15 S+= 52 [1+0+0+0+
(1)(1)=1;
dx =no
1 +
dx(1)(1)=
.

logx
x
x logx
12
2x
3
3
4
1 21S =dx
1
2

a
a
a
2
logx
logx
x
+ dx
; + .
1
1
1=1;
i
=1;
1=1.
=
1
+
Por
tanto,
la
divisin
entre
0
no
est
defidan
cuenta
de
la
realidad,
no
son
seguras;

1
2
2
3
3
4
3x
5 ]=5 .7
1. logx
S =1 1+ 1+Sx=
12+[1+0+0+0+
+ 11 31 ++
logx
1 +2 lados, y en la medida en que son seguras, no nida, de
S
31
511 Sumando
5 7
b
b
b
1 =22es211decir,
modo
que su
uso
puede
1 dx
1 dxconducir
3+1 301 ]=
3=
++ 0
+
SS == 12 +[1+0+0
2 1.
2.51 1+51, 711 a 7ambos
1
3 ,+ 3 4 + .
= 1 +
.
1 3 3 S =5 1 +
5 3 27 3 +7 5S = 5 1+ 72 +7 2+
logx
x
1
3
3
5
5
7
a/b = a/b
a
resultados
absurdos.
describen
la
realidad.
voil: 1 =12.1 2
a
a
a x logx
2
3
3
4
1
1

S = S= 1+++ 2 2++ +1 +1+ 1+ 1 +. ,

1 31 35
1
5 7
2 + 1113
113 1 5
3+57
7 .
S = 1 + 2 S 1=
4 251++
+ 732173+
+5 1,3+5.4 7+
31513
]=
31 [1+0+0+0+
a/b =a/b
S = 1 2 +1 2S3=3 2+
.3 557
3+ 35
52 71 1 1 1
2
2
1
1 3
3 5 2 5 7

((( ))) (((

( ) ( )

) ( ((( )
( ) (

) (

) )) ( (( ) ))
( ) ( )
)
) ( )( ) (

((

)) ((

[( ) ( [() ( ) ()
[(
[ ( [( ) ( [) [(( ( ) ( ) ()) (( )
[( [ ) ( (
[
(
)
[( ) ( ) ( ( ) ) ( ]

))

[(

)(

)(

) ]

[ (

)(

)(

) ]

)))

) (

[(

) ( [( ) ( ) ( )
) [ ( ) ( [([( ) ( )) (( )

[[[ (((

))) (((

(
(
( )( )((

]) ( ) ]
)) ]() ) (] ( ) ( ) ) ] ) ] (] ) ( ) (
[() () ( ) () ( ) ) ()] ] ) ]
) ]
[ ( ) ( [ ( ) ( ) ( ) ) ( ] ) ]
[( [ )( ( ) )( ( ) )( ] ) ]
[ ( ( ) ) ( ( )() ( ( ) )() ] ) ( )
([ ( ) ( ) ) ( (( ))) (( ) () ])
( ) ( () ( ) () ( ) ( ) ( ) ) ( )
(( ( )) (((( )) ))( (( ) ( )) )
(
)
( ) ( ) ( ) S = 1 +( 3 3 )+( 5 5 )+( 7 7 ) + ,
1
2
1
S =311 1+[(( 1221 121 )+3( 2111 11 )2+( 11 11 ) + ],
121 32+3+
35 3 5 4 +715
.71 ++
] ,
= 1S1=1 21+2 [()1+132
S = 1 +( 2 2S)+
)
+)(+,3(1 5 51)7++
2
1 3 3 ( (5S1=52)13(+
7( 3
2( 37 )33 5
5 5 )( 57 772 )

)(

)(

)(

]) (
)) ((
]

[( ( ) ( ) ( ) ( ) ( ) ) ]
[ ( ( ) ( ) ( (( ) ( ) ( )) (() ) ] )) ((

)(

)
))

))) (((

)( )(
)( (
)) ) (( ))) ((

)))

)
))

]
]]

))) ]]]

Mayo 2015, InvestigacionyCiencia.es 89

b

dx = 1 +

dx .


2
2
1= 2 =
=
.
222 2 2
3 1 23 2 2 2 32
2
1 = 1 = =3 1
=
+ a
.
2 2= 2 . 2 . =
3 13 13= 3 2 2133==331
2
3 23 2 3 1 3
3
1
2
2
2
2
3
1
3 .3
3
1=
=
=
a
33
2
3
3 1 3 2
3
3 1
2
3
(1)(1)=1; (1)(1)= 1;
3
2
2=
Observemos
que
la
funcin
f(x)
=
x
+
empleamos
el signo
menos,
2
2
2
i 2 =1;
1=1.la falacia se
11=1;
13 =2 2 =2
=
.
2
2
2
3
1
2 =+
x +
x
que
satisface
la
igualdad
esfuma.
23=
23=2 3
3 2 2
3 2 3 1
suma
f(x)2= x2 est definida como3 la
3 de
a/b = a/b
2
=
2
2
2
3
2
4 Al calcular una integral indefinida
x
trminos,
por
lo
que
solo
tiene
sentido
2=
=
=
.
2 2 2 de2 x. As pues,
3 2 23para
2 la aparece
2= 2=valores
naturales
siempre
constante
arbitra. . =
2 =
22 232==
2 2=
2=
.
= 22
=a/
a/b una
b
12 ==23=
23 2332
2 tanto,
2
2es
2y,.por
332
33continua

2
2
3 1

3
3

funcin
no
tamria.
En
nuestro
caso,
la
falacia
se des2
3 3 23 2
3 331= 222 23=2 2
2
2
2
.
3 1
3= 2 vanece
2 .3
=323
2=
=
=derivable.
2
2
1

poco
si
introducimos
los
lmites
de

2
32 3
3 2 3 2 1 3
33
3 3
3 1
2
3 integracin:
3 2 0
2

3
1 1 3
1
b
3 Recordemos
cuadra1 dx = 1 b + b 1 dx .
0 0 que la funcin
0 raz
2
2
2
2
2
a a x logx
logx
x
=
=
.
da,1 2a =, es
multivaluada,
que a = (a) .
a
2 ya
3 2
3 definida
3 ade 2manera Puesto que la diferencia de una funcin
2 =a2no
a
Es0 decir,
est
3
2
2

2
3 =
+ a 3 2
3 3resulunvoca,
sino que proporciona2dos
constante entre dos valores cualesquiera
2
a
a
a
a
+

+
+
tados,
denotar como es siempre cero, la integral definida que
1
a los cuales podemos
2 0 se. encuentra
en la aparece a ambos lados de la igualdad es
2 = 2 +=a y2 a
=. Esta
a sutileza
2 2 a 2
3 2 3 2 3
2
2
=
=
=
. lo que evita la contradiccin.
basede
muchas
falsas
demostraciones,
co- la2 misma,
(1)(1)=1;
(1)(1)=
1;
3 23 2
2
a 2 3 2

(1)(1)=
mo la
siguiente:
(1)(1)=1;
(1)(1)=1;
1=1;
i =1;
1=1.
31;1; (1)(1)=
3 2 1; 3 2
(1)(1)=
1(1)(1)=1;
35 Elejemplo clsico de este tipo de fala1=1;
i12 =1;
1=1.
11=1; i 2 =1; 1=1.
i 2 =1;
11
1=1.
1=1;
(1)(1)=1; (1)(1)=
1; + a
cias
es el siguiente:
En
el0ejemplo
nmero 3, el segundo
1
= a/
a/b
b
i 2 =1;
1=1.
11=1;
a
aambos
0
paso
(extraer
races
lados)
puede
= =
a/a/
b b a/b = a/b
a/b
a/b
0 = 0 + 0 + 0 +
a origen
el
parecer
de la falacia, pero no lo
=a/
a/b
b

= (1 1) + (1 1) + (1 1) +
(1)(1)=1;
(1)(1)=
a
1;
= basta
a/a/b
bcon
a/bes:
el =
valor
a/determinar
b b 2a/b
a/b
a/principal
b
+=
a/
a=
1

= 1 + (1+1) + (1+1) + (1+1) +
=1; 1=1.
1=1;
de ambasraces.
El iardid
se perpetra
+ a en
=1+0+0+0+
a/bel=
a/bpaso,
a ya que no existe regla que
tercer
= 1.
b
b
b
a si a
a/b = a/b excepto
garantice
que
1 dx
1 dx
=
1
+
.
b (1)(1)=1;
b
bb bb
a = 1mayores
1;cero. b b 1
logx
bx(1)(1)=
1 y b1dx
1 que
son
a x logx
11dx
. =.1 +
dx
dx . 1; En 1703, el monje y matemtico Luidxa2=+1 +x logx
dx
(1)(1)=
xlogx
logx
logx
logx
x
x
xlogx
x
1
1=1;
i
=1;
1=1.
a/b
=
a/badosa nmeros

a
a
a

que
La
nica
manera
de(1)(1)=1;
gi Guido Grandi (1671-1742) sostuvo en
aa
a
b
b
b
1 dx = 1 +
1 dx .
=1; 1=1.Quadratura circuli et hyperbolae que lo
1
1=1;eli 2mismo
x
e
y
(distintos
de
cero)
tengan
a a x logx
a x logx
cuadrado
a/que
a/b = es
b x = y o x = y. En nuestro anterior constitua una demostracin de
caso, podamos
haber busado
a/b = a/b que Dios haba creado el mundo desde la
b
b
1 dxmiemnada, dando visos de poder ultraterreno
o a/b =1a/bdx
. Si= en
1 +el segundo
.
x logx
x logx
a/b =a/b a la ley asociativa de la suma.
bro del atercer paso dea la ademostracin

Juegos matemticos

Un siglo y medio despus, Bernhard

Riemann (1826-1866) demostr que los
trminos de una serie simplemente convergente siempre pueden reordenarse de
tal modo que su suma sea cualquier nmero finito dado, ms o menos infinito. Solo
si una serie es absolutamente convergente
(es decir, si la serie original converge y
tambin lo hace la formada por los valores absolutos de sus trminos) podemos
alterar el orden y reagrupar los trminos
como deseemos, ya que en tal caso obtendremos siempre el mismo resultado.
6 La demostracin de Renee era impe

cable. Esta tambin... o no? Disctanla

con sus amigos y cuntenme sus conclusiones. La matemtica al completo est
en juego.

PARA SABER MS

Paradojas matemticas.Eugene P. Northrop.

Editorial UTEHA, Mxico, 1949.
Matemtica inslita: Paradojas y
paralogismos.Bryan H. Bunch. Editorial
Revert, 1987.
Mathematical fallacies, flaws, and flimflam.
Edward J. Barbeau. The Mathematical
Association of America, 2000.

1 dx = 1 +
1
x logx
x logx dx . 1 dx = 1 + 1 dx .
x logx x logx
b

SUSCRBETE

a Investigacin y Ciencia...
Ventajas para los suscriptores:

Envo puntual a domicilio

Ahorro sobre el precio de portada
75 por un ao (12 ejemplares)
140 por dos aos (24 ejemplares)
Acceso gratuito a la edicin
digital (artculos en pdf)

... y recibe gratis 2 nmeros

de la coleccin TEMAS
www.investigacionyciencia.es/suscripciones

90 INVESTIGACIN Y CIENCIA, mayo 2015