verificada
Indice
1.- Filosofa y matemticas
2.- Matematizacin del pensamiento
3.- Matemtica como modelo del pensamiento
4.- Matemtica y esttica
5.-La belleza matemtica
6.- Creatividad matemtica
7.- Matemtica como instrumento de exploracin
8.- Aplicabilidad de la matemtica
9.- La matemtica como juego
10.- La matemtica, aventura del pensamiento
1
2
3
4
5
9
10
11
12
14
Figura 1
La elipse es la seccin obtenida al cortar el cono circular recto por un plano pi que forma un ngulo con el eje del cono
mayor que el ngulo que forman las generatrices del cono con dicho eje. Trazando las dos esferas indicadas en la
figura de la izquierda tangentes a pi en F1, y F2 y a todas las generatrices del cono y trazando una generatriz r
cualquiera, se observa que AF1 = AM, AF2 = AN, AF1 + AF2 = MN = constante. As, para cada punto de la elipse la
suma de sus distancias a los dos focos AF1 + AF2, es constante e igual al eje mayor de la elipse (figura de la
izquierda). Asimismo, la figura de la derecha nos muestra, trazando el plano sigma que contiene el crculo de la esfera
superior, la recta d interseccin de pi y sigma, la proyeccin M de A sobre sigma y la proyeccin Q de M sobre d, que
AQ/AF1= AQ/AP = (AM/cos beta) / (AM/AM/cos alfa) = cos alfa/cos beta = constante. Por tanto, para cada punto de la
elipse la razn de distancias a una recta fija d y al foco F es constante (excentricidad).
Figura 2
Figura 3
Modo en que probablemente Arqumedes de Siracusa (287-212 a. C.) descubri el hecho de que el volumen de la
esfera de radio R es (4/3) R3. Si se considera, como se indica en la figura, el cilindro recto circunscrito a la esfera y el
cono con vrtice en el centro de la esfera y base la del cilindro, y a continuacin se observan las secciones de los tres
cuerpos por un plano paralelo a la base comn del cilindro y del cono, es facil deducir, mediante el teorema de
Pitgoras, que el rea de la seccin en el cilindro es la suma de las reas de las secciones producidas en el cono y en
la esfera. Como esto es vlido para cada plano paralelo a la base se puede deducir, mediante el mtodo de exhauscin
3
3
de Eudoxo (s. IV a. C.), que el volumen de la semiesfera es igual al del cilindro R menos el del cono 1/3 R . Es
3
decir, el volumen de la esfera es 4/3 R .
ejemplos caractersticos de esta cualidad. All donde hay belleza matemtica, sta no
se agota y su contemplacin nunca deja de producir ese sentimiento de satisfaccin,
adecuacin y acabamiento que una obra arquitectnica perfecta produce en el nimo
de quien la contempla.
Figura 4 1 y 2
Figura 4 - 3
El hexagrama mstico. El teorema de Brianchon (primera figura de las de arriba (4 -1)) afirma que si en un crculo (o en
una cnica cualquiera) se circunscribe un hexgono arbitrario, las tres diagonales que unen vrtices opuestos se cortan
en un punto. La siguiente demostracin, publicada por el autor por primera vez en 1976, es un buen ejemplo de las
caractersticas del tipo de belleza que tantas veces se presenta en los hechos y mtodos matemticos. Se basa en las
dos sencillas observaciones siguientes:
(1) Si se fija un sentido sobre un crculo C en el plano (figura 4 -3), se toman dos puntos A y B sobre C, se trazan
semirrectas tangentes a C en A y B respectivamente en sentido contrario y finalmente se toman dos rectas hacia arriba
tangentes al cilindro recto de seccin C formando ngulos de igual magnitud con el plano , entonces estas dos rectas
se cortan en un punto P (o bien son paralelas si A y B son diametralmente opuestos). La proyeccin de P sobre es el
Punto Q interseccin de las dos semirrectas tangentes en A y B. Y recprocamente, si se toman Q, se toma P situado
en la vertical sobre Q y se une P con A y B, entonces los ngulos PAQ y PBQ son iguales.
(2) Tres rectas en el espacio que se cortan dos a dos y no estn en un mismo plano pasan las tres por un mismo punto
del espacio. Con estas dos observaciones el teorema resulta de modo sencillo.
Se considera el crculo C en el plano y el hexgono circunscrito V1V2V3V4V5V6 (figura 4 -2).Por V, levantamos una
perpendicular a hasta un punto arbitrario V'. Unimos V1 al punto de tangencia de V1 V2 a C y prolongamos hasta
cortar la perpendicular por V2 a en V'2. Procediendo as sucesivamente obtenemos en el espacio V'1 V'2 V'3 V'4 V'5 V'6y
volvemos a V1. Consideremos ahora V'1 V'4 y V'2 V'5. Observemos que V'1V'2 y V'4 V'5 son dos rectas en la situacin de
la observacin (1). As, o son paralelas o se cortan. Por tanto V'1 V'4 y V'2 V'5 estn en un plano y, as, o bien son
paralelas o se cortan. Se excluye que sean paralelas por construccin. As se cortan. Lo mismo vale para V'2V'5 y
V'3V'6. Se cortan. Tambin V'1V'4 y V'3V'6 se cortan. Usando la observacin (2) resulta que las tres rectas se cortan en
un punto, pues no estn en un mismo plano por construccin. Por tanto sus proyecciones sobre tambin, pero stas
son precisamente las diagonales V1V4, V2V5, V3V6.
10
surgi primero entre los babilonios con fines prcticos bien concretos, econmicos y
astronmicos.
Las tablillas babilnicas que se conservan son un buen testimonio de ello.
Hacia el siglo VIII a. de C. se puede decir que la astronoma babilnica alcanza un
grado de desarrollo capaz de medir con bastante exactitud y predecir diversos
fenmenos astronmicos. Se podra pensar que este tipo de aplicacin prctica no es
el mismo al que la tcnica moderna nos tiene acostumbrados. La astronoma de aquel
tiempo, podra suponerse, era especulativa. Pero no es cierto, pues los astrnomos
babilonios seguan una finalidad prctica con sus mediciones y observaciones. Se
trataba de elaborar con ellas los calendarios y vaticinios para sus monarcas. El
carcter especulativo y contemplativo de las matemticas predomin entre los griegos.
La matemtica pura tal como hoy la conocemos es creacin de los matemticos
griegos de los siglos VI al III a. de C. culminando su creacin con los Elementos de
Euclides, que constituyen una recopilacin del saber profesional hasta entonces.
El carcter prctico y aplicado de la matemtica aparece espordicamente en
la obra de Arqumedes, por ejemplo, quien llega a presentar sus invenciones casi
como una aberracin por la que pide disculpas. As lo explica Plutarco en la vida de
Marcelo, el general romano que conquist la ciudad de Siracusa despus de un largo
asedio: "... aunque sus inventos le haban dado la fama de poseer una sagacidad ms
que humana no se dign dejar tras de s ningn trabajo escrito sobre tales materias,
sino que, considerando como innoble y sucio el objeto de la mecnica y toda suerte de
artes dedicadas a la utilidad y al provecho, puso toda su ambicin en aquellas
especulaciones cuya belleza y sutileza no estn teidas por ningn color que aluda a
las necesidades ordinarias de la vida".
11
las culturas ms primitivas, parece un hecho que no necesita mucha explicacin. Y sin
embargo detrs de este hecho se esconde el mismo misterio que subyace a la extraa
adecuacin a realidades ms complicadas de las teoras matemticas ms complejas.
El matemtico observa el mundo real dentro de s mismo y en su entorno, abstrae
unas cuantas propiedades que a l le interesa destacar, con ellas construye su mundo
mental abstracto que pone en movimiento mediante las leyes bsicas de su mente.
Guiado por su intuicin y sentido esttico dirige su construccin escogiendo unas
cuantas de las infinitas posibles estructuras que podra crear. Descubre as un
complejo mundo mental, que l ha perseguido por su coherencia, armona, belleza
intrnseca. Y de repente, o paulatinamente, segn los casos, observa que cierta
parcela del mundo real es iluminada y plenamente explicada mediante aquella teora
matemtica que hasta entonces se haba mostrado alejada de la realidad. Esta
vivencia est constantemente presente en la historia de la matemtica. El misticismo
filosfico de los pitagricos del siglo VI a. C. es probablemente una respuesta a ella,
como lo es ciertamente el de Kepler en el siglo XVII. Apenas se puede uno imaginar la
sensacin de congruencia y belleza que ste debi de experimentar al comprobar que
la teora de las cnicas, tan cultivada y perfeccionada por s misma desde los das de
Apolonio de Prgamo (s. III a. C.), se adaptaba plenamente a la explicacin del
movimiento planetario, viendo que elementos con significado en apariencia puramente
matemtico como los focos de tales cnicas adquiran una significacin fsica tan
importante (el Sol ocupa uno de los focos de cada una de las cnicas descritas por los
planetas). El entusiasmo de Kepler ante esta coherencia, como en el caso de los
pitagricos, explica y justifica sus extrapolaciones msticas en su obra Harmonice
mundi.
La razn ms profunda de esta especie de armona preestablecida que se
puede observar en la aplicabilidad de la matemtica al mundo real est ntimamente
ligada al problema filosfico fundamental de la teora del conocimiento, en el que no
quisiera introducirme aqu. Me limitar a iluminar este punto con tres testimonios
recientes. J. von Neumann escribe: "Yo creo que constituye una aproximacin
relativamente buena a la verdad -una verdad tan complicada que otra cosa que una
aproximacin a ella es impensable- el decir que las ideas matemticas se originan en
la experiencia, si bien su genealoga es a veces larga y oscura. Sin embargo una vez
se han estructurado a partir de ella comienzan una vida peculiar, independiente, y se
podra comparar el objeto matemtico de la forma ms adecuada con un sujeto
creador, al que subyacen casi exclusivamente motivaciones estticas, pero en ningn
modo se puede comparar con una ciencia emprica". En su artculo sobre
L'architecture des mathmatiques, N. Bourbaki afirma: "Que existe una relacin ntima
entre los fenmenos experimentales y las estructuras matemticas parece confirmarse
plenamente de la forma ms inesperada mediante los descubrimientos ms recientes
de la fsica contempornea. Pero no sabemos absolutamente nada sobre los
fundamentos de este hecho (suponiendo que se pudiera encontrar realmente
significacin a estas palabras) y tal vez no lleguemos a saber nunca sobre ello". Por su
parte, E. P. Wigner cierra su famoso artculo The unreasonable effectiveness of
mathematics in the natural sciences con estas palabras: "el milagro de la adecuacin
del lenguaje de la matemtica para la formulacin de las leyes fsicas es un don
maravilloso que ni entendemos ni merecemos. Deberamos mostrarnos agradecidos
por l y esperar que permanecer siendo vlido en la investigacin futura y que se
extender, para bien o para mal, para placer nuestro aunque tambin tal vez para
nuestra perplejidad, a ramas ms amplias del saber".
12
Figura 5
13
(problema de Fermat); es cierto que todo nmero par es suma de dos nmeros
primos? (conjetura de Goldbach); existen infinitos pares de nmeros primos (p,q)
tales que q = p + 2? (problema de los nmeros primos hermanos).
El famoso problema de los cuatro colores (es posible colorear
adecuadamente un mapa cualquiera con cuatro colores o existir un mapa que
necesite cinco colores para que los pases vecinos se distingan apropiadamente?)
naci como curiosidad de un estudiante de Cambridge en 1852. El problema ha
estimulado por ms de un siglo el trabajo de innumerables matemticos y ha sido
resuelto por Appel y Haken, de la Universidad de Illnois, en 1976. Las implicaciones
del mtodo de resolucin de esta cuestin, que naci como un rompecabezas curioso,
sobre la estructura de la matemtica futura estn an por ver. Lo que ahora es el
teorema de los cuatro colores (cuatro colores bastan) ha sido demostrado mediante la
intervencin, hasta ahora totalmente imprescindible, del computador. Es decir, no se
conoce ninguna cadena de razonamientos del tipo de la matemtica de siempre,
asequible por la mente humana sin la ayuda de aparatos externos, que conduzca al
teorema. Este hecho nuevo en la historia de la matemtica plantea cuestiones
profundas y muy interesantes sobre el porvenir de la matemtica. Ser tal vez
imposible construir una demostracin manejable sin computador? Qu grado de
certeza proporciona una demostracin de este tipo? Nuestra evidencia es sustituda
por la fiabilidad del computador. Cuntos y qu tipo de problemas abiertos en
matemticas esperan una solucin semejante? Acaso el problema de Fermat o la
conjetura de Goldbach puedan resolverse de modo anlogo? Modificar
sustancialmente el computador nuestra forma de proceder como matemticos?
El juego matemtico sigue atrayendo intensamente tanto a matemticos como
a no matemticos. Prueba de ello es, por ejemplo, la constancia del xito de la seccin
permanente de Martin Gardner por tantos aos en esta revista. De vez en cuando
aparecen en el mundo juegos matemticos, en nuestros das el cubo de Rubik, que
por su capacidad de atraccin se convierten en el entretenimiento intenso de millones
de personas por muchas horas. Es una verdadera lstima que el contenido ldico y
artstico de la matemtica no sea explotado ms a fondo por los enseantes a todos
los niveles, pero sobre todo en los primeros pasos de la educacin matemtica. A mi
parecer la incapacidad confesada para las matemticas de muchas personas
altamente cultivadas, competentes en otras actividades y profundamente inteligentes,
se debe sobre todo a un bloqueo psicolgico inicial, originado por los mtodos
equivocados de enseanza.
14
15