Cundo un problema est resuelto ?

a a
Cesar Flores S. Departamento de Matematica Universidad de Concepcion e-mail: cesflore@udec.cl

1.1.

Respuestas completas e incompletas

En el caso del segundo problema, podemos tratar de hacernos una idea probando con algunos valores de n en la expresin. As se tiene o , F (1) = 43, es primo. F (2) = 4 + 2 + 41 = 47 es primo. F (3) = 9 + 3 + 41 = 53 es primo. F (4) = 16 + 4 + 41 = 61 es primo. F (5) = 25 + 5 + 41 = 71 es primo. ...

Al enfrentar una situacin problemtica o o a un ejercicio matemtico, luego de meditar un a tiempo se puede llegar a un sospechoso de solucin o conjetura. Por ejemplo: o
Problema 1. Puede recorrerse un tablero de 3x3 con los movimientos de un caballo? (Pasando una sola vez por cada casillero)

Problema 2. Para n = 1, 2, ..., la expresin o F (n) = n2 + n + 41

Es necesario vericar ms y ms ? La conjea a tura aqu es entonces Es siempre un nmero primo? u ) La expresin F (n) siempre da un nmero o u En el primer problema, luego de hacer varios primo y justicar con intentos, ) Al ir reemplazando se ve claramente que 1 4 7 4 7 2 siempre va a dar un nmero primo. u 6 2 1 5 Nuevamente estamos frente a una respuesta 3 8 5 6 3 8 poco satisfactoria, pues el hecho que algo se Figura: El 1 indica la posicin de partida del caballo, cumpla para algunos valores no signica que o y luego se indican los sucesivas posiciones siguiendo se cumpla para todos los valores posibles (que son innitos). mocimientos en forma de L puede sospecharse que no es posible llenar el tablero de 3x3. La conjetura es entonces )No, no es posible recorrer un tablero de 3x3 con los movimientos de un caballo y justicar esta respuesta diciendo )Trat de hacerlo y nunca pude. e Claramente, la respuesta no es satisfactoria, pues el decir yo no pude no es lo mismo que decir no se puede. 1

C e s a r F l o r e s

Veamos entonces una respuesta para el Problema 1. Esta consiste en notar que el casillero central nunca puede ser alcanzado. S. Por ejemplo: ) No puede recorrerse el tablero de 3x3. Si comienzo del casillero central, no puede saltarse a ninguna otra casilla. Si comienzo de un casillero en el borde, no puede alcanzarse el central

2 Ntese la diferencia de rigor entre las respueso tas. La primera es una armacin dudosa, o basada en una conviccin personal. La segunda o es una argumentacin incontestable, es decir, o una demostracin matemtica en toda regla. o a En el caso del Problema 2, la respuesta dada no slo es incompleta, sino que errnea. En o o efecto, es tan cierto el hecho de que si algo se verica para algunos nmeros no necesariau mente se verica para todos los nmeros que u aqu lo armado en realidad no es cierto. La respuesta correcta es )La expresin F (n) NO siempre da un o nmero primo. u En efecto, podr amos seguir intentando para distintos valores de n Incluso hasta n = 39 siempre da un nmero primo ! Pero para n = u 40 se tiene F (40) = 402 + 40 + 41 = 40(40 + 1) + 41 = 40 41 + 41 = 412
Problema 3 . Existen cuadrados mgicos para la a ? ? suma de 2x2 ? ? ?

Primero, recordemos que un cuadrado mgia co para la suma debe tener la misma suma en sus las, columnas y diagonales. Adems, a no puede tener el mismo nmero en todos sus u 1 1 67 67 casilleros, as , o no valen 1 1 67 67 como cuadrados mgicos (no tienen nada de a mgicos, es verdad). a C Nuevamente, se pueden hacer varios intentos y conjeturar que la respuesta es que no existen. Sin embargo, ya estamos prevenidos contra las respuestas del tipo )No existen, pues no he podido encontrar uno. Pero entonces, cmo demostrarlo? o Bueno, supongamos que se pudiera llenar las casillas formando un cuadrado mgico: a
e s a r F l o r e s

S. a b es un cuadrado perfecto, y no es primo. En este caso, la justicacin de nuestra conjetura o c d es ms simple a ) La expresin F (n) no siempre da un La suma de las las, columnas y diagonales o nmero primo. En efecto, F (40) no es primo. siempre es la misma. En particular, si u

