RAZONAMIENTOS LOGICO-DEDUCTIVOS

Ivn Castro Chadid. a Profesor Titular

Ponticia Universidad Javeriana

ivan.castro@jol.net.co

Las demostraciones de tipo Cient co Experimental por lo general obedecen a la siguiente secuencia: a) Se propone una hiptesis para explicar un fenmeno de la naturaleza. o o b) Si las observaciones del fenmeno corresponden a la hiptesis, se cono o vierten en evidencia a su favor. c) Si despus de llevar a cabo experimentos para poner a prueba el poder e de prediccin de la hiptesis se observa que contin a teniendo xito, o o u e entonces hay a n ms evidencia para respaldarla. u a d) Si la cantidad de evidencia es muy grande, la hiptesis es aceptada o como teor cient a ca. Veamos a continuacin algunos ejemplos de aplicacin de este mtodo para o o e resolver algunos problemas de geometr a. Primer Ejemplo: Dado un tringulo rectngulo issceles de cateto 1, empleando el mtodo a a o e experimental cient co determine cunto mide la diagonal a Solucin: o
1 2

1. Tome un tringulo rectngulo issceles de a a o cateto 1; divida cada cateto por la mitad y trace la curva poligonal que est sobre la a hipotenusa del tringulo rectngulo, como a a se indica en la gura . Es claro que la longitud de esta curva es 2.

1 2 1 2

1 2

A Figura 1

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

2. Nuevamente divida cada cateto en cuatro partes iguales y trace la curva poligonal que est sobre la hipotenusa del tringulo a a rectngulo, como se indica en la gura. Es a claro que la longitud de esta curva tambin es 2. e

1 4

1 4

1 4

1 4

1 4

1 4

1 4

1 4

Figura 2

1 8 1 8 1 8 1 8 1 8 1 8 1 8 1 8

3. Nuevamente divida cada cateto en ocho partes iguales y trace la curva poligonal que est sobre la hipotenusa del tringulo a a rectngulo, como se indica en la gura. Es a claro que la longitud de esta curva tambin es 2. e

Figura 3 4. Contin e dividiendo cada cateto en 16, 32, 64, . . . partes iguales y trace u la curva poligonal que est sobre la hipotenusa del tringulo rectngulo, a a a en forma similar a la de los casos anteriores. Es claro que para cada uno de los casos la longitud de esta curva tambin es 2. e

Figura 4 208

 Razonamientos Logico-Deductivos

A medida que se va tomando la particin ms na la curva poligonal va o a tendiendo hacia la diagonal del tringulo y a la vez su longitud siempre es a 2, por lo tanto la tanto empleando el mtodo experimental cient e co puede armarse que: la diagonal del tringulo mide 2 !. a Segundo Ejemplo:

Sobre el dimetro de una circunferencia de radio 1, se construyen dos semia circunferencias de radio 1/2 como se muestra en el primer cuadro de la gura; sobre el dimetro de cada una de estas semicircunferencias se construye dos a semicircunferencias de radio 1/4 como se indica en el segundo cuadro; en forma anloga se contin an construyendo semicircunferencias de radios 1/8, a u 1/16, 1/32, 1/64, . . . , como se muestra en la gura, las cuales van dando origen a las curvas del segundo nivel del dibujo. De esta forma se obtiene una sucesin de curvas constituidas por semicircunferencias conectadas siendo la o longitud de cada una de ellas , luego la curva l mite tambin medir , y e a se confundir con el dimetro de la circunferencia de partida que es 2, por lo a a tanto empleando el mtodo experimental cient e co se ha demostrado que: =2! Como podemos darnos cuenta en estos dos ejemplos, las demostraciones de tipo cient co experimental dependen de la observacin y de la percepcin, las o o cuales son falibles y slo suministran una aproximacin a la verdad. o o 209

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

