LA MAGIA DE

LOS CUADRADOS I

Los mires por donde los mires, siempre suman lo mismo. Esta es la filosofa de los cuadrados mgicos, una construccin matemtica antiqusima cuyos orgenes se remontan
al 2200 a.C., cuando el emperador chino Yu crey ver en el caparazn de una tortuga el cuadrado mgico ms antiguo del que tenemos referencia, el lo-shu. En estos
das en los que el sudoku hace furor entre todos, conviene hacer un poco de historia
y hablar de estos objetos matemticos ntimamente relacionados con el pasatiempo
ms de moda. La prxima semana seguiremos hablando de ellos.

por Lolita Brain

QU ES UN CUADRADO MGICO? EL CUADRADO MS MGICO Y MS FAMOSO

lberto Durero, el gran pintor y

terico del arte renacentista, es
el autor del primer cuadrado
mgico conocido en el arte occidental. El grabado, repleto de
metforas matemticas, contiene
un fascinante cuadrado mgico en
el que casi todas las formas suman
la constante 34. Vemoslo.

n cuadrado mgico es un cuadrado subdividido en n filas y n

columnas que dan lugar a n2 casillas, en cada una de las cuales hay
un nmero distinto. Es mgico en el
sentido de que los nmeros de cada
fila, de cada columna y de las dos
diagonales principales suman la
misma cantidad, que se suele denominar constante mgica. El orden
de un cuadrado mgico es el nmero
de filas o de columnas. As hablamos
de cuadrados de orden 3, de orden
4, etctera. El orden de un cuadrado
determina muchas de sus propiedades.

La constante
mgica del cuadrado es 34. Filas,
columnas y diagonales suman
por tanto 34.

Las cuatro
esquinas suman
tambin 34.

Los cuatro cuadrados menores

del cuadrado
principal tambin
suman 34.

El cuadrado
central tambin
suma 34.

Las casillas de
los extremos de
las filas centrales
suman 34.
Tambin las de
las columnas
centrales.

Las dos casillas

inferiores del centro anan 1514,
que es la fecha de
ejecucin del grabado.

MELANCOLA (1514)

Y TAMBIN EN LA SAGRADA FAMILIA

CUADRADO MGICO IMPAR DE
3 Y CONSTANTE 51.

ORDEN

n la fachada de la Pasin de la Sagrada Familia de

Barcelona, obra de J. Subirachs, aparece un cuadrado mgico de orden 4 con constante 33, la edad
de Cristo. Es el mismo que el de Durero pero invertido
de arriba a abajo y se ha restado una unidad al 11, 12,
15 y 16, con lo que se repiten el 10 y el 14.

En la obra de Cornelius Agripa, De

occulta Philosophia libri tres, de
1533, aparecen cuadrados mgicos de
orden 3 y de orden
9. La imagen la
Tabula Saturni de
dicha obra presenta
un cuadrado de
orden 3 y de constante 15.

CUADRADO DE ORDEN 4 Y
CONSTANTE 68.

T TAMBIN PUEDES CONSTRUIR UN CUADRADO MGICO DE CUALQUIER ORDEN IMPAR

ara generar un cuadrado de

orden impar, pero slo de este
orden, se utiliza el mtodo de
Simon de La Loubre publicado
en 1691, llamado tambin el
mtodo siams, un sistema ya
conocido por los astrlogos orientales. Para ello nos imaginamos
un cuadrado de orden 5 cuyos
lados estn unidos, el superior
con el inferior y el derecho con el
izquierdo. El mtodo consiste en
ir colocando nmeros consecutivos en los cuadrados que resultan
de moverse a la casilla superior
derecha de la que nos encontremos, de modo que cuando en un
desplazamiento nos salgamos
por arriba del cuadrado, nos dirigiremos abajo, y si nos salimos por
la derecha, iremos a la izquierda.

1.- Colocamos el 1 en la casilla central superior. Nos movemos a la de arriba y a la derecha para poner el 2. Como nos salimos del cuadrado lo llevamos a la fila inferior. 2.- Desde el 2, volvemos a ir arriba y a la derecha. Situamos el 3.
3.- Cuando intentamos poner el 4, nos salimos del cuadrado por la derecha. Se coloca entonces a la izquierda 4.- Ubicamos el 5 y cuando vamos a poner el 6, la casilla est ocupada por el 1. Situamos el 6 bajo el ltimo nmero, el 5.

