Documentos de Académico
Documentos de Profesional
Documentos de Cultura
MI
L, Financiera
1•Mazdacrédito S.A. lecturas
mazemácicas
Rapad
SOMOS LA GENTE DEL EQUIPO ORIGINAL
Organo informativo
de la
Sociedad Colombiana de Matemáticas
D!RECCION POSTAL
Correspondencia Editorial
TARIFA PARA LIBROS Y REVISTAS EDITADOS EN COLOMBIA. PERMISO No, 442 DE ADP0STAL
Lecturas Matemáticas
Apartado Aéreo 050120
BOGOTA 2 — COLOMBIA
(South América)
ALONSO TAKAH ASH I
COMITE EDITORIAL
JAIME LESMES
VICTOR ALBIS EDUARDO ALDANA
YU TAKEUCHI
HUGO PAREDES MARCO F SUAREZ
ASESORES
PRINCIPIOS
daciones de la SCM.
está destinada a todas las personas interesadas en aspectos generales
Público. Lectura; Matemáticas -
de las matemáticas así como en su enseñanza y utilización. En particular, se dirige a los Profeso
res de matemáticas desde el nivel elemental hasta la universidad así corno a los estudiantes que
tienen inclinación por estas materias.
Contenido. El material publicado se clasifica en secciones, así:
Trabajo de extensión moderada sobre matemáticas, su fundamentación,
Artículos Matemáticos.
sus aplicaciones o temas afines. Pueden ser:
cuando incluyen resultados nuevos de alguna significacion. Deben ser redacta-
Investigativos,
forma muy accesible incluyendo desarrollos detallados y referencias al alcance del
dos en
lector no especializado.
destinados a exponer resultados, métodos y enfoques interesantes, Introciuc-
Informativos,
ciones elementales a ternas importantes. Desarrollos recientes. Recuentos de hechos signifi-
cativos.
Notas. Observaciones cortas, discusiones de clase.
í n+ 1
¿;( 7) = 2 y k - ( - 1) n n-1 1
n=1 n 7 (2111J 4- 2 1 n 5 ( 24,1/1)
k.1 k 2
+ 5 _j
2 n=3
(-1) 11+1
L n3(2n1
Wz<411-1 12717
M ISCELANEA
PRUEBAS Y RECITACIONES
1, 2, 3, 4, 5,...,
2, 4, 6, 8, 10,...,
los impares
1, 3, 5, 7, 9, 11,...,
los cuadrados
los primos
2, 3, 5, 7, 11, 13,....
228
229
También están familiarizados con las fracciones,
m 2
( 11- ) = 2,
esto es, los cocientes de la forma
saber
/2- es irracional. 2, 8, 18, 32, 50,....,
X. Pero usted mismo nos ha dicho que no procedamos como cubierto, según parece, hace cerca de 25 siglos por un
los filósofos que pretenden crear algo inventando un tal Hipaso de Metaponto, a quien, dicen las malas len-
guas, ese descubrimiento le costó la vida porque contra
término, como esencia inmanente", y asignándole propie
decía las enseñanzas de su maestro Pitágoras. El argu-
dades. ¿Cómo sabemos que hay un número que elevado al
cuadrado da dos? Y, en caso de que lo haya, ¿cómo mento procede así: primero se demuestra que el produc-
to de dos impares es impar; esto es casi evidente y se
sabemos que no hay muchos más?
basa en que pa t. + pat = pan y pan + ímptV1 = .impah. Por lo
Esa discusión nos alejaría del tema y, en todo caso, 2 es par entonces n es par (pues
M . tanto se tiene que s i n
yo puedo reformular mi enunciado para no mencionar la 2
si n fuera impar entonces n , que es nxn, debería ser
raiz de dos. Lo que he afirmado es que ningún racio- impar).
nal elevado al cuadrado da dos. En otros términos, que
no existen enteros positivos m y n tales que Antes de empezar la demostración propiamente dicha
se anuncia que se usará un método indirecto llamado
231
230
"reducción al absurdo". Para ello se supone que lo que
Z. Siempre me queda la sensación de no entender cabalmen-
se va a demostrar es falso, es decir, se supone que sí
te ese razonamiento. Cuando leí la demostración por
existen entes positivos m y n tales que
primera vez me dejó la sensación de que me estaban en-
( ) 2 . 2,
volviendo en palabras. Luego la releí varias veces, pa
ln
so a paso, y no pude hallar nada incorrecto. Ahora la
y se trate de ver que esto conduce a una contradicción. entiendo.
sarlo de robo.
2
4k 2
Entonces (2h) 2 2
= 2n , esto es, = 2n y enton-
2
ces n = 2h 2 . Luego n2 es par y por lo tanto n tambírbl
Además, usted nos dijo que, en general, v es irra
eó pcut. En consecuencia, tanto cional siempre que p no sea cuadrado. El método dado
m como n serían pares,
no es directamente aplicable para ver que, por ejemplo,
lo cual contradice el hecho de que m y n no tienen fac
mh
no existen enteros m y n tales que r2 = 12, esto es,
tores comunes. La contradicción proviene de haber su-
2 2
tales que m = 12n .
puesto que el enunciado es falso. Esto quiere decir
233
conocer su estructura, sus componentes. Esto me recor que son los números primos. Todo entero positivo, ma-
ció algo que usted llamó el teolema 6undamentat de /a yor que 1, está compuesto de factores primos. Por ejem
ca aprendimos que hay dos clases de sustancias: simples M. Reconozco que su analogía es significativa y puede ayu
como el hidrógeno (H), el oxígeno (0) y el carbono (C),
dar a entender el teorema fundamental de la aritméti
-
y compuestas como el agua y el azúcar. Las primeras ca. Sin embargo, como toda analogía, tiene alcance li-
son los eteinentoó y constituyen los bloques básicos de mitado y, en todo caso, no es una demostración.
que están hechas todas las sustancias.
Pero no nos desviemos del tema y prosigamos la idea
Por ejemplo, cada molécula de agua está formada de Z. Para ello, observen que al multiplicar un entero
por dos átomos de hidrógeno y uno de oxígeno, por eso por sí mismo el número de cada uno de sus factores pri
su fórmula química es
mos se duplica. Por ejemplo:
Agua = H 2 0. 23-3-72•19)
22.344x22.344 = (2 3 .3.7 2.1 9) . (
4 -19 2 .
La fórmula del azúcar o sacarosa es = 2
6
-3 2 -7
235
L34
• He aquí una pregunta clave: ¿qué puede decirse del
en la materia?
producto de un no - cuadrado por un cuadrado?
Esto quiere decir que el producto de un no-cuadra- Y. Pero es que uno puede comprobar el teorema cuantas ve
do por un cuadrado nunca puede ser un cuadrado.
ces quiera:
4
lo cual quiere decir que / -
)5 es irracional. iHemos obte 351.728 = 2.2-2-2-13-19.89 = 2 .13-19-89.
hido el resultado general: No sólo ) 72- sino 15, 1,
,7
Y. Pero, ¿es que hay alguna duda sobre eso? En el campo pocos millones de casos.
236
237
existen enteros positivos tales que
nerla a prueba, al principio con escepticismo:
x + gn = z n.
para n = 1 se tiene E = 41, primo (...)
para n = 2 se tiene E = 43, primo (... casualidad) Desde entonces nadie ha podido encontrar una excea
para n = 3 se tiene E = 47, primo (... de buenas) ción. ¿Nos permite eso concluir aue la afirmación de
Fermat es cierta?
luego con curiosidad:
M. En ese caso tornaríamos el menor, digamos n', de todos Y. iBasta ya! Este retroceso sin fin me da vértigo. Su
esos monstruos. Por hipótesis, habría una cadena des- método de demostración se basa en el agotamiento del
cendente infinita. paciente. A estas alturas estoy dispuesto a aceptar
cualquiera cosa.
n * > m > 5 > >... (>1).
debe ser finita y entonces la cadena n >in> e >t>... X. Que lo damos por cierto, sin demostración. Por decreto.
es finita. Esta contradicción demuestra que no pueden
existir tales monstruos. Z. iBuena hora de decirlo! Habríamos podido decretar que
241
X. Sí. Cuando uno encuentra varios matemáticos hablando;
M. Y algo más. Es cierto que la verdad no se establece,
cada uno está tratando de demostrar: "yo soy el mejor
sólo se transfiere. Como no queremos decretar cosas
matemático que hay aquí".
contradictorias, usamos el retroceso buscando asentar
nuestros pies en terreno firme y así garantizar que
M. Dejémonos de vainas y prosigamos. En la investigación
no haya contradicción.
matemática las demostraciones o pruebas, llamémoslas
M. iSabía que llegaríamos a este punto! No me vayan a se ponen a prueba las conjeturas.
agredir por lo que voy a contarles. Pues bien, en
X. Pero no todos vamos a ser investigadores. Además, ma-
1931 Kurt G6del demostró algo desconcertante, a saber:
temáticos eminentes han declarado sin ambajes que el
es imposible demostrar que los axiomas básicos de las
trabajo matemático, contrariamente a un mito corrien-
matemáticas no son contradictorios.
te, nunca es deductivo en su creación.
Y. iHe debido marcharme a tiempo! Esto es el colmo, es
M Eso es cierto. También en matemáticas la investigación
esóterico. No le veo sentido a estas discusiones. Yo
procede por ensayo y error; se basa en intuiciones va-
siento que la aritmética, la geometría y las otras
gas, conjeturas tentativas, razonamientos por analogía,
disciplinas matemáticas no son vacías y que en ellas
partidas falsas y retrocesos frecuentes, para no ha-
las demostraciones son importantes.
blar de las vacilaciones, angustias y rivalidades pro-
X. Para los profesores indudablemente lo son. Una demos- pias de toda actividad humana. En muchos casos se lo-
tración en una clase de matemáticas es a menudo eso: gran los resultados antes de tener las pruebas, es de-
la demostración de un producto. Una exhibición del cir, los argumentos aceptables según los cánones. Cáno
presunto saber del profesor. Un show que casi siempre nes que cambian con las épocas. No es totalmente cier-
se limita a recitar el contenido de un libro. to que todo lo que era una prueba para los griegos lo
siga siendo para nosotros. De hecho hay fallas de rigor
Incidentalmente he observado que todos los mate-
en Euclides... y hasta teoremas falsos.
máticos están siempre tratando de demostrar una y la
243
242
definición rigurosa del rigor; el rigor se describe Tampoco podemos admitir que se trate de dar a los
intuitivamente. La aceptación de una prueba matemáti- profesores la oportunidad de demostrar su habilidad
ca se decide por consenso entre quienes están capaci- para memorizar o copiar en el tablero lo que muchas
tados para juzgarla. Una prueba matemática es válida veces está mejor expuesto en un libro.
si logra convencer a quienes están preparados para en
tenderla. No se trata, finalmente,de entrenarse para descu-
demostraciones matemáticas. Es parte de su oficio. Pe rrectas pero creo que la matemática no se reduce a la
ro, ¿qué sentido tiene hacer demostraciones tras de- demostración y que, por otra parte, la demostración
mostraciones ante un auditorio que no está en condi- puede jugar papeles importantes aunque diferentes a los
X. Por lo menos sabemos cual no es ese papel. En primer vención, la matematización de situaciones reales, la
vitable incertidumbre sobre la consistencia de los Por su parte, unas pocas demostraciones bien esco-
axiomas.
gidas y cuidadosamente presentadas pueden hacer más
244
245
convincentes y ayudar a recordar algunos hechos impor
X. Un docente que conozca mucho más de lo que va a ense- de afiliación a sus miembros en sus respectivas categorías.
ñar para que tenga perspectiva y criterios para orien- Igualmente se expedirán menciones honoríficas a aquellas
tar y dosificar su enseñanza. personas o entidades que se hagan acreedoras a ellas, pre-
via recomendación de las comisiones encargadas de concep-
Y. Que esté familiarizado con otras disciplinas para que
tuar sobre el caso y con aprobación del Consejo.
ubique su materia y conozca el origen y evolución de Las menciones pueden ser por reconocimiento a:
Parágrafo:
las nociones que explica.
a) La calidad y bondad de obras científicas, didácticas y
divulgativas;
Z. Que conozca la naturaleza del quehacer matemático para
M. Estas metas implican un gran esfuerzo y mejores condi- parte, en las realizaciones del ganador.
246 247