En general se opera en forma similar al sistema judicial, ya que se asume que una teor es verdadera si hay suciente evidencia para aceptarla ms all a a a de toda duda razonable. Parece innegable que los griegos fueron los primeros en concebir la matemtica como un sistema de conocimientos orgnico, consistente, irrefutable a a y tendiente a la universalidad. Su gran legado a la teor del conocimiento a fue el habernos ense ado que las demostraciones matemticas no dependen n a de la evidencia tomada de la falible experimentacin, sino que se sustenta o en procesos lgicos deductivos y una vez comprobadas son verdaderas para o siempre. Para muchos cient cos, la ciencia griega no tiene otro inters que el e histrico, mientras que la matemtica griega es fundamental en la formacin o a o de cualquier matemtico de nuestra poca. Harold Godfrey Hardy, llamaba a e a los matemticos griegos, colegas de otro colegio. a La demostracin matemtica, es absoluta y libre de duda, debido fundameno a talmente al hecho que toda teor matemtica se desarrolla de una manera a a ordenada, coherente y lgica, paso a paso, a partir de unos axiomas preo viamente establecidos (mtodo deductivo); los cuales tienen las siguientes e caracter sticas: a) Son completos, es decir, toda proposicin vlida en esa teor admite o a a una prueba a partir de estos axiomas. b) Son consistentes, es decir, a partir de estos axiomas no se pueden derivar teoremas contradictorios. c) Son independientes, esto es, ninguno de los axiomas es consecuencia de los otros. De ah que universalmente se reconozca que la principal aplicacin de la , o matemtica se da en la formacin mediante su mtodo cient a o e co de sujetos capaces de observar, analizar y razonar, como paso previo para la obtencin o de mentes creativas y anal ticas. Veamos como se demuestra, a la manera griega, con el uso exclusivo de la regla y el comps, que la longitud del tringulo del primer ejemplo no puede a a ser 2. Se dice que dos segmentos a y b son conmensurables, si existe un tercer segmento x tal que a = nx y b = mx para algunos enteros positivos n y m. 210

 Razonamientos Logico-Deductivos

x x

... a = nx

... b = mx

Si

2 fuera racional, entonces existir y n meros enteros tales que an u 2 = , luego la diagonal del cuadrado de lado 1 es conmensurable con el 1 lado del cuadrado ya que el segmento x de longitud mide tanto al segmento unidad (1 = x), como al segmento 2(x = 2). Veamos a continuacin que para cualquier cuadrado su diagonal no es cono mensurable con el lado. Supongamos que no. Entonces existe un cuadrado 2ABCD tal que su diagonal AC y su lado AB son medidos por el segmento x. Tracemos una recta perpendicular a AC a travs del punto E tal que AE = AB. e Existen m n naturales tales que AB = mx y AC = nx luego EC = (n m)x. E Los tringulos rectngulos ABF y AEF a a son semejantes porque tienen un cateto igual AB = AE y la hipotenusa AF com n. Luego u BF = F E.

Por otra parte el CEF CBA ya que E = B = 90 y C es com n; entonces EC = F E (porque AB = BC). De donde BF = EC y por u lo tanto F C = mx (n m)x = (2m n)x. Llamemos n2 = (2m n) y m2 = n m. Es claro que 0 < n2 < n. Construimos el cuadrado de lado EC = m2 x y diagonal F C = n2 x. Procediendo en forma similar a como lo hicimos con el cuadrado 2ABCD tenemos que es posible construir un cuadrado 2IJKC sobre la diagonal F C del cuadrado 2EF GC tal que IC = m3 x y JC = n3 x con m3 y n3 naturales y adems 0 < n3 < n2 . a 211

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

Este proceso puede continuar indenidamente y en particular se va generando una sucesin innita decreciente de nmeros naturao u les, n > n2 > n3 > . . . > nk > . . . lo cual es una contradiccin, ya que toda o sucesin decreciente de n meros naturales o u tiene un elemento m nimo. La demostracin de la no-conmensurabilidad o de la diagonal y el lado del cuadrado, se le atribuye a Hipasus de Metaponto, uno de los disc pulos de Pitgoras quin vivi en el a o a e o n 450 a.C.; la leyenda
A D

K I G

C J