5.- Seguimos colocando el 7 y el 8. Como el 9 cae en una casilla superior, lo llevamos a la fila inferior. Al poner el 10, sale
por la derecha y lo mandamos a la columna de la izquierda. 6.- De nuevo, al intentar situar el 11, la casilla que le corresponde est ocupada por el 6, y por tanto lo colocamos bajo el 10. 7.- Ubicamos sin problemas el 12, 13, 14 y 15. 8.- Al poner el
16, ste cae en la esquina superior derecha. Deberamos situarlo donde est el 11. Y por tanto lo colocamos bajo el ltimo
nmero escrito, el 15. Ahora te toca a ti continuar con los restantes nmeros hasta el 25.
Infografa y textos: Lolita Brain - www.lolitabrain.com

LA MAGIA DE LOS
CUADRADOS Y II

En la ltima entrega de este curso continuamos explorando esas mgicas creaciones matemticas denominadas cuadrados mgicos. Si la pasada semana te enseamos a crear tus propios cuadrados de orden impar, hoy te mostraremos como
construir cuadrados de orden par. Tambin te contamos qu son los cuadrados latinos, cul es su origen y qu utilidad tienen ms all de ser parientes prximos
de los sudokus. Nos despedimos de este modo por este curso que esperamos haya
servido para acercarte las Matemticas a tu universo.

por Lolita Brain

CMO HACER UN CUADRADO MGICO PAR

EL SUIZO UNIVERSAL

xiste un procedimiento para crear un cuadrado mgico de

orden par tal que sus filas o columnas sean mltiplos de 4. Se
denomina el mtodo de las X y consigue crear cuadrados
de orden 4, 8, 12, 16... Es muy sencillo y te permitir asombrar
a tus amigos. Vemoslo con un cuadrado 8x8.

os cuadrados latinos son

una invencin del irrepetible suizo Euler. Son creaciones ligeramente ms sencillas que los cuadrados
mgicos, ya que en ellos, si
bien tambin se parte de una
configuracin cudradada diviBILLETE DE 10 FRANCOS SUIZOS EN HONOR A
dida en casillas, slo se exige
LEONHARD EULER (1707- 1783)
que en cada fila y en cada
columna exista un elemento tomado de entre dos categoras sin que se repita ninguna. El primer
problema propuesto al respecto proviene de Euler, quien propuso en 1782 el problema de los
oficiales.

UN CUADRADO LATINO 4X4

E
Desde la esquina superior izquierda, escribe por orden cada
uno de los nmeros del 1 al 64. Divide el cuadrado de 64 casillas en cuatro cuadrados menores. Traza las diagonales de
cada cuadrado como en el dibujo.

s muy sencillo entender los cuadrados latinos. Para ello hazte con el 1, 2, 3 y el 4 de
cada uno de los palos de una baraja de cartas.
El juego consiste en disponer los 16 naipes en
un cuadrado de modo que no coincidan en cada
fila ni en cada columna dos cartas del mismo
palo o dos del mismo nmero. Te atreves?
Euler demostr que era posible hacerlo.

EL PROBLEMA DE LOS OFICIALES

E
Los nmeros que no han sido tocados por las diagonales
deben permanecer en la misma casilla. En cambio, las casillas
por las que pasan las diagonales se han de intercambiar con
sus simtricas respecto del centro del cuadrado. As el 1 y el 64
intercambian su posicin, lo mismo que hacen el 14 y el 51.
Observa la figura en la que los elementos intercambiados se
han marcado con el mismo color. El resultado es un cuadrado
mgico en el que filas, columnas y diagonales suman 260.

ADEMS DE PASATIEMPOS SON TILES

s all de ser un mero divertimento, los cuadrados latinos

tienen utilidad en la vida prctica. Imagina un campo agrcola en el que ha de probarse la eficiencia de cuatro abonos distintos sobre cuatro tipos de trigo. Para ello se divide la
parcela en 16 cuadrantes y en cada uno se planta un tipo de trigo, de modo que no coincida en
filas y columnas el mismo tipo de
semilla. Se evita as la influencia
de la propia tierra en la experiencia. Hecho esto, se mezclan del
mismo modo los cuatro tipos de
abono de forma que a cada cuadrante con cada tipo de semilla se
le administre un tipo distinto de
abono. La configuracin ptima
para el experimento es la de un
cuadrado latino de orden 4. En
realidad son dos cuadrados, el de
las semillas y el de los abonos
entremezclados.

