Miscelénea Matemitica 19, 11-23 (1993) u UN TRATAMIENTO GEOMETRICO DE LA INDUCCION MATEMATICA: PRUEBAS QUE EXPLICAN Alfinio Flores Peiiafiel Curriculum and Instruction, Arizona State University. RESUMEN. Representaciones geométricas, de las Hamadas “pruebas sin palabras? se utilizan para probar férmulas numéricas utilizando induccién matematica. Estas pruebas explican las férmulas y permiten ganar una mejor comprensién del proceso de induccién matemética. PRUEBAS QUE EXPLICAN Proof, in its best instances increases understanding by revealing the heart of the matter. Davis & Herech, The mathematical experience, p. 16112 MISCELANEA MATEMATICA El concepto de una prueba no sélo como una verificacién format de un resultado, sino como un argumento convincente, como un medio de comuni- cacién, ha adquirido mayor importancia dltimamente entre los que se preo- cupan por la educacién matemstica. Hanna (1990) sugiere que siempre que sea posible, demos a nuestros alunos pruebas que expliquen en vez de prue- bas que adlo prucben. Tanto las pruebas que prueban como las pruebas que explican son prucbas vilidas. Una prueba que explica, ademés, “debe pro- porcionar una justificacién basada_en las ideas mateméticas involucradas, las propiedades mateméticas que bacen que el teorema afirmado sea cierto” (Hanna, 1990, p.9). LA INDUCCION MATEMATICA Y LAS PRUEBAS SIN PALABRAS Muchas veces la induccidn matemética es percibida por los alumnos como un método que prueba una formula numérica, pero que no les permite ver Jas razones esenciales por las cudles la férmula es valida. Por ejemplo, los alumnos pueden demostrar por induccién que 24249 4---4n? = n(n + 1)(2n + 1)/6 pero no pueden evitar la sensacién de que la formula aparece como “sacada de la manga”. En exte articulo #e presentan algunos ejemploa que permiten a los alumnos ver por qué las férmulas son ciertas. Al inismo tiempo, los ejemplos ilustran loa dos aspectos de una prueba por induccin matemética: el paso inicial, y el paso inductivo. Las pruebas por induccién matemdtica pueden ser también pruebas que explican. La figura la muestra que la suma de los primeros 4 niimeros impares es un cuadrado de lado 4. Es fécil ver cémo extender el cuadrado para formarMISCELANEA MATEMATICA . 13 tun nuevo cuadrado al aiadir el siguiente mimero non (fig. 1b). Esto sugiere que se puede generalizar: 1 +3 4+5+-+++(2n—1)=n?. 13579 1357 = Figura la Figura 1b De igual modo, algunas “pruebas sin palabras” (por ejemplo Cupillari, 1989; Nelsen, 1990; Zerger, 1990), también lamadas “pruebas por vistazo” (Wells, 1991), sugieren la validez de férmulas numéricas. Estos diagramas explican Jas férmulas, le permiten al alumno comprender cémo se pueden obtener. Algunas personas podrian objetar que tales diagramas no consti- tuyen una prueba, ya que estén dibujados aélo para un nimero particular. Sin embargo, una caracteristica esencial de tales diagramas es que sugieren cémo obtener el diagrama para el caso n+ 1, a partir del diagrama pare el caso n, Tales diagramas pueden ser usados para que los alunnos hagan demostraciones por induccién matemética, de modo tal que la prueba no sdlo demuestre sino que también explique. He utilizado estos ejemplos en un curso de solucién de problemas y demostraciones, que es un curso de transicién en- tre los cursos de célculo y los cursos mds formales de matemticas avanzadas (digebra moderna y andlisis). A los alumnos les gusté el enfoque diferente a Ia induccién matemtica, Varios alumnos que obtenian algebraicamente la férmula para el caso & +1, manipulado casi mecénicamente la férmula para el caso k, tuvieron que pensar a fondo el significado del paso induc- tivo en este contexto. Alumnos que estaban acostumbrades a pensar sdlo“4 MISCELANEA MATEMATICA en términos de simbolos desarrollaron habilidad para pensar en formulas en términos geométricos, aunque fue dificil para algunos al principio, En general Jos alunos fueron capaces de usar los diagramas para probar las férmulas por induccién matematica, y resolver los ejemplos que se dan a continuacién, mostrando una mejor comprensién del proceso. EJEMPLO. 1) La suma de los mimeros impares 1+3+5+---+(2n-1) La figura la muestra que 14+3+5+7 = 47, Podemos extender el cuadrado atiadiendo 9 (el siguiente mimero impar) cuadritos para formar un cuadrado de lado 5 (ver fig. 1b). Sin embargo para probar que 1+3+5+---+(2n—1) = n? es valida para cualquier mimero no bastan unos cuantos ejemplos. Sin embargo, suponiendo que tenemos un diagrama para el caso n, es decir que Ja suma de los primeros n néimeros impares forman un cuadrado de lado n, podemos mostrar que se puede afiadir el siguiente mimero impar (2n +1), representado como dos recténgulos de érea n y un cuadrado unitario, para formar un nuevo cuadrado de lado n + 1. Figura 2 La figura la muestra que la formula es vélida para un valor inicial, la figura 2 muestra el paso inductivo, es decir, que podemnos obtener el resultadoMISCELANEA MATEMATICA 15 para el caso para n + 1 suponiendo el resultado para el caso n. Asi, por el principio de induccién matematica, la férmula vale para todos los niimeros naturales. 2) Suma de los cubos de los primeros ntimeros naturales 1?+2?+374---+n? El triéngulo de la figura 3 tiene base (4 x 5) y altura (1+2+3+4), Su area, por otra parte es igual a1 x1?+2% 2743x3744 x4? = (194+2°439+4?). Por tanto (19 +28 439 449) = (4 x5) x (1424344)/2. Para demostrar que en general (242499 +---+n9)=n(n tl) x (1t+2+34---+n)16 ‘MISCELANEA MATEMATICA necesitamos probar el resultado para n + 1 suponiendo el resultado para {n+ 1) (+2) Figura 4 Para el caso n, la base del triéngulo es n(n +1) y su altura (1+2+3+ ssn), Al aiiadir (n +1)? en la forma de una tira de (n + 1) cuadrados de rea (n +1)? , cortando un cuadrado por la diagonal y reacomodando una de las piezas se extiende el triéngulo a uno de base (n+2)(n +1) y de altura (L424---+ n+ (n+ 1) que es lo que queriamos probar. 38) (1x 2)4(2 x3) 4 (3x4) tot (w= In = (n= I)n(n + 1/3 El siguiente diagrama (Wu,1989) muestra el paso inicial y el paso induc- tivo en la demostracién del teorema enunciado.MISCELANEA MATEMATICA FiguaS EJERCICIOS. 1) _ La suma de los primeros aiimeros naturales 1+243444---4n. El recténgulo de la figura 6 por un lado tiene un area de 4 x 5, y por otro lado 2(1 +2+3 +4), De aqui se sugiéze que en general 14243444 ----¢n= n(n +1)/2. Supén que tienes un diagrama para el caso n de esta férmula, muestra cémo se puede extender al caso n +1. Figura 618 MISCELANEA MATEMATICA 2) Sumas de mimeros triangulares. Sea T, = 1+2+3+---+n. El siguiente diagrama (Zetger, 1990) sugiere que 3(7; + 73+ +++ + Ta) = (n+2\(1+24---+n). Supén que tienes un diagrama similar para n. Muestra que puedes extender tal diagrama para el caso (n + 1). 3) Le suma de los cuadrados de los primeros n niimeros naturales. El siguiente diagrams, utilizado por Ibn-al-Haitham (Alhasen) hace casi mil aioe (Baron, 1969), sugiere un método para calcular 1? + 2? +3? + -++4-n?, Supén que tienes un diagrama para el caso n. Muestra cémo puedes extender el diagrama al caso n+l. (Este método geométrico fue también utilizado por Ibn-al-Haitham para obtener también las sumas En? y Cnt y se puede extender para otras potencias de nimeros naturales).MISCELANEA MATEMATICA 19 4) 5) Nimeros triangulares. La figura 9 (Wells, 1991) sugiere que 8T, +1 = (2n+1)?. Supén que tienes un diagrama correspondiente an. Muestra que puedes extender el diagrama a (n +1). fal Figund Sumas de cubos otra vez, 8) La figura 10 (Wells, 1991) muestra un cuadrado grande, de lados (1424+344+5) compuesto por un cuadrado de 1x1, dos cuadrados de 2 x 2, tres cuadrados 3 x 3, etc. El area del cuadrado total es por tanto 19 + 2° + 3° +4 494.5%. Figura 10 Muestra que si tienes un cuadrado de lados (L424+34---4n) formado por cuadrados como en la figura 10, pero que el iltimo conjunto tiene n cuadrados de drea n? , entonces se puede extender a otro cuadrado de lado (1 +2+---+(n +1) sumando (n + 1) cuadrados de érea (n+ 1)?. Hustra para el caso n par yn impar. (Sugerencia: para acomodar los n +1 cuadrados de lados (n + 1) de modo que formen un cuadrado, necesitas que (n +1) x n/2 = {n-N/2xn+n)MISCELANEA MATEMATICA b) La figura 11 (Schrange, 1992) sugiere que la suma P+ B4+R + -+-4-n3 es igual al rea del tridngulo de base (n + 1)n y altura n(n +1)/2. Figura 11 Demuestra que el tridngulo correspondiente al caso n se puede extender a un tridngulo para el caso n+ 1 afiadiendo una tira de n+] cuadrados de area (n + 1)?, transformandola en un trapecio de base mayor (n +2)(n + 1) y base menor n(n +1). Demuestra que el Angulo agudo de la base del trapecio es siempre igual, sin importar et valor de n.MISCELANEA MATEMATICA a c) Demuestra utilizando la idea de la figura 12 (Cupillari, 1989), que AL+ 2434-004) =(n? +n) 7) La suma de ntimeros tridngulares es la suma de cuadrados. Esto es, si Th=142434---+8, entonces Ty Tet Tote t+ Tana = 17 $9? 457 +0 + (20 — 1)? Tt Tat Tate tT = PtP tO +--+ (Qn)?22 MISCELANEA MATEMATICA Tr, ft, J Tove _I Figura 13MISCELANEA MATEMATICA 2B Bibliografia [1] Baron, ME. The origins of the infinitesimal caleulus. Oxford: Pergamon (1969). [2] Cupillari, A. Proof without words: 14243 +. Mathematics Magazine, 62, 259 (1989). +n= [a(n + 1/4. [3] Davis, PJ. & Hersch, R. The mathematical experience. Boston: Birkhauser (1980). [4] Flores, A. (En prensa). A geometrical approach to mathematical induc- tion: Proofs that explain. {5] PRIMUS: Problems, Resources and Issues in Mathematics Undergrad- uate Studies. [6] Hanna, G. Some pedagogical aspects of proof. Interchange, 21(1), 6-13 (1990). : {7] Nelsen, R.B. Proof without words corollary: Sums of squares, Mathe- matics Magazine, 63 , 314-315 (1990). . [8] Schrage, G. Proof without words 142434-+-4n = [n(n + 1)/2). Mathematica Magazine, 65, 185 (1992).. {9] Welle, D. The Penguin Dictionary of Curious and Interesting Geometry. Harmondsworth: Penguin (1991). [10] Wu, T.C. Proof without words: (1x2)+(2%3)+(3%4)4---+(n—1)n = (n— 1)n(n + 1)/3. Mathematics Magazine, 62, 27 (1989).. [11] Zerger, M.J. Proof without words: Sums of Triangular Numbers. Math- ematics Magazine, 63, 314 (1990).