no le reserva un nal feliz rodeado de sus nietos, sino una muerte violenta al ser arrojado al mar por divulgar el resultado fuera de la secta. Si bien es cierto, nosotros podemos resignarnos a la no conmensurabilidad de la diagonal y el lado del cuadrado, los griegos no pod hacerlo ya que hab an an construido una vasta teor de los movimientos de los planetas, as como a tambin una explicacin racional de las relaciones individuales y sociales y e o una teor musical que se fundamenta en que todas estas relaciones se reg a an por cocientes de enteros. Demostraciones de no-solubilidad El poder demostrar que un problema no tiene solucin a menudo no es una o labor sencilla, debido a que se tiende a confundir el que no se haya podido encontrar la solucin a un problema con que el problema no sea soluble. o Casi en todas las ciencias existen problemas abiertos para los cuales no se ha podido demostrar si son, o no, solubles y muy pocos son los que se les a podido probar que son insolubles, esto es, que los intentos de solucionarlos conducen a una contradiccin. Veamos el siguiente ejemplo ilustrativo: o A un tablero de ajedrez se le han quitado dos esquinas opuestas, de tal forma que quedan tan slo 62 cuadros, se tienen adems 31 chas de domin cada o a o una de las cuales puede cubrir exactamente dos cuadros del tablero. Es posible cubrir con estas 31 chas los 62 cuadros que quedan?. 212

 Razonamientos Logico-Deductivos

Solucin: o a) Empleando el mtodo experimental cient e co: Ensaye una disposicin de las chas; si esta no le funciona, ensaye o otra; si nuevamente no le funciona ensaye otra distinta y contine as u sucesivamente. Despus de realizar este proceso muchas veces descubrir que todas e a fallan; este hecho le permite plantearse la hiptesis: el problema no o tiene solucin. o Si despus de llevar a cabo procesos similares, para poner a prueba el e poder de prediccin de la hiptesis, se observa que contin a teniendo o o u xito, entonces hay an ms evidencia para respaldarla. e u a Si la cantidad de evidencia es muy grande, respaldada en la imposibilidad de resolver el problema despus de que mucha gente haya hecho e muchos ensayos, ninguno con xito, entonces existe suciente infore macin para aceptar la hiptesis como cient o o camente vlida, aunque a quede siempre la duda acerca de su abilidad, ya que existen millones de posibles arreglos y por lo limitado de la vida humana tan slo es o posible explorar una pequea fraccin de ellas. n o b) Empleando razonamientos lgico-deductivos: o Se han suprimido dos cuadros blancos en el tablero de ajedrez, por lo tanto quedan slo 30 cuadros blancos y 32 cuadros negros. o Por otra parte, cada cha de domin cubre un cuadro blanco y uno o negro, independiente de la forma horizontal o vertical en que se coloque en el tablero. 213

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

Por lo tanto, cualquier arreglo de las 30 primeras chas cubre 30 cuadros blancos y 30 negros, quedando una sola cha y dos cuadros negros; pero esa cha no puede cubrir estos dos cuadros negros, lo cual es una contradiccin. De donde podemos concluir que, o el problema no tiene solucin!. o La analog en matemticas. a a La analog ha sido una de las principales herramientas que ha empleado a el hombre en la b squeda de la interpretacin cient u o ca del universo; las investigaciones sobre los or genes de la matemtica se centran principalmente a en los trabajos desarrollados por los pueblos caldeo-asirio y egipcio y en ellos el razonamiento por analog es el fundamental. a La compenetracin con el razonamiento analgico es tan grande, que si obo o servamos con detenimiento hasta las rutinas que realiza a diario cualquier ser humano, obedecen en muchos casos a razonamientos por analog Ante una a. situacin especica usualmente recurrimos a la memoria para contrastarla o con experiencias anteriores y buscar posibles soluciones por analog a. As por ejemplo, cuando una persona se coloca al frente de un espejo con el n de peinarse, esta viendo una imagen suya y no se esta viendo a s mismo (porque esto es imposible); a continuacin realiza la operacin de peinarse o o y cuando considera que la imagen que esta viendo queda de una manera aceptable de acuerdo a su criterio, por analog acepta que l tambin qued a e e o bien. El pensamiento analgico es tan fuerte, que en muchas ocasiones respondemos o en forma reeja. Por ejemplo cuando nos dicen: La mam de Luis tiene a cinco hijos, el mayor se llama Pa, el segundo Pe, el tercero Pi, el cuarto Po, Cmo se llama el quinto?. Es natural que por analog tendamos a decir o a que se llama Pu. Uno de los ms grandes historiadores de la matemtica Eric Temple Bell a a sosten La matemtica desprecia la simple inventiva y busca basarlo todo a: a en principios generales. El matemtico moderno partiendo de un mnimo a de hiptesis busca las soluciones de un problema particular como ejemplo de o una teora general unicada con respecto a algn concepto o a algn mtodo u u e de aplicacin universal. Una solucin aislada obtenida por algn ingenioso o o u articio indica probablemente una comprensin incompleta, en vez de testio monio de perspicacia. . . ; este es el mtodo que se emplea generalmente para e 214

 Razonamientos Logico-Deductivos