l problema de los 36 oficiales es muy sencillo

de plantear pero no de solucionar. Supongamos un desfile militar en el que participan 36
oficiales de seis regimientos distintos y con
seis graduaciones diferentes. El problema que
propuso Euler lanza la siguiente pregunta:
ser posible disponerlos en formacin cuadrada de modo que en cada fila y en cada
columna haya un oficial de cada regimiento y
de cada graduacin?

PERO EULER
SE EQUIVOC

uler difcilmente se
equivocaba. Su formalismo y su rigor cre
escuela en el mundo
matemtico... pero nadie
es infalible. Leonhard
demostr que siempre
se puede construir un
cuadrado latino que tenga orden impar o que sea
mltiplo de cuatro, lo que
l denominaba par de
EL CUADRADO DE ORDEN 10 DE PARKER
clase par. Pero l fue
incapaz de crear un cuadrado de orden 6, lo que le llev a afirmar que No dudo concluir que es
imposible hallar un cuadrado completo de 36 casillas ni en hacer extensiva tal imposibilidad a los
casos n = 10, n = 14, etctera.. Es decir, supuso que no existan cuadrados de orden par que no
fueran mltiplos de 4. Como en 1901 Gaston Tarry demostr que no se poda crear un cuadrado
latino de orden 6, la conjetura de Euler pareca fortalecerse. Pero en 1959 Bose, Shrikande y
Parker, de la Universidad de California, hallaron un cuadrado grecolatino de orden 10, eso s,
con la ayuda de una potente computadora SWAC. Adems probaron que salvo para el orden 6,
la conjetura de Euler era falsa. Euler, por una vez, se haba equivocado.
Infografa y textos: Lolita Brain - www.lolitabrain.com

...UN0, DOS,
TRES...INFINITO

La idea de infinito ha sido siempre uno de los temas de mayor discusin en el seno de las Matemticas... y no slo en ellas. La Filosofa ya desde los remotos tiempos de la Grecia clsica discuti
sobre el concepto de infinito, su significado y su existencia. Ya ZENN DE ELA, 400 aos antes de Cristo, sembr el pensamiento
con curiosas paradojas que tienen como eje central el infinito.
Hasta finales del siglo XIX, no se abord con rigor matemtico el anlisis de lo que significaba este concepto. Se encontraron sorpresas inimaginables que dividieron el mundo de las Matemticas.
Hablamos de la obra de George Cantor.

urante siglos los griegos exploraron el apeiron -lo ilimitado- y su presencia en el universo. Demcrito, Epicuro y
sobre todo Lucrecio, fueron defensores de la existencia
de lo infinito. Lucrecio lleg a hablar de un nmero ilimitado de mundos infinitos. Aristteles defini un infinito en potencia, que se piensa como algo finito en continua expansin, pero que no se puede alcanzar. En cambio, entiende que no puede existir realmente un infinito
en acto, que pueda ser pensado, ya que al ser inconcluso
-no acaba nunca- no puede definirse.

EL TODO
Y
LAS PARTES
La mxima que mejor recoge
la distincin aristotlica sobre
lo finito y lo infinito es aquella que afirma que EL TODO ES
MS GRANDE QUE LAS PARTES.
Semejante intuicin permaneci aceptada por todos los
hombres. Es un asunto de sentido comn. En efecto, un grano de arena es menor que el
montn en el que se encuentra, dos manzanas son menos
que el cesto de manzanas...
una mano es menor que todo
el cuerpo. Tras Cantor y Dedeking las cosas ya no iban a
ser iguales.
Sorprendentemente, observaron que en los conjuntos infinitos existen partes contenidas en ellos con tantos elementos como todo el
conjunto. Esta propiedad es
tan difcil de asumir que adoptaron esta propiedad como la
definicin de lo que significa
que un conjunto tenga cardinal infinito.
Raro? Mucho. En los diagramas que acompaan este texto puedes comprobar que, si el
todo es el conjunto de los nmeros de contar (1,2,3,4...) y
que es infinito, el subconjunto de los PARES o los IMPARES o los PRIMOS es tan numeroso como todo el conjunto.
Por supuesto, si un conjunto
es finito es vlida la mxima
aristotlica.
Sin embargo, sta era slo la
primera de las sorpresas que
deparaban estas ideas a Cantor. En la prxima lmina te
desvelaremos la continuacin
de su viaje por el infinito y
ms all...