a + b = a + c, Esto muestra que las justicaciones adecuadas no tienen porqu ser complicadas, slo e o debe tenerse que b = c. Similarmente d = a deben ser concluyentes y desprovistas de arpero, tomando la diagonal, a = b. En conmaciones dudosas. clusin, todos los nmeros deben ser iguales. o u Pero entonces el cuadrado no es mgico (no a u 1.2. Justicacin completa puede tener todos los nmeros iguales). Luego, o no puede existir un cuadrado mgico 2x2. a = Demostracin o Nuevamente estamos frente a un argumento sencillo e incontestable, es decir, una deLa actividad ms importante de las a mostracin. o matemticas no es hacer clculos ni memorizar a a teoremas. Es demostrar propiedades. Esto Problema 4. Siempre es cierto que al cortarse a e es, dar una justicacin concluyente de lo que dos rectas los ngulos opuestos por el vrtice son o iguales? se arma y dilucidar porqu el fenmeno estue o diado se comporta de cierta manera. Este problema es distinto a los anteriores. Pero Qu se pregunta aqu e ? Ilustremos con otro par de ejemplos.

1.3. SOBRE LA NECESIDAD DE DEMOSTRAR Todos sabemos que lo armado siempre es cierto, pero Cmo justicarlo ? Alguien poo dr decir: a ) Porque as me lo ensearon, n pero esta respuesta no satisface una mente cr tica. Adems, a veces la memoria nos engaa a n y puede que recuerde mal lo que me ensearon. n Cmo estar seguros? o Bueno, se trata de encontrar el motivo que lleva a la igualdad buscada. Siempre ayuda una gura para ilustrar la situacin. o As tenemos que , a + b = 180 = c + b.

De donde concluimos a = c. Lo mismo puede hacerse para comprobar que b = d. Ahora no slo sabemos que el resultado es o cierto, sino que comprendemos porqu es cierto. e

1.3.

Sobre la necesidad de Demostrar

Debemos encontrar el motivo que nos lleva a conjeturar que a = c. Algunos pueden verlo inmediatamente, otros requerirn ms tiempo, pero nos damos cuenta a a que es de ayuda el ngulo b. a En efecto, notamos primero que a + b = 180.

Pero tambin c + b = 180. e

Una demostracin es entonces una justio cacin incontestable de lo que se arma. La o necesidad de demostrar los resultados fue vista por los Griegos al avanzar en su estudio de la Geometr De hecho, esto ha elevado histria. o camente a los Griegos como los padres de la matemtica. a Sin embargo, antes de los Griegos ya se cultivaba la geometr y los Egipcios y Babiloa nios eran verdaderos expertos. Por ejemplo, los Egipcios utilizaban el tringulo de lados 3-4a 5 para construir ngulos rectos y eran espea cialistas en la medicin de terrenos. En sus o mltiples viajes, los sabios griegos recopilaron u muchos de los resultados obtenidos por otras culturas sobre la geometr Pero entonces, si a. otras civilizaciones ya cultivaban esta ciencia Porqu se considera a los Griegos los padres e de la Matemtica ? Se trata de una injusticia a histrica ? o La diferencia es la siguiente. Egipcios y babilonios deduc los resultados geomtricos an e por la prctica, y los iban perfeccionando a poco a poco para disminuir el error en sus mediciones, quedndose nalmente con los que a demostraran mayor exactitud. As si un egip, cio preguntaba a su maestro: ) Porqu el tringulo 3-4-5 forma un ngue a a lo recto?, la respuesta habr sido seguramente a

C e s a r F l o r e s S.

4 ) Porque as me lo ense mi abuelo, no adems que funciona en la prctica. a a Este tipo de respuesta no pod satisfacer a a los inquietos Griegos. Tales de Mileto, uno de los siete sabios, fue el precursor de una revisin cr o tica de todos los resultados de la geometr conocidos hasta ese momento. Era a necesario poder distinguir los resultados verdaderos de los falsos (rondaban muchos resultados dudosos). As se trataba de saber , porqu un mtodo que parec funcionar era e e a cierto. Esto es lo que distingue a los Griegos de sus precursores. Los Griegos demuestran, sus precursores slo hacen clculos y desarrrolo a lan mtodos por ensayo y error. e Hoy en d los matemticos siguen desa a cubriendo nuevos resultados, pero necesitan comprender el porqu son ciertos y justicarlos e adecuadamente, es decir, demostrarlos. B = 0, la ecuacin queda Ax2 + C = 0. Esta o se resuelve fcilmente: a 0 02 4AC . x = C/A = 2A Vericndose la frmula con B = 0. Para el a o caso general, notemos que Ax2 + Bx + C = 0 x2 + B C x + = 0. A A

Usamos un truco muy util, conocido como Lema de Nikita-Nipone. La idea es completar el cuadrado de binomio x2 + B/Ax. Esto se logra B , sumando ( 2A )2 . As x2 + x2 + B C x+ =0 A A

1.3.1.

Slo se que nada se? o