resolver problemas en matemticas, haciendo acopio no slo de razonamiena o tos lgico deductivos, sino tambin, como sucede en todas las ciencias, de la o e analog siendo esta una de las ms valiosas herramientas en la construccin a a o del conocimiento matemtico. a Resumiendo: Dado un problema particular observando otros problemas ana logos se construye un problema general del cual ste es un caso particular y e lo que se busca es resolver el problema general. Veamos a manera de ejemplo el siguiente problema: En cierta comunidad hay gente de bien (la mayora) y gente que no es de bien (una peque a minora), como lo que se quiere es que esta situacin se n o corrija que debe hacerse?. En la b squeda de una posible solucin una gran cantidad de personas prou o pone que se elimine la gente que no es de bien. El problema que se ha planteado no es sino un caso particular del siguiente problema general: En cierta comunidad hay gente que cumple la condicin P (la mayora) y o gente que no cumple la condicin P (una peque a minora), como lo que se o n quiere es que esta situacin se corrija qu debe hacerse?. o e Por analog con la solucin del caso particular entonces se debe eliminar la a o gente que no cumple la condicin P . o Aqu empieza a cuestionarse esta posible solucin ya que son muchas las con o diciones P aceptadas como positivas por la gran mayor y que obviamente a no cumple una peque a minor como por ejemplo: Tener las mismas creenn a, cias religiosas, tener los mismos intereses pol ticos, tener los mismos intereses culturales, no ser obeso, no ser terco, no tener alto el acido urico y muchas ms. a Al escribir este problema en lenguaje matemtico quedar de la siguiente a a forma: Sean: U HP El conjunto de todas las condiciones P aceptadas como positivas por la mayor de los miembros de la comunidad. a El conjunto de todos los que satisfacen la condicin P o

Entonces los unicos que sobrevivir ser los que estn en el conjunto: an an e HP
P U

215

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

Para tener una idea de cuantos pueden ser los posibles sobrevivientes veamos este otro problema: Diremos que un ser humano es interesante si tiene una cualidad o un defecto que lo hace distinto a los dems. Similarmente un ser a humano es corriente si no es interesante. Son los seres humanos interesantes o corrientes? En efecto sean: I = {x | x es ser humano y x es interesante} y C = {x | x es ser humano y x es corriente } Si la persona ms anodina del mundo (es a decir la ms corriente), entonces tiene una a caracter stica que la distingue de todos los dems, luego I. a Sacamos a de C; entre los elementos que quedan debe haber un que es el ms corriente de todos, entonces tiene una caracter a stica que la distingue de todos los dems luego I. a Podemos continuar as sucesivamente hasta agotar todos los elementos del conjunto C, llegando de esta forma a demostrar que todos los seres humanos somos interesantes. De lo anterior se desprende que para cada ser humano existe una condicin o P que satisface la mayor pero que l no la satisface. Por lo tanto el a e conjunto HP
P U

no tiene elementos lo cual implica que todos los miembros de esa comunidad sern eliminados. Por lo tanto no es posible aceptar como vlida la a a solucin que se propone. o En general, dado una situacin P si lo que se quiere es que no se presente su o negacin, el enfoque cient o co en la b squeda de la solucin del problema u o 216

 Razonamientos Logico-Deductivos

nos orienta hacia la investigacin de las causas que hacen que se produzca la o negacin de P y son esas causas las que se deben combatir. o LECTURAS RECOMENDADAS R.Courant-H.Robbins, Qu es la Matemtica?, Aguilar, Madrid, 1958. e a F. Cajori, A History of Mathematics, Chelsea Publishing Company, New York, 1980. R. Rodr guez Vidal, Enjambre Matemtico, editorial revert, Barcelona, a e 1988. E. Northrop, Paradojas Matemticas, Union Tipogrca Editorial Hispanoa a Americana, S.A., Mxico,1991. e W.R. Knorr, The ancient tradition of geometric problems, Dover Publications, Inc, New York, 1986. B.Bold, Famous Problems of Geometry, and How to Solve Them, Dover Publications,Inc. New York, 1969. Simon Singh El ultimo teorema de Fermat, Grupo Editorial Norma, Bo got,1999. a

217