por Lolita Brain

eorge Cantor (1845 San Petersburgo,

Rusia -1918 Halle, Alemania) es el padre de la Teora de Conjuntos, denominada intuitiva. Tras desarrollar los
conceptos que hoy usamos sobre los conjuntos, se interes por el nmero de elementos de stos, lo que se llama la CARDINALIDAD del conjunto. Y comenz a estudiar los conjuntos con infinitos
elementos hasta desarrollar la Teora de
los Nmeros Transfinitos, una de
las teoras ms desafiantes para
el pensamiento humano, comparable al desafo intelectual de
las Geometras no Eucldeas -en
relacin al espacio- o de la Relatividad -en relacin con el
tiempo y el espacio-. Su teora desafiaba el concepto de infinito.

RICHARD DEDEKING
1831 Alemania - 1916 Alemania

ichard Dedeking, un matemtico solitario

y tmido, pero muy riguroso, fue el padre de
los nmeros tal y como los conocemos hoy,
creando una teora que construye los nmeros
naturales, y con ellos todos los dems. Amigo
de Cantor, con el que se carte durante 27 aos,
es el primer autor -junto a ste- en pasar del infinito en potencia aristotlico al infinito en acto.
Ambos encontraron el modo de definir el infinito.

antor y Dedeking razonaron del modo siguiente: si para contar conjuntos finitos utilizo el emparejamiento,
por qu no utilizar este
mecanismo con los conjuntos infinitos? De este
modo, razona Cantor, si
me siento entre dos
montones de arena,
y tomo con cada
mano un grano de cada montn, por muchos
granos que haya, si acabo antes el montn de
la izquierda que el de la derecha, esto vendr a
decirnos que ese montn tena menos granos
que el otro. Pero si acabo los dos montones a
la vez, por fuerza no
podremos afirmar sino
que los dos montones
tenan igual nmero de
granos de arena. Cantor y Dedeking llamaran a este emparejamiento una CORRESPONDENCIA BIUNVOCA entre
los montones de arena. Hoy lo llamamos igual.

lo primero que
hizo Cantor fue fijarse en el CONJUNTO INFINITO del que se tiene la primera intuicin: el conjunto de
los nmeros naturales o enteros positivos, es decir, los nmeros
de contar 1, 2, 3, 4, ...
Todos entendemos que este conjunto es infinito. Cada nmero tiene su sucesor. Es su esencia. Cantor afirm que no existe ningn conjunto infinito con menos elementos que ste. Dicho de otro
modo, los nmeros de contar son el conjunto infinito ms pequeo. Al nmero de sus elementos le llam ALEF CERO (Alef es
la primera letra del alfabeto hebreo).

ALEF CERO

antor comenz entonces a estudiar

algunas partes subconjuntos- del
conjunto de los naturales. Por ejemplo,
los nmeros PARES (2, 4,
6, 8 ...) estn contenidos en
los NMEROS DE CONTAR
(1,2,3,4...). Todos estaramos
tentados a decir que los pares son
exactamente la mitad. Sin embargo no es as. Es facilsimo ver en el diagrama cmo cada nmero de contar se
puede emparejar con un nmero par, su doble. Y cada par tiene su pareja, su mitad.
Como en los granos de arena, ambos conjuntos -por extrao que nos parezca- tienen los mismos elementos. Cuntos? Alef-cero elementos.

>>>En un conjunto infinito, hay

partes tan numerosas como
el mismo.
>>> Los nmeros de
contar, los enteros (positivos y negativos), las
fracciones, los nmeros pares, los nmeros
cuadrados, los primos,
etc. tienen todos ellos
la misma cantidad de
elementos: el nmero
transfinito ALEF-CERO.
>>>Para saber si un conjunto

tiene ALEF-CERO elementos hay