B B2 C B2 x+ + = A 4A2 A 4A2

Tales de Mileto vio la necesidad de revisar los resultados geomtricos conocidos y justie car los verdaderos, desechando los falsos. Este proceso cr tico tuvo su culminacin con Euo clides que escribi el tratado Elementos, en el o cual se justica toda la geometr conocida en a la poca (que no era poca). e Si los antiguos griegos fueron capaces de llevar a cabo esta revisin total de sus o conocimientos Podr t mismo pensar alas u gunos resultados de matemticas que conozcas a y tratar de encontrar el porqu son ciertos? e Qu es lo que realmente sabes? e
Ejemplo. Las ra de la ecuacin cuadrtica gences o a eral Ax2 + Bx + C = 0 estn dadas por la frmula a o B B 2 4AC . x= 2A

B 2 B2 C B 2 4AC (x + ) = = , 2A 4A2 A 4A2 de donde se deduce la frmula conocida. o Notemos que la comprensin de una deo mostracin otorga maestr adicionales. Si alo as guien olvida la frmula puede recordar que el o mtodo para resolver la ecuacin es haciendo e o F una completacin de cuadrado. o l Por ejemplo, para resolver la ecuacin o x2 4x + 1 = 0
o r e s C e s a r

vemos que para completar el cuadrado x2 4x se debe sumar 4, quedando la expresin o S. x2 4x + 4 + 1 = 4 (x 2)2 + 1 = 4 (x 2)2 = 3. As inmediatamente las soluciones son , x=2+ 3, x = 2 3.

Demostracin. A veces conviene observar o un caso ms simple a manera de gu Si fuera a a.

1.4. OTROS EJEMPLOS

5 o, lo que es lo mismo, x2 + 1 2x 0. x Pero podemos ver aqu que el numerador es 2 igual a (x 1) , lo que nos ilumina para dar la demostracin, la cual puede redactarse de o manera directa como sigue. La cantidad (x 1)2 = x2 2x + 1 siempre es 0 (es un cuadrado). Luego, como x > 0, se tiene
x2 2x+1 x

1.4.

Otros Ejemplos

Una vez que se tiene claro que es necesario demostrar lo que se arma, se pasa a tratar de desarrollar tcnicas para encontrar justie caciones adecuadas. Si bien no existe (ni puede existir) un mtodo para encontrar demostrae ciones, hay ciertas estrategias generales que pueden ayudar. Tal vez la primera manera de enfrentar un problema es avanzar poco a poco a partir de los hechos conocidos hasta llegar a la conclusin o que se quiere obtener.
Problema 5. Existen nmeros enteros p, q tales u que 5 + p2 + q 2 = 2pq + 4 ?

0.

Simplicando la expresin anterior se obo tiene lo que se quer a. Este problema es un ejemplo de demostracin retrocediendo, que consiste en paro tir de la conclusin y tratar de relacionarla con o un hecho conocido, para luego deducir lo que F se quiere de ese hecho conocido.
Problema 7. Si n es un nmero impar, entonces la u ecuacin p2 +pn = 0 no admite ninguna solucin o o entera l o r e s C e s a r

Al intentar con varios valores para p y q, nos damos cuenta que el lado derecho siempre resulta menor que el izquierdo. Si pasamos todos los trminos al lado izquierdo, la igualdad quee da como 1 + p2 + q 2 2pq = 0. Pero notamos que p2 + q 2 2pq = (p q)2 , de donde la igualdad es 1 + (p q)2 = 0. Pero esta igualdad nunca puede cumplirse, pues el lado izquierdo siempre es mayor que 1.

En efecto, supongamos que la ecuacin ad- S. o 2 mite una solucin p. Si p es par, p es par y o luego p2 + p es par. Pero n es impar. Si p es El problema 5 es un ejemplo de la tcnica e impar, p2 es impar y p2 + p es par, lo que nuede demostracin por avances sucesivos. Es deo vamente niega el hecho que n es impar. cir, se avanza paso a paso, conectando distintos hechos, hasta llegar a la conclusin. o Esta es una demostracin por pesimismo. o Este tipo de demostracin se ajusta especialo Problema 6. Demostrar que para cualquier mente a armaciones del tipo Supongamos que nmero positivo x (no necesariamente entero), se u se cumple .... , entonces es cierto que ..... Se 1 cumple que x + x 2. trata de asumir que no se cumple la conclusin, o llegando a la negacin de los supuestos. o Se nos pide demostrar que 1 2. Problema 8. Si un tringulo tiene dos ngulos a a x iguales, entonces es issceles. o Ahora, nos damos cuenta que esto es equivalente a Otro resultado conocido. Para justicarlo, 1 x+ 20 supongamos que se cumple la igualdad de x x+

