Documente Academic
Documente Profesional
Documente Cultură
m
TT v
T
" U [l'l ' >
CD
r
N o os s o r p r e n d e n t e q u e las matemticas
disfruten d e un prestigio 110 igualado p o r Matemticas
e Imaginacin (I)
ninguna otra actividad del pensamiento. pues
son a la vez indispensables en los asuntos
prc ticos v la obra maestra de la abstraccin
pura. Sin embargo. el matemtic o suelo ser
8
considerado c o m o una especio do ermitao
q u e invierto su t i e m p o creando leonas
o
3 Edward Kasner
enrevesadas en una jerga rida o ininteligible.
James Newman
Al concebir este libro. Edward Kasner
y James Nevvman - a m b o s matemticos do
gran r e n o m b r e - so propusieron olrocr una
panormica do los diversos c a m p o s d e la
matemtica e n un lenguaje comprensible
y amono, ll resultado fue un best-seller q u e
so lia convertido en un clsk o do la literatura
do divulgacin < ientilica \ que. <1 buen seguro,
despertar - o a u m e n t a r - nuestro inters p o r
esta arrogante reina del i n u n d o intelectual.
Biblioteca
Cientfica
Salvat
iI
Matemticas
e Imaginacin
Biblioteca
Cientfica
Salvat
L X L I B K I 5 SEAN D'S'-
Matemticas
e Imaginacin
Edward Kasner
james Newman
| he Doctor
SALVAT
\ e r s i o n e s p a o l a d e la o b r a o r i g i n a l n o r t e a m e r i c a n a \athemal(
anJ Imaxmiition, d e K d w a r d K a s n e r \ J a m e s N e w m a n
Revisin, Luis Bou
D i s e o de cubierta: ['erran C a r t e s / M o n l s e Plass
INDICE
T O M O I
I. N O M B R E S N U E V O S P A R A C O N C E P T O S VIEJOS . .
II. M S A L L D E LOS G G O L E S
III. PIE: (TI, i, e): T R A S C E N D E N T E S E I M A G I N A R I O S .
IV. O T R A S G E O M E T R A S : E L P L A N O Y LA F A N T A S A
V. PASATIEMPOS DE POCAS PASADAS Y
RECIENTES
T O M O II
EPLOGO.
L A M A T E M T I C A Y LA I M A G I N A C I N
' 1994 S a l v a t E d i t o r e s , S . A . , B a r c e l o n a
R u t h C . N e w m a n
ISBN: 84-345-8880-3 (Obra c o m p l e t a )
I S B N : 84-345-8928-1 ( V o l u m e n 48)
D e p s i t o Legal: B-20175-1994
P u b l i c a d a por Salvat E d i t o r e s . S.A.. Barcelona
I m p r e s a p o r P r i n t e r . i.g.s.a.. J u n i o 19 ( )4
Printed in Spain
A R. G., sin cuya desinteresada ayuda
y comprensin no hubiera habido libro
AGRADECIMIENTOS
segadas, reguladas por un reloj ms lento y ms a c o m p a s a d o su espritu o s a d o y libre de trabas y de c m o , en su doble as-
q u e el suyo propio. pecto de arte y ciencia, han c o n t i n u a d o g u i a n d o a las facul-
La Ciencia, particularmente la Matemtica, a u n q u e parez- tades creadoras ms all an de la imaginacin y de la intui-
ca m e n o s prctica y m e n o s real que las noticias contenidas cin En la medida q u e permite un volumen tan reducido
en los ltimos d e s p a c h o s de los boletines de televisin y ra- slo p u e d e haber instantneas y no retratos
dio, p a r e c e estar c o n s t r u y e n d o el nico edificio p e r m a n e n t e No obstante, e s p e r a m o s que aun en este calidoscopio
y estable en una p o c a en q u e t o d o s los d e m s se desmo- p u e d a haber un estmulo para despertar un inters ms am-
ronan o vuelan h e c h o s pedazos. Esto no quiere decir q u e la plio y un mayor reconocimiento hacia la reina ms arrogante
Ciencia n o haya e x p e r i m e n t a d o tambin cambios revolucio- del m u n d o intelectual.
narios. P e r o ello ha tenido lugar tranquila y h o n o r a b l e m e n t e .
Lo que ha d e j a d o de ser til, se ha descartado slo d e s p u s
d e una m a d u r a reflexin y el edificio ha sido erigido con
constancia sobre las realizaciones creadoras del p a s a d o .
As, en cierto m o d o , la popularizacin de la ciencia es un
d e b e r q u e se d e b e cumplir, el d e b e r d e infundir valor y de pro-
porcionar satisfacciones a t o d o s los h o m b r e s y m u j e r e s de
b u e n a voluntad que en todas las partes del m u n d o estn per-
d i e n d o p a u l a t i n a m e n t e su fe en la vida de la razn. En la ma-
yora de las ciencias se ha descorrido gradualmente el velo
de misterio, p e r o las matemticas, en gran parte, p e r m a n e -
cen a n sin divulgar.
Lo q u e los libros m s p o p u l a r e s sobre matemticas han
tratado d e hacer es: o discutirlas filosficamente o aclarar las
ideas aprendidas alguna vez y ya olvidadas.
S o b r e este particular el propsito que nos ha guiado al
escribir este libro ha sido algo diferente. Los franceses apli-
can el trmino "haute vulgarisation" al feliz resultado q u e ni
desagrada por su c o n d e s c e n d e n c i a ni c o n f u n d e en una masa
de verbosidad tcnica.
Nuestra finalidad ha consistido en extender el p r o c e s o de
"haute vulgarisation" de aquellas avanzadas de las matemti-
cas q u e se m e n c i o n a n , si se lo hace, slo con un murmullo
y a las que se alude slo por su n o m b r e , para demostrar, por
su misma variedad, algo del carcter de las matemticas, de
XII
I. NOMBRES NUEVOS PARA
CONCEPTOS VIEJOS
No ir tan lejos como para afirmar que construir una As como de los viejos campos ve el hombre, ao tras
historia del pensamiento humano sin un profundo estudio ao. venir el nuevo trigo, del mismo modo, de los viejos li-
de las ideas matemticas de las sucesivas pocas es como bros. viene toda esta nueva ciencia para que el hombre
omitir a Hamlet en el drama que recibe su nombre. Eso se- aprenda.
ra pretender demasiado. Pero es, por cierto, anlogo a ex-
cluir el papel de Ofelia. Este smil es singularmente exacto, CHAUCER
pues Ofelia es esencial al drama, es muy encantadora y
un poco loca. Admitamos, pues, que el estudio de las ma-
temticas es una locura divina del espritu humano, un re-
fugio ante la urgencia aguijoneante de los sucesos contin-
gentes. De c u a n d o en c u a n d o se h a c e en matemticas limpieza
ALFRED NORTH WHITEHEAD
general. S e d e s e c h a n algunos c o n c e p t o s viejos; otros son sa-
Science and the Modem World cudidos, d e s e m p o l v a d o s y reparados; finalmente, se asigna
lugar y n o m b r e a las teoras nuevas, que son, por as decirlo,
n u e v a s aportaciones al m e n a j e h o g a r e o . As pues, lo q u e
nuestro ttulo en realidad significa es palabras n u e v a s de las
matemticas; n o n u e v o s n o m b r e s , sino palabras nuevas, tr-
minos n u e v o s que vienen, en parte, a designar n o c i o n e s
nuevas, y en parte, a revigorizar c o n c e p t o s ya c o n o c i d o s de
las matemticas de tiempos ms o m e n o s recientes. Lo mis-
m o q u e en otras ciencias, s e g u r a m e n t e tengan ya las mate-
mticas demasiadas palabras; tantas, en realidad, q u e hablar
m u c h o y n o decir nada resulta m s fcil de lo que debiera.
El que la mitad de la poblacin del m u n d o p u e d a ser indu-
cida a creer absurdos y santificar burdos errores se d e b e , so-
bre todo, a la posibilidad de ensartar palabras, lo mismo que
se e n h e b r a n las cuentas de un collar. El gran lexicgrafo
1
MATEMATICAS F IMAGINACION N O M B R E S N U E V O S PARA C O N C E P T O S VIEJOS
F'rank Vizetelly estimaba que hay en uso en el idioma ingls una verdad de perogrullo: La matemtica es la ciencia que
unas 8 0 0 . 0 0 0 palabras P e r o los matemticos, a u n q u e de or usa palabras sencillas para expresar ideas difciles. En esto di-
d i n a n o bastante sobrios en sus expresiones, n o estn satisfe- fiere de cualquier otra ciencia. Existen 5 0 0 . 0 0 0 especies co-
chos con estos 8 0 0 0 0 0 vocablos Dmosles, pues, unos nocidas de insectos y cada una de ellas tiene un largo n o m -
cuantos ms. bre en latn. En las matemticas s o m o s m s modestos. Ha-
Mientras a v a n z a m o s por el camino de la ciencia p o d e m o s blamos de "cuerpos", "grupos", "familias", "espacios", a u n q u e
irnos p a s a n d o sin n o m b r e s nuevos, hasta q u e nos h a c e m o s atribuyendo a estas palabras m u c h o ms significado del q u e
con n u e v a s ideas y c r e a m o s c o n c e p t o s nuevos. las mismas implican en la conversacin c o m n A medida
Una de las peculiaridades del lenguaje matemtico es que su uso se hace m s y ms tcnico, nadie p u e d e adivinar
q u e n o se vale de tantos n o m b r e s largos y difciles de pro- el sentido matemtico de una palabra, as c o m o u n o n o po-
nunciar c o m o otras ciencias. Es a d e m s un lenguaje conser- dra adivinar por q u una "farmacia"* es un lugar d o n d e ven-
vador. q u e se a p e g a con firmeza a los vocablos viejos. Los den helados y paraguas. Nadie podra acertar con el signifi-
trminos e m p l e a d o s por Euclides en sus Elementos siguen c a d o de la palabra "grupo tal c o m o se la e m p l e a en mate-
siendo corrientes hoy en geometra. P e r o a u n o de los fsicos mticas. Sin e m b a r g o , es de tal importancia, q u e se dictan
jnicos, el vocabulario de la fsica m o d e r n a le parecera, por cursos enteros sobre teora d e "grupos" y se escriben cente-
hacer un fcil juego de palabras, "griego puro". nares de libros sobre este tema.
En Qumica, sustancias n o ms complicadas que el az- D e b i d o a que los matemticos se las arreglan con pala-
car, el almidn o el alcohol tienen n o m b r e s c o m o stos: ci- bras c o m u n e s , se dan m u c h a s a m b i g e d a d e s divertidas. Por
d o metilpropenilenedihidroxicinamenilacrlico 0-anhidro- ejemplo, la palabra "funcin" expresa p r o b a b l e m e n t e la idea
sulfaminobenzona o protocatechuicaldehidometileno. ms importante en toda la historia de las matemticas. Sin
Resultara muy i n c m o d o tener que e m p l e a r tales trmi- e m b a r g o , la mayora de las personas, al orla, p e n s a r n q u e
nos en nuestra conversacin diaria. Quin podra imaginar- una "funcin" significa un acontecimiento social nocturno,
se. a u n a un aristcrata de la ciencia, en la m e s a del desayu- mientras que otras, m e n o s dispuestas socialmente. p e n s a r n
n o diciendo. "Alcnceme, por favor, el cido 0-anhidrosulfa- en su hgado. La palabra "funcin" tiene, por lo m e n o s , una
minobenzoico". c u a n d o t o d o lo q u e necesitaba era azcar d o c e n a de significados, p e r o poca gente s o s p e c h a su a c e p -
para su caf? cin matemtica. Este significado (del cual nos o c u p a r e m o s
La Biologa tiene tambin retorcidos trabalenguas; p e r o detalladamente ms adelante) se expresa, en su forma m s
el propsito de estas largas palabras n o consiste en asustar a simple, con una tabla. Dicha tabla da la relacin existente en-
la gente, sino en describir, en forma cientficamente concisa, tre d o s cantidades variables c u a n d o el valor de una de ellas
lo q u e el literato expresara en media pgina. est d e t e r m i n a d o por el valor de la otra. As, una cantidad
En Matemticas hay m u c h a s palabras corrientes, tales variable p u e d e expresar los aos transcurridos d e s d e 1800
c o m o "grupo", "familia", "anillo", "curva simple", "lmite". etc.
P e r o a estas palabras c o m u n e s se Ies atribuye, algunas veces, En E s t a d o s U n i d o s las drugstores o farmacias, e x p e n d e n a d e m a s de productos me-
' i n n a l e s . gran variedad d e artculos d e u s o c o m n
un significado muy particular y tcnico. En efecto, he aqu
2 3
MATEMATICAS E IMAGINACION N O M B R E S N U E V O S PARA C O N C E P T O S VIEJOS
pie. Una curva simple es una curva cerrada q u e n o se corta casi siempre se o c u p a n de cosas familiares en una forma ex-
a s misma, y p u e d e ser c o m o la de la figura 2. por e j e m p l o traa. Si usted se mira en un e s p e j o normal, sin hacer caso
Hay m u c h o s t e o r e m a s importantes sobre tales figuras que de sus atributos fsicos, p o d r usted encontrarse risible, p e r o
h a c e n q u e la palabra valga la p e n a . Ms adelante hablare- n o extrao: un viaje en s u b t e r r n e o al p a r q u e de atracciones,
m o s de una extraa clase de matemticas, llamada "geome- y una n u e v a contemplacin de su p e r s o n a en u n o de los es-
tra de la lmina elstica", y t e n d r e m o s m u c h o m s que decir p e j o s d e f o r m a n t e s le c o n v e n c e r n que, d e s d e otro p u n t o de
de las curvas simples y n o simples. Un m a t e m t i c o francs, vista, usted p u e d e ser extrao a d e m s de risible. D e p e n d e
J o r d n , dio el t e o r e m a fundamental: T o d a curva simple del m u c h o d e lo que u n o est a c o s t u m b r a d o a ver. Un c a m p e -
plano, tiene un interior y un exterior. Es decir, toda curva sino ruso, q u e visit Mosc por vez primera, asisti a diver-
simple divide al p l a n o en d o s regiones, una. dentro d e la cur- sos espectculos pblicos. Fue tambin al zoolgico y vio las
va y otra, fuera d e ella. jirafas. Quizs usted e n c u e n t r e en su reaccin una moraleja,
Hay en matemticas ciertos g r u p o s llamados g r u p o s "sim- c o m o en las fbulas de La Fontaine; Mire dijo, lo q u e
ples". La definicin de "grupo simple" es, realmente, tan di- los bolcheviques han h e c h o de nuestros caballos. Eso es lo
fcil. q u e n o p u e d e darse aqu. Si quisiramos tener u n a idea q u e las matemticas m o d e r n a s han h e c h o de la aritmtica y
clara de lo q u e es un g r u p o simple t e n d r a m o s que invertir, de la geometra tradicionales.
p r o b a b l e m e n t e , largo t i e m p o estudiando m u c h o s libros y Existen otras palabras y expresiones, n o tan familiares,
luego, sin suficientes a n t e c e d e n t e s matemticos, posiblemen- q u e han sido inventadas an ms recientemente. T m e s e ,
te n o c o m p r e n d e r a m o s su v e r d a d e r o sentido. Antes q u e por e j e m p l o , la palabra "turbina". Por s u p u e s t o q u e la misma
nada, t e n d r a m o s que definir el c o n c e p t o d e "grupo". L u e g o ya era e m p l e a d a en ingeniera, p e r o en cambio es comple-
t e n d r a m o s q u e dar u n a definicin de "subgrupo" y posterior- t a m e n t e n u e v a en geometra. La acepcin matemtica de
m e n t e de s u b g r u p o a u t o c o n j u g a d o , y slo e n t o n c e s estara- esta palabra se aplica a cierto diagrama. (La geometra, con-
m o s capacitados para definir q u es un g r u p o simple. Un tra lo q u e p u e d a n m u c h o s pensar, se o c u p a del estudio de
g r u p o simple es, sencillamente, un g r u p o sin ningn subgru-
p o a u t o c o n j u g a d o simple, verdad? /////>
O * " / / ,
A m e n u d o se alude e r r n e a m e n t e a la Matemtica c o m o \ /
/
/
a la ciencia del sentido c o m n , p e r o la realidad es q u e p u e d e \
\
6 7
N O M B R E S N U E V O S PARA C O N C E P T O S VIEJOS
MATEMATICAS E IMAGINACION
diferentes formas, m u c h a s de ellas hermosas, y que p o s e e n , metra de los crculos. Es una rama relativamente tcnica de
las matemticas q u e se o c u p a de la resolucin de los g r u p o s
a d e m s , armona, gracia y simetra. Por s u p u e s t o q u e se han
escrito libros voluminosos sobre geometra abstracta y espa- continuos de transformaciones relacionadas con e c u a c i o n e s
cio abstracto en los cuales n o a p a r e c e ni un diagrama, ni si- diferenciales y con la geometra diferencial. La geometra re-
lacionada con las turbinas tiene el n o m b r e , algo raro, de
quiera una forma. Constituye sta una rama m u y importante
"giros y deslizamientos".
de las matemticas, p e r o n o es la geometra estudiada por
los egipcios y los griegos. La mayor parte de nosotros, si sa-
b e m o s jugar al ajedrez, nos c o n f o r m a m o s c o n hacerlo sobre
un tablero con piezas de m a d e r a , p e r o hay algunas p e r s o n a s El crculo es una de las figuras ms antiguas en m a t e m -
q u e lo juegan con los ojos v e n d a d o s y sin tocar el tablero. ticas. La lnea recta es la lnea ms simple, p e r o el crculo es
Sera u n a acertada analoga decir q u e la geometra abstracta la m s simple de las curvas. S e le considera, a m e n u d o ,
es c o m o el ajedrez a ciegas, es un j u e g o sin o b j e t o s concre- c o m o el lmite de un p o l g o n o regular, de un n m e r o infinito
de lados. Usted mismo p o d r observar q u e a m e d i d a q u e se
tos.)
inscribe en un crculo una serie de polgonos, en la q u e cada
La figura que a n t e c e d e representa u n a turbina, e n reali-
u n o de stos tiene ms lados q u e su predecesor, cada pol-
d a d d o s de ellas.
g o n o tiende a asemejarse ms y ms a un crculo 1 .
Una turbina consiste e n un n m e r o infinito d e "elemen-
Los griegos ya estaban familiarizados con la idea d e q u e ,
tos" insertados con continuidad. Un e l e m e n t o n o es simple-
a medida que a u m e n t a el n m e r o de lados de un p o l g o n o
m e n t e un punto; es un p u n t o con una direccin asociada
c o m o en u n a lima de hierro. Una turbina est c o m p u e s t a regular, ste difiere cada vez m e n o s del crculo en el cual
est inscrito. Realmente, bien podra ser q u e ante los ojos de
por un n m e r o infinito de estos elementos, a c o m o d a d o s d e
una m a n e r a particular: los p u n t o s d e b e r n estar dispuestos
en un crculo perfecto y la inclinacin de los filetes d e b e for-
mar el mismo ngulo a t o d o lo largo del crculo. Hay, pues,
un n m e r o infinito de e l e m e n t o s de igual inclinacin con res-
p e c t o a las tangentes del crculo. Q u sucedera e n el caso
especial en q u e el ngulo f o r m a d o por la direccin de un
e l e m e n t y la direccin d e la tangente fuese igual a cero?
P u e s q u e la turbina se convertira e n un crculo. En otras pa-
labras. la teora de las turbinas es una generalizacin de la
teora del crculo. Si el ngulo antes citado mide 90, los ele-
m e n t o s sealan hacia el centro del crculo y e n ese caso es-
pecial estamos ante una turbina normal (vase el diagrama
de la izquierda). Fig. 4 . El c r c u l o c o m o lmite d e p o l g o n o s i n s c r i t o s .
Existe una geometra de las turbinas en lugar de u n a geo-
9
8
MATEMATICAS E IMAGINACION N O M B R E S N U E V O S PARA C O N C E P T O S VIEJOS
T) i
Fig. 5
11
MATEMATICAS E IMAGINACIN N O M B R E S N U E V O S PARA C O N C E P T O S VIEJOS
12 13
MATEMATICAS E IMAGINACION N O M B R E S N U E V O S PARA C O N C E P T O S VIEJOS
Si los lados o p u e s t o s de un cuadriltero son iguales y pa- una palabra ya definida, p o d r a m o s decir que la extraccin
ralelos se le llama paraleiogramo. C o n el mismo razonamien- de una raz es la evolucin de un radical. La raz cuadrada de
to q u e aplicamos para la palabra p a r h e x g o n o . p o d r a m o s 9 es 3; la raz cuadrada de 10 es mayor que 3; y la ms famo-
haber llamado " p a r c u a d r g o n o " a un paraleiogramo. sa, a la vez que la ms simple d e todas las races cuadradas, el
D a m o s a continuacin un e j e m p l o de un t e o r e m a sobre primer n m e r o inconmensurable descubierto por los griegos,
el p a r h e x g o n o ; t m e s e un h e x g o n o irregular cualquiera, la raz cuadrada de 2 es 1,414... Hay tambin radicales com-
n o necesariamente p a r h e x g o n o , ABCDEF. Trcense las dia- puestos e x p r e s i o n e s c o m o : yfT + ^ 10 . El smbolo de
gonales AC, BD, CE, DF, EA y FB f o r m a n d o los seis trin- un radical n o es la hoz y el martillo, sino un signo q u e data de
gulos, ABC, BCD, CDE. DEF, EFA y FAB. D e t e r m n e n s e los hace tres o cuatro siglos; y el c o n c e p t o de radical m a t e m t i c o
es an m s antiguo. El c o n c e p t o d e "hiperradical" o "ultrarra-
D dical", q u e significa algo superior a un radical, p e r o inferior a
un trascendente, es de origen reciente. Tiene un smbolo es-
pecial q u e veremos a su tiempo. Antes d e b e m o s decir unas
p o c a s palabras sobre los radicales en general. Existen ciertos
n m e r o s y funciones en matemticas q u e son bien c o m p r e n -
didos. Muchas de las ideas para las cuales n o hay representa-
ciones concretas o diagramticas son difciles d e explicar. La
mayora de las p e r s o n a s n o p u e d e n pensar sin palabras; es ne-
cesario, pues, darles una palabra y un smbolo para fijar su
atencin. C a e n dentro de esta categora los trminos hiperra-
parhexgono. dical o ultrarradical para los cuales, hasta ahora, n o ha h a b i d o
ni palabras ni smbolos.
seis baricentros; A', B ' , C \ D', E' y F' de estos tringulos. (El Encontramos por primera vez estos ultrarradicales al tratar
baricentro, o centro de gravedad d e un tringulo, es el p u n t o de resolver e c u a c i o n e s de quinto grado. Los egipcios resolvie-
respecto del cual el tringulo quedara en equilibrio indife- ron las ecuaciones de primer g r a d o h a c e quiz 4 . 0 0 0 aos. Es
rente si fuese una figura de cartn recortado y estuviese sus- decir, encontraron q u e la solucin de la ecuacin: ax +b= 0,
tentada slo por ese punto, que, por otra parte, coincide con r e p r e s e n t a d a en geometra por una lnea recta, es:
el p u n t o de interseccin de las medianas.) Trcense A ' B ' ,
B ' C ' , C ' D ' , D ' E ' , E ' F ' y F'A' n u e v o h e x g o n o interior x = -b
A ' B ' C ' D ' E ' F ' ser siempre un p a r h e x g o n o . a
14 15
MATEMATICAS E IMAGINACIN N O M B R E S N U E V O S PARA C O N C E P T O S VIEJOS
17
16
MATEMTICAS E IMAGINACIN N O M B R E S N U E V O S PARA C O N C E P T O S VIEJOS
18 19
MATEMATICAS E IMAGINACION N O M B R E S N U E V O S PARA C O N C E P T O S VIEJOS
20 21
tvikENO
MATEMATICAS E IMAGINACION N O M B R E S N U E V O S PARA C O N C E P T O S V I E J O S
todo el m u n d o , y sin e m b a r g o , el n m e r o total de electrones, de q u e n o habra lugar suficiente para escribirlo si usted se
en el universo entero, p u e d e determinarse por m e d i o de la dirigiese a la estrella ms lejana, recorriendo todas las n e b u -
fsica relativista. Es muchsimo m e n o r que un ggol quizs losas y llenando de cada centmetro de camino.
un 1 seguido de 79 ceros. 10 segn lo calculado por Ed- Cuesta creer que un n m e r o tan grande pudiera tener
dington. realmente aplicacin alguna vez. p e r o quien as pensara n o
Palabras de sabidura pronuncian los nios, por lo m e n o s sera matemtico. Un n m e r o de la magnitud del ggolplex
tan a m e n u d o c o m o los h o m b r e s de ciencia. El n o m b r e "g- podra tener un uso real e n p r o b l e m a s d e combinaciones. El
gol" fue inventado p o r un nio (sobrino del doctor Kasner. tipo d e problema en el cual podra aparecer cientficamente
d e n u e v e a o s de edad), a quien se le pidi que propusiera sera el siguiente: Considere q u e este libro est c o m p u e s t o
un n o m b r e para un n m e r o muy grande, a saber: un 1 se- de c a r b o n o , nitrgeno y otros elementos. La respuesta a la
guido de cien ceros. Estaba muy seguro de q u e este n m e r o pregunta: C u n t o s t o m o s hay en este libro? sera, por cier-
n o era infinito y, por lo tanto, igualmente en lo cierto de que to. un n m e r o finito, m e n o r an q u e un ggol. Ahora ima-
tena q u e tener un n o m b r e . Al mismo t i e m p o q u e indic la gnese q u e el libro est s u s p e n d i d o por un cordel cuyo otro
palabra "ggol", sugiri el n o m b r e para otro n m e r o an m a - extremo usted sostiene. C u n t o t i e m p o ser necesario espe-
yor: "Ggolplex". Un ggolplex es m u c h o m a y o r q u e un g- rar a n t e s d e q u e el libro salte hasta su m a n o ? C o n c i b e usted
gol. p e r o contina s i e n d o finito, c o m o se a p r e s u r a sealar que ello p u e d a suceder alguna vez? Una respuesta sera:
el inventor d e su n o m b r e . Primero se sugiri q u e un ggol- "No, e s o jams ocurrir, a m e n o s q u e intervenga alguna fuer-
plex sera un 1 seguido por tantos ceros q u e u n o se cansase za extenor." P e r o eso n o es correcto. La contestacin correc-
de escribirlos. Esto es una descripcin de lo q u e sucedera si ta es q u e e s o suceder, casi con certeza, en algn m o m e n t o ,
u n o tratara realmente d e escribir un ggolplex, p e r o distintas antes d e q u e transcurra un ggolplex de a o s quiz m a -
p e r s o n a s se cansan en tiempos diferentes y n o considerara- ana.
m o s a C a m e r a * m e j o r m a t e m t i c o q u e al d o c t o r Einstein, La explicacin de esta respuesta p o d e m o s hallarla en la
sencillamente p o r q u e tuviera m s resistencia. El ggolplex qumica-fsica; la mecnica estadstica, la teora cintica de
es. pues, un n m e r o finito determinado, f o r m a d o por tantos los gases y la teora de la probabilidad. No p o d e m o s desarro-
ceros d e s p u s de la unidad, q u e el n m e r o d e ceros sea llar t o d o s estos temas en unas p o c a s lneas, p e r o lo intenta-
igual a un ggol. Un ggolplex es muchsimo mayor q u e un remos. Las molculas estn en p e r p e t u o movimiento. El re-
ggol, m u c h s i m o m a y o r a n q u e un ggol d e v e c e s un g- poso absoluto de las molculas implicara cero grados de
gol. Un ggol de veces un ggol sera un 1 seguido de dos- t e m p e r a t u r a absoluta y esta temperatura n o slo n o existe,
cientos ceros, mientras q u e un ggolplex es un 1 con un g- sino q u e es imposible de obtener. Todas las molculas del
gol d e ceros. Usted p o d r formarse alguna idea de la mag- aire circundante b o m b a r d e a n el libro. Por ahora el b o m b a r -
nitud de este n m e r o grandsimo, p e r o finito, por el h e c h o d e o d e s d e arriba y d e s d e a b a j o es a p r o x i m a d a m e n t e el mis-
m o y la gravedad ejerce tambin su accin sobre el libro. Es
necesario, pues, esperar el m o m e n t o favorable en el q u e un
* S e hace referencia a un f a m o s o b o x e a d o r (N del R.)
e n o r m e n m e r o de molculas b o m b a r d e e el libro por d e b a j o
22 23
MATEMATICAS E IMAGINACION
N O M B R E S N U E V O S PARA C O N C E P T O S VIEJOS
24
II. MS ALL DE LOS GGOLES
HERACLITO
27
t
;
MATEMATICAS E IMAGINACION M A S ALL D E L O S G U G O L E S
lenguaje para contar, e m p a r e n t a a todos, lo mismo en espa- tar es saber comparar. Los n m e r o s son algo m u y posterior.
cio q u e e n tiempo. c o m o abstraccin y artificio q u e son. Las facultades de contar
Para c o m p r e n d e r el significado e importancia d e las ma- y c o m p a r a r son tan connaturales al h o m b r e c o m o sus dedos.
temticas, para apreciar su belleza y valor, es preciso, ante Y sin u n a s y otros, sera muy difcil que hubiese llegado a los
todo, c o m p r e n d e r la aritmtica, pues, en su mayor parte, nmeros.
d e s d e sus comienzos, las matemticas han sido antmtica. Para c o m p a r a r dos colecciones de objetos y averiguar e n
con atavos ms sencillos o complicados. La aritmtica ha cul hay m s y en cul m e n o s , n o se precisa c o n o c e r ningn
sido reina y cnada de las ciencias d e s d e los tiempos de la as- m t o d o formal de recuento. Sin saber nada de los n m e r o s ,
trologa caldea y d e los hierofantes egipcios hasta nuestros se p u e d e determinar si dos colecciones de objetos tienen la
das, los das de la mecnica relativista, la teora cuntica y u n a tantos e l e m e n t o s c o m o la otra; p o r e j e m p l o (salvo acci-
el florecer d e la informtica. P o d r n los historiadores disentir dentes) es fcil demostrar q u e hay e n cada m a n o igual n m e -
sobre el significado de los antiguos papiros, p o d r n los te- ro d e d e d o s q u e e n la otra: basta juntarlas, y observar su
logos a r g u m e n t a r s o b r e la exgesis d e las Escrituras, p o d r n exacto e m p a r e j a m i e n t o .
los filsofos especular sobre las doctrinas pitagricas, p e r o Para describir este p r o c e s o d e e m p a r e j a m i e n t o , f u n d a -
t o d o s h a b r n de convenir en q u e los n m e r o s que a p a r e c e n m e n t o del contar, los matemticos utilizan un n o m b r e pinto-
en los papiros, e n las Escrituras, y las obras pitagricas son resco. Lo llaman "definir una correspondencia biunvoca en-
los mismos n m e r o s q u e u s a m o s hoy. Las matemticas, he- tre clases", o con lenguaje algo m s m o d e r n o , "establecer
chas aritmtica, han a y u d a d o al h o m b r e a h a c e r h o r s c o p o s una biyeccin" entre los conjuntos. En realidad, e n ello resi-
y calendarios, a pronosticar las crecidas del Nilo. a medir te- de t o d o el arte de contar, ya lo practiquen p u e b l o s primiti-
rrenos, a calcular la altura d e las Pirmides, a determinar la vos, nosotros mismos, o Einstein. C o n un par de e j e m p l o s lo
velocidad de cada de u n a piedra al caer d e s d e una cierta to- aclararemos.
rre d e Pisa, o d e u n a m a n z a n a , al c a e r d e u n rbol, e n En los pases d o n d e se practica la m o n o g a m i a n o es ne-
Woolsthorpe; gracias a ella se han p o d i d o pesar las estrellas cesario c o n t a r p o r s e p a r a d o a los maridos y las m u j e r e s para
y los tomos, marcar c o n hitos el correr del t i e m p o , y hallar averiguar el total de p e r s o n a s casadas. Si d e s c o n t a m o s el
la curvatura del espacio. Y a u n q u e el clculo infinitesimal, la r e d u c i d o n m e r o d e b i g a m o s q u e n o acatan la c o s t u m b r e o
teora de probabilidades, el lgebra lineal o la topologa tam- la ley, bastar contar a los maridos o a las esposas. Habr
bin sean matemticas, stas son an. en gran medida, el e x a c t a m e n t e tantas p e r s o n a s e n un c o n j u n t o c o m o e n el
arte de contar. otro. La correspondencia q u e existe entre a m b a s clases es
biunvoca.
Hay e j e m p l o s m s tiles. En un saln estn reunidas mu-
T o d o s los lectores d e este libro s a b e n contar. Sin e m b a r - chas personas; hay q u e darle asiento a todas. El p r o b l e m a es
go. saben qu es contar? Las definiciones q u e d a n los dic- si habr sillas suficientes, o si sobrarn o faltarn. Costara
cionarios r e c u e r d a n a la q u e d a b a el de J o h n s o n para "red", trabajo contar las sillas, y ms a n . las personas. En este caso
q u e rezaba, "una serie de intersticios reticulados". Saber con- sera trabajo perdido. En los jardines de infancia, los nios
28 29
MATEMATICAS E IMAGINACIN M A S ALLA D E L O S G U G O L E S
suelen jugar a "Ir a Sevilla". En la sala, llena de nios, hay parece a primera vista. Lala c u i d a d o s a m e n t e y ver que es.
u n a silla d e m e n o s . A u n a seal, cada nio corre a o c u p a r al mismo tiempo, explcita y e c o n m i c a .
una silla: quien q u e d e sin ella "se va a Sevilla", y es elimina- Dada una clase C. que contiene ciertos elementos, es po-
do. S e retira e n t o n c e s una silla, y el juego contina. He aqu sible encontrar otras clases, tales q u e los e l e m e n t o s de cada
la solucin de nuestro p r o b l e ma. Basta pedir a las personas una de ellas p u e d a n ser e m p a r e j a d o s , u n o a uno. con los
del saln q u e t o m e n asiento. Si todos logran sentarse, y no e l e m e n t o s de C. (Cada una de estas clases es as llamada
q u e d a n sillas vacas, es evidente q u e habr tantas sillas c o m o "equivalente a C".) T o d a s estas clases, incluyendo a C. cual-
personas. C o n otras palabras, sin c o n o c e r ni el n m e r o de quiera q u e sea el carcter d e sus elementos, participan de
p e r s o n a s ni el d e sillas, se sabe q u e este n m e r o e s el mis- una p r o p i e d a d c o m n : todas ellas tienen el mismo nmero
mo. Las dos clases, la de sillas y la de personas, son iguales cardinal, que se d e n o m i n a nmero cardinal de la clase C 1 .
en n m e r o , d a d o q u e hay entre ellas una c o r r e s p o n d e n c i a Entonces, el n m e r o cardinal de la clase C es el smbolo
biunvoca. o "uno a uno", c o m o tambin se dice. A cada per- q u e representa el c o n j u n t o de todas las clases q u e p u e d e n
sona le c o r r e s p o n d e una silla, y recprocamente, cada silla, p o n e r s e en correspondencia biyectiva con C. Por ejemplo, el
tiene asignada u n a p e r s o n a . n m e r o 5 es simplemente el n o m b r e , o smbolo, asignado al
N o es otro el procedimiento q u e se e m p l e a para contar c o n j u n t o de todas las clases, c a d a u n a de las cuales p u e d e
una coleccin de objetos cualesquiera. P o r u n a parte est el p o n e r s e e n correspondencia biyectiva con los d e d o s de una
c o n j u n t o de objetos a contar; por otra, una coleccin que mano.
siempre t e n e m o s a m a n o . Esta coleccin es el c o n j u n t o de De a q u en adelante p o d e m o s referimos sin a m b i g e d a d
los n m e r o s enteros positivos, los " n m e r o s naturales", que al n m e r o de e l e m e n t o s de u n a clase c o m o al n m e r o car-
por convenio, consideramos vienen o r d e n a d o s del m o d o si- dinal de dicha clase, o m s b r e v e m e n t e , c o m o "su cardina-
guiente: 1, 2, 3, 4, 5, 6, 7,... E m p a r e j a n d o , en c o r r e s p o n d e n - lidad". La pregunta: "Cuntas letras hay en la palabra ma-
cia " u n o a uno", los e l e m e n t o s de la primera clase con los temticas?" equivale a preguntar: "Cul es la cardinalidad
n m e r o s naturales, e x p e r i m e n t a m o s un f e n m e n o q u e n o de la clase cuyos e l e m e n t o s son las letras d e la palabra ma-
por corriente es m e n o s maravilloso, a saber, q u e el ltimo temticas?" E m p l e a n d o el m t o d o de correspondencia biyec-
n m e r o natural utilizado para completar el e m p a r e j a m i e n t o tiva. el siguiente grfico contesta la pregunta e ilustra el m-
indique cuntos e l e m e n t o s hay. todo:
M A T E M A T I C A s
Para aclarar la idea de contar partimos de la suposicin, I I I I I t I I 1
de la q u e n o hay garanta, de que el c o n c e p t o d e n m e r o es 1 2 3 4 5 6 7 8 9 10 11
c o m p r e n d i d o por t o d o el m u n d o . El c o n c e p t o d e n m e r o
p u e d e parecer intuitivamente claro, p e r o n o obstante, se re- Es evidente ahora q u e este m t o d o n o es ni extrao ni
quiere u n a definicin precisa. Si bien la definicin p u e d e pa- misterioso; n o f u e i n v e n t a d o p o r los m a t e m t i c o s para h a c e r
recer peor r e m e d i o q u e la e n f e r m e d a d , n o es tan difcil c o m o que algo natural y fcil parezca antinatural y difcil. Es el m -
31
30
MATEMATICAS E IMAGINACION M A S ALLA D E L O S G U G O L E S
32 33
MATEMATICAS E IMAGINACIN M A S ALLA D E L O S G U G O L E S
P e r o haba gente inteligente en la antigedad. Los p o e t a s Ante todo, d e b e m o s d a m o s cuenta de que, "muy grande"
de toda p o c a p o d r n h a b e r c a n t a d o a las estrellas c o m o in- e "infinito", son c o m p l e t a m e n t e distintos*. Tericamente, por
finitas en n m e r o , c u a n d o todas las que alcanzaban a ver el m t o d o de la correspondencia u n o a uno. los p r o t o n e s y
eran, acaso, tres mil. Sin e m b a r g o , Arqumedes n o se des- los electrones del Universo p u e d e n contarse con la misma fa-
concertaba por un n m e r o grande c o m o un ggol, o an cilidad q u e los b o t o n e s del chaleco. Suficientes y ms que
mayor. Lo dice en un p a s a j e de introduccin a su obra "El suficientes para esta tarea o para la tarea de contar cualquier
arenario", verificando q u e un n m e r o n o es infinito por el coleccin finita son los n m e r o s enteros. P e r o medir la tota-
solo h e c h o de ser e n o r m e . lidad de los nmeros enteros es otro problema. La medicin
de este c o n j u n t o exige un ms e l e v a d o p u n t o de vista. Ade-
"Hay algunos. Rey Gelon. q u e piensan que el n m e r o de granos ms de ser, c o m o lo p e n s el matemtico a l e m n Kronecker.
de arena es infinito en multitud y yo m e refiero a la arena que existe, obra de Dios, lo que requiere fe para apreciarla, la clase de
no slo en las proximidades de Siracusa y en el resto de Sicilia, sino los n m e r o s enteros es infinita lo cual es m u c h s i m o ms
tambin a la q u e se encuentra en otras regiones, ya sean habitadas inconveniente. Es ms que hereja, pretender medir nuestra
o no. Por otra parte, hay algunos que, sin considerarlo como infinito,
propia e interminable vara de medir!
piensan que an no se ha fijado un n m e r o lo suficientemente gran-
de, como para exceder su multitud. Y es claro que aquellos que sos-
tienen este punto de vista, se imaginasen una masa formada por
"arena, tan grande c o m o la masa de la Tierra, incluyendo en ella Los p r o b l e m a s del infinito han desafiado la m e n t e del
todos los mares y las depresiones, llenos hasta una altura igual a la h o m b r e , y e n c e n d i d o su imaginacin c o m o ningn otro pro-
de la montaa ms alta, tendran todava mayores dificultades para blema d e la historia del p e n s a m i e n t o h u m a n o . El infinito nos
reconocer que podra expresarse algn nmero, lo suficientemente parece, a un mismo tiempo, tan extrao c o m o familiar. Algu-
grande, c o m o para exceder la multitud de la arena as tomada. Pero nas veces, ms all de nuestra comprensin; otras, natural y
tratar de probar mediante demostraciones geomtricas que vos po- fcil de e n t e n d e r . Al conquistarlo, el h o m b r e r o m p i las ca-
dris seguir, que, de los nmeros nombrados por m e indicados en d e n a s q u e lo aprisionaban a la Tierra. Para esta conquista se
la obra q u e envi a Zeuxippus, algunos exceden, no slo el n m e r o
requirieron todas sus facultades: su capacidad de raciocinio,
de la masa de arena igual en magnitud a la Tierra rellenada en la for-
su fantasa potica y su afn d e saber. Para establecer la
ma descrita, sino tambin la de una masa igual en magnitud al Uni-
ciencia del infinito se requiere el principio de induccin ma-
verso".
temtica. Este principio afirma la fuerza del raciocinio por re-
Los griegos tenan ideas muy definidas acerca del infinito. currencia o repeticin. Simboliza casi todo el p e n s a m i e n t o
As c o m o les estamos r e c o n o c i d o s por m u c h o s de nuestros matemtico, t o d o lo q u e h a c e m o s c u a n d o construimos agre-
juicios y de nuestra ciencia, as tambin les d e b e m o s m u c h o s gados c o m p l e j o s partiendo de e l e m e n t o s simples. Es, c o m o
de nuestros sofismas respecto al infinito. En realidad, si hu-
biramos conservado siempre su claridad de visin, no ha- N o h a y u n p u n t o a o n d e lo m u y g r a n d e c o m i e n c e a c o n f u n d i r s e c o n el infinito U s t e d
bran surgido jams m u c h o s de los p r o b l e m a s y p a r a d o j a s re- p u e d e escribir u n n u m e r o tan g r a n d e c o m o le p l a z c a , n o estar m s c e r c a del infinito q u e
es n m e r o 1 ei n m e r o 7 A s e g r e s e q u e u s t e d e n t i e n d e m u y c l a r a m e n t e e s t a d i s t i n c i n
lacionados con el infinito. v h a b r d o m i n a d o m u c h a s d e las s u t i l e z a s del transfinito
34 35
MATEMATICAS E IMAGINACION M A S ALLA D E L O S G U G O L E S
lo destac Poincar, "a la vez. necesaria al matemtico, e miento y el fallo cardiaco, q u e se encuentran del mismo lado
irreductible a la lgica". El e n u n c i a d o del principio reza as: d e la valla. Tales discusiones son m u c h a s veces consecuencia
"Si una p r o p i e d a d es cierta para el n m e r o 1 y si demostra- de una terminologa vigorosa. S u p o n e r q u e t o d o el m u n d o
mos q u e ser verdadera para n + 1*. siempre q u e lo sea est familiarizado con la definicin matemtica precisa de "in-
tambin para n, la p r o p i e d a d ser verdadera para la totalidad finito" equivale a construir n u e v a m e n t e la Torre de Babel.
de los n m e r o s naturales " La induccin matemtica n o de- Antes de intentar dar una definicin, haramos bien en
riva de la experiencia, sino q u e ms bien constituye una pro- volver la mirada, y ver c m o enfocaron el problema los ma-
p i e d a d de la mente, intuitiva, inherente y casi instintiva: "Lo temticos y filsofos de otras p o c a s .
que hemos hecho una vez lo podemos hacer nuevamente." Hay en lo infinito dos facetas, lo infinitamente grande y
Si p o d e m o s formar n m e r o s hasta diez, hasta un milln, lo infinitamente p e q u e o . S e han propuesto, para demostrar
hasta un ggol. llegamos a la conclusin de que n o hay ba- o refutar su existencia, multitud de razonamientps y demos-
rrera, de que n o hay fin. C o n v e n c i d o s de esto, n o necesita- traciones, luego descartados y ms tarde vueltos a resucitar.
m o s proseguir e t e r n a m e n t e , la m e n t e llega a c o m p r e n d e r lo P o c o s de estos razonamientos han sido rebatidos alguna vez;
q u e n u n c a ha e x p e r i m e n t a d o : el infinito mismo. Sin ninguna han ido q u e d a n d o enterrados b a j o la avalancha de otros. Fe-
sensacin de discontinuidad, sin transgredir los c n o n e s de la liz resultado de todo ello ha sido q u e el p r o b l e m a n u n c a ha
lgica, el matemtico y el filsofo han tendido un p u e n t e so- llegado a resolverse*.
bre el golfo q u e separa lo finito de lo infinito. Las m a t e m - La lucha, que c o m e n z en la antigedad, con las parado-
ticas del infinito constituyen una confirmacin completa del jas de Zenn, jams ha cesado. Los p u n t o s dudosos, fueron
p o d e r innato de razonar por recurrencia. discutidos con un fervor digno de los primeros mrtires cris-
P r o b a b l e m e n t e t o d o el m u n d o c o m p r e n d e el significado tianos, p e r o sin u n a dcima parte del c a c u m e n de los telo-
d e "infinito" en la acepcin d e "sin fin, sin lmites", sencilla- gos d e la Edad Media. H o y en da algunos matemticos opi-
mente, d e "no finito". En tanto n o se requiera u n a definicin nan q u e el infinito ha sido reducido a un estado de vasallaje.
precisa, ello n o plantea dificultades. N o obstante, y a pesar Otros estn todava p r e g u n t n d o s e q u es.
del f a m o s o aforismo segn el cual la matemtica es la ciencia Los r o m p e c a b e z a s de Z e n n p u e d e n ayudar a enfocar
en la q u e n o se sabe d e q u e s t a m o s hablando, ni si lo q u e mejor el problema. Zenn d e Elea, c o m o se recordar, dijo
se dice es cierto, ser necesario, al menos, p o n e m o s de algunas cosas inquietantes sobre el movimiento al referirse a
a c u e r d o para hablar sobre lo mismo. C o m o es obvio, incluso u n a flecha, a Aquiles y a la tortuga. Esta extraa asociacin
p e r s o n a s de t e m p e r a m e n t o cientfico p u e d e n polemizar fue e m p l e a d a en defensa del principio de la filosofa eletica,
agriamente, y llegar, a veces, hasta la difamacin personal, de q u e t o d o movimiento es una ilusin. Algunos, probable-
sobre toda clase d e cuestiones, d e s d e el marxismo y el ma- m e n t e "crticos contrariados", han sugerido q u e "Zenn mis-
terialismo dialctico, hasta la teora de g r u p o s y el principio m o n o hablaba en serio c u a n d o p r o p u s o sus rompecabezas".
de indeterminacin, para descubrir, prximos ya al agota-
N a d i e ha e s c r i t o m s brillante e i n g e n i o s a m e n t e a la v e z s o b r e e s t e t e m a q u e B e r t r a n d
* D o n d e n e s cualquier n m e r o entero, positivo R u s s e V a s e p a r t i c u l a r m e n t e sus e n s a y o s e n el v o l u m e n Mysticism and Logic
36 37
MATEMATICAS E IMAGINACION M S ALLA D E L O S G U G O L E S
Prescindiendo del motivo de los mismos, baste decir q u e son infinita, mientras que, c o m o a c a b a m o s de ver. un infinito n-
extraordinariamente sutiles y. quiz por eso. desafan an hoy m e r o de e l e m e n t o s f o r m a n la totalidad finida, a saber. 1.
toda solucin*. La p a r a d o j a de la tortuga establece que Aquiles. corrien-
Una paradoja la de dicotoma afirma que es imposible d o para alcanzar la tortuga, d e b e llegar primero al lugar de
recorrer una distancia dada. He aqu el razonamiento: prime- d o n d e sta parti. Para c u a n d o Aquiles llegue, la tortuga ha-
ro. d e b e recorrerse la mitad de la distancia: luego, la mitad de br avanzado un p o c o . Esta c o m e d i a se repite, sin e m b a r g o ,
la distancia restante; luego, otra vez. la mitad de la que q u e d a indefinidamente. A medida q u e Aquiles llega a cada n u e v o
y as sucesivamente. Se d e d u c e que siempre q u e d a alguna p u n t o de su carrera, la tortuga, q u e haba estado all, ya lo
parte de la distancia a recorrer y. por lo tanto, el movimiento ha a b a n d o n a d o . A Aquiles le resulta tan imposible alcanzarla,
es imposible! Una solucin de esta paradoja consiste en ver c o m o a los jinetes d e un carrusel, al jinete q u e va adelante.
Finalmente, la flecha en vuelo d e b e estar m o v i n d o s e en
t o d o instante de tiempo. Pero a cada instante d e b e estar en
i
algn lugar del espacio. Sin e m b a r g o , si la flecha d e b e estar
siempre en algn sitio, n o p u e d e , en cada instante, estar tam-
bin en trnsito, p u e s estar en trnsito equivale a estar en
ninguna parte.
Aristteles y otros santos m e n o r e s , de casi todas las p o -
cas, trataron de destruir estas paradojas, p e r o n o lo hicieron
muy hbilmente. Tres profesores a l e m a n e s triunfaron d o n d e
los santos haban fracasado. A fines del siglo XIX, pareca q u e
que las distancias sucesivas a recorrer forman u n a serie geo-
Bolzano, Weierstrass y Cantor haban d e j a d o tranquilo al in-
mtrica infinita:
finito, as c o m o a las p a r a d o j a s de Zenn.
+ + + + + ... :i El m t o d o m o d e r n o de tratar las paradojas n o consiste en
2 4 8 16 32 descartarlas c o m o simples sofismas, indignos de m e r e c e r se-
ria atencin. La historia de las matemticas, en efecto, refiere
cada u n o de cuyos trminos es la mitad del que le p r e c e d e . una potica rehabilitacin d e la actitud de Zenn. El f a m o s o
A u n q u e esta serie tiene un infinito n m e r o de trminos, su matemtico y filsofo ingls Bertrand Russell ha dicho que
suma es finita e igual a 1. En esto, se dice, radica el defecto de Zenn fue "una notable vctima de la falta de juicio de la pos-
la dicotoma. Zenn s u p u s o q u e cualquier totalidad, com- teridad". Esa injusticia ha sido reparada. Al ocuparse de lo in-
puesta de un n m e r o infinito de partes debe, en s misma, ser finitamente p e q u e o , Weierstrass d e m o s t r q u e la flecha en
movimiento est, realmente, siempre en r e p o s o y q u e noso-
* Es i n d u d a b l e q u e s e h a n d a d o p a r a las p a r a d o j a s d i v e r s a s e x p l i c a c i o n e s E n l t i m o
tros vivimos en el m u n d o inalterable de Zenn. La obra de
a n l i s i s , las e x p l i c a c i o n e s d e l o s a c e r t i j o s s e b a s a n e n la i n t e r p r e t a c i n d e l o s f u n d a m e n t o s G e o r g Cantor, c o m o pronto veremos, demostr q u e si cree-
d e las m a t e m t i c a s M a t e m t i c a s c o m o B r o u w e r . q u e d e s c a r t a n el i n f i n i t o n o a c e p t a r a n
p r o b a b l e m e n t e , n i n g u n a d e las s o l u c i o n e s d a d a s mos q u e Aquiles puede alcanzar a la tortuga, d e b e m o s estar
38 39
M A S ALLA D E L O S G U G O L E S
vlATEMATICAS E IMAGINACION
p r e p a r a d o s para admitir una p a r a d o j a an mayor q u e todas h a c e r caso omiso de ella, Weierstrass la enterr junto al flo-
las q u e Zenn jams p u d o h a b e r concebido: EL T O D O NO ES gisto y d e m s errores otrora apreciados.
MAYOR QUE MUCHAS DE S U S PARTES 1
Lo infinitamente p e q u e o haba sido un e n g o r r o durante
m s de dos mil aos. Aun en las mejores circunstancias, las Ms obstinada fue la resistencia que present lo infinita-
innumerables opiniones q u e p r o v o c merecieron el lacnico m e n t e grande. S e a lo que fuere, d e m o s t r ser mala hierba.
veredicto de los tribunales escoceses: "No p r o b a d o . " Hasta Esta cuestin, sobre la q u e se han escrito desatinos por res-
q u e apareci Weierstrass, el progreso total fue una confirma- mas, fue analizada por primera vez de m o d o lgico, comple-
cin del a r g u m e n t o de Zenn contra el movimiento. to y sin los prejuicios q u e seran d e t e m e r en un clrigo por
Hasta las b r o m a s f u e r o n mejores. S e g n Carlyle, Leibniz el c h e c o B e m h a r d Bolzano, en un p e q u e o y extraordinario
c o m e t i el error de tratar de explicar a u n a reina S o f a v o l u m e n , titulado Die Paradoxien des Unendlichen (Las para-
Carlota d e Prusia el clculo infinitesimal. Ella le manifest dojas del infinito), publicado en 1 8 5 1 c o m o obra p o s t u m a .
q u e la conducta d e sus cortesanos la haba familiarizado tan- Lo mismo q u e la obra de otro sacerdote, el austraco Gregor
to con lo infinitamente p e q u e o , q u e n o necesitaba un pre- Mendel, cuyo notable tratado sobre los principios de la he-
ceptor matemtico para q u e se lo explicara. P e r o los filsofos rencia slo e s c a p al olvido por casualidad, este importante
y matemticos, segn Russell, "teniendo m e n o s conocimien- libro de Bolzano, de redaccin encantadora, n o p r o d u j o gran
to de las cortes, continuaron discutiendo este tpico, a u n q u e impresin entre sus c o n t e m p o r n e o s . Es la creacin de u n a
sin lograr adelanto alguno". inteligencia clara, p o d e r o s a y penetrante. Por vez primera en
Berkeley, con la sutileza y h u m o r propios d e un obispo veinte siglos, el infinito fue tratado c o m o p r o b l e m a cientfico,
irlands, hizo algunos satricos a t a q u e s a los infinitsimos, du- y n o teolgico. Tanto Cantor c o m o Dedekind estn e n deu-
rante el p e r o d o de la adolescencia del clculo, a t a q u e s pro- da con Bolzano, por h a b e r d a d o ste f u n d a m e n t o al trata-
vistos del duro e ingenioso aguijn de la m e j o r escolstica. miento matemtico de lo infinito. Entre las m u c h a s p a r a d o j a s
S e p o d a quiz hablar, al m e n o s con fervor potico, de lo in- que Bolzano recopil y explic, una de ellas, que d a t a b a de
finitamente grande, pero, qu era lo infinitamente p e q u e o ? la p o c a de Galileo, ejemplifica una tpica fuente de con-
Los griegos, r e n u n c i a n d o a su acostumbrada perspicacia, lo fusin.
introdujeron al considerar q u e un crculo difera infinitesimal- Constryase un c u a d r a d o A B C D . T o m a n d o c o m o cen-
m e n t e d e un polgono q u e tuviese un gran n m e r o de lados tro el p u n t o A y con una abertura del c o m p s igual al lado,
iguales. Leibniz lo us para construir el clculo infinitesimal. trcese un cuadrante de circunferencia, que intersecte al cua-
Sin e m b a r g o , nadie saba q u era. Lo infinitesimal tena pro- d r a d o en B y D. Trcese PR paralela a AD, de tal m a n e r a
p i e d a d e s asombrosas. No era cero y sin e m b a r g o era m e n o r que corte a AB en P. a C D en /?, a la diagonal AC en N y
q u e cualquier cantidad. N o se le p o d a asignar ni cantidad ni a la cuarta parte del crculo en M.
t a m a o , y ello n o obstante, un n m e r o algo grande de infi- Por un t e o r e m a de geometra, muy conocido, p u e d e de-
nitesimales forma una cantidad p e r f e c t a m e n t e definida. Inca- mostrarse q u e si PN, PM y PR son radios, existe la siguiente
relacin:
paz de descubrir su naturaleza, mas, por fortuna, capaz de
41
40
MATEMATICAS E IMAGINACION
M A S ALLA D E L O S G U G O L E S
42 43
MATEMATICAS E IMAGINACIN M A S ALl.A D E L O S G U G O L E S
44 45
MATEMATICAS E IMAGINACIN M A S ALLA D E L O S G U G O L E S
46 47
MATEMATICAS E IMAGINACIN M A S ALLA D E L O S G U G O L E S
p u s i m o s toda una jerarqua de alephs de la cual designamos Parece que no hubiera variacin en el tema: la m o n o t o -
con aleph-cero al n m e r o cardinal que representa la totali- na p a r e c e inevitable. Pero todo es muy e n g a o s o y traicio-
d a d de los n m e r o s enteros, con lo q u e se quiso indicar que n e r o S e g u i m o s adelante o b t e n i e n d o el mismo resultado a
era el m s p e q u e o de los transfinitos. pesar de todo lo que h a g a m o s con N,.. c u a n d o de r e p e n t e
D e s p u s de este inciso, a m o d o de resumen, volvamos probamos:
u n a vez ms a escudriar los "alephs" para ver si, con un co-
nocimiento ms ntimo, resultan ms fciles de c o m p r e n d e r . (Nr
La aritmtica de los alephs tiene p o c a semejanza con la
de los n m e r o s enteros finitos. El o s a d o c o m p o r t a m i e n t o de Esta operacin crea, al fin. un n u e v o transfinito. P e r o
N0 e s tpico. antes de considerarlo hay q u e decir algo ms sobre las clases
Un simple p r o b l e m a de s u m a se presenta as: numerables.
El sentido c o m n nos dice q u e hay m u c h a s ms fraccio-
No + 1 = No
nes que n m e r o s enteros, p u e s t o q u e entre dos enteros cua-
N 0 + ggol = N0
lesquiera hay un n m e r o infinito de fracciones. Pero, ay!, el
==
No + No No
sentido c o m n ha de ser descartado en el pas del infinito.
Cantor descubri una demostracin tan sencilla c o m o ele-
La tabla de multiplicar sera fcil de ensear, p e r o ms f- gante. segn la cual las fracciones racionales forman una su-
cil a n de aprender: cesin n u m e r a b l e m e n t e infinita, equivalente a la clase de los
n m e r o s naturales. Por consiguiente, esta sucesin d e b e te-
l x 0 = No
2 x N n = No
ner la misma cardinalidad q u e stos*.
3 x N 0 = No
S e dispone el c o n j u n t o de todas las fracciones racionales,
n X N0 = N0 n o en el orden de valores crecientes, sino en el orden de los
n u m e r a d o r e s y d e n o m i n a d o r e s ascendentes, en una tabla
c o m o la de la figura 12.
En la cual n representa un n m e r o finito cualquiera.
Ya q u e cada fraccin p u e d e escribirse c o m o un par de
Asimismo,
n m e r o s enteros, es decir, 3 / 4 c o m o (3. 4), p u e d e efectuarse
(No) 2 = No x No la ya muy conocida c o r r e s p o n d e n c i a u n o a u n o con los n-
= No
48 49
M A S ALLA D E L O S G U G O L E S
MATEMATICAS E IMAGINACIN
1 2 3 4 5 6 7 8 9
es n u m e r a b l e m e n t e infinito.
P e r o Cantor intuy q u e haba otros transfinitos, q u e ha-
ba clases que n o eran numerables, clases q u e n o p o d a n p o -
nerse en correspondencia biyectiva con los n m e r o s enteros.
Y u n o de sus mayores triunfos tuvo lugar c u a n d o d e m o s t r
12. Mtodo diagonal de Cantor.
q u e hay clases que p o s e e n una cardinalidad m a y o r q u e K0.
La clase de los n m e r o s reales, c o m p u e s t a d e los n m e -
ros racionales e irracionales*, es u n a de ellas. C o n t i e n e a
aquellos irracionales que son algebraicos, as c o m o a los q u e ritmos naturales. Muy p o c o m s se saba acerca de la clase
n o lo son. Estos ltimos se d e n o m i n a n nmeros trascen- de los trascendentes: era un v e r d a d e r o enigma. Cantor tena
dentes 5. q u e probar, a fin de demostrar que la clase de los n m e r o s
En la p o c a de Cantor se conocan dos importantes n- reales era n o n u m e r a b l e (es decir, d e m a s i a d o grande para
m e r o s trascendentes: JI, la relacin de la circunferencia de un p o d e r s e contar con la clase de los n m e r o s enteros), el he-
crculo con respecto a su dimetro, y e, la base de los loga- c h o improbable de que la clase de los trascendentes era no
n u m e r a b l e . Ya que se saba q u e los n m e r o s racionales y al-
L o s n m e r o s i r r a c i o n a l e s _ s o n a q u e l l o s q u e no pueden e x p r e s a r s e c o m o f r a c c i o n e s ra-
gebraicos eran numerables y q u e la unin de cualquier co-
c i o n a l e s P o r e j e m p l o \ 2 \ 3 . e. ,i. La c l a s e d e l o s n m e r o s r e a l e s e s t f o r m a d a d e racio- leccin n u m e r a b l e de clases n u m e r a b l e s es tambin una cla-
n a l e s c o m o 1. 2 . 3 . . . e i r r a c i o n a l e s c o m o l o s arriba i n d i c a d o s
4 32
se numerable, la nica clase restante q u e poda hacer q u e la
51
50
MATEMATICAS E IMAGINACIN M A S ALLA D E L O S G U G O L E S
totalidad de los n m e r o s reales fuese no n u m e r a b l e era. por q u e garantice q u e todos los nmeros decimales figuren en el
lo tanto, la clase de los trascendentes e m p a r e j a m i e n t o ? H e m o s estudiado ya un m t o d o para ase-
Cantor p u d o idear s e m e j a n t e demostracin. Si p u e d e de- gurar la presencia en l de todas las fracciones racionales.
mostrarse que la clase de los n m e r o s reales, c o m p r e n d i d o s Por s u p u e s t o que no p o d r a m o s escnbirlas material y fsica-
entre 0 y 1. es n o numerable, se deducir, a fortiori. q u e m e n t e a todas, c o m o t a m p o c o p o d r a m o s escribir la totalidad
todos los n m e r o s reales son n o numerables. E m p l e a n d o un de los n m e r o s naturales; p e r o el m t o d o de ir a u m e n t a n d o
recurso, u s a d o muy a m e n u d o en las matemticas superio- los n u m e r a d o r e s y d e n o m i n a d o r e s es tan explcito, q u e si
res, la reductio ad absurdum. Cantor s u p u s o q u e era verda- dispusiramos de t i e m p o infinito para ello, escribiramos real-
d e r o lo q u e s o s p e c h a b a q u e era falso y e n t o n c e s d e m o s t r m e n t e todas las fracciones, con la seguridad de no h a b e r
q u e su suposicin lo conduca a una contradiccin. S u p u s o omitido ninguna. Dicho de otro m o d o , siempre sera cierto y
q u e los n m e r o s reales c o m p r e n d i d o s entre 0 y 1 eran nu- concluyente. que tras h a b e r casado una fraccin con un n-
merables y podan, por lo tanto, ser b i u n v o c a m e n t e e m p a - m e r o natural, siempre sabramos cul sera la prxima frac-
rejados con los n m e r o s naturales. H a b i e n d o p r o b a d o q u e cin, y la siguiente, y la prxima, y as indefinidamente.
esta hiptesis lo llevaba a una contradiccin, d e d u j o q u e su Por otra parte, si s u p o n e m o s un n m e r o real, e x p r e s a d o
opuesta, a saber, q u e los n m e r o s reales no p o d a n ser em- en forma de n m e r o decimal de infinitas cifras, e m p a r e j a d o
p a r e j a d o s con los n m e r o s naturales (y, por lo tanto, forma- con un d e t e r m i n a d o n m e r o natural, qu m t o d o habra
b a n un c o n j u n t o n o numerable) era verdadera. para determinar cul ser, en el orden de la sucesin natural,
Para p o d e r n u m e r a r los n m e r o s reales c o m p r e n d i d o s el p r x i m o n m e r o real a e m p a r e j a r ? Es suficiente preguntar-
entre 0 y 1 se requiere q u e t o d o s ellos sean expresables de se cul ser el primero de estos decimales infinitos, el q u e
m o d o uniforme, y a d e m s , inventar un m t o d o para escribir- d e b e e m p a r e j a r s e con el n m e r o natural 1, para vislumbrar
los en orden, de m o d o q u e se p u e d a n ser, u n o a uno, bi- la dificultad del problema. Lo q u e hizo Cantor fue suponer
u n v o c a m e n t e e m p a r e j a d o s con los n m e r o s naturales. El q u e tal e m p a r e j a m i e n t o exista, sin tratar de dar su forma
primer requisito p u e d e cumplirse, ya q u e t o d o n m e r o real explcita. H e a q u su plan: asociar al n m e r o 1 el decimal
p u e d e expresarse mediante un n m e r o decimal de infinitas 0,aia 2 a 3 ...; con el n m e r o 2. el decimal O.bib^b;,..., etc. C a d a
cifras. As, por e j e m p l o 6 : una de estas letras subindiciadas representa un dgito del n-
m e r o decimal en que interviene. La tabla de e m p a r e j a m i e n -
1 tos entre n m e r o s naturales y decimales nfinitos sera as:
= 0,3333... = 0,21428571428571
3 14 1 * 0,cii a2 a3 a 4 a s
1 \2 1 414 2 * 0,b: b2 b3 b 4 b 5
= 0.1111111... = = 0.707.. 3 * 0 , C i C2 C 3 C4 C5
9
4 <> 0,d d2 di d 4 d5
52 53
MATEMATICAS E IMAGINACIN
M A S ALLA D E L O S G U G O L E S
54
55
MATEMATICAS E IMAGINACIN
M A S ALL D E L O S G U G O L . E S
Por segunda vez e s p e r a m o s una variacin en el tema tos c o m p r e n d i d o s en un s e g m e n t o rectilneo con los n m e -
c u a n d o recurrimos al p r o c e s o de elevar a una potencia. Sin
ros reales.
e m b a r g o , por el m o m e n t o q u e d a m o s d e f r a u d a d o s , p u e s t o Las clases de cardinalidad C p o s e e n una p r o p i e d a d simi-
que: Co = C. P e r o as c o m o (No)* 0 n o es igual a No, anloga- lar a las clases de cardinalidad No. p u e d e n ser "entresacadas"
m e n t e C 0 no es igual a C. sin afectar para nada a su cardinalidad. Con respecto a esto,
Estamos ahora en condiciones de resolver nuestro ante- vemos, de una m a n e r a muy s o r p r e n d e n t e , otro e j e m p l o del
rior p r o b l e m a relacionado con la elevacin a una potencia, principio de la aritmtica transfinita, q u e el todo n o es mayor
p u e s , en realidad. Cantor e n c o n t r q u e (No)*" = C. que m u c h a s de sus partes. P o r ejemplo, p u e d e demostrarse
Anlogamente C c da origen a un n u e v o transfinito, ms que hay tantos p u n t o s en u n a lnea de un metro de longitud
grande que C. Este transfinito representa la cardinalidad de c o m o en otra de tres. El s e g m e n t o AB de la figura 13 es tres
la clase de todas las funciones uniformes. Es tambin una
veces ms largo que la recta A'B'. Sin e m b a r g o , es posible
de las N p e r o c o m o vimos anteriormente, una N q u e es des-
p o n e r el c o n j u n t o de t o d o s los p u n t o s del s e g m e n t o AB en
conocida. S e la designa a m e n u d o con la letra F7. En gene- correspondencia biunvoca con el c o n j u n t o de los p u n t o s del
ral, el p r o c e s o d e elevar a u n a potencia, al ser repetido, en-
s e g m e n t o A'B'.
gendra transfinitos de o r d e n superior.
As c o m o los n m e r o s enteros servan de vara de medida
para las clases de cardinalidad N0, la clase de los n m e r o s i
reales sirve c o m o patrn de medida para las clases de cardi-
nalidad C. En efecto, hay clases de e l e m e n t o s geomtricos
q u e n o p u e d e n medirse de otra m a n e r a q u e con la clase de
los n m e r o s reales.
D a d o q u e entre dos p u n t o s cualesquiera hay siempre un
tercero alineado con ellos, resulta que en todo s e g m e n t o rec-
tilneo hay un n m e r o infinito de puntos. El c o n j u n t o de
p u n t o s de un s e g m e n t o tiene por ello una p r o p i e d a d llamada
"densidad". En el caso q u e nos o c u p a , ello significa que entre
cualesquiera dos puntos de un c o n j u n t o lineal de p u n t o s hay Fig. 1 3
infinitos puntos del mismo conjunto. La p r o p i e d a d de ser
d e n s o s es una de las caractersticas esenciales de un conti- S e a L la interseccin de las rectas AA' y BB'. Si e n t o n c e s
nuo. Cantor al tratar la "cardinalidad del continuo", se dio a un p u n t o M de AB le h a c e m o s c o r r e s p o n d e r el p u n t o M'
cuenta de que es la misma para la clase de los n m e r o s rea- de A'B1, perteneciente a la lnea LM. h a b r e m o s establecido
les que para el conjunto de p u n t o s de un s e g m e n t o rectil- la correspondencia d e s e a d a entre los conjuntos de puntos de
n e o . A m b o s son conjuntos densos, del mismo cardinal, C. En A'B' y de AB. Es fcil ver intuitivamente, y demostrar geo-
otras palabras, es posible e m p a r e j a r biunvocamente los pun- mtricamente. q u e esto es siempre posible y q u e . por lo tan-
56
57
MATEMATICAS E IMAGINACIN M A S ALLA D E L O S G U G O L E S
ro. la cardinalidad de los dos conjuntos de p u n t o s es la mis- sea su cardinalidad. N,,. C o mayor, p u e d e ser "entresacada"
ma As pues, ya que A'B' es m e n o r que AB. p u e d e consi- en una innumerable variedad de m o d o s , sin afectar su cardi-
derrsela una porcin de AB. y h a b r e m o s establecido, una nalidad. Ms b r e v e m e n t e , el t o d o no es mayor que m u c h a s
vez ms. que una clase infinita, p u e d e c o n t e n e r c o m o partes de sus p a n e s . Ahora bien, esta propiedad n o la p o s e e n , en
propias, subclases que le son equivalentes. m o d o alguno, las clases finitas; slo p e r t e n e c e a las clases in-
Existen en geometra e j e m p l o s ms a s o m b r o s o s que ilus- finitas. En consecuencia, es un m t o d o nico para determi-
tran sobre la potencia del continuo. A u n q u e es suficiente- nar si una clase es finita o infinita. As. nuestra definicin
m e n t e a s o m b r o s a la afirmacin de que una lnea de un cen- reza; Una clase infinita es aquella que puede ponerse en una
tmetro de longitud contiene tantos puntos c o m o otra trazada correspondencia biunvoca con un subconjunto propio de s
alrededor del Ecuador, o c o m o la de una recta que vaya des- misma.
de la Tierra hasta las m s lejanas estrellas, es fantstico pen- Provistos de esta definicin y las p o c a s ideas que h e m o s
sar que un s e g m e n t o de recta de u n a millonsima de mil- recogido, p o d r e m o s examinar n u e v a m e n t e algunas de las
m e t r o tiene tantos puntos c o m o los que existen en t o d o el p a r a d o j a s de Zenn. La de Aquiles y la tortuga p u e d e expre-
espacio tridimensional del Universo entero. Y sin e m b a r g o , sarse c o m o sigue: Aquiles y la tortuga, por recorrer el mismo
esto es cierto. Una vez que se h a n e n t e n d i d o los principios camino, habrn cada u n o d e ellos de o c u p a r el mismo n-
de la teora de los transfinitos de Cantor, dichas proposicio- m e r o de posiciones distintas durante su carrera. Sin e m b a r -
nes dejan de parecer las extravagancias de un matemtico go, si Aquiles desea apresar a su p a u s a d a y voluntariosa
loco. Las rarezas, c o m o lo ha dicho Russell "no p a r e c e n en- c o m p e t i d o r a , tendr q u e ocupar ms posiciones q u e la tor-
tonces ms extraas que lo que parecan las p e r s o n a s ant- tuga, en el mismo p e r o d o de t i e m p o transcurrido. C o m o
p o d a s , ya que en otros tiempos eran c o n c e b i d o s c o m o impo- que esto es manifiestamente imposible, usted p o d r apostar
sible, p o r q u e se encontraran muy molestas al tener que a p o - su dinero a favor de la tortuga.
yarse sobre sus cabezas". P e r o n o se precipite usted. Hay m e j o r e s m a n e r a s de gas-
Aun c o n c e b i e n d o que el tratamiento del infinito sea una tar el dinero. En efecto, d e s p u s d e todo habra sido mejor
forma de locura matemtica, u n o se ve obligado a admitir, apostar a favor de Aquiles p o r q u e l es el p r o b a b l e g a n a d o r
c o m o lo hace el d u q u e en Medida por medida: d e la carrera. Aun c u a n d o p o d a m o s n o haberlo c o m p r e n d i -
do. a c a b a m o s de probar q u e poda alcanzar a la tortuga al
Si est loca y rio puedo creer otra cosa. demostrar que una lnea de una millonsima d e milmetro
su locura tiene el ms extrao carcter de razn; tiene tantos p u n t o s c o m o una recta q u e se extienda d e s d e la
sus palabras poseen un encadenamiento como Tierra hasta la estrella ms lejana. En otras palabras, los pun-
no he conocido jams en las palabras de la locura. tos del reducidsimo s e g m e n t o rectilneo p u e d e n p o n e r s e en
correspondencia biyectiva con los p u n t o s de la recta grande,
Hasta ahora h e m o s eludido d e l i b e r a d a m e n t e una defini- p o r q u e n o hay relacin entre el n m e r o de p u n t o s de una l-
cin de "clase infinita". Pero al fin nuestro instrumental n o s nea y su longitud. P e r o esto revela el error de pensar q u e
habilita para hacerlo. H e m o s visto q u e una clase infinita, ya Aquiles n o p u e d e alcanzar a la tortuga. La proposicin d e
59
58
MATEMATICAS E IMAGINACIN M A S ALLA D E L O S G U G O L E S
60 61
MATEMATICAS E IMAGINACION
MAS ALLA DE L OS GLJGOL.6 S
es motivo para dudar de su existencia. La mayora de nues- " B o o j u m " . una especie de "snark". los cazadores d e l cual desaparecen suave y siien
ciosamente' (Citas del Webster's N e w International D i c t i o n a r y o the English L a n g u a g e i
62
63
MATEMATICAS E IMAGINACION MAS ALLA DE l . S G U G O L E S
distinta de la existencia de obietos en el mundo tsico Una gica clsica Se centran en torno ai uso de la palabra "todo".
bola de billar puede tener c o m o una de sus propiedades, en L.as paradojas que se encuentran en la conversacin ordina-
adicin a su blancura, redondez, dureza, etc una relacin de ria tales como "Todas las generalidades son falsas, incluso
permetro a dimetro aproximada a! numero rt. Estamos de ---sta'" constituyen un verdadero problema en los fundamentos
acuerdo en que tanto la bola de billar como ,1 existen, debe de la lgica, como lo fue la paradoja de Epimnides. de don-
mos tambin convenir en que ia bola de billar y -*r llevan di He provienen. En ella, se hace decir a un cretense que todos
ferentes clases de vidas. los cretenses son embusteros, lo cual si es cierto, convierte
Ha habido tantas opiniones sobre el problema de la exis en mentiroso al que habla por decir la verdad. Para tratar
tencia. desde Euclides y Aristteles, como filsofos. En po- este tipo de paradojas, la escuela logstica invent una "Teo-
cas modernas las diversas escuelas de filosofa matemtica, la ra de Tipos" La teora de tipos y el axioma de reductibili-
escuela logstica, formalistas, e intuicionistas. han discutido la dad. sobre el cual se basa, deben ser aceptados como axio-
poco menos que vidriosa esencia de la existencia matemti- mas a fin de evitar paradojas de esta clase Para poder lograr
ca. Todas estas discusiones van ms all de nuestro saber, fi- esto se requiere una reforma de la lgica clsica, la cual, por
nalidad o intencin Una asociacin ms extraa an que la otra parte, ya se ha emprendido. C o m o ocurre con la mayo-
tortuga, Aquiles y la flecha, ha defendido la existencia de las ra de las reformas, no es del todo satisfactoria ni aun para
clases infinitas defendido en el mismo sentido en que ha- los reformadores pero mediante su teora de tipos se ha
bran defendido la existencia del nmero 7. Los formalistas, eliminado el ltimo vestigio de inconsistencia de la casa que
que piensan que las matemticas son un juego sin sentido, Cantor construy La teora de los transfinitos puede todava
pero que no por eso juegan con menos gusto, y la escuela ser absurda para muchos matemticos, pero es, sin duda al-
logstica, que considera que las matemticas son una rama guna, consistente. La grave acusacin de Henri Poincar,
de la lgica ambas se han puesto de parte de Cantor y han contenida en su aforismo: "La logistique n'est plus strile; elle
defendido los alephs. Su defensa se basa en la nocin de au- engendre la contradiction". fue bien refutada por la doctrina
toconsistencia. "Existencia" es una expresin metafsica liga- logstica en lo que atae al infinito
da con la nocin de ser, y con otros espantajos peores aun A los alephs de Cantor, pues, podemos atribuir la misma
que los "boojums". Pero la expresin "proposicin autocon- existencia que al nmero 7. Puede hacerse, con respecto a
sistente" suena c o m o el lenguaje de la lgica y tiene su mis- cualquiera de ellos, una proposicin de existencia libre de
mo aroma de santidad. Una proposicin que no es contradic- contradiccin en s misma. En ltima instancia, no hay razn
toria consigo misma es, de acuerdo a la escuela logstica, un valedera para confiar ms en lo finito que en lo infinito. Es
verdadero enunciado de existencia. Desde este punto de vis- tan permisible descartar al infinito como lo es el negar las im-
ta. la mayor parte de ia obra matemtica de Cantor sobre el presiones de nuestros sentidos No es ni ms ni menos cien-
infinito es inexpugnable. tfico proceder asi En ltimo anlisis, esto es una cuestin de
Sin embargo, se han descubierto nuevos problemas y fe y discernimiento, pero no es comparable a creer o no en
nuevas paradojas suscitadas en ciertas partes de la estructura los Reyes Magos. Las clases infinitas, al ser juzgadas por nor-
de Cantor, debido a ciertas dificultades intrnsecas de la l- mas finitas, engendran paradojas mucho ms absurdas y mu-
64 65
MATEMATICAS E IMAGINACIN
67
MATEMATICAS E IMAGINACION PIE U . ej RASCENDENTES E IMAGINARIOS
comn para llegar a estas conclusiones:' ,No muy lejos' Y sin de medir superficies con lindes rectas Evidentemente, si
embargo, algunas de esas proposiciones parecen enteramen puede construirse un cuadrado de rea igual a la de un crcu
te plausibles, ms an. irreprochables Seria errneo afirmar lo dado, midiendo el rea del cuadrado, queda determinada
que la ciencia ha demostrado que todas MU falsas Podemos ia del crculo La expresin "cuadratura del circulo procede
todava adherirnos a la hiptesis euchdiana de que as rectas de esta tentativa de solucin
paralelas nunca se encuentran y que permanecen siempre El nmero ;r, es la razn de la circunferencia de un crcu
equidistantes, mientras recordemos que se trata solamente de 10 a su dimetro. El rea de un crculo de radio r est dada
una hiptesis, pero las proposiciones acerca de ia cuadratura por la frmula: JIR'. Ahora bien, el rea de un cuadrado cuyo
del crculo, la raz cuadrada de -1 v las referentes a las series lado mide A, es A~. De este m o d o la expresin algebraica
infinitas, pertenecen a una categora distinta. AJ = Tr indica la equivalencia de rea entre un cuadrado y
El crculo no puede ser convertido en un cuadrado equi- un crculo dados. Extrayendo la raz cuadrada de ambos
valente utilizando slo regla y comps. - 1 tiene raz cuadra- miembros de esta ecuacin, se obtiene: A = r V - i . C o m o r
da. Una serie infinita puede tener una suma finita. Tres sm- es una cantidad conocida, el problema de la cuadratura del
bolos: n\ i, e, han permitido a los matemticos demostrar crculo queda reducido, en efecto, el clculo del valor de jf' 1 .
estas proposiciones, tres smbolos que representan los frutos Puesto que los matemticos han logrado calcular JT con
de siglos de investigacin matemtica. Hasta qu punto se extraordinaria exactitud. qu significa entonces la proposi-
ajustan al sentido comn? cin: "Es imposible convertir un crculo en un cuadrado equi-
valente?" Desgraciadamente este asunto suscita muchos con-
ceptos errneos que desapareceran si el problema fuese
El problema ms famoso en toda la historia de las mate- comprendido.
mticas es la "cuadratura del crculo". Otros dos problemas
que desafiaron a los gemetras griegos, la "duplicacin del
cubo" y la "triseccin del ngulo" pueden ser sucintamente Se proclama que la cuadratura del crculo es imposible;
examinados junto con el primero, c o m o temas de inters, pero, qu significa "imposible" en matemticas' El primer
aun cuando slo en la cuadratura del crculo interviene n. buque a vapor que cruz el Atlntico, llevaba, entre su car-
En la infancia de la geometra se descubri que era po- gamento. un libro que "demostraba" que era imposible, para
sible medir la superficie de una figura limitada por lneas rec- un buque a vapor, cruzar nada, y mucho menos el Atlntico.
tas. En realidad, la geometra fue ideada con esa misma fina- La mayor parte de los sabios de hace algunas generaciones
lidad. medir los campos del valle del Nilo. donde cada ao 'demostraron" que sera siempre imposible inventar una m-
las inundaciones provocadas por las crecidas del ro arrasa- quina voladora ms pesada que el aire. El filsofo francs
ban todas las marcas puestas por el agricultor para delimitar Augusto Comte. demostr que seria siempre imposible, para
sus campos de los de sus vecinos. La medicin de reas li- la mente humana, descubrir la composicin qumica de las
mitadas por lneas curvas presentaba mayores dificultades, y estrellas. Sin embargo, poco tiempo despus de hecha esta
se empearon en reducir cada problema de este tipo a uno afirmacin, se aplic el espectroscopio para analizar la luz
68 69
MATEMATICAS E IMAGINACION
PIE (.T. i EI TRASCENDENTES E IMAGINARIOS
proveniente de las estrellas y hoy sabemos ms acerca de su guiar de 17 lados fue correctamente considerada difcil, fal-
composicin qumica, incluidas las estrellas pertenecientes a samente considerada imposible, por cuanto Gauss. a los die-
las nebulosas ms distantes, de lo que sabemos del conteni- cinueve aos de edad, en 1796. logr hallar una construc-
do de nuestro botiqun C o m o ilustracin, diremos que el he- cin elemental . Por otra parte, muchos problemas famosos,
lio fue descubierto en el Sol antes de serlo en la Tierra 4
tales c o m o el ltimo teorema de Fermat . han desafiado toda
Los museos y las oficinas de patentes estn atestadas de solucin hasta la fecha, a pesar de heroicas investigaciones.
caones, relojes y desmotadoras de algodn, ya anticuados, Para determinar si tenemos derecho a decir que la cuadratu-
cada uno de los cuales dio por tierra con predicciones de ra del crculo, la triseccin del ngulo y la duplicacin del
que su invencin era imposible. Un hombre de ciencia que cubo son imposibles, debemos encontrar demostraciones l-
afirma que una mquina o un proyecto es imposible, slo re- gicas. basadas en un razonamiento puramente matemtico.
vela las limitaciones de su poca. Cualesquiera que sean las Una vez que se han aducido dichas pruebas, continuar bus-
intenciones del profeta, su prediccin no tiene ninguna de las cando una solucin equivale a cazar un bpedo de tres pies".
cualidades de la profeca. "Es imposible volar hasta las estre-
llas" es un sinsentido, mientras que "an no hemos inventado
un medio para volar hasta las estrellas" s lo tiene. Habiendo determinado lo que los matemticos entienden
Las proposiciones acerca de la imposibilidad en matem- por imposible, el simple enunciado "es imposible convertir el
ticas son de un carcter completamente distinto. Un proble- crculo en un cuadrado equivalente", queda todava sin sen-
ma en matemticas que no podr ser resuelto en los siglos tido. Para drselo, debemos especificar cmo debe ser con-
venideros no siempre es imposible. "Imposible", en matem- vertido el crculo en un cuadrado equivalente. Cuando Ar-
ticas. significa tericamente imposible y no tiene nada que qumedes dijo: "Dadme un punto de apoyo y mover la Tie-
ver con el estado actual de nuestros conocimientos. "Impo- rra" no estaba haciendo alarde de su fuerza fsica, sino que
sible", en matemticas no caracteriza al proceso de hacer una estaba enalteciendo el principio de la palanca. Cuando se
bolsa de seda de la oreja de una puerca, o una oreja de dice que un crculo no puede ser convertido en un cuadrado
puerca de una bolsa de seda; s caracteriza la tentativa de de- equivalente, todo lo que ello significa es que esto no puede
mostrar que 7 por 6 es igual a 43 (a pesar de que las perso- hacerse con regla y comps solamente, aunque la operacin
nas que flojean en aritmtica logran, a menudo, lo imposi- llegue a ser posible con ayuda de un integrador grfico o me-
ble). Por las reglas de la aritmtica. 7 por 6 es igual a 42. as diante curvas de grado superior a dos.
como, de acuerdo a las reglas del ajedrez un pen debe Kepitamos el problema: Se pide construir un cuadrado
efectuar, por lo menos. 5 movimientos antes de que pueda de rea igual a la de un crculo dado, mediante un dibujo
ser convertido en reina. tericamente exacto, usando nicamente dos instrumentos:
Cuando se carece de demostracin terica de que un la regla y el comps. Se entiende por regla el sencillo instru-
problema no puede ser resuelto, es legtimo buscar una so- mento conocido para trazar una lnea recta, no para medir
lucin. no importa cun improbable sea la esperanza de longitudes. Por comps entendemos un instrumento con el
buen xito. Durante siglos la construccin de un polgono re- cual se puede dibujar un crculo, con cualquier centro y cual-
zo
MATEMATICAS E IMAGINACIN PIE {.i, ei TRASCENDENTES E IMAGINARIOS
72
7'3
MATEMATICAS E IMAGINACIN PE (.7 ei "RASCENDENTES t I M A G I N A R I O S
En lo que se refiere a los otros dos problemas, gracias en por los medios que proporciona la geometra elemental, ya
parte a la obra de "ese maravilloso muchacho... que muri que el primer problema implica simplemente races cuadra-
en plena juventud", el joven Galois. de diecisis aos de das. mientras que el segundo se resuelve con races cbicas
edad, se estableci, hace aproximadamente cien aos, que la as que. c o m o hemos visto, no pueden construirse con regla
duplicacin del cubo y la triseccin del ngulo son tambin y comps
imposibles con regla y comps. Daremos de ellos una sucinta
referencia.
Existe una leyenda entre los griegos, segn la cual el pro- La dificultad para cuadrar el crculo, como se dijo al prin-
blema de la duplicacin del cubo se origin en una visita al cipio. radica en la naturaleza del nmero n. Este notable n-
Orculo de Delfos. En esa poca haba una fuerte epidemia mero. como demostr Lmdemann. no puede ser raz de una
y el orculo anunci que la misma cesara nicamente si se ecuacin algebraica de coeficientes enteros No es expresa-
duplicaba en tamao un altar cbico dedicado a Apolo. Los ble. por lo tanto, mediante operaciones racionales o por la
albailes y arquitectos cometieron el error de duplicar la aris- extraccin de races cuadradas, y c o m o slo estas operacio-
ta del cubo, con lo cual el v o l u m e n result ocho veces mayor. nes admiten una construccin equivalente hecha con regla y
Por supuesto, el orculo no qued satisfecho y los matem- comps, es imposible cuadrar el crculo. La parbola es una
ticos griegos, al examinar nuevamente el problema, com- curva ms complicada que la circunferencia, pero, sin embar-
prendieron que la solucin correcta implicaba, no la duplica- go. c o m o ya saba Arqumedes, cualquier rea limitada por
cin del lado, sino su multiplicacin por la raz cbica de 2. una parbola y una lnea recta puede determinarse mediante
Pero esto no poda resolverse geomtricamente con regla y operaciones racionales y. en consecuencia, la "parbola pue-
comps, y slo finalmente culminaron la tarea con xito em- de ser convertida en un cuadrado equivalente".
pleando otros instrumentos y curvas de grado superior. El La demostracin de Lindemann es demasiado tcnica
orculo fue aplacado y la epidemia ces. Se podr creer la para ocuparnos de ella aqu. Sin embargo, si consideramos
leyenda o no, c o m o se prefiera, pero no es posible "duplicar la historia y el desarrollo de 7t. estaremos en mejores condi-
el cubo" . 9 ciones para comprender su finalidad, sin estar obligados a
La triseccin del ngulo ha recibido mucha atencin en conocer a fondo sus dificultades.
los ltimos aos, porque continan aflorando monografas Si se inscribe un tringulo en un crculo (fig. 16), el rea
que pretenden resolver el problema por completo. Las fala- del tringulo inscrito ser menor que el rea del crculo.
cias contenidas en estas "soluciones" son de cuatro clases: al- La diferencia entre el rea del crculo y la del tringulo es
gunas veces son solamente aproximadas y no exactas; de vez igual a las tres partes sombreadas del crculo. Consideremos
en cuando se usan otros instrumentos adems de la regla y ahora el mismo crculo con un tringulo circunscrito a su al-
el comps, ya sea a sabiendas o inconscientemente; a veces rededor (fig. 16). El rea del tringulo circunscrito ser mayor
hay un sofisma lgico en la demostracin que se intenta y a que el rea del crculo. Las tres partes sombreadas del trin-
m e n u d o se consideran nicamente ngulos especiales y no gulo representan, nuevamente, la diferencia en rea. Se ver
generales. Un ngulo puede ser bisecado pero no trisecado fcilmente que si se duplica el nmero de lados de la figura
74
MATEMATICAS E IMAGINACIN PiE t i y TRASCENDENTES L iMAUINARiUb
o
de polgonos. Si el radio del crculo es igual a 1. su area.
dada por n r . es simplemente igual a n
Este mtodo de ir aumentando el nmero de lados de los
polgonos, empleado para calcular el valor de n. ya era co-
nocido por Arqumedes. quien, mediante polgonos de 96 la-
o
En alguna parte, entre ambos, se encuentra el rea del crculo
La aproximacin dada para JT por Arqumedes es consi-
derablemente ms perfecta que la dada por la Biblia En el
Libro de los Reyes y en las Crnicas, se asigna a JT el valor
de 3. Los matemticos egipcios dieron un valor algo ms
aproximado: 3,16. El conocido decimal: 3.1416, que apare-
Fig. 16. El crculo como lmite de polgonos inscritos y circuns-
critos. ce en nuestros libros escolares, era ya habitual en tiempos de
T o l o m e o . 150 aos despus de J. C.
Tericamente, el mtodo de Arqumedes para calcular JT.
inscrita, el rea del hexgono resultante ser menor que el aumentando el nmero de los polgonos, puede extenderse
rea del crculo, pero se le aproximar ms que el rea del indefinidamente, pero los clculos necesarios, pronto se ha-
tringulo inscrito. Anlogamente, si se duplica el nmero de cen muy engorrosos. Ello no obstante, durante la Edad Me-
lados del tringulo circunscrito, el rea del hexgono circuns- dia dichos clculos fueron realizados apasionadamente
crito seguir siendo mayor que el rea del crculo, pero, nue- Francisco Vieta. el ms eminente matemtico del siglo XVI.
vamente. se acercar ms a su superficie que el tringulo cir- aunque no de profesin, hizo un gran progreso en el clculo
cunscrito. de JT, determinando su valor hasta diez cifras decimales Ade-
ms dio la frmula:
Por mtodos geomtricos, simples y muy conocidos, em-
pleando solamente regla y comps, puede duplicarse, tantas 2
veces c o m o se quiera, el nmero de lados de los polgonos
inscritos y circunscritos. El rea de los polgonos sucesiva- " yp- X U l l + I vY .
mente inscritos se aproximar a la del crculo, pero siempre V 2 V 2 2 V 2 * 2 2 V 2 2
quedar ligeramente menor; el rea de los polgonos circuns-
critos se aproximar tambin a la del crculo, pero su super- que constituye uri producto decimal, e hizo muchos otros im-
ficie permanecer siempre ligeramente mayor. El valor co- portantes descubrimientos matemticos. Vieta prest serv-
76
MATEMATICAS E IMAGINACION
PIE (n, /. e) T R A S C E N D E N T E S E I M A G I N A R I O S
"
76
79
MATEMATICAS E IMAGINACIN
PIE (.T. /. o) TRASCENDENTES E IMAGINARIOS
Tomando las sucesivas sumas de la serie de Leibniz. obte es mucho ms til y se le emplea frecuentemente en las ma-
nemos:
temticas modernas. Su relacin con JT fue establecida por
Machin (1680-1752). Utilizando series de convergencia an
1.1-1 = , 1 - 1 + 1 = 11 1 - 1 + 1 2 ms rpida. Abraham Sharp, en 1699. calcul JT con 71 cifras
3 3 3 5 15 3 5 7 decimales. Dase, un calculista relmpago empleado por
76 Gauss. obtuvo 200 cifras decimales en el ao 1824. En
. etc.
105 1854. Richter lo calcul hasta 500 decimales, y finalmente,
en 1873. Shanks, un matemtico ingls, alcanz una curiosa
clase de inmortalidad, determinando JT con 707 decimales.
i
i Shanks dedic veinte aos al clculo de las 707 cifras decimales
Vs - Vv
de JT; desdichadamente, cometi un error en el decimal 528
(descubierto en 1945), y a partir de l todos los restantes es-
tn mal. Los mtodos de clculo electrnico actuales han
permitido calcular ms de un milln de cifras decimales de JT.
y el camino est abierto para que puedan alcanzarse los mi-
llones de cifras que se quiera. C o n todo, ello no representa
un despilfarro de tiempo comparado con los billones de ho-
Fig. 18. Serie de Leibniz ras invertidas por millones de personas para resolver cruci-
gramas y hacer "contratos" de bridge, por no aludir a los de-
.i bates polticos.
= 0,785...
4 Por supuesto que estos resultados no tienen uso conce-
T_ 1 bible en las ciencias aplicadas. Aun en los trabajos que requie-
1 - - U 1 + 1 +
4 7 ^ 9 11 ren mayor precisin no se necesitan ordinariamente ms de
diez cifras para TT. El famoso astrnomo y matemtico nortea-
mericano Simn Newcomb hizo notar en una ocasin: "Diez
Despus de tomar los primeros 5 0 trminos de estas se- cifras decimales son suficientes para dar la circunferencia de
ries. los prximos 50 n o producirn un valor de 7T sensible- la Tierra hasta la fraccin de una pulgada, y treinta decimales
mente ms exactos, puesto que la serie converge ms bien daran la circunferencia de todo el Universo visible hasta una
lentamente. La serie rpidamente convergente: cantidad imperceptible con el ms poderoso telescopio "
JT
= 4 1 1 1 1
+ +
4 3 5 7 Por qu, entonces, se ha dedicado tanto tiempo y es-
3 5 5 5 7 5
fuerzo a calcular JT? Hay dos razones para justificarlo. Prime-
1 1 11 1
+ + .. ra: los matemticos tenan la esperanza de que. estudiando
1 7
239 3 239 5 239* 7 239 series infinitas, podran hallar alguna clave sobre su naturale-
80
81
M O R U N O
MATEMATICAS E IMAGINACIN PIE (.7. .. P) TRASCENDENTES E IMAGINARIOS
za trascendente. Segunda: el hecho de que JT. una razn pu- 'nido, interviene JT. Explicando el significado geomtrico de
ramente geomtrica, pudiera obtenerse de tantas relaciones rr. el actuario, que lo haba estado escuchando con inters,
aritmticas de series infinitas con poca o ninguna relacin lo interrumpi exclamando "Mi querido amigo, eso debe ser
aparente con la geometra era una interminable fuente de un error. Qu tiene que ver un crculo con el nmero de
admiracin y estmulo a ia actividad matemtica. personas sobrevivientes al cabo de un tiempo dado?"
Recapitulando brevemente, el problema de la cuadratura
del crculo resulta ser una construccin imposible si nica-
Quin podra imaginar es decir, quin sino un mate- mente se usan regla y comps. Las nicas construcciones po-
mtico que el nmero que expresa una relacin funda- sibles con estos instrumentos corresponden a ecuaciones al-
mental entre el crculo y su dimetro podra resultar de la cu- gebraicas de primero y segundo grados. Lindemann demos-
riosa fraccin comunicada por lord Brouncker (1620-1684) a tr que JT no solamente no es la raz de una ecuacin alge-
J o h n Wallis? braica de primero o segundo grados, sino tampoco es la raz
de ninguna ecuacin algebraica (con coeficientes enteros),
4 no importa cun grande sea el grado; en consecuencia, JT es
JT =
82 83
MATEMATICAS E IMAGINACIN PIE (.7. . EI TRASCENDENTES E IMAGINARIOS
obra que en la historia de la ciencia botnica puede colocar- cado sea. se reduce a una suma o resta relativamente senci-
se en segundo lugar, a continuacin de la monumental Prin- lla. Multiplicar y dividir ggoles y ggolplexes resulta tan sim-
cipia de sir Isaac Newton. En 1614, John Napier, de Merchis- ple c o m o sumar una insignificante columna de nmeros.
ton, public su Mirifi Logarithmorum Canonis Descriptio Al igual que muchas otras de las fecundas y profundas in-
(Una descripcin de la admirable tabla de logaritmos), el pri- venciones en las matemticas, la idea sobre la cual se basa-
mer tratado sobre logaritmos 1 3 . A Napier, que tambin in- ban era tan simple que uno se asombra al pensar que. hasta
vent el punto decimal, le debemos una invencin que es entonces, a nadie se le hubiera ocurrido. Cajn refiere que
tan importante para las matemticas c o m o los nmeros ar- Henry Briggs (1556-1631). profesor de geometra en Oxford.
bigos; el concepto de cero y el principio de la notacin po- " qued tan impresionado al admirar el libro de Napier. que
sicional 14 . Hasta hace muy pocos aos, sin stos, las mate- dej sus estudios en Londres para ir a rendir homenaje al fi-
mticas no habran progresado probablemente m u c h o ms lsofo escocs ". Bnggs sufri un atraso en su viaje y Napier
all del grado que haban alcanzado hace 2.000 aos. Sin los se quejaba a un amigo comn: "Ah. John. Mr. Briggs no ven-
logaritmos, los clculos efectuados con facilidad por cual- dr." En ese mismo m o m e n t o se oy llamar a la puerta y
quier matemtico nefito agotaran las energas de los ms Briggs fue introducido al gabinete del lord. Ambos se queda-
grandes matemticos. ron casi un cuarto de hora contemplndose mutuamente, sin
Ya que e y los logaritmos tienen el mismo rbol genea- articular palabra alguna. Al final coment Briggs: "Milord. he
lgico y se desarrollaron juntos, podemos, por el m o m e n t o , emprendido expresamente este largo viaje para conocerlo y
volver nuestra atencin hacia los logaritmos para descubrir saber por qu rasgo de talento o de inventiva lleg usted,
algo de la naturaleza del nmero e. antes que nadie, a idear esta excelente ayuda para la astro-
Para confeccionar las tablas trigonomtricas empleadas noma. es decir, los logaritmos; pero, milord. lo que ms me
en la navegacin y en la astronoma se requeran clculos maravilla es que nadie los haya descubierto antes, cuando
desmesurados y, en consecuencia, se le sugiri a Napier que ahora, que los conocemos, resultan tan fciles."
inventara algn artificio para facilitar esos clculos. Contem- El concepto que tena Napier de los logaritmos se basaba
porneos suyos, c o m o Vieta y Ceulen, rivalizaron entre s en una idea ingeniosa y bien conocida: una comparacin en-
para llevar a cabo proezas aritmticas casi increblemente di- tre dos puntos animados de movimiento, uno de los cuales
fciles, las cuales, aun en el mejor de los casos, resultaban ser engendra una progresin antmtica y el otro, una progresin
una tarea de un trabajo sublime y penoso y una autoinmo- geomtrica.
lacin; con frecuencia toda esta labor se perda c o m o resul- Las dos progresiones:
tado de un pequeo descuido.
Napier tuvo buen xito en el logro de su propsito: abre- Aritmtica 0 1 2 3 4 5 6 7 8...
viar las operaciones de multiplicacin y divisin, operaciones Geomtrica 1 2 4 8 16 32 64 128 256...
"tan fundamentales en su naturaleza, que acortarlas parece
imposible". Sin embargo, mediante los logaritmos, todo pro- muestran, una con respecto a la otra, esta interesante rela-
blema de multiplicacin y divisin, no importa cun compli- cin Si se consideran c o m o exponentes (potencias) de 2. a
84 85
MATEMATICAS E IMAGINACIN PIE (.7, /. e) T R A S C E N D E N T E S E I M A G I N A R I O S
los trminos de la progresin aritmtica, los trminos corres- plan de estudios. Si a. b y c son tres nmeros relacionados
pondientes de la progresin geomtrica representan la can- entre s por la ecuacin, a' = c. entonces b. el exponente de
tidad resultante de efectuar la operacin indicada. As L \ 2' = a. es el logaritmo de c en base a. En otras palabras, el loga-
= 1 . 2 ' = 2. 2 = 4. 2 J = 8. 2 4 = 16. 2 3 = 32. etc. Adems. ritmo de un nmero en base a es la potencia a la cual debe
para determinar el valor del producto 2~ x 2\ solamente es elevarse a, para obtener dicho nmero. En el ejemplo: 2 =
A
necesario sumar los exponentes, obteniendo: 2 ' = 2 \ que = 8. el logaritmo de 8 en base 2 es 3. O bien, en O' = 100.
es el producto deseado. Llamando a 2. la base, cada trmino el logaritmo de 100 en base 10 es 2. La manera concisa de
de la progresin aritmtica es e LOGARITMO del trmino co- expresar esto es: 3 = log 2 8. 2 = logm 100. La sencilla tabla
rrespondiente de la progresin geomtrica. que va a continuacin resume las propiedades esenciales de
Napier explic geomtricamente esta nocin de la si- los logaritmos:
guiente manera: Un punto S se mueve a lo largo de la lnea
(1) log(, (b x c) - log a b + log, c.
recta. AB, con una velocidad en cada punto S] proporcional
a la distancia restante SiB. Otro punto R se mueve sobre una (2) log 0 ^ \ = log a b - log fl c.
lnea ilimitada, CD, con una velocidad uniforme igual a la ve-
locidad inicial de S. Si ambos puntos parten de A y C al mis- (3) log 0 b f = c x log,, b.
mo tiempo, el logaritmo del nmero medido por la distancia (4)logaV^"= f V9 b
est dado por la distancia CR
86 87
MATEMATICAS E IMAGINACIN PIE (.T, /. e) T R A S C E N D E N T E S E I M A G I N A R I O S
1! 2! 3! 4! 5! 6! 7<
2,7182818284590452353602874...
Por consiguiente, su valor puede aproximarse tanto como
Euler, que indudablemente tena en las matemticas el
se desee, con slo tomar trminos adicionales de la serie.
tacto de Midas, no slo invent el smbolo e y calcul su va-
Hasta la dcima cifra decimal: e = 2,7182818285. Una mira-
lor hasta 23 decimales, sino que dio para l varias expresio-
da a la tabla que va a continuacin, indicar cmo se com-
nes muy interesantes, de las cuales estas dos son las ms im-
porta una serie infinita convergente a medida que se suman
portantes:
ms y ms trminos:
(1) 1 + = 2 (1) e = 2 + 1
1 + 1
1
(2)1 + + - 2,5 2+ 2
2!
3 + 3
(3) 1 + + 1 + 1 2,6666666... 4 + 4
2! 3!
5 + 5 ...
(4) 1 4 1 +1 +1 2.7083334...
2! 3! 4!
88 89
MATEMTiUAS E IMAGINACIN PIE (.7. I. e) I H A b U t N U t N l'bS t IMAGINARIOS
90 91
MATEMATICAS E MAGINACiON PIE (.7 ei I H A S C E N U E N I E S E IMAGINARIOS
las ciencias aplicadas. Ninguna otra constante matemtica, ni ameba, o. c o m o lo acabamos de ver. el crecimiento de ca-
siquiera JT, est ms estrechamente vinculada a las cuestiones pital e inters. Es privativo de todo proceso orgnico, que la
humanas. En economa, estadstica, en la teora de la proba- variacin de crecimiento sea proporcional al estado de cre-
bilidad y en la funcin exponencial, e ha contribuido a hacer cimiento Cuanto ms grande es una cosa, tanto ms rpida-
una cosa y a hacerla mejor que cualquier otro nmero des- mente crece. En condiciones ideales, cuanto ms grande
cubierto hasta ahora. Ha representado un papel preponde- llega a ser la poblacin de un pas, tanto ms rpidamente
rante ayudando a los matemticos a describir y pronosticar lo aumenta. La variacin de la rapidez de muchas reacciones
que para el hombre constituye el ms importante de todos qumicas es proporcional a la cantidad de sustancias reactivas
los fenmenos naturales, el del crecimiento. que intervienen. O bien, la cantidad de calor cedida por un
La funcin exponencial: y = e\ es el instrumento usado, cuerpo caliente al medio ambiente, es proporcional a la tem-
en una u otra forma, para describir el comportamiento de las peratura. La proporcin en la cual la cantidad total de sus-
cosas que crecen. Es para esto singularmente apropiada: es tancia radiactiva disminuye a cada instante, debido a las
la nica funcin de x que tiene una razn de cambio, con res- emanaciones, es proporcional a la cantidad total presente en
pecto a x, igual a la funcin misma 20. Una funcin, c o m o se ese instante. Todos estos fenmenos que son. o se parecen,
recordar, es una tabla que da una relacin entre dos canti- a los procesos orgnicos, pueden ser descritos, con exactitud,
dades variables en la que un cambio en una de ellas implica por una forma de la funcin exponencial (siendo la ms sim-
algn cambio en la otra. El costo de una cantidad de carne ple: y = e x ) por cuanto sta tiene la propiedad de que su ra-
es una funcin de su peso; la velocidad de un tren, una fun- zn de cambio es proporcional a la razn de cambio de su
cin de la cantidad de carbn consumida; la cantidad de variable.
transpiracin producida, una funcin de la temperatura. En
cada uno de estos ejemplos, un cambio en la segunda varia-
ble: peso, cantidad consumida de carbn y temperatura, tie- Un universo donde faltaran JT y e. como lo ha dicho algn
ne correlacin con un cambio en la primera variable: costo, espritu antropomrfico, no seria inconcebible. Difcilmente
velocidad y volumen de transpiracin. El simbolismo de las uno podra imaginarse que el Sol dejara de salir o que las
matemticas permite que las relaciones funcionales sean ex- mareas cesaran por falta de JT y e. Pero sin estos artificios
presadas sencillamente y en forma concisa. De este modo: matemticos, lo que sabemos del Sol y las mareas, e incluso
y = x; y = x 2 : y = sen x: y = cosec x; y = e\ son ejemplos nuestra capacidad para describir todos los fenmenos natu-
de funciones. rales, fsicos, biolgicos, qumicos o estadsticos, quedaran
Una funcin no slo es adecuada para describir el com- reducidos a dimensiones primitivas.
portamiento de un proyectil en su trayectoria, de un v o l u m e n
de gas sometido a cambios de presin, de una corriente elc- i
trica circulando a travs de un conductor, sino tambin otros
procesos que suponen cambios, tales como el crecimiento de Alicia censuraba a H u m p t y Dumpty por las libertades que
una poblacin, el desarrollo de un rbol, el crecimiento de una se tomaba con las palabras: "Cuando yo uso una palabra".
92 93
MATEMATICAS E IMAGINACIN PIE (.7 /. e) TRASCENDENTES E IMAGINARIOS
replic H u m p t y con tono despreciativo, "sta significa preci- ciones tan pronto hubo ecuaciones o. mejor dicho, tan pron-
samente aquello que yo quise decir n i ms ni menos." "La to c o m o los matemticos se ocuparon del lgebra. Toda
cuestin es", dijo Alicia, "si puedes hacer que una palabra ecuacin de la forma ax + b = 0. en la que a y b son ma-
signifique tantas cosas diferentes". "La cuestin es", dijo yores que cero, tiene una raz negativa
H u m p t y . "conocer a fondo el asunto, eso es todo". Los griegos, para quienes la geometra era un goce y el
Aquellos que estn preocupados (y son muchos), por la lgebra un mal necesario, descartaron los nmeros negati-
palabra "imaginario", tal c o m o se la usa en matemticas, de- vos. Incapaces de adaptarlos a su geometra, imposibilitados
beran prestar atencin a las palabras de H u m p t y Dumpty. para representarlos grficamente, los griegos no considera-
Por supuesto que. a lo sumo, esto es cosa de poca importan- ron. en m o d o alguno, a los nmeros negativos. Pero el l-
cia. Repetidas veces en las matemticas, a palabras muy fa- gebra los necesitaba para desarrollarse. Ms sabios que los
1
miliares se les atribuyen significados tcnicos. Pero, c o m o lo griegos, ms sabios que Ornar Khayym' , los chinos y los
ha dicho tan perspicazmente Whitehead, esto slo es confu- hindes reconocieron los nmeros negativos antes de la era
so para inteligencias inferiores. Cuando una palabra est de- cristiana. Recin eruditos en geometra, no tenan escrpulos
finida con precisin y significa solamente una cosa, no hay de conciencia con respecto a los nmeros que no podan re-
ms razn para criticar su uso que para criticar el uso de un presentar mediante dibujos. En las teoras contemporneas
nombre propio. Nuestros nombres de pila pueden no agra- de la fsica matemtica (relatividad, mecnica cuntica, etc.),
darnos, o no satisfacer a nuestros amigos, pero ocasionan que. si bien son comprensibles c o m o smbolos en el papel,
pocas equivocaciones. La confusin surge nicamente cuan- desafan diagramas, cuadros o metforas adecuadas para ex-
do la misma palabra tiene varias acepciones y es lo que plicarlas en trminos de la experiencia comn, hay una repe-
H u m p t y Dumpty llama una "maleta de viaje". ticin de esa indiferencia hacia el deseo de representaciones
La semntica, una ciencia que hoy da est de moda, se concretas para ideas abstractas.
dedica al estudio del uso adecuado de las palabras. Sin em- Cardano, eminente matemtico del siglo XVI, jugador y
bargo, hay mucha mayor necesidad de la semntica en otras bribn de vez en cuando y a quien el lgebra le debe mu-
ramas de la ciencia que en las matemticas. En efecto, la ma- chsimo, fue el primero que reconoci la verdadera impor-
yor parte de los males que aquejan hoy al m u n d o , provienen tancia de las races de nmeros negativos. Pero su concien-
del hecho de que algunos de sus ms volubles dirigentes son cia cientfica lo remordi hasta tal punto que las llam "fic-
decididamente antisemnticos. ticias". Rafael Bombelli, de Bologna, prosigui la obra de
Un nmero imaginario representa una idea matemtica Cardano donde ste la haba dejado. Este ltimo haba ha-
precisa, que se introdujo por la fuerza en el lgebra de la blado de las races cuadradas de nmeros negativos, pero no
misma manera que con los nmeros negativos. Llegaremos lleg a comprender el concepto de imaginarios. En una obra
a entender ms claramente c m o entraron en uso los nme- publicada en 1572, Bombelli seal que las cantidades ima-
ros imaginarios si consideramos el desarrollo de sus progeni- ginarias eran indispensables para la solucin de muchas
tores. los nmeros negativos. ecuaciones algebraicas de la forma: x + a = 0. donde a es
Los nmeros negativos aparecieron como races de ecua- cualquier nmero mayor que cero, y que no pueden ser re-
94 95
MATEMATICAS E IMAGINACIN PIE (.7. /. e) T R A S C E N D E N T E S E I M A G I N A R I O S
sueltas sino con el auxilio de imaginarios. Tratando de resol- cin de los tiempos modernos. Comenzando en su origen con la
ver una ecuacin sencilla c o m o x ' + 1 = 0 hay dos alterna- nocin de los nmeros enteros absolutos, ha ensanchado gradual-
tivas. O la ecuacin no tiene sentido, lo cual es absurdo, o mente su dominio. A los nmeros enteros se han agregado las frac
x es la raz cuadrada de - 1 , que tambin es absurdo. Pero las ciones; a las cantidades racionales, las irracionales; a las positivas,
las negativas, y a las reales, las imaginarias. Este progreso, sin em-
matemticas se alimentan de absurdos y Bombelli sali del
bargo. siempre se ha hecho, al principio, con pasos vacilantes y tmi-
paso aceptando la segunda alternativa.
dos. Los primeros algebristas llamaron races falsas a las races ne-
gativas de las ecuaciones, y ste es. en realidad, el caso cuando el
problema al cual se refieren ha sido enunciado de tal manera que
Ms de cuatrocientos aos han transcurrido desde que el carcter de la cantidad buscada no admite lo contrario Pero as
Bombelli hizo su eleccin. Filsofos, hombres de ciencia y como en la aritmtica general nadie vacilara en aceptar las fraccio-
gentes dotadas de esa cualidad mental, de t o n o menor, co- nes. aunque hay tantas cosas contables para las cuales una fraccin
nocida c o m o sentido comn, han criticado, en un siempre no tiene sentido, del mismo m o d o no desconoceramos a los n-
creciente decrescendo, el concepto de imaginario. Todas meros negativos los derechos acordados a los nmeros positivos
estas notabilidades han muerto y la mayora de ellos han sido por la sola razn de que hay innumerables cosas que no los admi-
relegados al olvido, mientras que los nmeros imaginarios ten. La realidad de os nmeros negativos est suficientemente jus-
tificada, ya que en otros innumerables casos encuentran una ade-
florecen, perversa y desenfrenadamente, por todo el campo
cuada interpretacin. Hace tiempo que ya ha sido aceptado, pero
de las matemticas.
las cantidades imaginarias, antiguamente y a veces ahora, impropia-
A veces, aun los maestros se burlaron. Leibniz pens:
mente llamadas imposibles, como opuestas a las cantidades reales
"Los nmeros imaginarios son un excelente y maravilloso re- son, todava, ms bien toleradas que completamente naturaliza-
fugio del Espritu Santo, una especie de anfibio entre ser y das; aparecen ms como un juego intil sobre smbolos, a los cua-
no ser." A u n el portentoso Euler expres que nmeros c o m o les les niegan, sin vacilar, un sustrato concebible, aun aquellos que
la raz cuadrada de menos uno "no son ni nada, ni menos no despreciaran la rica contribucin que este juego con smbolos
que nada, lo cual necesariamente los hace imaginarios, o im- ha aportado al tesoro de las relaciones de las cantidades reales 22 .
posibles". Estaba en lo cierto, pero omiti decir que los ima-
ginarios eran tiles e imprescindibles para el desarrollo de las
matemticas. V as, se les asign un lugar en el d o m i n i o de Los nmeros imaginarios, c o m o la geometra de cuatro
los nmeros con todos los derechos, privilegios e inmunida- dimensiones, surgieron de la extensin lgica de ciertos pro-
des pertenecientes a ellos. Con el transcurso del tiempo fue- cesos. El proceso de extraer races se denomina evolucin.
ron disipndose los temores y los reparos sobre su naturale- Es un nombre a propsito, porque los nmeros imaginarios
za, de m o d o que el criterio de Gauss sobre los mismos es el evolucionaron, literalmente, por la extensin del proceso de
que prevalece en la actualidad: extraer races. Si V 4 , V T " , V 11 tenan sentido, por qu
no habran de tenerlo V - 4 . V - 7 . V - 1 1 ? Si x 2 - 1 = 0 te-
2
Nuestra aritmtica general, que hasta aqu supera en extensin na una solucin, por qu no iba a tenerla x + 1 = 0? El
a la geometra de los antiguos, constituye, por completo, la crea- reconocimiento de los imaginarios era como el reconoci-
96 97
MATEMATICAS E IMAGINACIN PIE (n, i. e). T R A S C E N D E N T E S E I M A G I N A R I O S
i3 = - i - v - 1 =-' ' I 4
CNJ
>
>
r<
+
II
ii
A
i
1
reglas y sus mltiples usos y aplicaciones justifican su exis-
1
i- , = + i V - i = ib
N.
4-1
>
tencia.
II
II
1
<
1
r
Las leyes formales de operacin para i son fciles; ya que r | = i v - i = - i h
| = - i -(v- D
= +1
la regla de los signos estipula que: i 1
i -
* i i i i
(+ l ) x ( + l ) = + l l ( - l ) x (+1) = - 1
(+1) x ( - 1 ) = - 1 J { (-1) x (-1) = +1 Esta tabla nos indica que las potencias impares de i son
iguales a - i , o + / , y que las potencias pares de i son iguales
Por consiguiente: a - 1 +1.
98 99
MATEMTICAS E IMAGINACIN PIE (.7, 0) TRASCENDENTES E IMAGINARIOS
La msica descriptiva se distingue de la msica absoluta, dio. por lo menos, un fruto notable. La geometra analtica
la cual debe su coherencia a la estructura, en que el prop- vino a l una maana mientras estaba acostado plcida-
sito de la primera es narrar un determinado argumento. En mente.
cierto sentido, la geometra analtica puede distinguirse de la Es portentosa esta idea de una geometra con coordena-
geometra de los griegos, del mismo m o d o en que la msica das y, sin embargo, tan fcil de comprender. Considrense
descriptiva se distingue de la msica absoluta. La geometra, dos rectas (ejes) en un plano: x x ' , yy' que se cortan forman-
prctica en sus orgenes, fue cultivada y desarrollada por do ngulos rectos en un punto R.
amor a ella misma, c o m o disciplina lgica y c o m o estudio de Cualquier punto en todo el plano puede entonces deter-
las formas. La geometra era una manifestacin del esfuerzo minarse, de una manera nica, por su distancia perpendicu-
por lograr un ideal. Los cuerpos y las formas que eran estu- lar a las rectas xx' y yy'. El punto P por ejemplo, por las dis-
diados ansiosamente. Pero los griegos cultivaron lo prctico tancias m y m ' . De este m o d o , un par de nmeros que re-
solamente hasta donde era compatible con lo hermoso; ms presentan a los valores de las distancias con respecto a xx' y
all de ello, sus matemticas se vieron trabadas por su es- yy' determinan cada punto en el plano y. recprocamente,
ttica. cada punto del plano determina un par de nmeros. Estos
Se dej a Descartes la tarea de escribir la msica descrip- nmeros se denominan las coordenadas del punto.
tiva de las matemticas, de inventar una geometra que rela- Todas las distancias sobre xx' medidas a la derecha de R
tara una narracin. Cuando se dice que toda ecuacin alge- son consideradas positivas y a la izquierda de R, negativas.
braica tiene un retrato, estamos describiendo la relacin exis- Anlogamente, todas las distancias medidas sobre yy' por
tente entre la geometra analtica y el lgebra. Y as c o m o la
msica descriptiva es tan importante y significativa en s mis-
ma c o m o el cuento que representa, as la geometra analtica Y'
? i
^
Los padres jesutas eran, a menudo, muy sensatos. En su w 1
m'
escuela situada en La Flche. permitieron al joven Ren Des-
cartes, a causa de su delicada salud, quedarse en la cama l
todas las maanas hasta medioda. N o es difcil imaginarse lo X R Eje* X'
100 101
MATEMATICAS E IMAGINACIN PIE ( j i . /. e) TRASCENDENTES E IMAGINARIOS
3
K 4
5
-1,5 ) "(4,3)
diante una curva continua, c o m o la figura 22 (a, b, c), deter-
/ #
1 2
Empleando la geometra analtica, cmo representamos
AL
8.0
-1 a,1
un nmero imaginario tal c o m o y/ - 1 ? Un teorema de geo-
*
/
f'1 *>
%
A
geomtrica entre BD y DC (fig. 23).
f
-
U n agrimensor noruego, Wessel, y un tenedor de libros
-0 (0 )
4* 44- y
Y'
Fig. 21. Los ejes de coordenadas en el plano real.
102 103
MATEMTICAS E IMAGINACIN
PIE (.7. e) T R A S C E N D E N T E S E I M A G I N A R I O S
Y' A
104
105
MATEMATICAS E IMAGINACION PIE (.7. /, e) TRASCENDENTES E IMAGINARIOS
da geomtrica del tringulo de lados L y L ' . y la base forma- equivalente a hacer girar esa lnea en 180". alrededor del ori-
da por aquella parte del eje xx' que va de - 1 a +1. gen y a un cambio de posicin del punto desde ( + a 4- ib)
r
Luego. S = V (-1) ( + 1 ) -= \ \ - 1 = i. hasta (-o - ib) El efecto de multiplicar un nmero por i es tal
As pues, tenemos ya una representacin geomtrica de un que cuando se realiza dos veces, se obtiene r . lo cual es
nmero imaginario equivalente a la multiplicacin por - 1 .
Extendiendo esta idea, Gauss form todo el plano comple- Por lo tanto, la multiplicacin por i es una rotacin de
jo. En ste, cada punto representado por un nmero complejo slo 90".
de la forma x + iy corresponde al punto del plano determi- Los nmeros complejos pueden ser sumados, restados,
nado por las coordenadas x y y. En otras palabras, un nme- multiplicados y divididos c o m o si fuesen nmeros reales Las
ro complejo puede ser considerado como un par de nmeros reglas formales de estas operaciones (la ms interesante de
reales, con el agregado del nmero i. El uso de i aparece so- las cuales es la sustitucin de - 1 por r ) se indican en los
lamente al efectuar las operaciones de multiplicacin y divi- ejemplos que van a continuacin:
sin. Imagnese una recta que una el punto (a + ib) con el
(1) x + iy - x' + iy' si y solamente si x = x ' y y = y'
origen R. Entonces la operacin de multiplicar por - 1 es
(2) (x + iy) + (x' + iy') = (x + x') + i(y + y')
(3) (x + y) - (x' + iy') = (x - x') + i(y - y')
(4) (x + iy) (x' + iy') = (xx' - yy') + i(xy' + yx')
xx' + yy' yx' - xy'
(5) (x + iy)/(x' + iy') =
( x T + (y')2 ' (xT + ( y f .
106 107
MATEMATICAS E IMAGINACIN PIE ( * , /, 9) T R A S C E N D E N T E S E I M A G I N A R I O S
APNDICE
mticos le usaron tal como lo haban hecho con n y e. El re-
sultado fue el hacer posible la construccin de casi todo el Nacimiento de una curva
edificio de la ciencia fsica moderna*.
1. Consideremos la ecuacin y = x 2 . Tomemos unos
pocos valores de prueba para x y hallemos los correspon-
Falta una cosa. Hay una famosa frmula quiz la ms dientes valores de y, disponiendo los resultados en una tabla:
breve y famosa de todas las frmulas desarrollada por Eu-
ler en base a un descubrimiento del matemtico francs, De X y
a
Moivre: e + 1 = 0 . Elegante, concisa y llena de significado,
solamente podemos reproducirla sin detenemos a investigar 0 0
sus complicaciones. Llama la atencin tanto al mstico como 1 i
al hombre de ciencia, al filsofo como al matemtico. Para 2 4
3 9
* D e m o s este blsamo al lector q u e nos ha a c o m p a a d o tan v a l i e n t e m e n t e a travs de 4 16
las pginas sobre g e o m e t r a analtica y n m e r o s c o m p l e j o s . El p r o m e d i o de d u r a c i n de un
curso escolar de g e o m e t r a analtica (sin incluir n m e r o s c o m p l e j o s ) es de seis meses. Es. por
2 2
lo t a n t o , p r e t e n d e r d e m a s i a d o que p u e d a aprenderse en casi c i n c o pginas Por otra parte, Es decir: 2 = 4, 3 = 9, etc. Representando estos puntos
si se ha fijado ia idea bsica de q u e t o d o n m e r o , toda ecuacin de lgebra, p u e d e n repre-
sentarse grficamente, los detalles h o m p i l a n t e s p u e d e n dejarse a a v e n t u r e r o s ms intrpidos. en el plano cartesiano, obtenemos la figura A.
108 109
MATEMATICAS E IMAGINACIN PIE (.7. /. e> T R A S C E N D E N T E S E I M A G I N A R I O S
15
>0
"i
2
I
o . 1 1 hH hx
-2
3
4
Fig. A
X y
15
i 4
1
21
10 2,3 5,29
2,7 7,29
Pero, contiene esta curva a otros puntos que aparecen
Fig. B
en nuestra tabla funcional? Probmoslo, tabulando algunos
valores fraccionarios de x.
2. Ahora, qu hacemos con respecto a los valores ne- Si graficamos estos nuevos puntos podr verse que todos
gativos de x? Vemos por ejemplo (-2) z = (-2) x (-2) = 4. ellos pertenecen a la curva (fig. D). En efecto, si continuse-
Esto es evidentemente cierto para todos los valores de x. de mos as, encontraramos que todo punto que pueda aparecer
manera que a cada punto representado en la figura A, co- en la tabla pertenecer a la curva. La totalidad de dichos
rresponde otro punto que es su imagen especular, siendo el puntos formar la curva conocida con el nombre de par-
espejo el eje OV. Agregando stos sale la figura B. bola.
111
110
MATEMATICAS E IMAGINACIN PIE (.7. . e l TRASCENDENTES E IMAGINARIOS
112 113
MATEMATICAS E IMAGINACION PIE ( t / ,->i T R A S C E N D E N T E S E I M A G I N A R I O S
114
MATEMATICAS E IMAGINACIN
PASCAL
117
MATEMATICAS E IMAGINACIN OTRAS GFOMFTRIAS EL P L A N O Y [.A F A N T A S I A
gunta, lo s. Si deseo explicarlo a quien me lo pregunta, no postulados y axiomas, cre su geometra sobre ellas, utilizn-
lo s dolas c o m o cimientos Este mtodo, ideal para desarrollar un
Y esto tambin podra decirse del espacio. Aunque el es- sistema lgico, jams ha sido mejorado, aunque a veces ha
pacio no puede ser definido, hay poca dificultad para medir sido descuidado u olvidado, con tristes consecuencias.
distancias y superficies, para desplazarse, para hacer carto- Si bien los Elementos de Euclides constituyen una impor-
grafas de grandes extensiones, o en ver a travs de millones tante realizacin intelectual, tienen el defecto de no hacer
de aos luz. Por todas partes est la abrumadora evidencia una importante distincin entre dos tipos de matemticas
de que el espacio es nuestro medio natural, que no nos pre- puras y aplicadas. distincin que slo ha salido a la luz
senta problemas insuperables. en los modernos desarrollos tericos en las matemticas, la
Pero este libro no pretende ser un tratado filosfico, ni lgica y la fsica.
tampoco un Manual de Introduccin a la Teora del Espacio, Una geometra que trate del espacio de nuestra experien-
escrito en alemn en 14 volmenes. Nuestro propsito con- cia, es matemtica aplicada. Si nada dice de ese espacio, si.
siste en explicar de la manera ms sencilla y general, no el en otras palabras, es un sistema compuesto de nociones abs-
espacio fsico que perciben nuestros sentidos, sino el espacio tractas, elementos y clases, con reglas de combinacin que
del matemtico. A tal fin, todas las nociones preconcebidas obedecen a las leyes de la lgica formal, es matemtica pura.
deben desecharse y aprender de nuevo el alfabeto. Sus proposiciones son de la forma: "Si A es cierto, entonces
En este captulo nos proponemos discutir dos clases de B es cierto", haciendo caso omiso de lo que A y B puedan
geometras: las de cuatro dimensiones y las no-euclidianas. ser'. Si fuese aplicable al m u n d o fsico un sistema de mate-
Ninguno de estos temas va ms all de la comprensin del mticas puras, el provecho que se obtuviera podra ser con-
no matemtico que est dispuesto a realizar un razonamiento siderado. ya como simple casualidad, ya c o m o prueba ms
correcto. Es verdad que ambos temas han sido descritos, amplia de la profunda conexin existente entre las formas de
c o m o la teora de la relatividad (con la que en cierto m o d o la naturaleza y las de las matemticas. Sin embargo, en cual-
se relacionan) en forma de un arrogante espantajo. Los quiera de los dos casos debe tenerse presente este hecho
sumos sacerdotes de toda profesin idean complicados ritua- esencial, a saber, que la fecundidad de un sistema lgico ni
les y lenguaje oscuro, tanto para ocultar su propia inepcia aumenta ni disminuye su validez.
c o m o para infundir terror a los no iniciados. Pero la corrup- C o m o matemtica aplicada, la geometra de Euclides es
cin del clero no debe desanimarnos. Las ideas bsicas sobre una buena aproximacin dentro de un campo restringido.
las que se fundan las geometras de cuatro dimensiones y no Suficientemente buena para dibujar un plano de Madrid;
euclidianas son sencillas y esto es lo que nos proponemos deja de serlo para un mapa de Espaa o de Europa, o para
demostrar. la medida de las distancias atmicas o estelares. C o m o siste-
ma de matemticas puras, sus proposiciones son verdaderas
Euclides, al escribir los Elementos, no tropez con gran- en el sentido ms general. Es decir, tienen validez nicamen-
des obstculos. Partiendo de ciertas ideas fundamentales te c o m o proposiciones lgicas, si han sido deducidas correc-
(presumiblemente entendidas por todos) y que expres c o m o tamente de los axiomas. Son. por lo tanto, posibles, otras
118 119
MATEMATICAS E IMAGINACIN OTRAS GEOMETRIAS EL P L A N O V LA F A N T A S I A
geometras con postulados diferentes en realidad tantas valor tiene entonces el argumento de que el ajedrez es un
c o m o al matemtico se le ocurra idear Todo lo que se ne- juego ilgico, porque es imposible concebir que un ciudada-
cesita es reunir ciertas ideas fundamentales (clases, elemen- no cualquiera pueda ser coronado reina por el solo hecho de
tos, reglas de combinacin), declarar los conceptos indefini- avanzar cinco pasos?
bles, garantizar que los axiomas no se contradicen, y se ha- Tal vez stos son ejemplos ridculos, pero no lo son ms
brn fundado los cimientos para un nuevo edificio: una nue- que las exigencias del pusilnime que dice que las tres di-
va geometra. Al matemtico puro no le importa un pice si mensiones hacen el espacio y que el espacio hace las tres
esta nueva geometra ser provechosa, si resultar ser tan til dimensiones, "eso es todo lo que vosotros sabis sobre la
para el agrimensor o el navegante c o m o la geometra eucli- Tierra y todo cuanto necesitis saber". Porque no hay de-
diana, o si sus ideas fundamentales estn a la altura de cual- mostracin. de carcter cientfico, de que el espacio sea de
quier otra norma de verdad que no sea la compatibilidad tres dimensiones o, para el caso, de cuatro, cinco, seis o
consigo misma. El matemtico es el sastre de la clase media de n dimensiones. La geometra considerada como matem-
de la ciencia. Confecciona los trajes, y a quienes les queden tica pura no puede demostrar que el espacio sea de tres di-
bien, que los usen. Dicho en otras palabras: el matemtico mensiones porque a la matemtica pura slo le interesa su
hace las reglas del juego y quien lo desee puede jugar mien- coherencia lgica interna, y no su compatibilidad con el es-
tras las observe. N o tiene derecho a quejarse luego alegando pacio o cualquier otra cosa. Ni tampoco es esta cuestin de
que el juego no le haya dejado utilidades. la incumbencia de las matemticas aplicadas, que generalmen-
te no investigan la naturaleza del espacio, sino que suponen su
existencia. T o d o cuanto hemos aprendido de las matemticas
Si deseamos hacer el mximo cumplido a un sistema ma- aplicadas es: resulta conveniente, pero no obligatorio, consi-
temtico, expresar que participa de la misma generalidad y derar al espacio de nuestra percepcin sensorial c o m o de
de la misma validez que la lgica, podemos llamarlo "juego". tres dimensiones.
Una geometra de cuatro dimensiones es un juego, c o m o Al reparo de que una cuarta dimensin est ms all de
tambin lo es la Geometra de Euclides. Poner reparos a la la imaginacin, podemos responder que lo que hoy es sen-
geometra de cuatro dimensiones basndose en que sola- tido comn, ayer era razonamiento abstruso ms an, es-
mente hay tres dimensiones, es absurdo. El ajedrez puede peculacin descabellada. Para que el hombre primitivo ima-
ser jugado tanto por quienes creen en camaradas o dictado- ginara la rueda o un vidrio de ventana, se hubieran requerido
res, c o m o quienes se adhieren a la gloria, languideciente, de mayores esfuerzos de imaginacin que para nosotros conce-
reyes y reinas. Qu sentido tiene, pues, oponer reparos al bir una cuarta dimensin.
ajedrez fundndose en que reyes y reinas pertenecen a po- Alguien podra todava aducir: "Usted me dice que la
cas pasadas y que, sea c o m o fuere, nunca se comportaron geometra de cuatro dimensiones es un juego. Quiero creer-
c o m o piezas de ajedrez no, ni siquiera los obispos*? Qu lo. Pero parece ser un juego al que no le interesa nada real,
sino algo que jams he experimentado." Le responderamos
J u e g o de palabras con el d o b l e significado de bishop. q u e quiere decir alfil u obispo,
indistintamente. (N del T)
a la manera socrtica, con otra pregunta: "Si una geometra
120 12^
MATEMTICAS E IMAGINACIN OTRAS GEOMETRIAS EL. P L A N O Y LA F A N T A S I A
de cuatro dimensiones no trata de nada real, entonces qu Comenzando, c o m o es usual, con Aristteles, se demos-
estudia la geometra plana de Euclides? Algo ms real? Por tr muchas veces que una cuarta dimensin era inconcebible
cierto que no! N o describe el espacio accesible a nuestros e imposible. T o l o m e o seal que podan trazarse en el espa-
sentidos, que explicamos en trminos de vista y tacto. Habla cio tres rectas perpendiculares entre s. pero una cuarta recta,
de puntos que no tienen dimensin, de lnea que no tiene perpendicular a ellas, carecera de medida o profundidad.
anchura y de planos que carecen de espesor abstracciones Otros matemticos, no deseando arriesgarse a cometer una
e idealizaciones todas ellas que en nada se parecen a cuanto hereja mayor an que la de ir contra la Biblia esto es. con-
hemos experimentado o encontrado. tradecir a Euclides advirtieron que ir ms all de las tres di-
mensiones equivala a ir "contra la naturaleza". Y el matem-
tico ingls John Wallis, de quien podra haberse esperado
La nocin de una cuarta dimensin, aunque precisa, es algo mejor, se refiri a esa "fantasa" de una cuarta dimen-
m u y abstracta y, para la gran mayora, est ms all de la sin, c o m o un "monstruo en la naturaleza, menos posible
imaginacin y en la regin ms pura del conocimiento. El que una quimera o un centauro"
desarrollo de esta idea es debido, en mucho, a nuestro rela- Inconscientemente, un filsofo, Henry More, vino a redi-
tivamente pueril deseo de compatibilidad que a algo ms mirlo. aunque los matemticos de hoy difcilmente reconoce-
profundo. En este mismo empeo por la compatibilidad y la ran su ayuda. Su sugerencia no fue una bendicin pura. Los
generalidad, los matemticos crearon los nmeros negativos, espritus de los aparecidos, dijo More, tienen, con toda segu-
los imaginarios y los trascendentes. Sin embargo, nadie ha- ridad, cuatro dimensiones. Pero Kant asest un golpe terre-
ba visto nunca menos tres vacas o la raz cuadrada de me- nal al formular sus nociones intuitivas sobre el espacio, las
nos un rbol, y no fue sin lucha c o m o estos conceptos, hoy cuales difcilmente podan ser compatibles, ni con una geo-
ms bien vulgares, fueron introducidos en las matemticas. El metra de cuatro dimensiones ni con una no euclidiana.
mismo conflicto se repiti para introducir la cuarta dimensin En el siglo XIX varios matemticos sobresalientes defen-
y todava quedan escpticos en el campo de la oposicin. dieron esta causa en apariencia, perdida, y abrieron un nue-
Se propusieron todas las alegoras y ficciones posibles vo manantial matemtico. La gran m e m o n a de Riemann ti-
para instar y halagar a los que dudaban, a fin de hacer ms tulada Sobre las hiptesis que sustentan los fundamentos de
aceptable la idea de una cuarta dimensin. H u b o novelas la Geometra, conjuntamente con las obras de Cayley, Vero-
que describan cun imposible pareca un m u n d o de tres di- nese, Mbius, Plcker. Sylvester, Bolyai. Grassmann, Loba-
mensiones a seres que vivieran en un m u n d o de dos dimen- chevsky, crearon una revolucin en la geometra. La geo-
siones, hubo cuentos de aparecidos, de golpecitos en la metra de cuatro y de an ms dimensiones, lleg a ser una
mesa y del pas de los muertos. Para ganar siquiera una vic- parte indispensable de las matemticas, relacionadas con
toria parcial hacan falta ejemplos de la tierra de los vivos, muchas otras ramas.
que eran, todava, menos comprensibles que una cuarta di- Fue cuando finalmente llegaron a la fsica matemtica, al
mensin. De esto no debe inferirse que se adopt un absur- m u n d o fsico (por alguna razn misteriosa que nunca falta)
do mayor para sostener otro menor. los usos y aplicaciones directas de la geometra de cuatro di-
122 123
MATEMATICAS E IMAGINACIN OTRAS GFOMFTRAS Et P L A N O Y I A F A N T A S I A
C = (x, y)
D = (0, - 3 )
Los fsicos pueden considerar que el tiempo es una cuar- E = (0, 0)
ta dimensin, pero no as el matemtico. El fsico, c o m o
otros hombres de ciencia, puede encontrar que su mquina
ms reciente tiene, precisamente, el lugar adecuado para al- En lugar de referimos a "un espacio" o a "espacios", usa-
gn nuevo artificio matemtico; eso no le interesa al mate- remos un trmino ms general y ms de moda: variedad4
mtico. El fsico puede apropiarse de nuevas partes para su Una variedad tiene una semejanza aproximada con un con-
mquina cambiante, todos los das, tomndolas de las mate- junto. Un plano es un conjunto compuesto por todos aque-
mticas. Si se adaptan, el fsico dice que son tiles, que son llos puntos determinados nicamente por dos coordenadas.
verdaderas, porque hay un lugar para ellas en el modelo de Es. por lo tanto, una variedad de dos dimensiones.
su m u n d o en preparacin. Cuando ya no le sirven, puede El espacio estudiado en la geometra analtica de tres
descartarlas o "destruir toda la mquina y construir una nue- dimensiones puede considerarse c o m o una variedad de tres
va. del mismo m o d o que nosotros compramos un automvil dimensiones, porque se requieren exactamente tres coorde-
nuevo cuando el viejo deja de marchar bien" 3 . nadas para fijar cada punto en l. Generalizando, si se nece
La costumbre de decir que el tiempo es una dimensin sitan n nmeros para especificar, para individualizar, cada
hace ver la necesidad de explicar qu significa esa imperti- uno de los miembros de una variedad, ya sea un espacio o
nente palabra. De esta manera, tambin llegaremos a tener una cualquier otra clase, se les denomina una variedad de n di-
imagen ms clara de la geometra de cuatro dimensiones. mensiones.
124 125
MATEMATICAS E IMAGINACION OTRAS GEOMETRAS EL P L A N O Y LA F A N T A S A
/" I rr I ! I
|
X*
|
' I I
*
t "
/ T * i:
M
:
0 ' *
7*:
:
*
* fj:|
*
Fig. 28(b). El mismo concepto puede hacerse extensivo a una
"
|
variedad de tres dimensiones (espacio). Cada punto requiere tres
nmeros para ser individualizado. As, P = (x, y, z).
13 2
12 + 5 2
2
en lugar de la palabra fsica espacio, el matemtico introduce
el concepto ms general y ms exacto, de clase o variedad.
126 127
MATEMATICAS E IMAGINACION OTRAS GEOMETRIAS EL P L A N O V LA F A N T A S I A
Ahora bien, tanto en dos como en tres dimensiones el 1. Una variedad euclidiana de tres dimensiones es el
concepto de distancia, en la forma en que el matemtico y conjunto de todas las temas de nmeros: (x, y. z) ( x \ y ' , z'),
el lego lo entienden, es el mismo. El lego queda satisfecho (x", y", z"), etc., a dos cualesquiera de las cuales puede asignarse
con un entendimiento intuitivo, el matemtico exige una for- de manera nica una medida llamada distancia entre ellos,
2
mulacin exacta. Sin embargo, en las dimensiones superio- definida por la frmula: V ( x - x'Y + (y - y') + (z - z 7 ~ . Cier-
res, mientras el lego queda detenido por un muro infran- tos subconjuntos de este conjunto se denominan puntos, rec-
queable las limitaciones naturales de sus sentidos el ma- tas, planos, etc. Los teoremas deducidos de estas definicio-
temtico escala esa pared utilizando su frmula ampliada, nes constituyen un sistema matemtico llamado "Geometra
como escalera. La distancia en cuatro dimensiones nada sig- Analtica de Tres Dimensiones".
nifica para el lego. Y es lgico que as sea. puesto que un es- 2. Una variedad euclidiana de cuatro dimensiones es la
pacio de cuatro dimensiones est totalmente fuera de la ima- clase de todas las tetradas de nmeros (x. y. z. u) (x\ y', z',
ginacin ordinaria. Pero el matemtico, que asienta el con- U') (X", y", z". u"). etc.. a dos cualesquiera de las cuales puede
128 129
MATEMATICAS E IMAGINACIN
OTRAS GEOMETRAS EL P L A N O Y LA F A N T A S I A
130 131
MATEMATICAS E IMAGINACION OTRAS GEOMETRAS EL P L A N O Y LA F A N T A S A
132 133
MATEMATICAS E IMAGINACIN OTRAS GEOMETRIAS EL P L A N O Y LA F A N T A S I A
134 135
MATEMATICAS E IMAGINACIN OTRAS GEOMETRIAS EL P L A N O Y LA F A N T A S I A
O bien, podra separar los dos eslabones de una cadena que el tenue aire esta tratando de aplastar tm cuerpo con una carga
sin romperlos. Todo esto y mucho ms le resultara absurda- de 1 kilogramo por centmetro cuadrado! ,Qu absurdo pretender
mente sencillo, y contemplara nuestra impotencia con la que el grupo de estrellas que estoy viendo a travs del telescopio,
misma diversin y lstima con que nosotros miramos a los evidentemente all ahora. es un reflejo de una poca pasada de
desdichados seres de Planilandia. hace 50.000 aos' No nos dejemos engaar por esta voz Est des
acreditada
Hemos encontrado una huella extraa en las playas de lo des-
conocido. Hemos ideado teoras profundas, una despus de otra,
Nuestra novela debe terminar. Si la misma ha ayudado a
para explicar su origen. Al fin hemos logrado reconstruir al ser que
algunos lectores a hacerles ms real una cuarta dimensin y dej esa huella. Y. he aqu! Es la nuestra.
ha satisfecho un comn anhelo antropomrfico, habr cum-
plido su finalidad. En lo que a nosotros se refiere, confesa-
mos que las fbulas jams han aclarado los hechos. Hemos subrayado el hecho de que la geometra pura
Una idea asociada en sus orgenes con duendes y esp- est divorciada del espacio fsico que percibimos a nuestro
ritus requiere, para ayudar a la ciencia, ser despojada, dentro alrededor y ahora estamos en condiciones de atacar un con-
de lo posible, de todo pensamiento confuso. Debe ser enca- cepto algo ms difcil. No est de ms, sin embargo, tratar de
rada clara y valientemente si se desea descubrir su verdadera distinguir primero, en forma distinta a como lo hicimos antes,
esencia. En caso contrario, es an ms estpido rechazarla y la diferencia entre el espacio tal como se le concibe ordina-
ridiculizarla que glorificarla y guardarla como reliquia. Nin- riamente y las variedades, que son los espacios de las ma-
gn concepto salido de nuestras mentes o de nuestras plu- temticas. Quizs esta distincin contribuir a que nuestro
mas ha sealado un mayor avance de nuestro pensamiento, nuevo concepto las geometras no euclidianas parezca
ninguna idea religiosa, filosfica o cientfica r o m p i ms menos extrao.
bruscamente con la tradicin y los conocimientos comn- Estamos muy acostumbrados a considerar al espacio
mente aceptados, que la idea de una cuarta dimensin. como infinito, no en el sentido matemtico tcnico de los
Eddington lo ha expresado muy bien": conjuntos infinitos, sino simplemente para significar que el
espacio no tiene lmites, que es sin fin. Por cierto que la ex-
Por muy satisfactoria que pueda ser la teora de un m u n d o de
periencia cotidiana no nos ensea nada de eso. Los lmites
cuatro dimensiones, es difcil no prestar atencin a una voz que
de un ciudadano particular, raramente llegan ms all de la
dentro de nosotros nos dice al odo: "En el fondo de tu mente, sa-
bes que una cuarta dimensin es toda una insensatez." Me imagino
extremidad de su brazo derecho. Las fronteras de una na-
que esa misma voz ha estado a menudo muy activa en la historia cin, como saben muy bien los contrabandistas de tabaco,
pasada de la fsica. Qu disparate decir que esta mesa slida sobre no van ms all de la frontera de las doce millas.
la cual estoy escribiendo es una coleccin de electrones que se La mayor parte de nuestras creencias acerca de la infini-
mueven con prodigiosa velocidad en espacios vacos, que. con re- tud del espacio nos vienen de haberlas odo y, otra parte, de
lacin a las dimensiones electrnicas son tan extensos c o m o los es- lo que pensamos que vemos. As, por ejemplo, las estrellas
pacios entre los planetas del Sistema Solar! Qu desatino afirmar parecen estar a millones de kilmetros, aunque en una no-
136 37
MATEMATICAS E IMAGINACION
OTRAS GEOMETRIAS EL P L A N O Y LA F A N T A S I A
che oscura, una vela, a medio kilmetro de distancia, produ- Esto es lo que significa espacio fsico, que podemos definir,
cira la misma impresin. Adems, si imaginamos que nues- brevemente, c o m o la construccin abstracta que posee aque-
tro cuerpo se reduce hasta el tamao de un tomo, entonces llas propiedades de los cuerpos rgidos que son independien-
un guisante, a la distancia de dos o tres centmetros, nos pa- tes de su contenido material. El .espacio fsico es aquel en
recera m u c h o ms enorme y mucho ms distante que el Sol. que se basa la casi totalidad de la fsica y es. por supuesto,
La distincin entre el espacio del individuo y el "espacio el espacio de las acciones cotidianas ."8
pblico" pronto resulta evidente. Nuestro conocimiento per- Por otra parte, los espacios, o ms generalmente las va-
sonal del espacio no nos demuestra que sea infinito, homo- riedades que consideran los matemticos, estn construidas
gneo o istropo N o sabemos que es infinito, porque nos sin referencia alguna a las operaciones fsicas tales c o m o la
arrastramos, saltamos o volamos slo en reducidas regiones. medicin. Poseen slo aquellas propiedades expresadas en
N o lo sabemos homogneo porque un rascacielos, visto a los postulados y axiomas de la geometra particular en cues-
distancia, parece m u c h o ms pequeo que la punta de nues- tin, as c o m o todas las otras propiedades que se deducen
tra nariz y el peinado de la dama que est sentada delante de de los mismos.
nosotros en el cine, nos impide ver la pantalla en su totali- Bien puede ser que los postulados sean sugeridos, en
dad; y sabemos que no es isotrpico, es decir, que "no posee parte o en su totalidad, por el espacio fsico de nuestra ex-
7
las mismas propiedades en todas direcciones" , porque hay periencia, pero debemos considerarlos c o m o completamente
puntos ciegos en nuestra vista y nuestro sentido visual nunca desarrollados e independientes. Si los experimentos demos-
es igualmente bueno en todas direcciones. trasen que algunas, o todas nuestras ideas sobre el espacio
La nocin de espacio fsico o "pblico", que abstraemos fsico son errneas (como, en efecto, lo ha hecho la teora de
de nuestra experiencia individual, tiene por objeto liberamos la relatividad), tendramos que escribir de nuevo todos nues-
de nuestras limitaciones personales. Decimos que el espacio tros textos de fsica, pero no nuestras geometras.
fsico es infinito, homogneo, istropo y euclidiano. Estas ga-
lanteras son fciles de dedicar a una entidad ideal sobre la
cual muy poco se sabe en realidad. Si preguntsemos al f- Pero esta aproximacin al concepto del espacio, as
sico o al astrnomo: "Qu piensa usted acerca del espacio?" c o m o al concepto de geometra, es comparativamente re-
podra respondernos: "A fin de realizar medidas experimen- ciente. N o ha habido movimiento ms arrollador en toda la
tales y describirlas con mayor comodidad, el fsico opta por historia de la ciencia, que el desarrollo de la geometra no
ciertos convenios con respecto a sus aparatos de medida y a euclidiana, un movimiento que estremeci hasta sus cimien-
las operaciones ejecutadas con los mismos. Se trata, hablan- tos las creencias, proveniente de pocas remotas, de que Eu-
do rigurosamente, de convenios relativos a objetos fsicos y clides haba expresado verdades eternas. Capaz y exacta
a operaciones fsicas. Sin embargo, para fines prcticos, es c o m o instrumento de medida desde la poca de los egipcios,
conveniente atribuirles una generalidad que trasciende de intuitiva y plena de sentido comn, santificada y apreciada
cualquier conjunto concreto de objetos u operaciones. En- c o m o uno de los ms neos legados intelectuales de Grecia,
tonces llegan a ser. c o m o decimos, propiedades del espacio. la geometra de Euclides se irgui, durante ms de veinte si-
136 139
MATEMTICAS E IMAGINACIN O T R A S G E O M E T R I A S . EL P L A N O Y LA F A N T A S I A
140 141
MATEMATICAS E IMAGINACIN OTRAS GEOMETRIAS EL P l . A N O Y LA F A N T A S I A
puesta es que el lector est hablando del plano fsico y de l- Ahora bien, esto es una suposicin y no tiene sentido ale
neas trazadas con un lpiz. Est obsesionado por los fantas- gar. fundados en el diagrama, que es evidente que si A'B o
mas del sentido comn, en lugar de razonar en trminos de C'D' fuesen prolongadas lo suficiente entonces llegaran, fi-
geometra pura. Usted puede ir ms lejos y decir que en su nalmente, a cortar a CD Si. como ha sealado el profesor
sistema, en la geometra euclidiana. cualquier recta distinta Cohn, confiamos por entero en nuestra intuicin del espa-
de BC cortar a DE si se la prolonga lo suficiente. Nosotros cio. que es finito, habr siempre un ngulo H. cada vez ms
le responderamos que esa regla se aplica en su juego, pero pequeo a medida que nuestro espacio se extiende, pero
no en el nuestro, la geometra de Lobachevski. Ninguno de que nunca desaparece, y ninguna de las rectas comprendidas
nosotros, si somos matemticos, est hablando del espacio dentro de 6 llegan a cortar a la recta dada 1<I.
fsico, pero si as lo hicisemos, habra ms motivos para Qu le sucede a la geometra de Euclides cuando su
creer que somos nosotros, y no usted, quienes estamos di- postulado sobre las paralelas es reemplazado por el de Lo-
ciendo la verdad. bachevski? Muchos de sus teoremas importantes, los que en
Podemos presentar a la geometra de Lobachevski de la modo alguno dependen del quinto postulado, son vlidos en
siguiente manera: En la figura 40 la recta AB es perpendicu- ambas geometras. As por ejemplo:
lar a CD. Si la hacemos girar alrededor de A, en sentido le-
vgiro, cortar a C D en varios puntos a la derecha de B has- 1. Si dos lneas rectas se cortan, los ngulos opuestos
ta .alcanzar una posicin lmite EF, en la cual ser paralela a por el vrtice son iguales:
e
X. - r f
A _ _ _
fe
c D
Fig. 40 B
143
142
MATEMATICAS E IMAGINACION OTRAS GEOMETRAS EL P L A N O Y LA F A N T A S I A
Fig. 42.
8A C
Si AB = AC, entonces el ngulo 1 = ngulo 2.
El talentoso Riemann, en su famosa tesis doctoral: Sobre
las hiptesis que son los fundamentos de la Geometra, pro-
puso an otro sustituto para el quinto postulado de Euclides,
distinto del de Lobachevski y Bolyai. Esta proposicin sostie-
ne que: "Desde un punto del plano no puede trazarse ningu-
A na recta paralela a una recta dada." En otras palabras, cada
f
par de rectas en el plano deben cortarse. Debe notarse que
esto contradice la tcita suposicin de Euclides de que una
lnea recta puede prolongarse indefinidamente. A propsito
C p
6
de esto, Riemann seal la importante distincin entre infini-
to y no acotado: As. el espacio puede ser finito aunque no
Fig. 43. Desde el punto A puede trazarse una y slo una perpen-
dicular a CD. acotado. Movindonos en una direccin dada, como las agu-
jas de un reloj, podemos mantenernos por siempre en mar-
cha volviendo eternamente sobre nuestros pasos. Como era
prendentes, cuando se sustituye al quinto postulado por otro. dable esperar, la hiptesis de Riemann tambin afecta a
As, en la geometra euclidiana, la suma de los ngulos de aquellos teoremas de Euclides que dependen del quinto pos-
todo tringulo es igual a 180; mientras que en la geometra tulado. Tanto la geometra de Euclides como la de Loba-
de Lobachevski, la suma de los ngulos de un tringulo es chevski establecen que solamente puede trazarse una per-
menor que 180. pendicular a una recta, desde un punto dado. Pero en la
Las rectas paralelas en la geometra euclidiana nunca se geometra de Riemann puede trazarse cualquier nmero de
cortan y quedan separadas a una distancia constante, por perpendiculares, desde un punto cualquiera a una recta
ms que se prolonguen. Las rectas paralelas en la geometra dada. Ahora, la suma de los ngulos de un tringulo es
de Lobachevski nunca se encuentran; pero se aproximan una mayor que 180 en la geometra de Riemann, y los ngulos
a otra asintticamente, es decir, la distancia entre ellas se aumentan a medida que el tringulo se agranda (vase la
hace cada vez menor a medida que se prolongan. fig- 47[a]).
Citemos un teorema ms interesante. En la geometra eu- Tenemos, pues, tres sistemas de postulados: el de Eucli-
cldea. dos tringulos pueden tener, respectivamente, ngulos des, el de Lobachevski y el de Riemann. De los mismos se
iguales, pero reas diferentes; uno puede ser, por as decirlo, han desarrollado tres geometras, la primera, euclidiana. las
144 145
MATEMTICAS E IMAGINACIN OTRAS GEOMETRIAS EL PLANO Y LA FANTASIA
146 147
MATEMTICAS E IMAGINACIN OTRAS GEOMETRIAS EL P L A N O Y LA FANTASIA
Fig. 45(a). Una forma de engendrar la tractriz. La locomotora de Fig. 45(c). La curva formada por una cadena que cuelga libre-
juguete est atada al reloj W, quedando la cuerda perpendicular a mente se denomina catenaria. Si se trazan las tangentes a una ca-
la va. Cuando la locomotora se pone en marcha, la trayectoria del tenaria, la curva normal a ellas y que encuentra a la catenaria en
reloj es una tractriz. su punto ms bajo es, de nuevo, la tractriz.
148 149
MATEMATICAS E IMAGINACION OTRAS GEOMETRIAS EL P L A N O Y LA F A N T A S I A
150 151
OTRAS GEOMETRIAS EL PLANO Y LA FANTASIA
MATEMATICAS E IMAGINACIN
POSITIVA NEGATIVA
Nuestra breve exposicin sobre la geometra no euclidia-
na despertar en la mente del lector muchas preguntas que
no son de nuestra incumbencia, pero la literatura al respecto,
aun la literatura popular, es tan extensa, que nadie suficien-
temente interesado necesita andar mendigando respuestas.
Sin embargo, tal vez sea conveniente considerar una pre-
gunta muy natural que podra asumir la siguiente forma: "So- CERO
bre una esfera, dos lneas rectas, aunque paralelas en un lu- Fig. 48. Curvatura.
gar, indudablemente se cortan (si se las prolonga suficiente-
mente) y pueden encerrar una superficie. Por qu, enton-
ces, llamar 'rectas' a dichas lneas? No son acaso realmente otros tipos de superficies, por ejemplo, la seudoesfera o una
superficie en forma de silla de montar, o galpago, que de-
curvas?"
En principio, es evidente que depende de la definicin de sempean el mismo papel. Generalizando esta nocin puede
"recta" afirmar que una lnea lo sea o no. Se ha encontrado afirmarse que una curva que sea la distancia ms corta entre
conveniente, en las matemticas, formular dicha definicin dos puntos (anloga a la lnea recta en el plano) sobre cual-
slo con referencia a la superficie particular que se considera. quier clase de superficie, se denomina geodsica de esa su-
Una manera de definir una lnea recta consiste en decir que perficie. Cuando buscbamos entidades que satisficieran la
es la distancia ms corta entre dos puntos. Por otra parte, geometra de Lobachevski y la de Riemann, buscbamos en
todo el mundo sabe, por lo mucho que se ha hablado en realidad superficies cuyas geodsicas obedecieran los postu-
tiempos recientes de las proezas aeronuticas, que la ruta lados de las paralelas de estas geometras.
ms corta entre dos puntos de la superficie terrestre puede En el plano, si adoptamos la hiptesis de Euclides. un par
cubrirse siguiendo el arco del crculo mximo que pasa por de geodsicas distintas se encuentran en un punto, a menos
ellos. Felizmente, a travs de cada dos puntos de la superficie que sean paralelas, en cuyo caso no se cortan. Sobre una es-
de una esfera, pasa, en efecto, un crculo mximo. fera. un par de geodsicas (arcos de crculos mximos), aun
Luego, el crculo mximo sobre la esfera, corresponde a siendo paralelas, siempre se cortan en dos puntos y, por lo
la lnea recta en el plano es la distancia ms corta entre tanto, la esfera obedece a la geometra de Riemann. Sobre
dos puntos de l. Pueden encontrarse curvas adaptables a una seudoesfera. que obedece a la geometra de Lobachevs-
153
152
MATEMATICAS E IMAGINACIN OTRAS GEOMETRIAS EL P L A N O Y LA F A N T A S A
ki, las geodsicas paralelas pueden aproximarse una a otra realmente rectas, sino que deben ser curvas. (Por supuesto,
T
asintticamente, pero nunca se cortan. ya que la curvatura de la ierra es distinta de cero.) Pero
Las geodsicas de una superficie quedan determinadas continuamos confundiendo infinito y no acotado, descartan-
por su curvatura. La curvatura no es fcil de explicar aunque do este ltimo que constituye nuestro verdadero conocimien-
todos nosotros tenemos una nocin intuitiva de su significa- to del espacio y admitiendo el primero por razones religiosas
do. Un plano tiene curvatura nula. Una superficie como la de y estticas. Y, aunque toda persona inteligente sabe que la
una esfera o un elipsoide es de curvatura positiva, mientras superficie de la Tierra es curva y todo marino conoce la na-
que de una superficie en forma de silla de montar o de la vegacin sobre crculos mximos, la mayora de nosotros se
seudoesfera se dice que son de curvatura negativa Podemos comporta como los Adventistas del Sptimo Da al razonar
imaginar superficies ms complicadas, parte de las cuales que nuestras lneas rectas estn trazadas en un plano de cur-
pueden tener curvatura positiva, otras partes, negativa y fi- vatura nula o, lo que es lo mismo, en un mundo plano. De
nalmente, algunas otras partes de curvatura nula. Las geod- aqu hay slo un paso para creer que el quinto postulado de
sicas de una superficie, as como su geometra ms adecua- Euclides es sagrado y cualquier sustituto al mismo est "con-
da, dependen de dicha curvatura, positiva, negativa o nula. tra la naturaleza". Una pequea curvatura, ms an que una
De ah que la geometra de una superficie de curvatura ne- instruccin reducida, tiene sus desventajas.
gativa constante es lobachevskiana, la de una superficie de Aunque sabemos muchsimo ms de la superficie que ha-
curvatura positiva constante, es riemanniana y la de una su- bitamos que acerca del espacio fsico en que vivimos, resulta
perficie de curvatura nula, es euclidiana. difcil elegir entre los absurdos de nuestras creencias acerca
de una y otro. La geometra de Euclides, que considera su-
perficies de curvatura nula, en el sentido ms riguroso (ha-
Todo cuanto se ha dicho acerca de la geometra no eu- ciendo caso omiso de la conveniencia en el clculo) no se
clidiana si bien es bastante evidente cuando hablamos de adapta a la superficie sobre la cual vivimos tan bien como la
geometra, tiende a tornarse confuso al querer aplicarlo a de Riemann. Evidentemente, nuestras geometras, aunque
nuestra experiencia cotidiana. Estamos inclinados a compa- sugeridas por nuestras percepciones sensoriales, no depen-
decer a los habitantes de un mundo de dos dimensiones, tan- den de ellas.
to por su ignorancia como por sus limitaciones fsicas. Ellos Las geometras que hemos tratado son slo tres entre un
no pueden ni siquiera soar en hacer cosas que para noso- infinito nmero de posibles. Cualquier geometra, sean cuales
tros son perfectamente vulgares. Sin embargo, tendemos a fueren sus postulados (siempre que no conduzcan a contradic-
mostrar las mismas limitaciones intelectuales para represen- ciones), ser tan "verdadera" como la geometra de Euclides.
tarnos el mundo a nosotros mismos. En realidad, vamos ms Para cada superficie, por compleja que sea su curvatura, hay
lejos porque deliberadamente rechazamos nuestra propia ex- siempre una geometra que la satisface particularmente. Es
periencia. Nuestra experiencia nos dice que el espacio es fi- exacto que comenzamos nuestras geometras como estructu-
nito pero no acotado y que las lneas rectas que podemos ras puramente lgicas, pero, as como en otras ramas de las
trazar en la superficie sobre la cual vivimos nunca pueden ser matemticas, descubrimos que la naturaleza se nos ha antici-
154 155
MATEMATICAS E IMAGINACION OTRAS E M E IRIAS EL PLANO Y LA FANTASIA
pado y que una superficie sirve, a menudo, a nuestra inven- nuestra visin es rns clara. Las matemticas nos han ayuda-
tiva. Por esa razn, las matemticas no euclidianas han en- do a superar aquellas impresiones sensonales de tas que aho-
contrado campos de aplicacin enormemente importantes en ra podemos decir: "nunca nos engaan, aunque mienten
la intrincada fsica moderna. siempre".
Mientras que nosotros hemos considerado las aplicacio-
nes de las geometras no euclidianas de dos dimensiones a
las superficies usuales, los fisicomatemticos estudian la apli- NOTAS DE ESTE CAPTULO
cacin de geometras no euclidianas de ms dimensiones a 1 San Agustn. Confesiones Pgina 118.
las variedades del espacio pluridimensionales. Al tratar de 2 U n e j e m p l o de matemticas puras t o m a d o de Morns Raphael C o h n y Ernest Na-
gel. An Introduccin to Logic and Scientific Method (New York H a r c o u r t Brace. 1936) P-
descubrir en qu clase de espacio vivimos realmente, los ginas 119-126-
C o n s i d e r e m o s las siguientes p r o p o s i c i o n e s que son los axiomas para una ciase especial
hombres de ciencia han obtenido resultados que los inducen de geometra:
a creer que el espacio es ms bien curvado que recto. Ha- A x i o m a 1. Si A y B son dos p u n t o s distintos entre s, en u n p l a n o hay. entonces, por
lo m e n o s , una recta que contiene a A y a B
bindonos liberado de la idea primitiva de que vivimos en Axioma 2. Si A y B son dos p u n t o s distintos entre s. en un p l a n o entonces n o hay ms
que una recta que c o n t i e n e a A y 6
una superficie plana, no sera tan difcil aceptar que el espa- A x i o m a 3. Dos rectas cualesquiera del p l a n o tienen p o r lo menos, en c o m n , u n p u n t o
de ste.
cio es curvo. Axioma 4 Hay por lo m e n o s una recta en el p l a n o
Hay todava un punto final: Si consideramos a las geo- Axioma 5 T o d a recta contiene, por l o menos, tres puntos del p l a n o
Axioma 6 N o todos los p u n t o s de u n p l a n o pertenecen a la m i s m a recta
metras de Euclides, Lobachevski y Riemann como matem- Axioma 7 N i n g u n a recta contiene ms de tres p u n t o s del p l a n o
Estos axiomas parecen refenrse e v i d e n t e m e n t e a p u n t o s y rectas de u n plano. En efecto,
ticas aplicadas y no como puras y si preguntamos cul de si o m i t i m o s el sptimo, constituyen las suposiciones hechas p o r V e b l e n y V o u n g para una
ellas es ms apropiada para el espacio que nos rodea y para "geometra p r o y e c t i v a " sobre u n p l a n o , en su tratado clsico sobre esa materia. N o es ne-
cesario que el lector sepa algo sobre g e o m e t r a proyectiva. para c o m p r e n d e r la discusin
la superficie sobre la cual vivimos, cul deber ser nuestra subsiguiente. Pero, qu son los p u n t o s , las rectas y los p l a n o s 9 El lector puede pensar que
"sabe" l o que son Puede "dibujar" p u n t o s y rectas c o n lpiz y regla y quiz t a m b i n con-
respuesta? Solamente el experimento y la medicin pueden vencerse de que los axiomas expresan realmente las propiedades y relaciones de estos entes
responder a esa pregunta. Se desprende que la geometra de g e o m t n c o s . Esto es s u m a m e n t e d u d o s o , ya que las p r o p i e d a d e s d e las marcas hechas sobre
el papel p u e d e n difenr n o t a b l e m e n t e de las q u e se h a n postulado Pero, de cualquier m o d o ,
Euclides es la ms conveniente y la nica, en consecuencia, la cuestin de si estas marcas reales c o n c u e r d a n o n o . es de la c o m p e t e n c i a de las matem-
ticas aplicadas y n o de las puras D e b e notarse que los axiomas mismos, no indican qu son
que seguiremos usando para construir nuestros puentes, t- "realmente" los puntos, las rectas, etc. C o n el o b j e t o de descubrir las d e d u c c i o n e s de estos
axiomas, no es indispensable saber qu d e b e m o s c o m p r e n d e r p o r puntos, rectas y planos
neles, rascacielos y carreteras. Las geometras de Lobachevs- Estos axiomas i m p l i c a n vanos teoremas, n o en v i r t u d de la representacin visual q u e el lector
ki y de Riemann, tratadas adecuadamente, tambin servi- p u e d a asignarles, sino en v i r t u d de su f o r m a lgica Los puntos, las rectas y los planos pue
d e n ser entidades cualesquiera, indeterminadas p o r c o m p l e t o , salvo p o r las relaciones que
ran 13. Nuestros rascacielos las admitiran (y otro tanto pa- expresan los axiomas.
E l i m i n e m o s , p o r lo tanto, toda referencia explcita a puntos, rectas y planos y c o n ello
sara con nuestros puentes, tneles y carreteras), nuestros s u p n m i r e m o s toda exhortacin a la i n t u i c i n del espacio al deducir algunos teoremas de los
axiomas S u p o n g a m o s , entonces, que en lugar de la palabra " p l a n o " , e m p l e a m o s la letra S
ingenieros quiz no. La geometra de Euclides es ms fcil y en ve? de la palabra " p u n t o " usamos la frase "e/emento de S" E v i d e n t e m e n t e si se con-
de ensear, se ajusta ms fcilmente con el extraviado sen- sidera al p l a n o (S) c o m o una c o l e c c i n de p u n t o s (elementos de S). una recta puede ser con
siderada c o m o una clase de p u n t o s (elementos) que es una subclase de los puntos del p l a n o
tido comn, pero, por sobre todas las cosas, es ms fcil (S) Sustituiremos, p o r lo tanto, la palabra "recta" por la expresin "ciase L" N u e s t r o c o n
l u n t o original de axiomas se leer c o m o sigue.
de usar. Y, en esas cosas, despus de todo, nos interesan
Axioma 1 Si A y B son elementos distintos de S. hay por lo m e n o s , una clase L q u r
ms nuestras necesidades que la lgica. contiene a A y a B
Axioma 2 . Si A y 6 son dos elementos distintos de S no hay mas que una clase L que
Sin embargo, nuestros puntos de vista se han ampliado y contiene a A y a 8
156 157
MATEMTICAS E IMAGINACIN O T R A S G E O M E T R I A S " EL P L A N O Y LA F A N T A S I A
U n e x a m e n de esta lista muestra que "satisface" los siete axiomas, si se considera a la fir-
m a bancana c o m o la clase S. a sus socios c o m o los elementos y a las varias comisiones
c o m o las clases L...
Una interpretacin ms. sirve de e j e m p l o para las mismas siete relaciones formales
En el diagrama hay siete p u n t o s pertenecientes, de tres e n tres, a siete rectas, una de las
cuales est "doblada". Si cada p u n t o representa un e l e m e n t o de S y cada c o n j u n t o de tres
p u n t o s perteneciente a una recta, una clase L. se satisfacen todas las siete suposiciones As,
p o r e j e m p l o , la relacin de tres t r m i n o s entre Adams, B r o w n y S m i t h . e n v i r t u d de la cual
158 159
MATEMTICAS E IMAGINACIN
1
Se ha dicho: "No es divirtindose como se aprende" , y
en respuesta: "S/o divirtindose uno puede aprender." Do-
quiera que est la verdad, en algn lugar situado entre am-
bos extremos, es innegable que las recreaciones matemticas
son desafo a la imaginacin y un poderoso estmulo a la ac-
tividad matemtica. La teora de ecuaciones, de la probabi-
lidad, el clculo, la teora de los conjuntos de puntos, de la
topologa, etc., son todos frutos que se han desarrollado de
semillas sembradas en el frtil suelo de la imaginacin crea-
dora, pues todas ellas han nacido de problemas planteados,
en un principio, en forma de rompecabezas.
Los rompecabezas y las paradojas han sido populares
desde la antigedad y, entretenindose con estos juguetes,
los hombres aguzaron su ingenio y estimularon su inventiva.
Pero no fue nicamente por entretenimiento por lo que Kepler.
Pascal. Fermat, Leibniz. Euler, Lagrange, Hamilton. Caley, y
muchos otros, dedicaron tanto tiempo a los rompecabezas.
161
M A T E M A T I C A S E IMAGINACIN P A S A T I E M P O S DE P O C A S P A S A D A S Y R E C I E N T E S
Las investigaciones en las matemticas recreativas nacieron presentar algunos de los rompecabezas tpicos que servirn
del mismo deseo de saber, fueron guiadas por los mismos de ejemplo con respecto a las ideas bsicas comunes a todos
principios y requirieron el ejercicio de las mismas facultades ellos. Limitaremos nuestro inters a los mismos y a algunos
que las investigaciones que condujeron a los ms profundos problemas, reservando para otro captulo algunas de las ms
descubrimientos en las matemticas y en la fsica matemtica. celebradas paradojas lgicas y matemticas. Aunque no
En efecto, ninguna rama de la actividad intelectual es tema siempre pueda ser fcil establecer una distincin entre rom-
ms a propsito para la discusin, que los rompecabezas y pecabezas y paradoja, para nuestra finalidad es suficiente
las paradojas. considerar aqullos como un juego de ingenio o un proble-
ma. y a una paradoja, como una demostracin o enunciado
aparentemente engaoso y contradictorio.
El campo es enorme. Se han planteado rompecabezas
desde la poca de los egipcios y probablemente desde antes.
Desde las expresiones secretas del orculo de Delfos, pasan- A menudo los rompecabezas parecen difciles porque no
do por la poca de Carlomagno, hasta la edad de oro de los es fcil interpretarlos en trminos precisos. Al intentar la so-
crucigramas, las paradojas y los rompecabezas, al igual que lucin de un problema, el mtodo de tantear, a ver si atina-
los seres de la Tierra, han asumido todos los tamaos y for- mos, no slo es ms natural, sino generalmente ms fcil que
mas, y se han reproducido. Podemos examinar nicamente el ataque matemtico. La experiencia diaria nos ensea que,
unas pocas de las especies que predominan, aquellas que frecuentemente, las ecuaciones algebraicas ms formidables
han sobrevivido de una u otra manera y continan prospe- resultan ms fciles de resolver que algunos problemas for-
rando en forma estilizada. mulados con palabras. Esos problemas deben traducirse pri-
La mayora de los famosos rompecabezas inventados mero en smbolos y luego, con estos smbolos, deben for-
antes del siglo X V I I pueden hallarse en el primer gran libro so- marse ecuaciones para poder resolver el problema en s.
bre el particular titulado: Les problmes plaisants et dlecta- Cuando Flaubert era muy joven escribi una carta a su
bles, qui se font par les nombres cuyo autor fue Claude-Gas- hermana Caroline, dicindole: "Ya que ahora estudias geo-
pard Bachet, Sieur de Meziriac. Aunque apareci en 1612, metra y trigonometra, te propondr un problema. Un barco
es decir, dos aos antes que la obra de Napier sobre los lo- se hace a la mar desde el puerto de Boston, llevando un car-
garitmos, sigue siendo an hoy un libro deleitable y un filn gamento de lana. Desplaza 200 toneladas y tiene por destino
de informaciones. Desde entonces han aparecido muchas co- el puerto de El Havre. Se rompe el palo mayor, el camarero
2
lecciones , que han aumentado el contenido del volumen de est sobre cubierta, hay 12 pasajeros a bordo, el viento sopla
Bachet, amplindolo a casi cinco veces su tamao original. en el cuadrante E.N.E., el reloj seala las tres y cuarto de la
Todo lo que esperamos poder hacer, es seguir el ilustre tarde. Es el mes de mayo. Qu edad tiene el capitn?" Flau-
ejemplo de Mark Twain en un caso similar, en que trat de bert no solamente bromeaba, sino que estaba expresando
reducir todos los chistes a una docena de formas primitivas una queja compartida por ese respetable y numeroso grupo
o elementales (suegra, hija del granjero, etc.). Intentaremos de personas "que no son fuertes en rompecabezas" y que
162 163
MATEMTICAS E IMAGINACIN P A S A T I E M P O S DE P O C A S P A S A D A S V R E C I E N T E S
164 165
MATEMATICAS E IMAGINACION
P A S A T I E M P O S DE E P O C A S P A S A D A S Y R E C I E N T E S
en
dedic por entero a las matemticas, llegando a ser uno de
los ms grandes matemticos del siglo XIX '.
Dos amigos que tienen una jarra con 8 litros de vino de-
n
sean repartrselo en partes iguales. Disponen tambin de dos
jarras vacas, una con capacidad igual a 5 litros y la otra, 3.
La figura demuestra cmo pudieron dividir en dos partes de
6
cuatro cuartos cada una .
Esto nos recuerda otro "problema de verter lquidos",
quiz no muy relacionado con el precedente, pero que cons-
tituye un buen ejercicio de rigor lgico y de refresco lquido. H i ^
166 167
MATEMATICAS E IMAGINACION P A S A T I E M P O S DE P O C A S P A S A D A S V R E C I E N T E S
mexicano de vuelta Cruza nuevamente la frontera y repite el diata de la que est en el fondo de la baraja" 7 . Una vez que
procedimiento, bebiendo alegremente cerveza todo el da y se ha comprendido esto, muchas tretas dejan de ser descon-
terminando tan rico como empez, con un peso mexicano. certantes.
9
Se pregunta: quin pag la cerveza Siete jugadores de pquer se disponen a jugar con una
Moraleja: Visite el alegre pas mexicano en sus vaca- nueva baraja. De conformidad con la tradicin, en la primera
ciones. mano se cortan las cartas, no se mezclan. El tallador, fingien-
do defraudar a sus compaeros, toma sus segunda y cuarta
cartas del final de la baraja. Todos los presentes se dan cuen-
La naturaleza desconcertante de todo ardid aritmtico ra- ta de esta falta intencional. Sin embargo, cuando los dems
dica, como ya lo hemos indicado, en su estructura, no en su jugadores recogen sus cartas no estn dispuestos a exigir una
contenido. Con un colador para separar las ideas esenciales, nueva distribucin, puesto que cada uno encuentra que tiene
ocultas entre docenas de intiles, todo hombre podra ser su "full". Pero temerosos todava de que el tallador se haya arre-
propio mago. Nos viene a la memoria una inocente adivi- glado una mejor mano para s. insisten en que descarte sus
nanza. repetida frecuentemente entre los matemticos: cinco naipes y tome los cinco primeros de la parte superior
"Cmo podra uno cazar leones en el desierto?" se pregun- de la baraja. Fingiendo indignacin, accede y gana con una
ta. C o m o hay tanta arena y tan pocos leones, sencillamente runfla de cinco naipes del mismo palo. Prubelo. De cien ve-
tmese un colador, culese la arena y quedarn los leones! ces, noventa y nueve, usted lograr engaar a sus amigos,
Luego se necesita semejante colador o tal vez un escalpelo, pero no podr defraudar a un hombre honrado.
para poder llegar a lo esencial. Una vez eliminada la verbo- Frecuentemente, los ardides aritmticos de acertar un n-
sidad, el esqueleto del rompecabezas sucumbe ante la simple mero elegido por otro dependen de la "base de numeracin".
aritmtica o el lgebra. Los juegos de saln consistentes en Cuando se expresa un nmero en el sistema denario, o
adivinar nmeros que otros han elegido o naipes que alguien decimal, como, por ejemplo, 3.976, lo que quiere decirse
ha escogido, parecen casi maravillosos como ejemplos de realmente es:
"percepcin extrasensorial". Pero despus que hemos apren-
dido a separar los leones de la arena, enjaularlos es relativa- (3 x 103) + (9 x 102) -l- (7 x 10') + ( 6 x 10)
mente sencillo.
h
Los ardides hechos con naipes son habitualmente rompe- La tabla siguiente da algunos ejemplos ms, de otros
cabezas aritmticos disfrazados. Generalmente son tratables nmeros escritos en base 10:
con el anlisis matemtico y no son, como se cree comn-
Entre la amplia variedad de problemas que surgen con el
mente. ejecutados por juegos de manos. Un principio impor-
uso del sistema decimal, los siguientes son algunos de los
tante. pasado por alto fcilmente, es que. "al cortar una ba- ms interesantes:
raja de naipes nunca se alteran las posiciones relativas de las
cartas, a condicin que. si es necesario, consideremos a la Un recurso til para verificar la multiplicacin, es el cono-
carta que queda en la parte superior, como siguiente inme- cido con el nombre de "prueba del nueve".
168 169
MATEMATICAS E IMAGINACIN P A S A T I E M P O S DE P O C A S P A S A D A S Y R E C I E N T E S
Ejemplo 10" 10' 10- 101 10* primeros es 24, la suma de cuyos dgitos es 6. Pero la suma
1 i ; | i ;
]
= 9 x 10" i + 6 x 10' + i4 x 10 J de las cifras del producto es 7. De este modo tenemos dos
469 i j i i ; residuos diferentes, 6 y 7, y, en consecuencia, la multiplica-
= 9 + 60 + 400
* r ^ cin debe estar mal.
= 11 x 10" 1+ 1
0 X 10: Ii +r 9 x 10-' : + I
7 X 10' El siguiente ardid est estrechamente relacionado con la
7.901 i j, , j | | t . f1
"prueba del nueve", lo cual pone en evidencia una notable
L
+
Otro tipo de problema que depende de la base de nume-
1!
I I 1 ! 1
170 171
MATEMATICAS E IMAGINACION P A S A T I E M P O S DE P O C A S P A S A D A S Y R E C I E N T E S
172 173
MATEMATICAS E IMAGINACION P A S A T I E M P O S DE P O C A S P A S A D A S Y R E C I E N T E S
es similar a un mtodo usado por los egipcios 2.000 aos 45 = (1 x 25) + (0 x 24) + (1 X 2a) + (1 x 22) +
1
antes de la Era Cristiana. + (0 X 2 ) + ( l x 2)
Con un ejemplo lo explicamos mejor: Para multiplicar 45 = 101101
por 64, se forman dos columnas. En el encabezamiento de -32 + 0 + 8 + 4 + 0 + 1
una se pone 45 y en el de la otra 64. Se multiplica una
de las columnas por 2 y se divide la otra entre el mismo n- Por lo tanto:
mero sucesivamente. Cuando se divide entre 2 a un nmero
5 3 2
impar, se descarta el resto. El resultado ser: 45 x 64 = (2 + 2 + 2 + 2) x 64
5 3 Z
- (2 x 64) + (2 x 64) + (2 x 64) + (2 x 64)
Dividir Multiplicar
45 64 Ya que 2 4 y 2 1 no aparecen en la expresin binaria para 45.
22 128 4 1
los productos (2 x 64) y (2 x 64) no estn incluidos en los
(A) 11 256 nmeros que deben sumarse en (B). De este modo, lo que
5 512 el campesino hace al multiplicar 45 x 64 es multiplicar 2 \
2 1024 2\ 2 2 , 2" sucesivamente, por 64, y luego tomar su suma.
1 2048 II. Otro problema muy conocido, ya mencionado por
Cardano, consiste en quitar un cierto nmero de anillos de
una varilla. Este rompecabezas puede analizarse mejor usan-
Tmense de la segunda columna aquellos nmeros que do el sistema binario, aunque el manejo real de los anillos es
aparecen frente a un nmero impar de la primera columna. siempre sumamente difcil.
Smelos y obtendr el producto deseado:
o
45 64 64 = 2 x 64
22 128 = 21 x 64
2
(B) 11 256 256 = 2 x 64
5 512 512 = 23 x 64
4
2 1024 = 2 x 64
1 2048 2048 = 25 x 64
174 175
MATEMATICAS E IMAGINACIN P A S A T I E M P O S DE E P O C A S P A S A D A S Y R E C I E N T E S
otro anillo puede ponerse o quitarse solamente cuando el a una de las otras dos clavijas, moviendo solamente un disco
que le es contiguo en la direccin del extremo (A en la figu- por vez y sin que ninguno de ellos quede colocado sobre
ra) est sobre la varilla y todos los dems estn fuero. As. otro de menor dimetro. Si la accin de trasladar un disco de
para retirar el quinto anillo, el primero, segundo y tercero de- una clavija a otra constituye un traspaso, la tabla que va a
ben estar fuera de la varilla y el cuarto debe estar en ella. Si continuacin indica el nmero de traspasos que se requieren
la posicin de todos los anillos, dentro o fuera del bastidor, para distintas cantidades de discos, desde 1 hasta n:
se escribe utilizando la notacin binaria, de manera tal que
11
1 designe al anillo que est afuera y 0 al que est adentro, la T A B L A PARA TRASPASOS
determinacin matemtica del nmero de pasos requeridos Discos N.' de traspasos
para retirar un nmero determinado de anillos, no es muy di- 1 1
fcil. La solucin, sin recurrir a la notacin binaria y a medida 2 3
que aumenta el nmero de anillos, estara mucho ms all 3 7
del poder de imaginacin de uno. 4 15
III. El problema de la Torre de Hanoi tiene un principio 5 31
anlogo. El juego consiste en una tabla con tres clavijas, 6 63
como indica la figura 53. En una de estas clavijas se coloca 7
127
n
puestos de tal manera que el disco mayor quede abajo y los n 2 - 1
dems se superpongan por dimetros decrecientes, hasta lle-
12
gar al disco ms pequeo, que quedar en la parte superior. Existe una leyenda encantadora acerca de este juguete :
El problema consiste en traspasar todo el conjunto de discos
En el gran templo de Benars, debajo de la cpula que marca
el centro del mundo, est colocada una plac de bronce, sobre la
cual estn fijadas tres agujas de diamante, cada una de las cuales
tiene u n c o d o de altura y su espesor es c o m o el cuerpo de una abe-
ja. En una de estas agujas, cuando se cre el m u n d o , Dios coloc
sesenta y cuatro discos de oro puro, el mayor de los cuales se apo-
ya sobre la placa de bronce y los dems, por orden de tamao de-
creciente, descansan sobre l. Esto constituye la torre de Brahma.
Da y noche, incesantemente, los sacerdotes traspasan los discos de
una de las agujas de diamante a la otra, de acuerdo a las leyes fijas
e inmutables de Brahma, que exigen que el sacerdote mientras
cumple su obligacin, no debe mover ms de un disco por vez y
que lo debe colocar en una aguja de m o d o que n o quede debajo
Fig. 53
de l ningn disco de menor dimetro. Cuando los sesenta y cuatro
177
176
MATEMATICAS E IMAGINACION
P A S A T I E M P O S DE P O C A S P A S A D A S Y R E C I E N T E S
t
templo y brahmanes, por igual, se desmenuzarn en polvo y en
medio de un fragoroso trueno, el m u n d o desaparecer.
178
179
MATEMTICAS E IMAGINACIN P A S A T I E M P O S DE P O C A S P A S A D A S Y R E C I E N T E S
180 181
P A S A T I E M P O S DE P O C A S P A S A D A S Y R E C I E N T E S
MATEMATICAS E IMAGINACIN
cera persona, contando alrededor, deba matarse. Colocn- De este modo se libraron de todos los infieles y los ver-
lb
dose l y otra alma privilegiada en las posiciones 16 y 31 del daderos cristianos se salvaron .
crculo de 41. lograron salvarse, pues habiendo quedado al Entre los japoneses, el problema de Josefo se presenta
ltimo pudieron eludir convenientemente el camino al mar- en otra forma: Treinta nios, 15 del primer matrimonio y
tirio. 15 del segundo, se ponen de acuerdo en que la herencia de
Una versin posterior de este problema, coloca a 15 tur- su padre es muy pequea para ser dividida entre todos ellos.
cos y a 15 cristianos a bordo de un barco, sorprendidos por Entonces la segunda esposa propone que todos los nios se
una gran tormenta y que se hundir a menos que la mitad de coloquen formando un crculo a fin de determinar los here-
sus pasajeros, sean arrojados al mar. Despus de colocarse deros de su esposo mediante un proceso de eliminacin.
formando un crculo, los cristianos propusieron, ad mojorem Siendo una prudente matemtica, as como una proverbial-
Dei gloriam, que cada novena persona fuese sacrificada. mente malvada madrastra, dispone los nios de tal manera
que uno de los suyos resulte elegido. Una vez que se han eli-
minado 14 de los nios del primer matrimonio, el que que-
da, evidentemente matemtico ms astuto que su madrastra,
propone comenzar de nuevo el recuento, pero en sentido
contrario. Segura de las ventajas adquiridas y dispuesta, por
lo tanto, a un rasgo de generosidad, ella accede, pero des-
cubre, aterrada, que todos sus 15 hijos son eliminados, que-
dando solamente el del primer matrimonio que resulta en-
17
tonces nico heredero .
Soluciones matemticas ms completas de versiones ms
difciles y generalizadas del problema de Josefo. fueron da-
das por Euler, Schubert y Tait.
Ningn estudio sobre rompecabezas, por breve que sea,
puede omitir la mencin del ms conocido entre los muchos
que invent Sam Loyd. "El rompecabezas del 15", "le Jeu de
Taqun" son algunos de sus nombres. Durante varios aos
despus de su aparicin en 1878. este rompecabezas disfrut
de una popularidad, principalmente en Europa, mayor que la
que hoy gozan el "rock" y el "bridge" juntos. En Alemania lo
jugaban en las calles, en las fbricas, en los palacios reales y
Fig. 56. El problema de Josefo, de la obra Shojutsu de Miyake en el Reichstag. Los patronos se vieron obligados a colocar
Kenryu. (Tomado del libro A History of Japanese Mathematics de carteles prohibiendo a sus empleados jugar "El rompecabe-
Smith y Mikami.) zas del 15" durante las horas de trabajo, so pena de multa o
183
182
MATEMATICAS E IMAGINACION P A S A T I E M P O S DE E P O C A S P A S A D A S V R E C I E N T E S
184 185
MATEMATICAS E IMAGINACION
P A S A T I E M P O S DE P O C A S P A S A D A S Y R E C I E N T E S
186
187
MATEMATICAS E IMAGINACIN P A S A T I E M P O S DE P O C A S P A S A D A S Y R E C I E N T E S
188 189
P A S A T I E M P O S DE P O C A S P A S A D A S Y R E C I E N T E S
MATEMTICAS E IMAGINACIN
191
190
MATEMATICAS E IMAGINACIN PASATIEMPOS DE POCAS PASADAS V RECIENTES
tes, se vio obligado a huir con su esposa y su hija. Durante Los cuadrados mgicos datan, por lo menos, de la poca de
su fuga fueron atacados por salteadores y mientras se defen- los rabes. Grandes matemticos como Euler y Carley descu-
dan el rey fue muerto, aunque su esposa y su hija se las in- brieron que eran entretenidos y dignos de ser estudiados.
geniaron para escapar. Pronto llegaron a un bosque en el Benjamn Franklin admiti como disculpndose, que haba
cual el prncipe del vecino pas y su hijo estaban cazando. El invertido algn tiempo en su juventud en estas "bagatelas"
prncipe (que era viudo), y su hijo (soltero y buen partido) tiempo "que", se apresuraba a aadir, "lo poda haber em-
advirtieron las huellas de la madre y la hija y decidieron se- pleado en algo ms til". Los matemticos jams han preten-
guirlas. El padre declar que se casara con la mujer de la dido que los cuadrados mgicos fuesen algo ms que entre-
huella ms grande indudablemente la de ms edad y el tenimientos, por mucho tiempo que hayan invertido en ellos,
hijo afirm otro tanto con respecto a la mujer de huellas ms aunque el continuo estudio dedicado a esta forma de rompe-
pequeas y que, seguramente, era la menor. Pero al regresar cabezas pueda haber arrojado alguna luz, incidentalmente,
al castillo el padre y su hijo descubrieron que el pie ms pe- sobre las relaciones entre los nmeros. Su mvil principal es,
queo era el de la madre y que el pie grande perteneca a todava, mstico y recreativo*.
la hija. Sin embargo, sobreponindose a su desengao, se Existen otros rompecabezas de considerable inters, que
casaron tal como lo haban planeado. Despus de las bodas, aqu no discutimos porque los tratamos ms extensamente
20
tanto la madre, nuera de su hija, como la hija, suegra de su en un lugar adecuado . Entre stos hay problemas relacio-
madre, tuvieron hijos e hijas. La tarea de desenmaraar los nados con la teora de la probabilidad, el coloreado de
parentescos resultantes se la confiamos al lector, as como la mapas y las superficies de una sola cara, como la banda de
explicacin del siguiente verso hallado en una vieja lpida Mbius.
sepulcral de Alencourt, cerca de Pars: Queda solamente un extenso grupo de problemas, aque-
llos relacionados con la teora de los nmeros. La teora mo-
Aqu yace el hijo; aqu yace la madre; derna de los nmeros, representada por una vasta literatura,
aqu yace la hija; aqu yace el padre; atrae la atencin de todo matemtico serio. Es una rama del
aqu yace la hermana; aqu yace el hermano; estudio, muchos de cuyos teoremas, aunque sumamente di-
aqu yacen la esposa y el esposo; fciles de demostrar, pueden enunciarse de manera sencilla y
y a pesar de eso, aqu slo hay tres personas. son fcilmente comprensibles por todos. Dichos teoremas
son, por lo tanto, ms ampliamente conocidos entre legos
En el famoso cuadro "Melancola" de Albrecht Drer, cultos que teoremas de mucha mayor importancia en otras
aparece un dibujo acerca del cual se ha escrito mucho ms ramas de las matemticas, teoremas que requieren conoci-
que sobre cualquier otro pasatiempo matemtico. Dicho di-
bujo representa un cuadrado mgico.
* Recientemente se ha e n c o n t r a d o , en la investigacin a g r o n m i c a , y ms generalmente,
Un cuadrado mgico consiste en una disposicin de n- e n el d i s e o de experimentos para anlisis estadstico por el m t o d o de b l o q u e s equilibrados
meros enteros en un cuadrado que, al ser sumados en ren- i n c o m p l e t o s , una i m p o r t a n t e a p l i c a c i n a los cuadrados mgicos. Vase el captulo 14 de
New Mathematical Diuersions. de Martin G a r d n e r . del que hay e d i c i n espaola. "'Nuevos
glones, diagonales o columnas, dan el mismo resultado total. pasatiempos matemticos". Alianza Editorial. 1972
192 193
M A T E M T I C A S E IMAGINACIN
P A S A T I E M P O S DE POCAS P A S A D A S Y R E C I E N T E S
mientos tcnicos para ser comprendidos. Cada libro referen- par que no sea la suma de dos nmeros primos; sin embar-
te a entretenimientos matemticos est lleno de rompecabe- go, nadie ha logrado hallar una demostracin vlida para
zas simples o ingeniosos, astutos o maravillosos, fciles o di- todos los nmeros pares.
fciles, que se basan en el comportamiento y propiedades de Pero quiz la ms famosa de todas esas proposiciones
los nmeros. El espacio de que disponemos nos permite consideradas ciertas, pero jams demostradas, sea el "Ultimo
mencionar slo uno o dos de estos teoremas significativos teorema de Fermat". En el margen de su ejemplar de la Arit-
sobre los nmeros, los cuales, a pesar de su profundidad, mtica, de Diophanto, Fermat escribi: "Si n es un nmero
pueden entenderse fcilmente. mayor que 2, no hay nmeros enteros, a, b, c, tales que:
21
Desde que Euclides demostr que la cantidad de nme- a" + b" = c". He hallado una demostracin verdaderamente
ros primos es infinita, los matemticos han estado buscando maravillosa, que no cabe en este margen." Qu lstima! Su-
una prueba para determinar si un nmero dado es o no pri- poniendo que Fermat tuviese realmente una demostracin (y
mo. Pero no se ha encontrado una prueba aplicable a todos su talento matemtico era de tan alto rango que, por cierto,
los nmeros. Aunque es extraordinariamente curioso, hay ra- es posible) habra evitado a las generaciones de matemticos
zones para creer que ciertos matemticos del siglo X V I I , que que lo siguieron interminables horas de labor si hubiese te-
dedicaron muchsimo tiempo a la teora de los nmeros, po- nido lugar para escribirla en el margen. Casi todo gran ma-
sean medios para reconocer los nmeros primos que nos temtico, despus de Fermat, ha intentado una demostra-
son totalmente desconocidos. El matemtico francs Mersen- cin, pero ninguno lo ha logrado.
ne y su mucho ms grande contemporneo Fermat tenan un Se conocen muchos pares de nmeros enteros, la suma
misterioso sistema para determinar los valores de p, para los de cuyos cuadrados es tambin un cuadrado, as:
P
cuales: 2 - 1 es un nmero primo. An no se ha determina-
do claramente hasta qu punto haban desarrollado su mto- 3 2 -f 4 2 = 5'; o, 6 2 + 8 2 = 103
do, o en realidad, qu mtodo emplearon exactamente. Por pero nunca se han hallado tres nmeros enteros para los
consiguiente, sigue siendo todava un motivo de asombro cuales la suma de los cubos de dos de ellos sea igual al cubo
que Fermat contestara, sin un momento de vacilacin, a una del tercero. El argumento de Fermat era que esto sera cierto
carta en la que se le preguntaba si el nmero 100.895.598.169 para todos los nmeros enteros cuando la potencia a la cual
era primo, que ste era el producto de 898.423 por 112.303 estaban elevados era mayor que 2. Mediante clculos exten-
y que cada uno de estos nmeros era primo 2 2 . Careciendo sos, se ha demostrado que el teorema de Fermat es cierto
de una frmula general para todos los nmeros primos, un para valores de n hasta 617*. Pero Fermat dijo para todo va-
matemtico invertira aos para dar una respuesta correcta.
Uno de los teoremas ms interesantes sobre la teora de * Es m u y fcil demostrar q u e si el teorema de Fermat es verdadero para un exponente
los nmeros es el de Goldbach, que expresa que todo nme- n. lo es tambin para todos los mltiplos de n. Por consiguiente, la dificultad est en demos-
trar el teorema c u a n d o n sea n m e r o p n m o o c u a n d o n = 4 El caso n = 4 fue establecido
ro par mayor que 2 es la suma de dos nmeros primos. Es por el p r o p i o Fermat En 1847. K u m m e r d i o una c o n d i c i n suficiente para q u e un exponen-
te p r i m o cumpliera el teorema de Fermat, y supuso que existiran infinitos de tales nmeros
fcil de comprender y existen todas las razones para creer primos. T o d o s los esfuerzos p o r demostrar que as es han fracasado. En 1978, las condicio-
nes suficientes conocidas permitan asegurar que el teorema de Fermat es cierto para todos
que es cierto, pues no se ha encontrado todava un nmero los exponentes p n m o s menores q u e 125.000
194 195
MATEMATICAS E IMAGINACION P A S A T I E M P O S DE P O C A S P A S A D A S Y R E C I E N T E S
lor de n mayor que 2. De todas sus grandes contribuciones 5 Jack deba $5 al jardinero
6 Joer v e n c i a Jack y al pintor j u g a n d o al teio. Pgina 164
a las matemticas, el legado ms famoso de Fermat es un
4 H a y dos maneras de resolverlo cada una de las cuales se simboliza e n la siguiente
rompecabezas que tres siglos de investigacin matemtica no rabia (pg 164)
han logrado resolver, y que muchos escpticos creen que el
mismo Fermat jams resolvi.
PRIMERA S O L U C I N SEGUNDA SOLUCIN
Con un poco de mala gana debemos despedimos de los
L - lobo R - repollo
rompecabezas. De mala gana, porque hemos alcanzado a C = cabra - - cruce del ro
ver slo un resplandor fugaz de un tema rico y entretenido
y porque los rompecabezas, en un sentido, mejor que ningu- 1. LCR \ 1. LCR
na otra rama simple de las matemticas, reflejan su espritu
siempre juvenil, vigoroso, puro e investigador. Los rompeca- 2. LR : C C i 2. LR C-* ! C
bezas estn hechos de las cosas con que juega el matemti- 1
|
3. LR c 3. LR C
co, no menos que el nio con sus juguetes, y suea y se ma- 1
ravilla con ellos porque estn hechos de las cosas y circuns- 4. R L -* LC ! 4.
L R -* CR
tancias del mundo en que vive.
5. CR -C L 5. LC ^C R
i I
6. C R LR 6. C L - LR
NOTAS DE ESTE CAPTULO , .
i
7. C LR 1 7. C LR
1 A n a t o l e France. Le crime de Silvestre Bonnard. Pgina 161.
2. W W. R. Ball, Mathematical Recreations and Essoys. 11 * e d i c i n N e w Y o r k . Mac-
millan. 1939 8. C-* LCR j 8. C-> LCR
W L i e t z m a n n . Lustiges und Merkwrdiges uon Zahlen und Formen, Breslau. Hirt, 1930 l 1
H e l e n A b b o t Merrill. Mathematical Excursions, B o s t o n : Bruce H u m p h r i e s , 1934.
W Ahrens, Mathematische Unterhaltungen und Spiele. Leipzig B. G. T e u b n e r . 1921.
vols I y II. 5. Al menos, as lo dice su bigrafo A r a g o N o slo la calidad de la obra de Poisson
H . E. D u d e n e y . Amusements in Mathematics. L o n d o n : T h o m a s N e l s o n , 1919. fue e x t r a o r d i n a r i a m e n t e elevada, sino que su p r o d u c c i n fue e n o r m e . A d e m s de o c u p a r va-
E. Lucas, Rcrations Mathmatiques, Pars. Gautier-Villars, 1 8 8 3 - 1 8 9 4 . vols I, II. III y rios puestos oficiales de i m p o r t a n c i a , escnbi ms de 3 0 0 obras en una vida relativamente
IV. Pgina 162. breve ( 1 7 8 1 - 1 8 4 0 ) " L a vie, c'est le travail" era el lema de la casa de Poisson y. a u n q u e pa-
3 D a m o s a c o n t i n u a c i n u n e j e m p l o de u n tipo de rompecabezas, m u y de m o d a l- rezca m u y extrao, la solucin de un rompecabezas lo c o n d u j o a una vida de incesante la
t i m a m e n t e que. aunque a p a r e n t e m e n t e v e r b o s o , n o c o n t i e n e datos q u e no sean indispen- bor. pgina 166.
sables: 6 Llene la jarra de 5 litros c o n parle del c o n t e n i d o de la de 8 litros y vierta tres cuartos
de la jarra de c i n c o litros en la de 3 litros. Eche luego ios 3 litros en la jarra de 8 litros Vierta
los 2 litros restantes de la jarra de 5 litros en la de 3 litros Ya que hay 2 litros en la jarra
LOS ARTESANOS de 3 litros, p o d r e m o s llenar a sta cor, 1 litro adicional Vierta suficiente v i n o de ia jarra de
5 litros a fin de llenar la de 3 litros. La jarra de 5 litros tendr entonces 4 litros que q u e d a r n
H a y tres h o m b r e s . J o h n . Jack y Joe. cada u n o de los cuales tiene dos profesiones. Sus en ella Vierta ahora los 3 litros de la jarra de 3 litros en la de 8 litros Esto, s u m a d o al litro
o c u p a c i o n e s son las siguientes: chfer, contrabandista de licores, msico, pintor, jardinero y que q u e d en la misma, dar los 4 litros, pgina 166.
barbero. 7. W W R. Ball. op cit. pgina .169
En base a los siguientes hechos determnese el par de profesiones que c o r r e s p o n d e a 8 Se han s u g e n d o otras bases H a y razones para creer que los babilonios e m p l e a r o n
cada h o m b r e : .a base 6 0 y en pocas ms recientes se ha a r g u m e n t a d o m u c h o e n favor de la base 12 P-
gina 169
1 El chfer o f e n d i al msico rindose de su cabello largo 9 Hall y Knight. Higher Algebra pgina 171
2 El msico y el jardinero solan ir a pescar c o n J o h n 10 A m o i d Dresden. An Invitation to Mathematics. N e w York H e n r y Molt & C o
3 El pintor c o m p r al contrabandista u n litro de ginebra. Pgina 173
4 El chfer cortejaba a la h e r m a n a del pintor 11 W Ahrens. op d f . pgina 177
196 197
MATEMTICAS E IMAGINACIN
BIBLIOTECA CIENTFICA SALVAT
1. Stephen Hawking. na vida para la ciencia. Michael White
v John G r i b b i n
12. W , W . R. Bal!, o p cit. Pgina 177. *
13 ( T e n i e n d o en cuenta los aos bisiestos. Ed ) Pgina 178. 2. La verdadera historia de los dinosaurios. A l a n Charig
14 Vase Ahrens, op. cit. y B o u t o n . Annals of Mathematics. sene 2. voi III (1901- 3. La explosin demogrfica. El principal problema ecolgico.
1902), pgs. 3 5 - 3 9 . para la d e m o s t r a c i n matemtica de Nim. Pgina 178 Paul R. Ehrlich y A n n e H . Ehrlich
15. La vigsima parte de u n c o d o es a p r o x i m a d a m e n t e una pulgada Pgina 180
16. La regla general para resolver dichos p r o b l e m a s p u e d e verse en P G l a i t . Collec 4. El monstruo subatmico. Una exploracin de los misterios
ted Scientific Papers. 1900. Pgina 183. del Universo. Isaac A s i m o v
17. S m i t h & M i k a m i . A History of Japanese Mathematics. Pginas 98. 183 5. El gen egosta. Las bases biolgicas de nuestra conducta.
18 J o h n s o n & Story. American Journal of Mathematics. v o i 2 (1879) Pgina 184
Richard D a w k i n s
19 Ahrens. o p cit, v o l . 2. Pgina 190
20. H a y t a m b i n rompecabezas, que a u n q u e m u y entretenidos y engaosos, no repre- 6. La evolucin de la fsica. A l b e r t Einstein y Leopold Infeld
sentan idea matemtica alguna que no haya sido ya considerada, y. por lo tanto h e m o s 7. El secreto del Universo. Y otros ensayos cientficos. Isaac
prescindido de mencionarlos. Podemos, no obstante, dar tres e j e m p l o s , elegidos por c u a n t o Asimov
a m e n u d o se les resuelve incorrectamente:
8. Qu es la vida. Joel de Rosnay
(a) U n vaso contiene v i n o hasta la m i t a d y o t r o vaso la misma cantidad de agua. Del 9. Los tres primeros minutos del Universo. Steven Weinberg
p r i m e r vaso se saca una cucharadita de v i n o y se vierte en el vaso que contiene 10. Dormir y soar. La mitad nocturna de nuestras vidas.
agua. De la mezcla se t o m a una cucharadita y se echa en el vaso de v i n o Es ahora
Dieter E. Z i m m e r
m a y o r o m e n o r la cantidad de v i n o en el vaso de agua q u e la cantidad de agua en
el vaso de vino? Para dar t r m i n o a todas las discusiones: es la misma 11. El hombre mecnico. El futuro de la robtica y la inteligencia
(b) El siguiente rompecabezas agit no hace m u c h o t i e m p o , a los delegados a una dis- humana. Hans Moravec
tinguida asamblea de expertos e n p r o b l e m a s difciles. U n m o n o est c o l g a d o del ex- 12. La superconductividad. Historia y leyendas. Sven O r t o l i
t r e m o de una cuerda que pasa p o r una p o l e a y est en e q u i l i b n o m e r c e d a una pesa
atada en el o t r o e x t r e m o . El m o n o decide trepar por la cuerda Qu sucede' ; Los
v Jean K l e i n
astutos congresales se e m p e a r o n en toda clase de vanas conjeturas y especulacio- 13. introduccin a la ecologa. De la biosfera a la antroposfera.
nes que iban desde la d u d a de si el m o n o p o d a trepar p o r la cuerda, hasta ngu- Josep Peuelas
rosas demostraciones matemticas" de que n o p o d a . ( C e d e m o s avergonzados, al
14. Miscelnea matemtica. M a r t i n Gardner
i m p u l s o p r o b a b l e m e n t e superfluo, de sealar la solucin: jla pesa sube igual que el
mono!) 15. El Universo desbocado. Del Big Bang a la catstrofe final.
(c) I m a g i n e m o s tener una cuerda de 4 0 . 0 0 0 kilmetros de largo, l o n g i t u d suficiente Paul Davies
para p o d e r rodear exactamente al g l o b o terrestre por el e c u a d o r . T o m e m o s la cuer- 16. Biotecnologa. Una nueva revolucin industrial. Steve Prentis
da y adaptmosla ajustadamente a su alrededor, sobre ocanos, desiertos y junglas
Desgraciadamente, c u a n d o h e m o s c o m p l e t a d o nuestra tarea descubrimos que al
17. El telar mgico. El cerebro humano y la computadora.
c o n f e c c i o n a r la cuerda se ha c o m e t i d o u n ligero error, pues sobra 1 m e t r o Para sal- Robert Jastrow
var el en-or d e c i d i m o s unir los extremos de la cuerda y distnbuir u n i f o r m e m e n t e ese 18. A travs de la ventana. Treinta aos estudiando a los chimpancs.
m e t r o en los 4 0 . 0 0 0 kilmetros. N a t u r a l m e n t e (nos imaginamos) nadie lo notar A
Jane G o o d a l l
qu distancia le parece a usted que la cuerda quedar separada del suelo p o r el sim-
ple h e c h o de sobrarle 1 metro? 19. Einstein. Banesh H o f f m a n n
La respuesta correcta parece increble, pues la cuerda quedar a 16 c m de la 20. La doble hlice. Un relato autobiogrfico sobre el descubrimiento
Tierra a t o d o lo largo de sus 4 0 0 0 0 k m . del ADN. James Watson
Para que esto le resulte ms razonable usted puede preguntarse C a m i n a n d o al-
r e d e d o r de la superficie terrestre, cunto ms recorre su cabeza que sus pies 9 P-
21. Cien mil millones de soles. Estructura y evolucin de las estrellas.
gina 193 Rudolf Kippenhahn
22. El planeta viviente. La adaptacin de las especies a su medio.
21 La prueba dada p o r Euclides de que hay u n n m e r o infinito de n m e r o s p n m o s .
David Attenborough
es una d e m o s t r a c i n elegante y concisa. Si P es u n n m e r o p r i m o cualquiera, siempre p u e d e
hallarse otro m a y o r que l. c o n s i d e r a n d o P 1 4- 1 Este n u e v o n m e r o , e v i d e n t e m e n t e m a y o r 23. Evolucin humana. Roger L e w i n
que P. n o es divisible entre P o cualquier n m e r o m e n o r que P H a y slo dos alternativas: 24. El divorcio entre las gaviotas. Lo que nos ensea el
(1) N o es divisible en m o d o alguno. (2) Es divisible p o r un n m e r o p n m o situado entre P comportamiento de los animales. W i l l i a m Jordn
y p 1 + 1 Pero cualquiera de estas dos alternativas prueba la existencia de un n m e r o p n m o
m a y o r que P C . D . D . Pgina 194
25. Lorenz. Alee Nisbett
22 Ball. op cit Pgina 194 26. Mensajeros del paraso. Las endorfinas. drogas naturales
del cerebro. Charles F. L e v i n t h a l
27. El Sol brilla luminoso. Isaac A s i m o v
28. Ecologa humana. La posicin del hombre en la naturaleza.
Bernard Campbell
29. Sol, lunas y planetas. E r h a r d k e p p l e r
30. Los secretos de una casa. El inundo oculto del hogar.
D a v i d Bodanis
31. La cuarta dimensin. Hacia una geometra ms real.
Rudv Rucker E X U B R I S S c - i " D-gt
32. El segundo planeta. El problema del aumento de la poblacin
mundial. U . C o l o m b o v G . T u r a n i
Biblioteca
Cientfica
Salvat
1
tt y --j- y * * " ' I I 11' |
r
o
ET
N o es sorprendente que las matemticas
disfruten de un prestigio n o igualado por
E
g . |
Matemticas
e Imaginacin (I)
ninguna otra actividad del pensamiento, pues
son i la vez indispensables en los asuntos
prcticos \ la obra maestra de la abstraccin
pura. Sin embargo, el matemtico suele ser S . 8
O* ^
considerado a m o una especie de ermitao
que invierte su t i e m p o creando teoras 3
Edward Kasner
enrevesadas e n una jerga rida e ininteligible.
james N e w m a n
A l concebir este libro. Edward Kasner
v James N e w m a n - a m b o s matemticos de
J
Biblioteca
Cientfica
Salvat
1
^ W
- J i m
Biblioteca
("ientica
Salvat
G\
I
e
r.\ <u, -
n>
v
N o os sorprendente (|iic las matemticas
disfruion do un prestigio no igualado p o r
r m
o
3 Matemticas
uinguna otra ac li\ idacl cl(vl pensamiento. pues
son a la voz indispensables en los asnillos
prcticos y la obra maestra do la abstraccin
5*
8 n&
M
e Imaginacin
pura. Sin embargo, el matemtico suelo sor
O'
considerado c o m o una especio do ermitao
que invierto su t i e m p o creando teoras
Edward Kasner
enrevesadas en una jorga rida e ininteligible.
James N e w m a n
A l concebroste libro. Edward Kasner
y Jamos Newman - a m b o s matemticos de
gran r e n o m b r o - so propusieron ofrecer una
panormica de los diversos ( ampos do la
matemtica en un lenguaje comprensible
\ amono. 1,1 resultado le un best-seller que
so lia convertido en un clsico do la literatura
do divulgacin cientfica \ que. a buen seguro,
despertar - o aumentar- nuestro inters por
esta arrgame reina del m u n d o intelectual.
Biblioteca
Cientfica
Salvat
/
s
tfl
s
/
I fe
Matemticas
CD
N o cvs sorprendente que Lis matemticas
disfruten de un prestigio 110 igualado por
e Imaginacin (I)
ninguna otra actividad del pensamiento, pues
son <1 la vez indispensables en los asuntos &
prcticos y la obra maestra de la abstraccin n
pura. Sin embargo, el matemtico suele ser &
considerado c o m o una especie de4 ermitao
que invierte su t i e m p o creando teoras
Edward Kasner
enrevesadas en una jerga rida o ininteligible.
James N e w m a n
A l concebir osle libro. I'dward Kasner
y Jamos Newman - a m b o s matemticos de
gran r e n o m b r o - so propusieron olrocor una
panormica do los diversos ( ampos do la
matemtica en 1111 lenguaje comprensible
\ amono. 1.1 resultado le un best-seller que
se lia convertido en un clsico de la literatura
de divulgacin cientfica \ que. a buen seguro,
despertar o aumentar- nuestro inters por
esta arrogante reina del m u n d o intolo lual.
Biblioteca
Cientfica
Salvat