que emparejar cada uno de
sus elementos con un
nmero natural de
modo que no quede
ninguno sin pareja.
>>> Cuando
un
conjunto tiene ALEFCERO elementos, se
dice que es NUMERABLE.
>>>Hay conjuntos infinitos con ms elementos
que ALEF-CERO.
lolitabrain@hotmail.com

55

AULA

DE EL

MUNDO

H A S TA E L I N F I N I T O
Y MAS ALLA

L A

H I P T E S I S

D E L

C O N T I N U O

Probablemente el ms grande de los hallazgos de Cantor fue que los infinitos no son nicos. Los nmeros reales eran ms numerosos
que los naturales, y a Cantor le asalt la pregunta de si
habr algn conjunto que teniendo ms elementos que
los naturales, sea menos numeroso que los puntos del
plano? O dicho de otro modo, ser el infinito de los
puntos de una recta el siguiente infinito al de los nmeros de contar, o habr entre ellos otro nmero infinito?,
ser el CONTINUO el siguiente nmero a ALEF CERO?
Cantor pens que as era, que tras el menor de los
infinitos que conocemos -ALEF CERO- vena el continuo, por lo que decidi llamarlo tambien ALEF UNO.
Pero esto era slo una hiptesis. Ni Cantor, ni
nadie tras l, ha conseguido probar que las
cosas sean as. Ni tampoco se ha probado lo
contrario. La conjetura de Cantor se denomiHIPTESIS DEL CONTINUO.
na H

Habamos dejado en nuestra ltima lmina a Cantor y Dedeking explorando

el infinito. Nos haban contado la diferencia esencial entre un conjunto
infinito y otro finito. En los conjuntos infinitos, el todo no siempre es mayor que sus partes. Son conjuntos tales que, por lo menos, contienen un
subconjunto con tantos elementos como l mismo. Adems nos ensearon un procedimiento para saber si dos conjuntos infinitos son o no iguales. Resultados asombrosos que rompen nuestra intuicin: por ejemplo,
todos sabemos que la mitad de los nmeros son pares, y la otra mitad
impares... Sin embargo, siendo infinitos son tan numerosos como todos los
nmeros juntos, pares e impares. Preprate porque esto no ha hecho sino
empezar. Abrchate el cinturn y sumrgete en el infinito...

por Lolita Brain

l renombrado HOTEL A LEF C ERO , de

NMEROLAND, llegaron para asistir a un
congreso todos los habitantes de la ciudad
SEGMENTO UNITARIO,
los seores PUNTO. Pequesimos habitantes
del segmento de longitud 1, el que va desde
la marca 0 hasta la
marca 1 de una regla.
Eran unos respetables
ciudadanos que se jactaban de existir casi desde siempre, aunque solan
referirse a Euclides como el gran fundador de la cultura del segmento. Y
por supuesto, eran infinitos. Eran tan
numerosos, sociables y vivan tan
unidos que les llamaban el CONTINUO.
El gerente del hotel,
el seor ORDINAL,

dispuso que se habilitara una habitacin para cada uno de los seores
PUNTO que iban a llegar. El seor ORDINAL estaba muy orgulloso de regentar un hotel con infinitas habitaciones. An recordaba cuando aloj
a todos los seores ENTEROS, y ms
sonada fue la ocasin en la que, ante
el estupor de todos, consigui hospedar a todos los RACIONALES, aristcratas de NMEROLAND.
El joven y osado botones del hotel, de
nombre CANTOR, se acerc al SR. ORDINAL y le espet:
- Disculpe SR. ORDINAL, pero creo que
no va a ser posible alojar a todos los
seores PUNTO...
- Cmo que no! se apresur a atajar el SR. ORDINAL. Acaso no sabe us-

ted que nuestro hotel