6 ngulos A = B. Qu pasar si los lados a e a opuestos a estos ngulos no fueran iguales? Por a ejemplo, si AC > BC. 4. Las mediatrices de un tringulo concurren a en un punto. 5. Puede recorrerse un tablero de 4x4 con los movimientos de un caballo? 6. Encuentre todos los nmeros enteros p, q u que satisfacen la relacin 1 + p + q = pq. C o 7. Considere un cuadrado de lado entero n. Suponga que se puede subdividir completamente en tringulos rectngulos con a a catetos de longitud 3cm y 4cm. Demostrar que la cantidad de tringulos en que se dia vide el cuadrado siempre es par.
e s a r F l o r e s

En ese caso, podemos marcar un punto P sobre AC de manera que AP = BC. Pero entonces se tiene la correspondencia Lado- Angulo- Lado AP = BC, P AB = CBA, AB = BA, y los tringulos AP B y BCA ser cona an gruentes. Pero esto no puede ser, pues el tringulo original es ms grande que el otro. a a Luego, los lados deben ser iguales. Este es un ejemplo de demostraccin por reo duccin al absurdo ( o por ridiculizacin). o o Consiste en suponer que el resultado no es cierto y deducir alguna barbaridad de eso. Esto signica que el resultado no puede ser falso, por lo cual es verdadero. Estas son slo algunas de las tcnicas que o e pueden identicarse. Seguramente, luego de resolver varios problemas, t mismo podrs deu a sarrollar tus propias tcnicas. e

8. Considere cinco puntos (n1 , m1 ), (n2 , m2 ), (n3 , m3 ), (n4 , m4 ) y (n5 , m5 ), de coorde- S. nadas enteras en el plano cartesiano. Muestre que el punto medio de al menos uno de los segmentos que dichos puntos determinan tambin tiene coordenadas e enteras. 9. Es verdad que un nmero entero positivo u n es divisible por 3 cuando la suma de sus cifras es un mltiplo de 3 ? u 10. Puedes encontrar y justicar un criterio de divisibilidad por 9 ? 11. Se dibujan 5 puntos en el interior de un cuadrado de lado 2. Demuestre que al menos dos de estos puntos an a una disest tancia menor o igual que 2. 12. Demuestre que nmero racional. u 2 no puede ser un

1.5.

Ejercicios

1. El cuadrado de un nmero impar es un u nmero impar. u 2. Las diagonales de un paralelogramo se bisecan. 3. La suma de los ngulos interiores de un a tringulo es 180 grados. a

13. Demuestre que hay innitos nmeros priu mos.

1.6. COMENTARIO FINAL: LOS RESULTADOS DE LA GEOMETR ELEMENTAL IA

1.6.

Comentario Final: Los resultados de la Geometr elemental a

Si te interesa este tema, puedes ver mi apunte Geometr a Elemental: Resultados Bsicos. (Pronto en la red) a C
e s a r F l o r e s S.

Al hacer una revisin cr o tica de los resultados que uno conoce surge una dicultad lgica: o Cul es el punto de partida ? a Por ejemplo, para poder ver que los ngulos a opuestos por el vrtice son iguales usamos el e hecho que un ngulo extendido mide 180. Pero a Cmo sabemos eso? Es decir, ya que estamos o dudando de todo Qu me impide dudar tame bin de esto? e Ahora, se podr responder: a ) Un ngulo extendido mide 180 porque cona tiene dos ngulos rectos, que miden 90 cada a uno. Pero Cmo sabemos lo de los ngulos rectos? o a En n, los Griegos tambin vieron esta die cultad : Si para justicar un hecho recurro a otro hecho, entonces tengo que justicar el justicador, y luego justicar el hecho que justica la justicacin... y as hasta el innio to. Este crculo vicioso se rompe mediante los axiomas. Toda teor matemtica debe tener a a un punto de partida, hechos que se aceptan como verdaderos y de los cuales se debe deducir todo lo dems. Los Elementos de Eua clides comienzan, en consecuencia, enumerando cinco hechos que se aceptarn como vera daderos, los Cinco postulados de Euclides. Uno de ellos dice: ) Postulado 4: Todos los ngulos rectos a son iguales. De este postulado se deduce que un ngulo a extendido mide dos rectos y, en consecuencia, los ngulos opuestos por el vrtice son iguales. a e Una de las cosas que impresionan de los Elementos es el hecho que a partir de slo 5 simo ples postulados se pueda deducir todo resultado Dr. Csar Flores S. Departamento de e a o de la Geometr incluyendo los ms complica- Matemtica. Universidad de Concepcin. a, a e-mail: ceore@udec.cl dos.