dispone de infinitas
habitaciones? Exactamente ALEF CERO! -recalc.
- S, ya se... pero las cosas no son tan simples... no sabe usted
cun numerosos son
los habitantes de la
ciudad de SEGMENTO
UNITARIO! Pero si me
permite le convencer de lo que digo.
- Adelante, adelante... si as se queda usted satisfecho... le escucho.
- Veamos -comenz a decir Cantor
con voz solemne y satisfecha- como
usted bien sabe, cada habitante de
la ciudad SEGMENTO UNITARIO tiene un
nmero identificativo que se le asigna cuando nace y le diferencia de sus
conciudadanos.
- As es en efecto...
- ...Y usted tambin sabr que, con
lo raros y disciplinados que son los
seores PUNTO, todos sus cdigos de
identificacin siguen el mismo patrn, son de la forma 0,d1d2d3d4....
ya sabe, decimales del tipo cero y
coma y una lista sin fin de
decimales.
- S, ya se, ellos le llaman su
Nombre Decimal.
- Pues bien, usted dice
que puede alojarlos a
todos no es as?
- En efecto!
- Bien, imaginemos
que usted tiene razn
y que ya tiene alojado
a cada seor P UNTO
en su habitacin correspondiente...
- Ve cmo al final me da
la razn!, replic entusiasmado el SR. ORDINAL.
- No tan deprisa!.. Slo
he dicho imaginemos...
En realidad le voy a demostrar que eso no es
p o s i b l e .
Estar conmigo en que,
si encuentro el Nmero Decimal de algn
seor Punto que no

puede estar hospedado en ninguna

habitacin... me dar la razn.
- Por supuesto! Pero estoy seguro de
que no podr probarme eso.
- Podra traer la lista de las habitaciones, para saber qu P UNTO est
alojado en cada habitacin?
- Aqu la tengo.
-Dgame el DNI del seor PUNTO alojado en la habitacin 1.
- S, djeme mirar... es el
0.468211532....
- Vale, vale. Su primer dgito decimal
es el 4. Dgame un nmero distinto
del 4, por favor.
El SR. ORDINAL le dijo el 6 y Cantor
anot en su libreta 0.6.
- Ahora dme el DNI del husped de
la habitacin 2.
- Es el 0.1563315...
- Su segundo dgito es el 5, SR. ORDINAL. Escoja un nmero distinto de
5.
- El 4 por ejemplo.
Y Cantor anot ahora 0.64.
- Ahora vayamos a la habitacin
n 3.
- S, ya se... Ah se ha alojado el SR.
PUNTO con nmero decimal
0.56847216.... Y su tercera cifra es el 8, que usted quiere que la cambie, por ejemplo por el 2...
- En efecto. Veo que entiende por dnde voy -deca
Cantor mientras anotaba
0.642...
Estar usted conmigo que
este procedimiento podemos realizarlo habitacin tras habitacin.
Y en cada una de ellas cambiaremos en el DNI del correspondiente SR. PUNTO, el decimal que ocupa
la misma posicin que el nmero de
la habitacin en la que se encuentra... Pues ya he terminado.
-Cmo que ya ha terminado? Qu
tiene esto que ver con mis huspedes? -pregunt irritado el SR. ORDI-

<
0

<
1

NAL.
- Muy sencillo. Segn lo visto, podemos fabricar
el DNI de un SR. PUNTO
0.642... que no est en la habitacin
n1 porque su primer decimal es distinto del husped all instalado. Tampoco puede ser el del SR. PUNTO que
ocupa la habitacin n 2 porque son
distintos en el segundo decimal, ni
puede ser el Sr. de la habitacin n 3,
ni el de la 4 por la misma razn, ni
el de... ninguna! El SR. PUNTO identificado con el 0.642... que fabricamos, no es ninguno de los huspedes
que usted tiene alojados, y en cambio,
es ciertamente un SR. PUNTO de la ciudad del SEGMENTO UNITARIO. Por lo
tanto HAY MS SEORES PUNTO QUE HABITACIONES TIENE SU HOTEL.
- De modo que...
- S, de modo, SR. ORDINAL, que por
muy infinito que sea el nmero de habitaciones de su hotel, deber en-

...
<
2

viar un fax urgente al SEGMENTO UNITARIO para lamentar la imposibilidad de acomodarles a todos...
- En mis ALEF-CERO habitaciones
por lo menos a la mitad? podra alojar a la mitad de los SRS. PUNTO?
- Imposible. Ni con dos, ni con tres
hoteles iguales podra alojar a los habitantes de SEGMENTO UNITARIO... de
tantos como son...
- Increble! Y pensar en lo pequea
que es su ciudad, apenas un centmetro de una recta.
lolitabrain@hotmail.com

56

AULA

DE EL

MUNDO