Você está na página 1de 70

curso de post-grado profesores de educacion media especialidad en matematica

DIDACTICA DE LA MATEMATICA

Equipo de Dise o: n Carlos Mauricio Canjura Linares Juan Agustn Cuadra Ernesto Amrico Hidalgo Castellanos e Dimas No Tejada Tejada e Oscar Armando Hernndez Morales a Aarn Ernesto Ramrez Flores o Claudia Patricia Corcio Hctor Duglas Molina e Ana Mirian de Chvez a Luis Edmundo Ramrez

21 de noviembre de 2011

INDICE

INDICE

Indice
1. FUNCIONES. 1.1. Introduccin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 1.1.1. Contenidos. . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.2. Metodolog . . . . . . . . . . . . . . . . . . . . . . . . . . a 1.2. Introduccin al concepto y formas de representar una funcin. . . o o 1.2.1. Comencemos con un ejemplo . . . . . . . . . . . . . . . . 1.2.2. Cmo se nos presentan? . . . . . . . . . . . . . . . . . . o 1.2.3. Actividades . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3. Actividades para la deteccin de conocimientos previos y repaso . o 1.4. Actividades para la adquisicin de nuevos conocimientos . . . . . o 2. GEOMETR IA. 2.1. El teorema de Pitgoras. . . . . . . . . . . . . . . . . . . . . . . a 2.2. Una demostracin sin palabras. . . . . . . . . . . . . . . . . . . o 2.3. Desigualdad de Medias. . . . . . . . . . . . . . . . . . . . . . . 2.4. Diseando una gura especial. . . . . . . . . . . . . . . . . . . . n 2.5. La importancia del dibujo. . . . . . . . . . . . . . . . . . . . . . 2.5.1. Todos los tringulos escalenos son issceles? . . . . . . a o 2.5.2. Visualizacin extraordinaria del teorema de Desargues. . o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 4 4 5 6 6 7 8 10 13 21 21 23 23 25 30 30 31 34 34 34 35 38 39 39 40 41 41 41 42 44 44 46 46 46

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

3. ALGEBRA 3.1. Algunas reexiones generales sobre la enseanza del lgebra. . . . . . . . . . . n a 3.1.1. Razonamiento algebraico. . . . . . . . . . . . . . . . . . . . . . . . . . . 3.1.2. Pensamiento inductivo. . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.1.3. Una actividad motivacional . . . . . . . . . . . . . . . . . . . . . . . . . 3.2. Errores Bsicos en Algebra. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . a 3.2.1. Errores producidos por al cambio conceptual de la aritmtica al lgebra. e a 3.2.2. Errores de clculo y uso incorrecto de frmulas o procedimientos . . . . a o 3.3. Alternativas para evitar errores en lgebra . . . . . . . . . . . . . . . . . . . . . a 3.3.1. Razonamiento visual. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3.2. Bloques de Dienes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3.3. Reglas de construccin de los bloques de Dienes. . . . . . . . . . . . . . o 3.3.4. Modelaje de la Multiplicacin. . . . . . . . . . . . . . . . . . . . . . . . o 3.3.5. Modelaje de la Factorizacin. . . . . . . . . . . . . . . . . . . . . . . . . o 3.4. La tecnolog y el estudio de la matemtica. . . . . . . . . . . . . . . . . . . . . a a 3.4.1. Inecuaciones de primer grado con una incgnita. . . . . . . . . . . . . . o 3.4.2. Inecuaciones de segundo grado con una incgnita. . . . . . . . . . . . . o

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

4. COMBINATORIA. 49 4.1. Introduccin al nmero combinatorio: Formas de Contar y Enumerar. . . . . . . . . . . . . . . . . . 49 o u 4.2. Otra forma de contar. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 5. ARITMETICA. 6. LOGICA. 6.1. Conceptos previos. . . . . . . . . . . . . . . . . . . . . . . . 6.2. La condicional y su relacin con los teoremas matemticos. o a 6.3. Formas alternativas de expresar las condicionales. . . . . . . 6.4. Mtodos de Demostracin . . . . . . . . . . . . . . . . . . . e o 6.4.1. Mtodo directo (retroceder-avanzar) . . . . . . . . . e 6.4.2. Mtodo de reduccin al absurdo . . . . . . . . . . . e o 6.4.3. Mtodo del Contrapositivo (contrarrec e proco). . . . 6.4.4. Demostracin por Casos . . . . . . . . . . . . . . . . o 6.4.5. Induccin Matemtica . . . . . . . . . . . . . . . . . o a 51 53 53 54 55 56 56 58 59 61 61

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

. . . . . . . . .

INDICE

INDICE

6.5. Ejercicios sobre conceptos previos . . . . . . . . . . . . . . . 6.6. Ejercicios sobre la condicional . . . . . . . . . . . . . . . . . . 6.7. Ejercicios sobre formas alternativas de expresar condicionales 6.8. Ejercicios sobre el mtodo retroceder-avanzar. . . . . . . . . . e 6.9. Ejercicios sobre el mtodo de reduccin al absurdo. . . . . . . e o 6.10. Ejercicios sobre el mtodo del contrarrec e proco. . . . . . . . 6.11. Ejercicios de demostracin por casos . . . . . . . . . . . . . . o 6.12. Ejercicios de induccin. . . . . . . . . . . . . . . . . . . . . . o

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

64 64 64 65 67 67 68 69

1 FUNCIONES.

1.
1.1.

FUNCIONES.
Introduccin. o
Aprender a reconocer las relaciones numricas entre dos o ms tipos de magnitudes. e a Introducir el concepto matemtico de funcin a un nivel elemental. a o Reconocer las distintas formas de representar las funciones y utilizar las ms adecuadas en cada caso. a Utilizar el conocimiento matemtico para organizar, interpretar e intervenir en diversas situaciones de la a realidad. Comprender e interpretar distintas formas de expresin matemtica e incorporarlas al lenguaje y a los modos o a de argumentacin habituales. o Reconocer y plantear situaciones en las que existan problemas susceptibles de ser formulados en trminos e matemticos, resolverlos y analizar resultados utilizando recursos apropiados. a Reexionar sobre las propias estrategias utilizadas en las actividades matemticas. a Incorporar hbitos y actitudes propios de la actividad matemtica. a a Reconocer el papel de los recursos en el propio aprendizaje.

Esta unidad didctica participa de los siguientes objetivos generales del rea: a a

El desarrollo y adquisicin de los conceptos de la primera parte se sugiere como punto de partida al estudio de las o funciones, en ella se introducen las ideas bsicas relacionadas con el concepto de funcin y las mltiples maneras en a o u que se presentan (tablas, frmulas, grcas y enunciados verbales). Para la segunda parte se supone el conocimiento o a de la idea de funcin, lectura, descripcin e interpretacin de tablas y grcas, representacin grca de funciones, o o o a o a y estudio a partir de la frmula desarrollado en una etapa previa. Necesita de una adecuada utilizacin de los o o nmeros y el manejo del lenguaje algebraico. Adems, es el primer contacto con modelos funcionales que sern u a a bsicos y de estudio continuado en bachillerato y estudios posteriores de carcter cient a a co (como se desarrollo en el mdulo Estudio de Funciones). As este material pretende apoyar al maestro en la etapa introductoria del estudio o de funciones y dar actividades que dinamicen el estudio de las mismas, algunas de las cuales se pueden desarrollar utilizando Geogebra u otro paquete matemtico. a 1.1.1. Contenidos.

Conceptos: Revisin mediante un conjunto de actividades de los conceptos bsicos de funciones: Interpretacin de funciones o a o mediante grcas, descripcin verbal, tablas, frmula matemtica. a o o a Revisin mediante un conjunto de actividades de modelos funcionales: Funciones lineales, Funciones lineales o a trozos, Funciones cuadrticas, Funciones de proporcionalidad inversa, Funciones exponenciales, Funciones a peridicas. o Procedimientos: Reconocimiento de funciones. Interpretacin y construccin de tablas numricas y de grcas de funciones, seleccionando las escalas y o o e a unidades ms adecuadas. a Reconocimiento de los intervalos de crecimiento y decrecimiento. Reconocimiento y representacin grca de las distintas funciones estudiadas. o a Identicacin y signicado de los distintos parmetros en cada tipo de funcin. o a o

1.1 Introduccion.

1 FUNCIONES.

Utilizacin de la calculadora programable o software informtico para calcular valores y representar distintas o a funciones analizando sus diferencias. Actitudes: Apreciar la utilidad del lenguaje grco para representar situaciones diversas. a Destacar la necesidad de elegir una escala adecuada, en cada uno de los ejes, al realizar grcas. a Mostrar inters y curiosidad para encontrar las caracter e sticas ms destacadas de una funcin. a o Desarrollar una actitud cr tica al analizar las informaciones grcas. a Subrayar la importancia de elaborar con precisin las grcas para mostrar globalmente propiedades y caraco a ter sticas de los fenmenos asociados. o Apreciar la ayuda que aportan las nuevas tecnolog para el clculo, la visualizacin rpida, el estudio y as a o a la comprobacin rpida de cmo son las distintas familias de funciones y cmo inuyen en sus grcas los o a o o a distintos parmetros. a 1.1.2. Metodolog a

La metodolog favorecer la capacidad del alumno para aprender por si mismo, trabajar en equipo. De igual modo a a subrayar la relacin de los aspectos tericos de las materias con sus aplicaciones prcticas en la sociedad. De a o o a acuerdo con estos principios el plan de actuacin en clase recoger los siguientes aspectos: o a Propuesta de actividades para la construccin del concepto de funcin, sus formas de presentacin, y los o o o conceptos bsicos. a Propuesta de actividades para consolidar y revisar conceptos y aprendizajes previos. Propuesta de actividades, en contextos reales, para la adquisicin de nuevos conocimientos. Estas actividades o se trabajar de forma individual o en grupo. an Puesta en comn del trabajo realizado, analizando y debatiendo sobre los conceptos y materiales utilizados, u las dicultades encontradas y las soluciones adoptadas para soslayarlas. Exposicin detallada de los conceptos que aparecen en la realizacin de las actividades, por parte del profesor, o o as como de las propiedades. Resolucin de ejercicios y problemas de manipulacin y reforzamiento de conceptos. o o Resumen de contenidos y debate en grupo.

1.2 Introduccion al concepto y formas de representar una funcion.

1 FUNCIONES.

1.2.
1.2.1.

Introduccin al concepto y formas de representar una funcin. o o


Comencemos con un ejemplo

Ejemplo 1.1 Un ciclista decide salir de ruta y durante un tiempo pedalea por un camino hasta que llega a una zona de descanso en donde se para para comer. A continuacin, sigue o avanzando durante otro rato ms, momento en que decia de volver a casa por el mismo camino que hab Distancia a elegido para la ida.
80

60

40

20

Tiempo transcurrido desde la partida (en horas)

Observando atentamente la grca podemos averiguar muchas cosas del paseo que dio el ciclista: distancia ms a a lejana a la que lleg, kilmetros recorridos, tiempo que estuvo fuera, momento en que come, etc. o o La grca representa la relacin entre dos variables: el tiempo que transcurre desde que parte el ciclista de su casa a o y la distancia a la que se encuentra de su casa en cada momento. Cada punto de la grca representa un tiempo y una distancia, y signica que el ciclista est a esa distancia cuando a a haya transcurrido ese tiempo desde el momento en que parti. o Analizando la grca apreciamos las franjas de tiempo en que el ciclista est avanzando o est quieto, las franjas a a a en las que vuelve frente a las de ida, e incluso las franjas en las que el ciclista pedalea a mayor o menor velocidad (quizs inducida por la pendiente menor o mayor del terreno durante esa zona de tiempo). a Adems las escalas de cada eje son diferentes: En el eje horizontal, la unidad signica 1 hora; mietras que, en el eje a vertical, la unidad de escala es equivalente a 20 kms. Estas escalas nos permiten cuanticar la ruta (no slo describirla cualitativamente). Por ejemplo: el punto ms o a lejano al que lleg el ciclista estaba a 80 kms. de su casa, y all llega a las 6 horas de haber salido. Vemos que la o grca se extiende en el tramo 0-8.5, es el intervalo de tiempo que dura la ruta del ciclista1 . a Actividad 1.1 Observando la grca anterior, responde: a A cuntos kilmetros de su casa decide parar a comer? a o Qu tiempo hab transcurrido cuando decide esa parada? e a Cunto tiempo ha estado comiendo? a Cunto tarda en volver a casa desde que decide regresar? a En qu momento de la ida ten el camino una pendiente ms pronunciada? e a a
1 El

intervalo [0, 8.5] se llama dominio de denicin de la funcin. o o

1.2 Introduccion al concepto y formas de representar una funcion.

1 FUNCIONES.

Durante qu franja de tiempo pedale a ms velocidad el ciclista? e o a Cuntos kilmetros ha recorrido entre la ida y la vuelta? a o

1.2.2.

Cmo se nos presentan? o

Tanto en un contexto matemtico, como en la vida cotidiana, nos encontramos a menudo con funciones. Se nos a presentan de diferentes maneras: 1. Mediante su representacin grca. o a Como mejor podemos apreciar el comportamiento global de una funcin es mediante su representacin o o grca, por eso, siempre nos ser de mucha utilidad conseguir representar la funcin si no nos la dan ya a a o representada, as como en el ejemplo 1.1, en el cual la variable independiente ser el tiempo en horas y la a variable dependiente la distancia a la que se encuentra respecto del punto de partida. 2. Mediante una tabla de valores. Observa los siguientes datos que se dan en una tabla: x (horas) y (miles) 0 3 1 6 2 12 3 24 4 48 5 96 6 192 7 384 8 768

Corresponden al nmero aproximado de bacterias, en miles, de una colonia a lo largo del tiempo medido en u horas. La variable independiente es el tiempo medido en horas y la dependiente el nmero de bacterias en u miles. Los datos recogidos en esta tabla podr representarse en un sistema cartesiano y con ello conseguir, an al menos de forma aproximada, la grca de la funcin que mide los miles de bacterias en cada hora. a o 3. Mediante su expresin anal o tica o frmula. o El rea de un c a rculo es funcin de su radio y se calcula a travs de la expresin A = r2 . La variable o e o independiente es la medida del radio (aqu se usa la letra r para esta variable) y la dependiente es la medida del correspondiente rea que aqu se representa por la letra A. La expresin anal a o tica es la forma ms precisa a y manejable de dar una funcin, pero a partir de ella el estudio posterior y la obtencin de la grca es una o o a tarea minuciosa si se quiere obtener una grca lo sucientemente real de la funcin. Empero, muchas veces a o bastar dar a la variable independiente valores y conseguir los correspondientes de la variable dependiente a con los que construir una tabla, y as conseguir una aproximacin a la grca de la funcin. o a o 4. Mediante un enunciado. Ejemplo 1.2 Un padre que estuvo observando desde el balcn a su hijo Alberto como iba al o colegio: De casa sali a las 8:30 am y fue en o seguida hasta casa de su amigo Toms, al a que esper un rato sentado en el banco, y o luego se fueron juntos, muy despacio hacia el colegio, empero, cuando ya estaban llegando, Alberto se dio cuenta de que hab dejaa do la cartera en el banco; volvi corriendo, o la recogi y lleg a la escuela a las 9 en punto. o o Este enunciado representa una funcin que o describe la distancia a la que se encuentra Alberto de su casa en cada instante entre las 8:30 am y las 9:00 am de la maana, y su grca n a aproximada es la representada a la derecha.

1.2 Introduccion al concepto y formas de representar una funcion.

1 FUNCIONES.

1.2.3.

Actividades

Acontinuacin se proponen algunas actividades para el trabajo grupal. o Actividad 1.2 La grca adjunta muestra la evolucin de la audiencia de radio en El Salvador en un d promedio del ao 1994. a o a n El porcentaje se reere a toda la poblacin salvadore de 14 aos o ms. o a n a Entre qu horas se realiza la medida? e En qu horas del d aumenta el porcentaje de pere a sonas que escuchan la radio? Cundo disminuye? a En qu momento de la maana es mximo el pore n a centaje de oyentes? Cul es el mximo de la tarde? Y de la noche? a a Cul es el porcentaje de oyentes a las 8 de la a maana? Y a las 9 de la noche? n Actividad 1.3 La siguiente tabla mustralos datos recogidos respecto a la longitud del feto durante el embarazo segn las semanas e u de gestacin: o x y 5 1 10 7 15 15 20 25 25 35 30 42 35 48

Usando la tabla de valores, representa grcamente la funcin. a o Seala cul es la variable independiente y cul la dependiente y en qu se mide cada una. n a a e Durante las primeras dos o tres semanas de gestacin el feto es casi microscpico. Cunto medir cuando la o o a a gestacin sea de 12 semanas y media. o Cul es la longitud que suele tener un nio al nacer? a n Si la expresin P = 0.025l3 nos da de forma aproximada el peso del feto en gramos segn su longitud l en o u cent metros. Construye la correspondiente tabla y dibuja la grca de la funcin que representa el peso en a o gramos del feto segn la semana de gestacin. u o

Actividad 1.4 Un remonte de una pista de montaa funciona de 9 de la maana a 4 de la tarde y su recorrido es el siguiente: n n Desde la salida hasta la pista, que est a 1200 m, tarda 15 minutos. Se para en la pista 15 min. Baja hasta la base a en 10 minutos. Est parado 20 min, y empieza de nuevo el recorrido. a Dibuja la grca que representa el recorrido del remonte. a Cul es la posicin del remonte a las 12 h 30 min? Y a las 12 h 20 min? a o Observas alguna caracter stica especial en la grca?. Comntala. a e

1.2 Introduccion al concepto y formas de representar una funcion.

1 FUNCIONES.

Actividad 1.5 En la siguiente gura AB = AC = 6, CAB = 90 , M es un punto que se desplaza sobre el segmento AB.
C

D E

Construir un rectngulo AM DE; siendo D un punto perteneciente el arco de circunferencia BC, cuyo centro es A a y E un punto del segmento AC. Estudiar las variaciones del rea del rectngulo AM DE, cuando el punto M se a a desplaza sobre AB. Procedimiento: 1. Completar la tabla (Midiendo el valor de AE.) AM AE Area de AM DE 0 6 0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 5 5.5 6

2. Construir un grco que relacione AM con el rea del rectngulo. a a a 3. Encontrar una frmula que exprese el rea del rectngulo funcin del valor de AM . o a a o A continuacin podr presentarse la denicin formal de funcin, variable dependiente e independiente, dominio de o a o o denicin de una funcin, y clculo del dominio de las funciones polinmicas, racionales e irracionales, luego podr o o a o an estudiarse generalidades como: Monoton mximo y m a, a nimos, simetr (funcin par o impar) y continuidad. Una as o de las primeras actividades ser determinar si una relacin es o no funcin, para lo cual se presentan diversas situaa o o ciones o grcas, de cada una de las cuales los estudiantes debatirn en grupos, luego el docente aclarar cualquier a a a duda al respecto, por lo que se sugiere la siguiente actividad. Actividad 1.6 a) Decide razonadamente si las siguientes correspondencias son funciones o no. En las que s lo sean, indica cul a representa la variable independiente y cul la dependiente. a A A A A A A A todo todo cada todo todo cada todo nmero natural se le hace corresponder su nmero natural siguiente. u u nmero natural se le asocian sus divisores. u d del ao se le asocia la cotizacin del euro frente al dlar. a n o o nmero fraccionario se le asocia su inverso. u nmero se le asocia su ra cuadrada. u z fase de la luna le asociamos la fecha en la que se da dicha fase. nmero se le asocia su doble ms siete. u a

b) Tambin se pueden presentar diversas grcas para que el estudiante determine si es o no funcin. e a o c) Obtener el dominio de denicin de diversas funciones que se presentaran grcamente. o a

1.3 Actividades para la deteccion de conocimientos previos y repaso

1 FUNCIONES.

1.3.

Actividades para la deteccin de conocimientos previos y repaso o

Actividad 1.7[Camino del colegio] Fernando, Herminia, Maruja y Yolanda, viven en una urbanizacin cercana a Crdoba. Cuando van al colegio, o o suelen hacerlo en bicicleta. La primera clase empieza a las ocho y cuarto, lo cual signica que deben salir de casa alrededor de las siete y media. Porque llegar tarde ... La distancia de la urbanizacin al colegio es de (casi) 10 km. o Las cuatro grcas que vienen a continuacin muestran cmo las cosas son distintas para cada uno de ellos cuando a o o van al colegio

A.- Qu dijo Maruja? e YOLANDA: Yo siempre salgo con calma. Porque, yo me digo, a esas horas de la maana no te puedes n precipitar... Ya en el camino empiezo a pedalear ms de prisa, porque no me gusta llegar tarde. a FERNANDO. Esta maana con la motocicleta al colegio vaya guaper Bien rpido. Pero por el camino: n a. a Plo, plo. Sin gasolina! Yo, hasta la coronilla! Motocicleta de la mano y andando el resto. Llegu por e los pelos... HERMINIA. Acababa de salir de casa, cuando me di cuenta que hoy tenemos gimnasia. Y me hab a olvidado el chandal y la zapatillas. Qu tonta verdad? Otra vez a casa para buscarlos. Despus tuve que e e pedalear muy de prisa para llegar a tiempo. MARUJA Se pide: a) A quin corresponde cada grca? e a b) Imag nate lo que puede haber dicho Maruja. B.- La grca de Yolanda a He aqu otra vez la grca de Yolanda, pero con mayor precisin. Adems se ha indicado la distancia y el a o a tiempo en los ejes.
10

0 7:30

7:35

7:40

7:45 7:50

7:55

8:00 8:05

8:10

8:15

8:20 8:25

Usa la grca para contestar las siguientes preguntas. Hazlo primero t solo. Es decir, cada uno por s mismo. a u a) Cuntos kilmetros hab recorrido Yolanda a las 7:45? Cuntos minutos tard Yolanda en la primera a o a a o mitad del recorrido? Cuntos km. pedale entre las 8 menos cuarto y las 8? a o b) Cmo puedes saber que Yolanda ha ido a la misma velocidad en los primeros 20 minutos (de 7:30 a 7:50)? o 10

1.3 Actividades para la deteccion de conocimientos previos y repaso

1 FUNCIONES.

c) Si Yolanda hubiera seguido con la misma velocidad, habr llegado a tiempo al colegio? Cuntos minutos a a de adelanto o atraso? d ) Entre qu horas, aproximadamente, fue la mayor velocidad de Yolanda? Cmo lo puedes saber? Intenta e o calcular a qu velocidad pedaleaba Yolanda en esos momentos. e C.- Usando de nuevo la grca de Yolanda a El enunciado a continuacin hace referencia a la grca anterior. o a a) Sandra, otra amiga que vive en el mismo lugar, sale al mismo tiempo que Yolanda de su casa. Despus de e 20 minutos va exactamente 1 km. detrs de Yolanda y llega 5 minutos despus que ella al colegio Cmo a e o puedes estar seguros de que Sandra no siempre a pedaleado a la misma velocidad? Dibuja la grca de a Sandra en la misma cuadr cula. b) Todos habis dibujado una grca de Sandra. Deben ser todas iguales?. Qu debe ser igual en todas las e a e grcas?. a c) Roberto, otro amigo del mismo lugar, sale 5 minutos despus de Yolanda y llega al colegio 5 minutos antes, e cmo puedes saber, a la vista de las grcas, que Roberto ha adelantado a Yolanda?. o a d ) Dibuja en la misma cuadr cula la grca de Roberto, sabiendo que ha pedaleado a velocidad constante. a Debe ser la grca de Roberto igual para todos vosotros? por qu?. a e e) A qu hora adelant Roberto a Yolanda?. A qu distancia se encontraban del colegio en ese momento?. e o e D.- Alicia va al colegio en autob s. El mdico le recomendo a Alicia que no baya en bici al colegio. Siempre u e aborda el autobs a las 8 menos 25 y para en el colegio a las 8 (Ver grca adjunta). u a
10

0 7:30

7:35

7:40

7:45 7:50

7:55

8:00 8:05

8:10

8:15

8:20 8:25

a) Iba el autobs puntual?. u b) El autobs ha parado varias veces. Cmo lo puedes ver en la grca?. u o a c) Cuntas veces par el autobs?. Cunto dur la parada ms larga?. a o u a o a d ) A qu hora y a qu distancia del colegio adelant el autobs a Yolanda?. Cmo habr sido si el autobs e e o u o a u hubiera sido puntual?. e) Cuntos km. le quedaban an a Yolanda cuando Alicia lleg a la escuela?. a u o f ) A qu hora fue cuando Alicia le llevaba mayor ventaja?. e g) Explica la razn de por qu ha tenido que haber un momento en el cual la ventaja de Alicia era exactamente o e de 1 km. 11

1.3 Actividades para la deteccion de conocimientos previos y repaso

1 FUNCIONES.

Actividad 1.8[El vuelo del Aguila.] La grca siguiente muestra la altura en metros del vuelo de un guila en funcin del tiempo. a a o

Analicemos esta grca: Vemos que la grca nos muestra que estuvo volando durante 100 seg. y que estuvo a alturas a a que oscilaron entre 5 y 105 m. aproximadamente. Podr amos saber a qu altura estar al cabo de 2 minutos?. e a Observamos que en distintos instantes estuvo a la misma altura; por ejemplo, a los 20, 30, 40, y 57 (aproximadamente) seg. estuvo a 80 m. del suelo. Entre los 20 y 30 segundos, hubo un instante en que alcanz la mayor altura. Cul es? o a Ocurre esto en algn otro intervalo de tiempo? Cul?. En ese instante, el vuelo era ascendente o descenu a dente? Durante todo el tiempo que estuvo volando, en qu instante alcanza la mayor altura? e Podr decir donde estaba cuando comienza a volar? as Entre los 30 y 40 seg. hubo un instante en que estuvo ms bajo. Cul es? Ocurre esto en algn otro intervalo a a u de tiempo? Cul?. En ese instante, el vuelo era ascendente o descendente? a Durante todo el tiempo que estuvo volando, en qu instante alcanza la menor altura? e

Actividad 1.9[La hormiga.] Una hormiga se encuentra en el punto A e inicia el descenso de la escalera. Los tramos horizontales y verticales miden ambos 20 cm. Sabemos que la hormiga avanza un cm/seg. en los tramos horizontales y dos cm/seg. en los verticales. Construye una tabla de valores. Obtn las frmulas de una funcin que nos d la e o o e altura a la que se encuentra la hormiga en funcin o del tiempo transcurrido, especicando variables y dominio de la funcin. o Represnta grcamente la funcin y en base a esta e a o describe el descenso de la hormiga. 12
A

1.4 Actividades para la adquisicion de nuevos conocimientos

1 FUNCIONES.

Actividad 1.10[El guila y el pjaro.] a a Las funciones y = 3(x+1) (x2) e y = 2(x 3), nos permiten calcular, respectivamente, la altura en metros a la 2 5 que vuelan un guila y un pjaro, en funcin del tiempo, en minutos, donde x = 0 representa las 10:20. a a o A qu altura vuelan ambos a las 10:18? e A qu hora vuelan a una altura de 11 metros? e Se posan en el suelo en algn momento?, cundo? u a A qu hora vuelan a la misma altura?, cul es esa altura? e a Durante qu horas el guila vuela ms alto que el pjaro? e a a a Haz una grca que represente los vuelos. a

1.4.

Actividades para la adquisicin de nuevos conocimientos o

Actividad 1.11[El recorrido Crdoba-Mlaga, pasando por Aguilar] o a Sabemos que hay un tren que sale a las 9:00 de Crdoba con destino a Mlaga, y durante su recorrido mantiene o a una velocidad constante de 80 km/h. Nuestro pueblo, Aguilar, est a 50 km de Crdoba y a 120 km de Mlaga. a o a Queremos estudiar los tres casos siguientes: Caso 1: Distancia a la que se encuentra el tren de Crdoba en todo o momento. Caso 2: Distancia a la que se encuentra el tren de Mlaga en todo momento. Caso 3: Distancia a la que se a encuentra el tren de Aguilar en todo momento. Haz el estudio, en cada caso, segn el siguiente esquema de trabajo u y contesta a las siguientes preguntas: 1. Cules son las variables independientes y dependientes? a 2. Cul es la unidad de medida ms adecuada para cada variable? a a 3. Construye una tabla de valores, dejando en cada caso indicadas las operaciones que realices. 4. Calcula la frmula que te da la distancia dependiendo del tiempo transcurrido. o 5. Cul es el dominio de la funcin?. a o 6. Calcula usando la frmula, la distancia a la que se encuentra el tren de Mlaga a las 10:05, la hora a la que o a llega a Aguilar, y la hora a la que llega a Mlaga. Comprueba si en los tres casos las horas coinciden. a 7. Dibuja en un mismo grco las tres funciones. Qu signicado tienen los puntos donde se cortan las grcas?. a e a En qu intervalos disminuye la distancia a Aguilar? e

Actividad 1.12[Trabajando la inclinacin o pendiente de las rectas] o Abre el programa Geogebra e introduce en la barra de entrada las funciones: y = x, y = 2x, y = 4x, y = 1 1 y = 10 x, y = x, y = 2x, y = 4x, y = 1 x, y = 10 x. 2 Explica qu ocurre con la inclinacin de las rectas dependiendo del coeciente de x. e o F jate en las funciones y = x e y = x, tienen algn tipo de relacin? Cmo son sus grcas? u o o a F jate en las funciones y = 1 x e y = 2x, tienen algn tipo de relacin? Cmo son sus grcas? u o o a 2

1 2 x,

Actividad 1.13[Estudiando la ordenada en el origen de las rectas] Al igual que en la actividad anterior, usando Geogebra, representa grcamente las funciones y = 2x, y = 2x + 1, a y = 2x + 3, y = 2x 2, y = 2x 7 . 2 13

1.4 Actividades para la adquisicion de nuevos conocimientos

1 FUNCIONES.

Cmo son estas rectas? o Dnde cortan estas rectas al eje vertical? Coincide este valor con alguno de los dos parmetros de estas o a funciones anes?

Actividad 1.14[La declaracin de la renta] o Sabes que cada ao, los ciudadanos tienen que presentar la declaracin de Hacienda. Hay que declarar lo que se n o ha ganado para pagar lo que corresponda, de modo que el que ms gane, ms pague. Hay dos formas de hacer el a a clculo de lo que se ha de pagar: la normal y la simplicada. Como en ambas se manejan muchas cantidades y a resultan un tanto engorrosas, vamos a dar aqu mediante grcas, unos modelos parecidos a los reales pero mucho , a ms sencillos. a

Cul es la variable independiente? a Cul es la variable dependiente? a Cul es el dominio? a Cul es el recorrido? a Al aumentar la variable independiente aumenta la dependiente? Es continua?

14

1.4 Actividades para la adquisicion de nuevos conocimientos

1 FUNCIONES.

Cul es la variable independiente? a Cul es la variable dependiente? a Cul es el dominio? a Cul es el recorrido? a Al aumentar la variable independiente aumenta la dependiente? Es continua?

Actividad 1.15[El templo Griego] En una visita a Grecia nos ha llamado la atencin una o gura geomtrica presente en un templo de Atenas: e 2 cm y l = 6 cm. Por el camino de vuelta se pens qu o e podr ocurrir si se variaba el radio del c a rculo, ya que se desconoc al no poderse medir. a Dibuja dicha gura para valores diferentes del radio. Por ejemplo: 1, 2, 3 cm. Qu otros valores le puedes dar al radio x del e c rculo? Cul ser el valor m a a nimo que puede tomar? Y el mximo? a Cmo ser el dibujo si el radio x es igual a cero?. o a Hazlo.
r

Puede tomar x el valor 4? Por qu? e


b

Pudo medirse slo dos dimensiones de dicha gura: h = o 15

Calcula el rea de la gura sombreada para x = a 0, 1, 2, 3, y ordena los valores de x y del rea en a una tabla.

1.4 Actividades para la adquisicion de nuevos conocimientos

1 FUNCIONES.

Existe alguna relacin de dependencia entre el rao dio y el rea? a Cul es la variable dependiente? Y la indepena diente? Por qu? e Generaliza, y calcula el rea de la gura en funcin a o del radio x del c rculo: A(x) Completa la siguiente tabla: x 0.5 0.75 1.25 A(x) 14 1.5 1.75 2 2.5

gura es 15cm2 , cunto medir aproximadamente a a el radio del c rculo? Realiza los mismos clculos del apartado anterior a pero usando la frmula de la funcin? o o Qu puedes deducir si comparas los resultados obe tenidos por un procedimiento y por el otro? 3 Si volvemos a la grca que has realizado, vemos a que slo has obtenido un trozo de una funcin que o o parece poderse prolongar sin mayor problema, pero podemos hacerlo en el contexto del problema? La funcin obtenida prolngala dndole todos los o o a valores que necesites y represntala. e nueva funcin. o Qu tiene de diferente o de comn con la que conse u truiste anteriormente? Haz un anlisis cuantitativo lo ms completo posia a ble de las dos grcas. a Las funciones que hemos construido A(x) y S(x) se ajustan al modelo cuadrtico. Cul es el valor de a a a, b y c, en cada una de las dos funciones? Habrs observado, que hay un punto caracter a stico en las grcas, el mximo o m a a nimo, al que llamamos vrtice de la parbola. Intenta calcularlo a e a partir de las grcas. a Cul ser el valor que le podemos dar al radio x a a para que el rea sombreada de la gura inicial sea a la mayor posible? Cul ser el valor que le podemos dar al radio x a a para que el rea sombreada de la tarjeta postal sea a lo ms pequea posible? a n

Construye a partir de la tabla anterior la grca a correspondiente a la funcin A(x). o A partir de la grca, si el radio es 0.6 cm, cul a a ser el rea aproximada de la gura? Si el rea de la a a a Esta funcin que has representado nos debe servir de o modelo para otros problemas del mundo real. Nuestro siguiente paso es hacer una modelizacin de este tipo de o funciones. Continuemos un poco ms con el planteamiento inicial a del problema. Despus de visitar el templo entramos en e una tienda de souvenirs para comprar una tarjeta postal y enviarla a un amigo; cul fue nuestra sorpresa al ver a una de forma cuadrada y que conten el dibujo que nos a hab llamado la atencin; nos pusimos a medir el lado a o de la tarjeta que era de 6.2 cm y nos seguimos planteando un problema similar.

De la funcin A(x) que nos da el rea de la gura o a inicial, obtn dos puntos con la misma ordenada. e Pueden ser los puntos que tienen de ordenada cero? Dnde se encuentran? Calcula el punto medio o del segmento que une dichos puntos. Prueba lo mismo que en el apartado anterior con otras ordenadas. Construye una tabla para organizar mejor la informacin. o Intenta obtener una expresin algebraica que te o permita calcular la abscisa del vrtice de una e parbola. a

Cul ser el rea sombreada de la tarjeta si variaa a a mos el radio del c rculo tal como lo hemos estado haciendo antes? Obtn la nueva funcin S(x). e o Construye una tabla de valores y la grca de esta a

Actividad 1.16[El cercado rectangular]

16

1.4 Actividades para la adquisicion de nuevos conocimientos

1 FUNCIONES.

Un ganadero tiene 100 m. de vallado para construir un cercado rectangular, aprovechando, como uno de los lados, una pared que ya tiene construida. a. Encuentra la relacin que existe entre la anchura del cercado y su per o metro. b. Encuentra la relacin que existe entre la anchura del cercado y su rea. o a

Actividad 1.17[El proyectil y el avin] o Una persona dispara desde el suelo un proyectil que describe una trayectoria dada por la funcin f (x) = x2 + o 102x200. Otra pilota un avin teledirigido que sigue una trayectoria denida por la funcin g(x) = 2x+2 mientras o o que el proyectil est en el aire (x: metros, f (x) y g(x): altura en metros). a 1. Representa en unos mismos ejes ambas trayectorias. 2. Desde qu punto se ha disparado el proyectil? Desde qu punto ha salido el avin? e e o 3. Cul ser el alcance mximo del proyectil si no impacta con el avin? a a a o 4. A qu distancia del punto de disparo alcanza el proyectil la mxima altura? Cul es sta? e a a e 5. A qu alturas se encuentra el proyectil en x= 10m? Y en x = 92m? Encuentra parejas de valores de x para e los que el proyectil est a la misma altura. Cuntas podrs encontrar? e a a 6. En qu puntos se encuentran a las mismas alturas avin y proyectil? Cules son stas? e o a e 7. En qu intervalos es mayor la variacin que experimenta el avin que la que experimenta el proyectil? e o o

Actividad 1.18[Las funciones parablicas. Sus posiciones en el plano] o


1 1 a. Usando Geogebra representa grcamente las funciones y = x2 , y = 2x2 , y = 2 x2 , y = x2 , y = 2x2 , y = 2 x2 . a

Cmo inuye el valor del coeciente en el aspecto de la grca? o a Dnde alcanza la funcin el valor mximo o m o o a nimo? Cul es ese punto y cmo se llama? a o b. Abre una nueva ventana y representa las funciones y = 2x2 , y = 2x2 + 1, y = 2x2 + 2, y = 2x2 3 Qu signicado tiene desde el punto de vista grco el trmino independiente? e a e Dnde alcanza la funcin el valor mximo o m o o a nimo? Cul es ese punto y cmo se llama? a o Si nos jamos en la funcin y = 2x2 , podemos obtener las dems a partir de sta? Cmo? o a e o Escribe una expresin general para este tipo de parbolas o a c. Abre una nueva ventana y representa las funciones y = 2x2 , y = 2(x 2)2 , y = 2(x 4)2 , y = 2(x + 1)2 , y = 2(x + 3)2 . Dnde alcanza la funcin el valor mximo o m o o a nimo? Cul es ese punto y cmo se llama? a o Si nos jamos en la funcin y = 2x2 , podemos obtener las dems a partir de sta? Cmo? o a e o Escribe una expresin general para este tipo de parbolas. o a d. Abre una nueva ventana y representa las funciones y = 2x2 , y = 2x2 3, y = 2(x 2)2 3, y = 2(x 2)2 3, y = 2(x + 2)2 3. Dnde alcanza la funcin el valor mximo o m o o a nimo? Cul es ese punto y cmo se llama? a o Si nos jamos en la funcin y = 2x2 , podemos obtener las dems a partir de sta? Cmo? o a e o Escribe una expresin general para este tipo de parbolas. o a

17

1.4 Actividades para la adquisicion de nuevos conocimientos

1 FUNCIONES.

Actividad 1.19[Trabajando con el DIN A-4] Estando dibujando en una cartulina del tamao del DIN A-4, cuyas dimensiones son 21x29,7 cm., pens qu ocurrir n e e a si modicase las dimensiones de la cartulina, pero conservando su rea. No lo pens dos veces, y calcul el rea: a e e a Area = 21 cm x 29,7 cm = 623,7 cm2 . Calcula otras posibles dimensiones, pero sin olvidarte que el rea es 623,7 cm2 . a Cmo te organizar ms cmodamente el trabajo? o as a o Puedes completar la siguiente tabla? Ancho Alto 10 15 20 29.7 21 25 30 40 50 60 70 80

Ests trabajando con dos magnitudes, el ancho y el alto. a Construye la grca de puntos correspondiente. a Tendr sentido unir los puntos de esta grca? a a Cmo es la grca que obtienes? Qu tiene de particular? o a e Comenta con tus compaeras-compaeros aspectos que te llamen la atencin o te sugieran situaciones espen n o ciales. Podemos darle al ancho el valor cero? Si al ancho le damos el valor x, cul ser el alto? a a
1 En la expresin obtenida dale a x los siguientes valores: 2 , 1 , o 5 1 10 ,

102 ,108.

Obtn los valores de alto correspondiente a los siguientes anchos: 102 , 103 , 105 , 107 . e

Actividad 1.20[Temperaturas] En un experimento qu mico intervienen dos compuestos, A y B. Utilizando como variable independiente, x, el tiempo transcurrido, medido en horas, y estableciendo que el valor x = 0 indica el comienzo del experimento, hemos comprobado que las temperaturas, en C, de los compuestos A y B vienen dadas por las frmulas: Compuesto A: o Tiempo, en hora: x Temperatura, en C: y Frmula: y = o Compuesto B: Tiempo, en hora: x Temperatura, en C: y Frmula: y = x + 2x + 5 o 4 Queremos hacer un estudio comparativo de la evolucin de las temperaturas de ambos compuestos, resaltando los o aspectos ms signicativos. a Construye una tabla de valores para ambas funciones. Representa grcamente ambas funciones en los mismos ejes. a Al cabo de cunto tiempo alcanza el compuesto A la temperatura mayor posible? Y el compuesto B?. a
2

15 x+1

+6

18

1.4 Actividades para la adquisicion de nuevos conocimientos

1 FUNCIONES.

Cul es la temperatura menor que alcanza el compuesto A? Y el B?. a Estarn en algn instante a la misma temperatura ambos compuestos?. a u

Actividad 1.21[La hiprbola. Posiciones en el plano] e


1 2 a. Abre Geogebra y representa las funciones: y = x , y = x , y = 1 3x , 1 y = x.

a) Obtn una tabla de valores de dos de ellas. Qu valor toman para x = 0, x = 106 ? e e b) Cmo inuye el valor del coeciente en el aspecto de la grca? Expl o a calo.
1 b. Abre una nueva ventana y representa las funciones: y = x , y = 1 x+1 ,

y=

1 x+3 ,

y=

1 x2

a) En qu puntos no estn denidas cada una de estas funciones? e a b) Qu valor toman para x = 106 , x = 106 ? e
1 c) Si nos jamos en la funcin y = x , podemos obtener las dems a partir de sta? Cmo? o a e o 1 c. Abre una nueva ventana y representa las funciones: y = x , y = 1 x+1

+ 2, y =

1 x2

a) En qu puntos no estn denidas cada una de estas funciones? e a b) Qu valor toman para x = 106 , x = 106 ? e
1 a e o c) Si nos jamos en la funcin y = x , podemos obtener las dems a partir de sta? Cmo? o

Actividad 1.22[Los intereses de un milln] o Se coloca un diez mil de dlares al 12 % de inters. o e 1. Qu variable vas a considerar independiente y cul dependiente? e a 2. Cunto dinero se tendr al cabo de 1 ao? Y al cabo de 2? a a n 3. Construye una tabla con el dinero que se tendr en los distintos aos. a n 4. Representa grcamente los puntos de dicha tabla. a 5. Puedes unir los puntos? Tendr sentido? a 6. En cunto tiempo se duplicar?. a a 7. Encuentra una expresin que nos d el dinero obtenido en funcin del tiempo transcurrido y obtn todas las o e o e conclusiones que puedas.

Actividad 1.23[El cambio de la presin atmosfrica] o e La presin atmosfrica disminuye a medida que nos alejamos de la supercie terrestre. Aproximadamente al ascender o e un km, la presin es 0.9 veces la existente un km. ms abajo. Al nivel del mar la presin atmosfrica es de una o a o e atmsfera. o 1. Qu variable vas a considerar variable independiente y cul dependiente? e a 2. Qu presin se tendr a un km de altura? Y a 2? Y a 3? e o a 3. Encuentra una expresin que nos d la presin que existe dependiendo de la altura. o e o 4. Supongamos que esta relacin es cierta cuando le damos valores negativos, esto es, cuando nos sumergimos o en el agua. Construye una tabla de valores para esta funcin. o 5. Representa grcamente estos valores a

19

1.4 Actividades para la adquisicion de nuevos conocimientos

1 FUNCIONES.

6. Se alcanzar en alguna altura una presin negativa? a o 7. Analiza qu ocurre cuando le demos a x valores muy grandes, esto es, cuando estemos a gran altura. e 8. Analiza qu ocurre cuando le demos a x valores muy pequeos, esto es, cuando estemos sumergidos a gran e n profundidad. 9. Dibuja la grca completa a 10. Qu propiedades tiene la funcin? e o 11. Si un montaero desciende desde 1000 m. al nivel del mar y otro desciende desde una altitud de 5000 m a n 4000 m. aumentar su presin lo mismo? a o

Actividad 1.24[La funcin exponencial. Estudio grco] o a


1 a. Abre Geogebra y representa las funciones y = 2x , y = 3.2x , y = 4 2x , y = 3.2x .

a) Qu valor toman estas funciones para x = 104 ? Y para x = 107 ? Y para x = 0? e b) Qu diferencia hay entre estas funciones? e b. Abre una nueva ventana representa las funciones y = 2x , y = 2x1 , y = 2x+2 . a) Qu valor toman estas funciones para x = 107 ? Y para x = 108 ? e b) Para qu valores de x toma la funcin el valor 1? e o c) Si nos jamos en la funcin y = 2x , podemos obtener las dems a partir de sta? Cmo? o a e o c. Abre una nueva ventana representa las funciones y = 2x , y = 2x . a) Obtn una tabla de valores completa utilizando la vista hoja de clculo. e a b) Coinciden en algn valor ambas funciones? u c) A partir de las grcas enuncia todas las propiedades de las dos funciones. a d ) Observas algn tipo de simetr entre estas dos grcas? Expl u a a cala.

20

2 GEOMETR IA.

2.

GEOMETR IA.

La geometr es util para resolver cuestiones puramente geomtricas y tiene, por supuesto, aplicaciones de a e ndole naturalmente geomtrica, como problemas de medicin, comparacin o incidencia de guras geomtricas (ya sea e o o e abstractas o tangibles); sin embargo, la geometr tambin mantiene un v a e nculo, a veces imperceptible, con cuestiones de otras ndoles; ms an, muchas veces la geometr tiene un carcter esencial que sostiene una serie de a u a a resultados considerados no geomtricos. Lo mismo puede decirse de otras reas con respecto a la geometr al nal, e a a, el conocimiento (y en particular la matemtica) est compuesto por reas que tienen estrecha relacin, y que slo a a a o o la necesidad de organizarlas y sistematizarlas ha llevado a la separacin articial de las mismas, pero en realidad o las fronteras establecidas son frecuentemente violadas. La Geometr Anal a tica es un ejemplo de esto, malas interpretaciones de los or genes de sta y de las motivaciones e de sus creadores2 , llevaron a pensar que la geometr pod ser sustituida completamente por el lgebra. De igual a a a manera, se ha intentado reducir toda la matemtica al estudio profundo de la teor de conjuntos, y sta a su vez a a e se pone en funcin de la lgica, y la lgica pasa por el estudio profundo de los nmeros naturales y la aritmtica... o o o u e en n, un c rculo vicioso que demuestra que todas estas reas estn conectadas. a a Este intento de radicalizar la matemtica ha tenido sus frutos, Gdel prob que la matemtica es un sistema ima o o a perfecto, no puede ser consistente y completo a la vez: cualquier sistema formal capaz de describir los nmeros u naturales (condicin necesaria de la matemtica) cumple que si los axiomas aceptados y sus consecuencias no se o a contradicen entre s (no hay paradojas, se dice que es consistente), entonces hay sentencias que no pueden probarse ni refutarse (no es completo); en cambio, si los axiomas aceptados permiten que el sistema sea completo, habr a entonces paradojas. Esto puso punto nal a la idea de que la matemtica puede reducirse a una sola rea. a a Pero tambin ha tenido sus fracasos: los trabajos de Pascal y Desargues (contemporneos a Descartes) sobre Geoe a metr Proyectiva fueron ignorados por alrededor de dos siglos debido a la tendencia aceptada en esa poca de que a e la geometr es perfectamente prescindible; esto cambi hasta que Steiner, Klein y otros matemticos de su poca a o a e apreciaron la potencia y elegancia de los mtodos de Pascal y Desargues y fundaron los inicios de la Geometr e a Algebraica. En la misma poca, Riemann establec el estudio de la variable compleja como un asunto fundamene a talmente geomtrico. e Bajo este panorama, una de las moralejas ms importante que se obtiene es que se debiera estar atento en todo a momento a apreciar la matemtica, en particular, los problemas que resolvemos, desde varios puntos de vista; cada a uno de stos ofrecer alguna ventaja, y no hay razn para descartar a priori v e a o nculos entre distintas teor por as; supuesto, para resolver los problemas, habr que alcanzar un alto nivel de especializacin en alguno de los enfoques. a o A continuacin se muestran una serie de problemas y situaciones matemticas que muestran la fuerte interrelao a cin entre la geometr y otras reas, as como de la geometr con s misma pero que requiere enfoques poco o a a a convencionales.

2.1.

El teorema de Pitgoras. a
ABC, el BAC = 90 si y slo si BC 2 = AB 2 + AC 2 . o

El teorema de Pitgoras establece lo siguiente: a Teorema 2.1. Dado un tringulo a

1. Supondremos que BAC = 90 , y se busca probar que BC 2 = AB 2 + AC 2 . Esto se puede interpretar como un problema de reas: Demostrar que el rea del cuadrado construido sobre el lado BC es igual a la suma de a a las reas de los cuadrados construidos sobre los lados AB y AC. a
2 Fermat y Descartes son los matemticos a quienes se les da mayor crdito, sin embargo, el desarrollo de la geometr anal a e a tica (as como cualquier otra rea de la matemtica) es un proceso prolongado con numerosas contribuciones a lo largo de la historia, tan a a antiguas como las hechas por Apolonio de Perga.

21

2.1 El teorema de Pitagoras.

2 GEOMETR IA.

2. Generalizacin del teorema de Pitgoras: Pero si suponemos que ese resultado de reas es cierto, eno a a tonces al construir cualquier juego de guras semejantes sobre los lados del ABC (que correspondan a cada lado), tambin deber cumplirse la misma relacin entre las reas en todos los casos: El rea de la gura e a o a a correspondiente a BC es igual a la suma de las reas de las guras correspondientes a AB y AC. D una a e prueba de esta aseveracin. o

3. Particularizacin del teorema de Pitgoras: De hecho, basta con encontrar un slo juego de tres guras o a o semejantes (que correspondan a los lados del ABC) tales que cumplan la relacin de reas requerida, para o a que todas las relaciones de reas utilizando cualquier juego de guras semejantes, sean ciertas; en particular, a ser cierta la condicin de reas para los cuadrados, y esto demostrar la validez del teorema de Pitgoras. a o a a a D una prueba de esta aseveracin. e o 4. Observe la siguiente gura: D es el pie de la altura trazada desde A, A1 es la reexin de A con respecto o a BC, D1 y D2 son las reexiones de D con respecto a AB y AC. Qu puede decir sobre los tringulos e a BCA1 , ABD1 y ACD2 ? Son semejantes? Qu relacin existe entre sus reas? e o a

22

2.2 Una demostracion sin palabras.

2 GEOMETR IA.

D2 A D1

D B C

A1

5. Demuestre a partir de lo anterior el teorema de Pitgoras, tomando por hiptesis que BAC = 90 . a o 6. D adems un argumento para la otra direccin lgica: Suponga que se cumple la relacin BC 2 = AB 2 + AC 2 e a o o o y demuestre a partir de esto que BAC = 90 .

2.2.

Una demostracin sin palabras. o


1 2. x
1 x

Teorema 2.2. Dado x R+ , se cumple que x + Demostracin. o


3

x
1 x

x
1 x

x x
1 x

2.3.

Desigualdad de Medias.
2 . +1 b La Media Geomtrica (MG) de a y b: ab. e La Media Armnica (MH)4 de a y b: o
1 a

Denicin 2.1. Dados a, b R+ , se denen: o

La Media Aritmtica (MA) de a y b: e

a+b . 2 a2 + b2 . 2

La Media Cuadrtica (MR)5 de a y b: a

Aunque estas deniciones, que toman por parmetros a dos nmeros reales positivos arbitrarios, son puramente a u algebraicas, es posible interpretarlas geomtricamente y obtener relaciones interesantes entre ellas. Considere la e siguiente gura:
Cunto vale el area de cada rectngulo sombreado? Cundo alcanza el rea m a a a a nima el cuadrado de lado x + ingls Harmonic Mean. e 5 Del ingls Root Mean Square. e
4 Del 3 Pista: 1 ? x

23

2.3 Desigualdad de Medias.

2 GEOMETR IA.

F D

Se tiene una semicircunferencia de dimetro AB y centro E, C es un punto cualquiera del dimetro y se dene a a AC = a, BC = b; las perpendiculares al dimetro en C y E cortan a la semicircunferencia en D y F , respectivamente; a nalmente, G es el pie de la perpendicular por C a DE. 1. Demuestre las siguientes igualdades, reexione previamente qu herramientas y teoremas conoce que puedan e ser utiles: ED = EF a+b 2 a2 + b2 CF = 2 CD = ab 2 DG = 1 1 a + b =

2. Ponga especial atencin en el CEF . Cul es el lado ms grande? Qu relacin existe entre la media o a a e o cuadrtica y la media aritmtica de a y b? Es posible que se d la igualdad entre la media cuadrtica y la a e e a media aritmtica (bajo qu condiciones)? e e
F

3. De manera anloga, preste ahora atencin al CDE. Qu medias pueden relacionarse? Qu conclusin oba o e e o tiene con respecto a dichas medias? Es posible que se d la igualdad de dichas medias (bajo qu condiciones)? e e
D

4. Qu media an no ha sido analizada? Observa algn tringulo que pueda ser util para compararla con e u u a alguna otra media? Puede establecer un orden entre todas las medias? Es posible que se den las igualdades (bajo qu condiciones)? e 5. Finalmente, es importante reexionar si el razonamiento que se ha seguido es sucientemente general: Se barren todos los casos? Es decir, para nmeros reales positivos arbitrarios a y b siempre es posible reproducir u el razonamiento anterior? Describa el algoritmo para construir la gura dados a y b reales positivos arbitrarios. 24

2.4 Disenando una figura especial.

2 GEOMETR IA.

Teorema 2.3. Dados a, b R+ , se cumple M H M G M A M R, es decir


1 a

2 +

1 b

ab

a+b 2

a2 + b2 2

Cumplindose la igualdad en cada desigualdad si y slo si a = b. e o La demostracin desarrollada anteriormente tiene una componente geomtricamente muy alta, sin embargo, es o e importante aclarar que este resultado puede demostrarse con herramientas puramente algebraicas. Tambin es e importante reconocer que la demostracin geomtrica tiene sus limitantes, el teorema anterior puede generalizarse a o e n nmeros reales positivos, pero la herramienta geomtrica ser insuciente en este caso. A continuacin se enuncia u e a o dicha generalizacin del teorema 2.3 pero no se trabajar en lo subsiguiente. o a Teorema 2.4. Dados a1 , a2 , . . . , an R+ , se cumple M H M G M A M R, es decir n + + n a1 a2 an a1 + a2 + + an n a2 + a2 + + a2 n 2 1 n

1 a1

1 a2

1 an

Cumplindose la igualdad en cada desigualdad si y slo si a1 = a2 = = an . e o

2.4.
6

Dise ando una gura especial. n

Se quiere elaborar una gura especial: Esta gura est compuesta por cuadrados cada vez ms pequeos, cada a a n uno de los cuales tiene sus vrtices sobre los lados del cuadrado anterior, y por esttica, se quiere que el ngulo de e e a rotacin entre un cuadrado y el cuadrado siguiente sea siempre el mismo. o

1. El primer problema que se plantea ac es: Dado un cuadrado, cmo construir un nuevo cuadrado con sus a o vrtices sobre el cuadrado original? Observa alguna simetr e a? Para entendernos mejor, comenzaremos escogiendo una notacin que permita sistematizar los procedimientos. o Suponga que se tienen ya construidos los primeros dos cuadrados, llame ABCD al cuadrado original y EF GH al cuadrado cuyos vrtices se encuentran sobre los lados de ABCD. e
6 Solucin o

original de Carlos Mrquez. a

25

2.4 Disenando una figura especial.

2 GEOMETR IA.

D H

F A
Los tringulos de las esquinas, a v nculo entre ellos? AEH,

E
BF E, CGF ,

B
DHG, se ven bastante parecidos Existe algn u

Bueno, s todos son tringulos rectngulos, adems, suponiendo que EF GH es un cuadrado, las hipotenusas , a a a de estos tringulos deben ser iguales. a Estos tringulos son demasiado sospechosos, parecen semejantes... No, ms espec a a co an, congruentes! Deu muestre esta conjetura. A partir de lo anterior, dado el cuadrado ABCD, es posible disear un algoritmo para construir un cuadrado n EF GH?... Una condicin necesaria es ubicar puntos sobre los lados de ABCD de tal forma que dividan convenientemente o estos lados en dos cuaternas de segmentos congruentes: AE = BF = CG = DH EB = F C = GD = HA La pregunta ahora es si eso ser suciente. Demuestre que s lo es. a En la siguiente gura, se muestren distintas posibles escogitaciones de los puntos E, F , G y H bajo la condicin anterior; observe que hay innitos posibles cuadrados EF GH cuyos vrtices se ubican sobre los o e lados de ABCD.
D H G C
D G C D G C

C F

H H F F

F A E B
A E B A E B

2. Ahora es posible proseguir a la siguiente etapa: Construir el cuadrado siguiente. Fijados ABCD y EF GH, ya tenemos un algoritmo para construir un cuadrado IJKL con vrtices sobre los e lados de EF GH, pero cul de los innitos posibles cuadrados IJKL? a

26

2.4 Disenando una figura especial.

2 GEOMETR IA.

D K H

D K H

D K H

G J

J
L

F I A E B
I A E

F L I E B A

Observe que no todos los cuadrados cumplen la condicin esttica requerida: El ngulo de rotacin entre o e a o ABCD y EF GH no ser por lo general igual al ngulo de rotacin entre EF GH e IJKL. Cmo lograr esto? a a o o De nuevo, es posible suponer que ya tenemos construido el cuadrado adecuado IJKL. Se busca que BEF = F IJ:

D K H

J L F I A E B
BEF y F IJ Qu los relae

De nuevo,los tringulos de las esquinas... Observe con atencin los tringulos a o a ciona?

S son tringulos rectngulos, y hay adems otro par de ngulos iguales... Son semejantes! Qu implica esto? , a a a a e EF FB BE = = IJ JF FI Cul de estas igualdades es la ms util? Analicemos la fracciones: La primera fraccin toma los lados del a a o segundo y tercer cuadrado, pero dado el algoritmo de construccin que se desarroll previamente, el lado de un o o cuadrado surge una vez que se han construido dos vrtices, digamos J e I. As parece ms asequible utilizar e , a las otras dos fracciones. BE FB = JF FI Es posible transformar esta expresin a algo ms intuitivo? Qu sabemos de los segmentos en cuestin? ... o a e o BF = CG = DH = AE y otras relaciones similares... Recordemos qu es lo que nos tiene reexionando tanto: Hay innitos cuadrados IJKL cuyos vrtices se e e encuentran sobre los lados del cuadrado EF GH, pero slo uno de stos cumple BEF = F IJ... si tan slo o e o 27

2.4 Disenando una figura especial.

2 GEOMETR IA.

pudiramos conocer la ubicacin exacta de alguno de los vrtices de IJKL, el problema estar resuelto. e o e a El problema ahora es cmo caracterizar a un punto, digamos I, para que el cuadrado IJKL sea el adecuado. o Revisemos lo que sabemos de I y lo que se puede averiguar: Es posible calcular la longitud exacta de EI? ... Posiblemente no, depender del cuadrado EF GH; adems, sabiendo la longitud de EI, luego est el problema a a a de construir el punto I que satisfaga esto. As que tengo que determinar alguna caracter stica para el punto I y adems decir cmo se construye dicho punto I cumpliendo esa caracter a o stica. Parece que este esfuerzo lleva a ms preguntas que respuestas... Pero est bien, esto es normal, ya hemos avana a zado bastante y no hay razn para declinar. Qu ms sabemos de I?... Claro, hace un momento calculamos o e a unas razones que lo vinculan, pero requiero transformarla a algo que me d una pista de cmo construir el e o punto I. Es posible reescribir dicha igualdad de tal manera que d una idea sobre la razn en que el punto e o I divide al lado del cuadrado EF GH? BE AE EI FB = = JF FI EB IF Eureka! El punto E divide al lado AB en la misma razn que el punto I divide al segmento EF . Claro, o esto es muy lgico, si la relacin entre el cuadrado ABCD y el cuadrado EF GH debe ser la misma que la o o relacin entre este ultimo cuadrado y el cuadrado IJKL. Es tan evidente, por qu no lo vi antes?... Cuando o e el problema est resuelto siempre parece ms evidente de lo que realmente es. a a 3. Sin embargo, el problema no est terminado, hemos llegado a la recta nal: Ya se tiene la caracterizacin de a o I pero cmo lo construyo? o Una posibilidad ser medir, hacer los cocientes y luego volver a medir, pero esta solucin la dejaremos como a o ultima instancia (slo la utilizaremos si no logramos conseguir una mejor solucin), es poco geomtrica, carece o o e de rigor y de precisin. o La tarea no es sencilla, a lo mejor deba apoyarme en algn resultado conocido: Qu resultados conozco que u e vinculen la razn en que divide un punto a un segmento? o Teorema de Thales. Semejanza de tringulos. a Teorema de la bisectriz. Teorema de Ceva, teorema de Menelao. Potencia de punto con respecto a una circunferencia. Vaya!, ninguna de estas opciones parece buena, cmo aplicar el teorema de Thales si no tengo rectas paralelas o que me vinculen el punto E con el punto I? Semejanza de tringulos, eso hemos estado utilizando, puede ser, a puede ser... Teorema de la bisectriz? pero si no tengo bisectrices en el problema. Teorema de Ceva, Menelao, Potencia de Punto, creo que no reno sucientes condiciones para utilizarlos. u El problema se volvi irresoluble... Hay que hacer algo, a lo mejor deba manipular ms la gura, alguna o a construccin? hay alguna relacin adicional que no he analizado y que pueda ser util? La desesperacin ha o o o llegado, casi llego al punto de hacer trazos innecesarios slo por dejar de hacer nada... Pero hay que seguir, o tal como dir Thomas Alva Edison: El genio es un uno por ciento de inspiracin, y un noventa y nueve por a o ciento de transpiracin. O como dir Picasso: Cuando llegue la inspiracin, que me encuentre trabajando. o a o

28

2.4 Disenando una figura especial.

2 GEOMETR IA.

D K H

J L F I A E B

Qu hay all BD para qu sirve trazar la diagonal BD?... Momento! Esta es una bisectriz, s una bisectriz e ? e , del cuadrado ABCD, y tambin una bisectriz del tringulo BEF ... teorema de la bisectriz; en este tringulo, e a a a qu razn corta el pie de la bisectriz al lado EF ?... Eureka!7 e o 4. A partir de los tres numerales anteriores, disee un algoritmo para la construccin de la gura. El algoritmo n o debe considerar la construccin de cualquier cantidad nita de cuadrados. o 5. Lleve este algoritmo a la prctica aplicndolo en algn software como GeoGebra, GeometerSketchpad o Cabri. a a u En la siguiente gura, se muestran los resultados generados (con distintas razones) con el mismo algoritmo en GeoGebra.

6. Es posible modicar el algoritmo para que funciones sobre otras guras geomtricas? Por ejemplo, tringulos e a equilteros. a

7 De

poetas, genios y locos, todos tenemos un poco. (Annimo) o

29

2.5 La importancia del dibujo.

2 GEOMETR IA.

2.5.

La importancia del dibujo.

El famoso matemtico francs Henry Poincar dijo alguna vez: La geometr es el arte de pensar bien y dibujar a e e a mal. Esto es sin duda vlido, sin embargo, hay excepciones. Es frecuente que al momento de resolver problemas a geomtricos, el dibujo sea una de las cosas en la que menos se quiere desperdiciar tiempo, a pesar que es sobre l e e donde se vierten y conuyen todas las ideas para resolver el problema. A continuacin se muestran situaciones en las cuales el dibujo resulta ser, adems de un apoyo, una fuente de o a inspiracin si se presta mucha atencin, o una trampa si se utiliza descuidadamente. o o 2.5.1. Todos los tringulos escalenos son issceles? a o

1. Considere la siguiente gura. Dado el ABC, un tringulo escaleno, se trazan la bisectriz del ngulo BAC a a y la mediatriz de BC, estas rectas se cortan en P . Luego se construyen las proyecciones de P sobre AB y CA, llamadas Q y R, respectivamente.

Q P B

Como el punto P pertenece a la mediatriz de BC, entonces P B = P C. Como el punto P pertenece adems a a la bisectriz del BAC, entonces P Q = P R. Luego, por el teorema de Pitgoras a BQ = AQ = P B 2 P Q2 AP 2 P Q2 = = P C 2 P R2 = CR AP 2 P R2 = AR ABC es issceles?... Escaleno e o

Entonces, AB = AQ + BQ = AR + CR = AC, y por lo tanto el tringulo a issceles al mismo tiempo, contradiccin! o o

Qu pas? Hay algn error en la prueba?... Aparentemente no, no hay errores de clculo, los teoremas e o u a han sido utilizados correctamente... Posiblemente el teorema de Pitgoras sea falso... No, esto es improbaa ble, ha sobrevivido al anlisis de innumerables mentes brillantes durante miles de aos y ha pasado la prueba... a n S denitivamente el error es nuestro, pero cul es? Revisemos el dibujo, qu supuestos se han hecho? , a e Se ha supuesto que la bisectriz y la mediatriz de cortan en un punto, posiblemente esto sea incorrecto, las alternativas a esta situacin son: o Estas rectas rectas son paralelas. Si suponemos esto, entonces la bisectriz del BAC ser perpendicular a a BC, lo que implicar que esta bisectriz es a la vez altura, y por tanto el tringulo ser issceles. De a a a o nuevo, la misma contradiccin. o Estas rectas coinciden. El mismo razonamiento anterior es vlido, y se obtiene la misma contradiccin. a o Haber supuesto que estas rectas se cortan en un unico punto no es el problema. Qu otros supuestos hemos e hecho?... A lo mejor, repitiendo el dibujo surgen nuevas ideas:

30

2.5 La importancia del dibujo.

2 GEOMETR IA.

Una revisin ms cuidadosa del dibujo muestra que la bisectriz hab sido mal construida, el punto P se ubica o a a en el exterior del tringulo ABC. Este pequeo error desencaden una serie de razonamientos que aunque a n o correctos, no existe gura que responda a ellos. 2. Utilice esta nueva gura para repetir el proceso anterior, y verique que la demostracin mostrada es incorrecta. o 3. Verique que las guras siguientes llevan a errores equivalentes al error original:
A

B Q

C R

R C
P

4. D una demostracin rigurosa que justique lo siguiente: e o a) El punto P debe estar en el exterior del ABC.

b) Los puntos Q y R se ubican sobre las rectas AB y CA de tal forma que si uno est en el interior del lado a que le corresponde, el otro est en el exterior, y viceversa. a Sugerencia: Demuestre y utilice el teorema siguiente: En un tringulo, una bisectriz interna corta a la a mediatriz del lado opuesto en un punto que pertenece al circunc rculo del tringulo. a 2.5.2. Visualizacin extraordinaria del teorema de Desargues. o

Antes de establecer el teorema de Desargues, son necesarias dos deniciones:

31

2.5 La importancia del dibujo.

2 GEOMETR IA.

Denicin 2.2. Dos tringulos ABC y A B C se dice que estn en perspectiva respecto a un punto si las o a a rectas AA , BB y CC concurren. El punto de concurrencia se llama el centro de perspectiva de los tringulos. a Para la siguiente denicin, se tomar la siguiente convencin: Dado un tringulo ABC, denotamos por a a la o a o a recta BC, b a la recta CA, c a la recta AB. Adems, a la interseccin de dos rectas, por ejemplo, a y b, se denotar a o a ab. Denicin 2.3. Dos tringulos ABC y A B C se dice que estn en perspectiva respecto a una recta si los o a a puntos aa , bb y cc estn alineados. A la recta que contiene a estos puntos se le llama el eje de perspectiva de los a tringulos. a El teorema de Desargues establece lo siguiente: Teorema 2.5. Dos tringulos estn en perspectiva respecto a un punto si y slo si estn en perspectiva respecto a a a o a una recta. En la gura, los tringulos a ABC y A B C estn en perspectivo respecto al punto T y respecto a la recta t. a

T A t

C C

A B
1. Observe cuidadosamente la gura siguiente. Qu gura geomtrica aparenta? Trate de abstraerse del problee e ma original.

2. Ve la gura en tres dimensiones?... Parece un tetraedro. A partir de este momento, se supondr que la gura a del teorema de Desargues es la representacin plana de una gura tridimensional, y cualquier anlisis que se o a le haga a la gura tridimensional, tendr sus consecuencias en la gura plana del teorema. As suponga que a , T A B C es un tetraedro, mientras que A, B y C son los puntos de corte de un plano sobre las aristas T A , T B y T C , respectivamente.

32

2.5 La importancia del dibujo.

2 GEOMETR IA.

T A

C C

A B

Consideraremos conocidos los siguiente resultados de geometr slida: a o La interseccin de dos planos es una l o nea recta. Dos rectas coplanares son secantes o paralelas. As el plano ABC y A B C se cortan en una l , nea recta. Qu sucede si prolonga AB y A B ? Son rectas e coplanares? El punto de interseccin de estas rectas pertenece al plano ABC? Y al plano A B C ? o 3. Utilizando los razonamientos anteriores, concluya que los puntos aa , bb y cc estn alineados. a 4. Finalmente, regresando al problema original, si los puntos anteriores estn alineados en el espacio, qu a e sucede cuando proyectamos esa gura sobre el plano? Concluya a partir de esto que si dos tringulos estn a a en perspectiva con respecto a un punto entonces estn en perspectiva con respecto a una recta. a 5. Idee una forma de demostrar la otra implicacin: Si dos tringulos estn en perspectiva respecto a una recta o a a entonces estn en perspectiva respecto a un punto. a Una conclusin importante de las discusiones anteriores es que, si bien es cierto la matemtica trata problemas que o a son puramente abstractos, el apoyo en lo concreto, en lo plausible, es algo que est siempre presente; por tanto, a no debe renunciarse a la vericacin de los resultados obtenidos, a la inspiracin que surge de lo particular, a las o o ideas aparentemente descabelladas. Por supuesto, ninguna de estas actitudes garantiza el xito en la resolucin de e o problemas matemticos, pero vale la pena intentarlo. a

33

3 ALGEBRA

3.
3.1.

ALGEBRA
Algunas reexiones generales sobre la ense anza del lgebra. n a

Las primeras reexiones que un maestro debe hacer antes de iniciar la enseanza del lgebra es sobre los mtodos n a e y tcnicas utilizadas en la enseanza de la aritmtica y sobre el pensamiento numrico formado en los alumnos. e n e e Algunas de las primeras interrogantes son: Sern estos mismos mtodos utilizables en la enseanza del lgebra? a e n a Es necesaria la modicacin de stos, por la naturaleza de sus elementos? Qu deben saber y conocer los maestros o e e para minimizar las dicultades de aprendizaje de los alumnos? Cmo lograr que los estudiantes pasen de una o situacin problemtica a una situacin algebraica? A lo largo del estudio del lgebra, est siempre claro para los o a o a a alumnos qu representan los s e mbolos? Cmo encontrar la solucin a los problemas algebraicos? o o Para una mejor comprensin del estudio del algebra, los maestros deben iniciar a los alumnos en o El conocimiento y signicado de s mbolos aritmticos. e El aparecimiento y uso de las letras de manera contextualizada para su mejor comprensin. o Los convenios de notacin siendo stos claves para distinguir el lenguaje aritmtico del algebraico. o e e Hay que inducir a los alumnos en procesos intelectuales y lograr paulatinamente en ellos niveles de abstraccin; o esto se puede lograr con actividades que promuevan los procesos de visualizacin, interpretacin y simbolizacin, los o o o cuales son imprescindibles para llegar a la generalizacin y conducir a los alumnos a etapas de comprensin efectiva o o de la matemtica. Las actividades propuestas por los maestros deben presentar situaciones en donde los alumnos a realicen procesos mentales de nivel superior, ya que el descubrimiento de regularidades promueve la necesidad de su representacin simblica, logrando la familiarizacin con los s o o o mbolos algebraicos. Debe darse una atencin importante a la traduccin del lenguaje verbal al simblico, para que los estudiantes exo o o presen sus ideas, su razonamiento y plasmen su creatividad, siendo todos stos aspectos utiles en el aprendizaje de e la matemtica. a Una parte central de las matemticas es saber resolver problemas, en consecuencia, la resolucin de problemas a o debe ser un mtodo privilegiado en el aula y que debe utilizar todo maestro de matemtica. Adems, la resolucin e a a o de problemas involucra procesos mentales, donde la conjetura, las estrategias, el razonamiento y la intuicin son o necesarias para el desarrollo de las potencialidades intelectuales de los alumnos, razn por la cual se debe incorporar o desde los primeros aos de la Educacin Primaria. n o 3.1.1. Razonamiento algebraico.

En los Principios y Estndares para las Matemticas Escolares del National Council of Teachers of Mathematics a a (NCTM, 2000) se propone al Algebra como uno de los cinco bloques de contenido, junto con Nmeros y Operaciones, u Geometr Medida, Anlisis de datos y Probabilidad, con la particularidad de que este bloque se debe desarrollar, a, a no slo en los niveles de enseanza secundaria, sino incluso desde preescolar. o n Ciertamente no se trata de impartir un curso de lgebra a los alumnos de educacin infantil y primaria, sino de a o desarrollar el pensamiento algebraico a lo largo del per odo que se inicia en la educacin infantil hasta el bachillerato o (grados K-12). Por ejemplo, en el lgebra escolar se incluye el estudio de los patrones (numricos, geomtricos y de a e e cualquier otro tipo), las funciones, y la capacidad de analizar situaciones con la ayuda de s mbolos. El razonamiento algebraico implica representar, generalizar y formalizar patrones y regularidades en cualquier aspecto de las matemticas. A medida que se desarrolla este razonamiento, se va progresando en el uso del lenguaje y a el simbolismo necesario para apoyar y comunicar el pensamiento algebraico, especialmente las ecuaciones, las variables y las funciones. Esto es de suma importancia ya que la generalizacin es un problema central de la matemtica. o a Algunas caracter sticas del razonamiento algebraico que son sencillas de adquirir por los estudiantes, y por tanto deben conocer los maestros en formacin, son: o

34

3.1 Algunas reflexiones generales sobre la ensenanza del algebra.

3 ALGEBRA

1. Los patrones o regularidades existen y aparecen de manera natural en las matemticas. Pueden ser reconocidos, a ampliados, o generalizados. El mismo patrn se puede encontrar en muchas formas diferentes. Los patrones o se encuentran en situaciones f sicas, geomtricas y numricas, entre otras. e e 2. Podemos ser ms ecaces al expresar las generalizaciones de patrones y relaciones usando s a mbolos. 3. Las variables son s mbolos que se ponen en lugar de los nmeros o de un cierto rango de nmeros. u u 4. Las funciones son relaciones o reglas que asocian los elementos de un conjunto con los de otro, de manera que a cada elemento del primer conjunto le corresponde uno y slo uno del segundo conjunto. Se pueden expresar o en contextos reales mediante grcas, frmulas, tablas o enunciados. a o Con relacin a la segunda caracter o stica, hay que destacar que entre los s mbolos que usamos para expresar las generalizaciones de patrones y relaciones sobresalen los que permiten representar variables y los que permiten construir ecuaciones e inecuaciones. Con relacin a la tercera caracter o stica, hay que destacar que las variables tienen signicados diferentes dependiendo de si se usan como representaciones de cantidades que var o cambian, como an representaciones de valores espec cos desconocidos, o formando parte de una frmula. o Respecto a la cuarta caracter stica, hay que destacar que todas las representaciones de una funcin dada son simpleo mente maneras diferentes de expresar la misma idea. Aunque idealmente contienen la misma informacin, ponen en o funcin diferentes procesos cognitivos, cada uno de ellos estrechamente relacionado con los otros. La representacin o o grca conecta con las potencialidades conceptualizadoras de la visualizacin y se relaciona con la geometr y la toa o a polog La representacin en forma de tabla pone de maniesto los aspectos numricos y cuantitativos. La frmula a. o e o conecta con la capacidad simblica y se relaciona principalmente con el lgebra, mientras que la representacin o a o verbal se relaciona con la capacidad ling ustica de las personas y es bsica para interpretar y relacionar las otras a tres. Se trata el problema de la identicacin de pautas o regularidades que aparecen en ciertas conguraciones geomtricas, o e que servirn de base para el desarrollo de la creatividad, pues permiten el uso de diferentes estrategias para la oba tencin de la generalizacin de una sucesin numrica asociada. Entre estas secuencias numricas se destacan las o o o e e correspondientes a las conguraciones de puntos de los nmeros poligonales o de otras sucesiones de nmeros guu u rados de crecimiento lineal o bidimensional. El tratamiento didctico tiene una fuerte componente prctica y constructiva, en tanto que las diferentes actividades a a y cuestiones son las que sirven de base a la introduccin y elaboracin de los nuevos procedimientos y conceptos. o o Las actividades que se plantean a continuacin, recogen sucesiones que responden a un abanico de contextos, o representaciones, tipos, tendencias, y dan oportunidad para expresiones directas o recurrentes del trmino general. e 3.1.2. Pensamiento inductivo.

Discutir con los maestros las siguientes actividades, que pueden ser un medio para iniciar el proceso de generalizacin. o ACTIVIDADES 1. Considera los primeros trminos de las siguientes secuencias de puntos y responde: e

Cmo son los trminos siguientes en cada una? o e Explica cmo se van formando estas secuencias. o Realiza otra secuencia diferente que tenga el mismo nmero de puntos para cada caso. u

35

3.1 Algunas reflexiones generales sobre la ensenanza del algebra.

3 ALGEBRA

2. Considera los trminos de esta secuencia de guras geomtricas y escribe debajo de cada gura la fraccin de e e o a rea en negro en relacin con el rea total del tringulo grande. o a a

3. Dado un nmero cualquiera, smale 3 y divide el resultado por 2 y as sucesivamente. Escribe la sucesin u u o de nmeros que vas obteniendo despus de cada operacin suma y divisin y donde el primer trmino es el u e o o e nmero de partida. (Escriba al menos doce trminos). u e 4. Completa la tabla siguiente y despus responda a las preguntas que se le hacen. e

Explica cmo has obtenido los trminos 11 y 16 . o e Cmo obtendr los trminos: 6 , 9 , 12 ? o as e Qu tienen en comn los trminos anteriores? e u e Y los trminos 5 , 8 , 11 ? Y los trminos 1 , 4 , 7 ? e e 5. Dada la sucesin: 2, 6, 12, 20, 30, . . . o Expresa como producto de dos factores apropiados los trminos anteriores. e Puedes encontrar ahora ms fcilmente el 6 trmino? a a e Crea una secuencia de guras cuya rea se adapte a los valores de los trminos de la sucesin. a e o Cules son los trminos 14 , 21 y 40 ? a e 6. A la vista de la secuencia de guras formadas por tringulos, completa la tabla que siguiente: a

N de tringulos a N de fsforos o

1 3

...

Dibuja la grca de la sucesin que se obtiene y precisa de qu tipo es. a o e Halla la expresin del trmino general. o e 7. Determina la frmula que genera la serie numrica de la cantidad de fsforos utilizados para construir las o e o guras siguientes:

N de cuadrados N de fsforos o

...

8. Llamamos nmeros cuadrados a la cantidad de puntos de las guras siguientes: u

36

3.1 Algunas reflexiones generales sobre la ensenanza del algebra.

3 ALGEBRA

Halla una relacin de recurrencia de la secuencia que vincule un nmero cuadrado con el nmero cuadrado o u u anterior. (Observa el proceso de formacin sugerido por las l o neas discontinuas.) A la vista del resultado, calcula la suma de los primeros 50 nmeros impares positivos. u 9. En la secuencia que sigue, relaciona el orden de cada gura (primera gura, segunda gura, etc.) con: El per metro. El nmero de tringulos u a

10. El nmero al que tiende la sucesin de trmino general: an = u o e

1 se le denomina nmero e, o nmero u u n de Euler. Cul es el valor aproximado del nmero e? (Utiliza la calculadora) a u 1+

11. Considera los trminos de esta secuencia de guras geomtricas y escribe debajo de cada gura la fraccin de e e o a rea en negro en relacin con el rea total del tringulo grande: o a a

Estos cocientes se aproximan a algn valor? A cul? u a Qu puede decirse de los valores del rea negra? e a 12. Observa la siguiente sucesin de guras. Encuentra al menos cinco frmulas para calcular el nmero de o o u cuadrados de color celeste en funcin del orden de la gura. o

13. Dado el siguiente esquema:

a) En la quinta posicin, cuntos ladrillos hay? Y en la dcima posicin? Y en la decimoquinta posicin? o a e o o Y en la trigsimo quinta posicin? e o b) Si tengo 13 ladrillos, en qu posicin estoy? Y si tengo 21 ladrillos? e o c) Qu relacin hay entre las cantidades de ladrillos? e o

37

3.1 Algunas reflexiones generales sobre la ensenanza del algebra.

3 ALGEBRA

d ) Qu sucede con la cantidad de ladrillos a medida que avanzo en las posiciones? e 14. a) Cul es el rea de cada cuadrado sabiendo que cada lado es la mitad del anterior? a a b) Cul es el rea del cuarto cuadrado? Y la del vigsimo cuadrado? Y la del ensimo cuadrado? a a e e c) Si tengo un rea igual a a
1 1024 cm.

, a qu cuadrado corresponde? e

d ) Qu le pasa al rea del cuadrado a medida que formamos los cuadrados? e a e) Qu relacin hay entre las reas de los cuadrados obtenidos? e o a f ) Gracar la sucesin obtenida. o

1cm

15.

a) Cul es el per a metro de cada cuadrado sabiendo que cada lado equivale a la mitad del anterior? b) Cul es el per a metro del cuarto cuadrado? Y el del vigsimo cuadrado? Y el del n-simo cuadrado? e e
1 c) Si tengo un per metro igual a 8 cm., a qu cuadrado corresponde? e

d ) Qu le pasa al per e metro del cuadrado a medida que formamos los cuadrados? e) Qu relacin hay entre los per e o metros de los cuadrados obtenidos? f ) Gracar la sucesin obtenida. o

1cm

16. Se construy una torre triangular con latas vac todas de igual forma y tamao. Se las ubic de modo tal o as, n o que cada hilera tuviese una lata menos que la anterior. Si se dispon de cien latas: a a) Cuntas hileras conforman la torre? a b) Cuntas latas se colocan en la base? a c) Sobran latas? d ) Y si se dispone de 10.000 latas? 3.1.3. Una actividad motivacional

Uno de los papeles ms importantes que debe jugar el maestro en el aula es el de atraer la atencin del estudiante a o al estudio de la matemtica. Para ello existen alternativas como acudir a la historia, la utilizacin de juegos a o matemticos y la presentacin de curiosidades matemticas. La siguiente actividad es un ejemplo de actividad a o a motivacional que tiene por objetivo inspirar al estudio de la matemtica e incentivar la curiosidad del alumno. a El resultado 1089.

38

3.2 Errores Basicos en Algebra.

3 ALGEBRA

Hay una curiosidad numrica clsica, fcil de encontrar en muchos libros de matemtica recreativa, que es conseguir e a a a el nmero 1089. Tanto al nal como en sus pasos intermedios, puede servir como un buen truco de magia para u trabajar en clase los conceptos algebraicos. Tan acionados que solemos ser a los ejercicios algebraicos en los que queremos encontrar un nmero de tres cifras que al cambiar las unidades y las centenas entre s la diferencia tenga u , un cierto valor, veremos que aqu podemos trabajar lo mismo de una forma ms atractiva. a Un espectador escoge un nmero de tres cifras que no sea capica,8 cambia entre s la primera y ultima cifra y u u resta los dos nmeros obtenidos. Si el espectador le indica al mago la primera o ultima cifra, ste puede saber u e inmediatamente cul es el resultado de la diferencia. a Si por ejemplo piensa en el 429, debe realizar la resta 924 429 = 495. El resultado de esa resta es un mltiplo de 9, con la caracter u stica de que la cifra de las decenas es siempre 9 y la suma de las unidades y las centenas vale tambin 9. Vemoslo algebraicamente: Si se piensa en el nmero abc e a u (supongamos que a > c) entonces abccba = (100a+10b+c)(100c+10b+a) = 99a99c = 99(ac). Supongamos que a c = x. Vamos a demostrar que 99x es un nmero de tres cifras, donde la cifra de las decenas es 9 y la suma de las unidades u y las centenas tambin es 9. e 99x = 100x x = 100(x 1) + 100 x = 100(x 1) + 90 + 10 x En esta expresin, la cifra de las centenas es x 1, la de las unidades 10 x (luego su suma da 9) y la de las decenas o es 9. Podemos ahora seguir con el truco. Si al nmero que se ha obtenido al restar los dos nmeros originales se le vuelve u u a cambiar la primera y ultima cifra y se suman los dos ultimos nmeros, siempre se obtiene como resultado 1089! u

3.2.

Errores Bsicos en Algebra. a

El conocimiento de los errores bsicos en lgebra es importante porque nos provee de informacin sobre la forma en a a o que nuestros alumnos y alumnas interpretan los problemas y cmo utilizan los diferentes procedimientos algebraicos. o Existen diferentes estudios sobre el origen de los errores ms comunes, aunque todos giran en torno a las mismas a ideas. Puede decirse que existen dos grandes grupos de errores, a saber: 3.2.1. Errores producidos por al cambio conceptual de la aritmtica al lgebra. e a

Los cambios conceptuales entre la aritmtica y el lgebra tienen una importante incidencia en la consecucin de erroe a o res. El mayor cambio conceptual en el aprendizaje del lgebra se centra alrededor de su diferencia con la aritmtica a e en el signicado de los s mbolos e interpretaciones de las letras. El discernimiento del signicado de los valores simblicos les puede llevar a dar 7x como resultado de 3x + 4, que tiene que ver con su interpretacin del s o o mbolo + en aritmtica. e En lo que se reere a la maduracin del concepto de igualdad, se presenta un cambio conceptual an ms cr o u a tico. En aritmtica, el signo = es usado para: e Conectar un problema con su resultado numrico, como: 4 + 7 = 11. e Unir una secuencia de pasos que conducen a un resultado nal: 3 (15 6) = 3 9 = 27. Relacionar dos procesos que dan el mismo resultado, como, por ejemplo: 3 4 = 6 + 6. Las ecuaciones, a diferencia de las expresiones aritmticas anteriores, no son armaciones verdaderas universalmene te; es decir, el signo = no coloca en conexin identidades, sino que obliga a la incgnita a tomar un valor (o valores) o o para que la expresin sea verdadera. o Un error bastante frecuente en la resolucin de ecuaciones, es efectuar operaciones en el primer miembro de la o
8 Capica u

o Pal ndromo: Es un nmero natural que se lee igual de izquierda a derecha que de derecha a izquierda. u

39

3.2 Errores Basicos en Algebra.

3 ALGEBRA

misma sin modicar el segundo. Este error es debido a que pierden el sentido de igualdad (de equilibrio) entre ambos miembros de la ecuacin. En este sentido es muy util el recurso de las balanzas para el estudio de las ecuaciones. o En la misma l nea est el error de cambiar el signo de uno de los miembros de la ecuacin sin modicar el signo del a o otro miembro. Por ultimo, una de las diferencias ms obvias entre la aritmtica y el lgebra reside en el signicado de las le a e a tras. Las letras tambin aparecen en aritmtica, pero de forma diferente, por ejemplo, las letras m y g pueden e e usarse en aritmtica para representar metros y gramos, respectivamente, ms que para representar el nmero de e a u metros o el nmero de gramos, como en lgebra, aunque la diferencia ms signicativa se da en la letra como variable. u a a Incluso cuando los alumnos interpretan letras que representan nmeros existe una tendencia a considerar las letras u como valores unicos y espec cos ms que como nmeros generalizados o como variables. Una de las muchas consea u cuencias errneas en este sentido es que, a veces, los alumnos reducen la validez de una transformacin algebraica o o a comprobar la verdad aritmtica de un ejemplo concreto. Por ejemplo, deducen que x2 = 2x ya que esta igualdad e se cumple para el nmero 2, sin apreciar que, en realidad, no se cumple en ningn otro caso (salvo el cero, claro est). u u a Aunque, es cierto, que para describir la expresin algebraica de un enunciado es necesario que el alumnado piense o en ejemplos concretos, hay que hacer hincapi en que no se limiten a un solo caso, sino que habr que comprobarlo e a en numerosos ejemplos. El nmero 2 es bastante traicionero, ya que cumple que su doble es igual que su cuadrado u o que el resultado de sumarle dos; es decir: 2 2 = 22 = 2 + 2, pero no sucede lo mismo con el resto de nmeros y u esto puede llevar a conclusiones errneas. o 3.2.2. Errores de clculo y uso incorrecto de frmulas o procedimientos a o

A veces los errores que los alumnos presentan en lgebra no son tanto dicultades en lgebra como problemas que a a se quedan sin corregir en la aritmtica. As por ejemplo, los alumnos que no dominan las operaciones con nmeros e , u enteros o con fracciones traducen estos errores al campo algebraico. El signo menos, sobre todo cuando va colocado delante de un parntesis o de una fraccin, genera frecuentes errores como: e o a b (a + b) = + c c c Algunos errores se deben tambin al mal uso de una frmula o regla conocida. Muchos de estos errores derivan del e o mal uso de la propiedad distributiva como: (a + b) = a + b; 3(a + 2) = 3a + 2; 3(a + 2) = 3a + 6 Incluso, algunos alumnos llegan a aplicar correctamente la propiedad distributiva cuando el valor que multiplica est a la izquierda del parntesis pero no saben qu hacer si est a la derecha. Los profesores tenemos que acostuma e e a brarnos a ponerles todo tipo de ejemplos, con todos los casos posibles. En este grupo podemos considerar tambin los errores debidos a generalizacin incorrecta de propiedades aritmticas. e o e Con bastante frecuencia encontramos errores como que la ra de una suma es la suma de las ra z ces deducida errneamente de la propiedad para la ra del producto o del cociente. En las identidades notables los errores son o z bastante frecuentes, girando siempre en torno a los siguientes tipos: (a + b)2 (a b)
2

= = = =

a2 + b2 a2 b2 3x2 + b2 + 6xb 9 + b2 + 2 3 + 2b

(3x + b)2 (3 + b)2

O bien los errores inducido por la propiedad distributiva a(bc) a(bc) = = ab + ac (ab)(ac)

40

3.3 Alternativas para evitar errores en algebra

3 ALGEBRA

Tambin, al momento de simplicar encontramos numerosos errores como: e a+b a a+b a Deducidas errneamente de o = 1+b

= b

(a + ab) ab = b, o bien de = a. a 1+b

Por todo esto, es imprescindible corregir todos estos errores aritmticos en su momento, hay que hacer hincae pi qu propiedades son vlidas y cules no, y ensear al alumno a que las aplique adecuadamente. Uno de los e e a a n recursos que sirven para ayudar a los alumnos a superar estas dicultades y entender el origen de los errores es el uso de Algeblocks o Algebra Tiles, debido a que se visualizan los resultados correctos.

3.3.
3.3.1.

Alternativas para evitar errores en lgebra a


Razonamiento visual.

All por el siglo VI. a. C., Pitgoras y sus disc a a pulos, los pitagricos, descubrieron interesantes relaciones numricas o e valindose de una tcnica sencilla pero ingeniosa: se sirvieron de piedrecillas para ver los nmeros y manipularlos e e u f sicamente. De este modo comprobaron, por ejemplo, que la suma de los sucesivos nmeros impares, empezando u desde el 1, es un nmero cuadrado (vase la gura) u e

Figura 1

(1 + (2n 1)) n = n2 2 Esta forma de proceder es un buen ejemplo de lo que llamaremos razonamiento visual, es decir, el uso de representaciones grcas (diagramas, modelos geomtricos, etc.) como mtodo para pensar, hacer y entender Matemticas. a e e a Polya (1956), rerindose al papel de las guras en la resolucin de problemas en general, se expresaba en los e o siguientes trminos: Las guras no se reservan al uso exclusivo de los problemas de geometr Una gura puede e a. ayudar considerablemente en todo tipo de problemas que nada tienen de geomtrico... e 1 + 3 + 5 + + (2n 1) = Las guras trazadas sobre el papel son fciles de hacer, fciles de reconocer y fciles de recordar. Las guras de a a a la geometr plana nos son particularmente familiares y los problemas que las conciernen especialmente accesibles. a Podemos sacar algn provecho cuando tenemos que ocuparnos de objetos no geomtricos si logramos encontraru e les alguna representacin geomtrica apropiada. De hecho, las representaciones geomtricas tales como grcas y o e e a diagramas de todo tipo, se utilizan en todas las ciencias, no solamente en f sica, qu mica o ciencias naturales, sino tambin en econom e incluso en psicolog e a a. As pues, incluso si el problema no es geomtrico, usted puede tratar de dibujar una gura. Encontrar una re e presentacin geomtrica clara a un problema no geomtrico puede permitir un avance sensible hacia la solucin. o e e o 3.3.2. Bloques de Dienes.

Si pasamos al terreno del lgebra y considerando que a travs del tiempo han permanecido algunas consignas pea e daggicas en la enseanza de la matemtica: partir de lo concreto para llegar a lo abstracto; ir de lo fcil a lo dif o n a a cil. 41

3.3 Alternativas para evitar errores en algebra

3 ALGEBRA

Pero esto se ha interpretado de muchas maneras. El problema de la enseanza se transere a determinar lo que n es concreto o lo que es fcil. Hasta hoy no se ha resuelto satisfactoriamente este asunto. A pesar de ello, conviene a mostrar candidatos a materiales concretos y formas sencillas de tratar el tema del lgebra. a Se considerarn unos materiales denominados Bloques de Dienes, dichos materiales fueron promovidos de maa nera importante en los aos sesentas y setentas del siglo pasado. Estos materiales se promueven tambin en la n e actualidad por distribuidores de material manipulable como el de Algebra Tiles o los Algeblocks, entre otros. Algunos presentan variaciones importantes que ampl las posibilidades de uso como es el caso de los Algeblocks. an Los Bloques de Dienes constan de varios cuadrados grandes y pequeos y regletas de ciertas dimensiones. n

Figura 2 En diversas partes se utilizan variantes de estos materiales que se construyen a partir de los mismos bloques seccionndolos por la mitad. Los alumnos pueden elaborar sus propios bloques con cartulinas, madera, plsticos u a a otro tipo de materiales.

3.3.3.

Reglas de construccin de los bloques de Dienes. o

Para construir los propios Bloques de Dienes, es importante sealar que el lado del cuadrado pequeo es uno de los n n lados de las regletas (rectngulos) y el otro lado de stas es el lado del cuadrado mayor: a e El cuadrado de rea 1 de dimensiones 1 1, que denominaremos unidad positiva a El rectngulo de rea X de dimensiones 1 X, que denominaremos tira positiva. a a El cuadrado de rea X de dimensiones X X, que denominaremos placa positiva. a Aunque las reas y las medidas de los lados de los rectngulos no pueden ser negativas, en el modelo didctico a a a de representacin, las piezas negativas representan guras con rea negativa, estableciendo como negativa la o a medida de uno de sus lados.

42

3.3 Alternativas para evitar errores en algebra

3 ALGEBRA

Actividad 3.1

1. El polinomio 2x2 + 5x + 3, se representa por:

2. Ahora representamos la suma de 3x2 + 2x + 1 con 2x2 + 3x 2

Cuyo resultado es: x2 + 5x 1 y se representa as :

3. Ahora representa la resta de los polinomios siguientes: Restar 4x2 2x+3 de 2x2 +3x+2. Para ello, agregamos los pares necesarios de cuadrados y rectngulos opuestos para poder quitar los trminos indicados. a e

43

3.3 Alternativas para evitar errores en algebra

3 ALGEBRA

Y nos queda:

Lo cual se represtanta por la expresin 2x2 + 5x 1. o 3.3.4. Modelaje de la Multiplicacin. o

4. Realice las siguientes multiplicaciones: (x + 1)(2x + 2) y (x 1)(2x + 2)

3.3.5.

Modelaje de la Factorizacin. o

5. Utilizando Algeblocks, descomponer en factores x2 + 6x + 5. Para ello procedemos como sigue: a) Los cuadrados se colocan en diagonal.

b) Se llenan los espacios con los rectngulos de rea x. a a

c) As la base es x + 5, la altura x + 1 y su rea ser x2 + 6x + 5, como se muestra a continuacin: a a o

d) Por otra parte, dado que x + 5 representa la base y x + 1 la altura, se tiene que el rea ser (x + 5)(x + 1). a a 44

3.3 Alternativas para evitar errores en algebra

3 ALGEBRA

e) Por lo tanto, utilizando igualdad de areas se deduce que: x2 + 6x + 5 = (x + 5)(x + 1). 6. Utilizando Algeblocks, descomponer en factores x2 + 4x 12. Para ello procedemos como sigue: a) Los cuadrados se colocan en diagonal.

b) Se llenan los espacios con los rectngulos de rea x. a a

Si observas la gura anterior, es necesario completarla con ms piezas, entonces hay necesidad de introducir a dos parejas de rectagulos x neutralizados. n c) As la base ser x + 6, la altura x 2 y su rea ser x2 + 4x 12, como se muestra a continuacin: , a a a o

d) Por otra parte, dado que x + 6 representa la base y x 2 la altura, se tiene que el rea ser (x + 6)(x 2). a a e) Por lo tanto, utilizando igualdad de reas se deduce que: x2 + 4x 12 = (x + 6)(x 2). a 7. Con la ayuda de los materiales partidos por la mitad se pueden realizar variantes de la siguiente gura:

Tringulo: 2x2 = x2 + 2( 1 x2 ) = x2 + x2 = a 2

(2x)(2x) 2

Paralelogramo: 2x2 = x2 + 2( 1 x2 ) = x2 + x2 = (2x)x 2

Trapecio Issceles: 2x2 = x2 + 2( 1 x2 ) = o 2

(3x + x)(x) 2

45

3.4 La tecnolog y el estudio de la matematica. a

3 ALGEBRA

1 Trapecio Rectngulo: x2 + ( 2 x2 ) = a

(2x + x)(x) 2

3.4.

La tecnolog y el estudio de la matemtica. a a

El recurso tecnolgico juega un importante papel en la Didctica de la Matemtica; su uso facilita el desarrollo o a a autnomo del estudiante, le permite conjeturar acerca la validez terica de una situacin dada, conjeturar acerca o o o de la solucin de problemas complejos, facilita la visualizacin e interpretacin de resultados, le simplica la intero o o pretacin y signicado de la variacin de distintos parmetros en diferentes modelos matemticos. Todo ello puede o o a a generar en el estudiante actitudes positivas hacia el aprendizaje de la Matemtica. a Utilizaremos el GeoGebra para mostrar su uso en el tema de resolucin de desigualdades lineales y cuadrticas. o a 3.4.1. Inecuaciones de primer grado con una incgnita. o

Las inecuaciones de primer grado con una incgnita son las que responden a las siguientes formas bsicas: o a ax + b < 0 ax + b > 0 ax + b 0 ax + b 0

Resolver una inecuacin consiste en buscar el conjunto de valores de la(s) incgnita(s) para que la desigualdad sea o o verdadera. 1. Utilizando el GeoGebra graque la funcio f (x) = 2x 3, es decir, cuando el valor del parmetro a es 2 y n a el del parmetro b es 3. Identica los valores de la variable x para los cuales f (x) = 0; los valores para los a cuales 2x 3 > 0, es decir, los valores para los cuales f (x) > 0; y los valores para los cuales 2x 3 < 0, es decir, los valores para los cuales f (x) < 0. Modica la funcin variando el parmetro b. Cmo afecta el o a o parmetro b al valor en donde se anula la funcin? a o 2. Repite el ejercicio anterior con la funcin f (x) = 2x 3. Qu observas en el grco? Compara el conjunto o e a solucin con el obtenido en el ejercicio anterior. De nuevo modica la funcin tomando distintos valores del o o parmetro b. a 3. Ahora haga la modicacin del parmetro a dando diferentes valores, tanto positivos como valores negatio a vos.Qu efecto tiene el signo en la determinacin del conjunto solucin de las desigualdades. e o o 3.4.2. Inecuaciones de segundo grado con una incgnita. o

Las inecuaciones de segundo grado con una incgnita son las que se presentan segn alguna de las siguientes formas o u bsicas: a ax2 + bx + c < 0, ax2 + bx + c > 0, ax2 + bx + c 0, ax2 + bx + c 0

1. Utilizando el GeoGebra, graque la funcin f (x) = 2x2 + 4x 4, donde los parmetros son a = 2, o a b = 4 y c = 4. Encuentre los valores para los cuales f (x) = 0. Identique en el grco la solucin de a o 2x2 + 4x 4 > 0 (ie, f (x) > 0) y 2x2 + 4x 4 < 0 (ie, f (x) < 0). 2. Modique f (x) tomando c = 2. Graque f y encuentre la solucin de 2x2 + 4x + 2 > 0 y 2x2 + 4x + 2 < 0. o 3. Modique la funcin f variando los parmetros b y c; en cada caso, graque la funcin en el GeoGebra o a o y a partir de sto encuentre la solucin de las desigualdades 2x2 + bx + c > 0 y 2x2 + bx + c < 0. e o

46

3.4 La tecnolog y el estudio de la matematica. a

3 ALGEBRA

1. Graque la funcin f (x) = 2x2 + 4x + 4, donde los parmetros son a = 2, b = 4 y c = 4. Encuentre los o a valores para los cuales f (x) = 0. Identique en el grco la solucin de 2x2 + 4x + 4 > 0 (ie, f (x) > 0) a o y 2x2 + 4x + 4 < 0 (ie, f (x) < 0). 2. Modique f (x) tomando a c = 2. Graque f y encuentre la solucin de 2x2 +4x+2 > 0 y 2x2 +4x+2 < o 0. 3. Modique la funcin f variando los parmetros b y c; en cada caso, graf o a que la funcin y a partir de sto o e encuentre la solucin de las desigualdades 2x2 + bx + c > 0 y 2x2 + bx + c < 0. o En general, para resolver desigualdades cuadrticas se graca la parbola y = ax2 + bx + c: a a c1 b1 1. Si a > 0, considerando el signo del discriminante b2 4ac, se tienen los tres casos descritos en la gura 3. A partir de dicha gura (habiendo encontrado las ra ces), se obtiene fcilmente la solucin de la desigualdad. a o

Dos raices reales

Una raiz real

Ninguna raiz real

Figura 3: Los tres casos de las ra ces de una cuadrtica abierta hacia arriba. a
c1

2. Si a < 0, considerando el signo del discriminante b2 4ac, se tienen los tres casos descritos en la gura 4. La desigualdad planteada se resuelve fcilmente observando dicha gura. a

Dos raices reales

Una raiz real

Ninguna raiz real

Figura 4: Los tres casos de las ra ces de una cuadrtica abierta hacia abajo. a

b1 a1

47

3.4 La tecnolog y el estudio de la matematica. a

3 ALGEBRA

Otra forma de analizar desigualdades cuadrticas. a Ejemplo 3.1 Encontrar el dominio de f (x) = x2 16. Sabiendo que el dominio de la funcin f (x) = x son todos los nmeros reales no negativos, haciendo uso del o u software, resolveremos grcamente la desigualdad cuadrtica x2 16 0 comparando con posiciones de rectas. a a En este caso, se factoriza la ecuacin cuadrtica x2 16 0 y se tiene (x + 4)(x 4) 0. Luego se considera las o a grcas de: L1 : y = x + 4; L2 = y = x 4 y se observa: a
10 8 6 4 2

2 2 4 6 8 10

10

Tenemos tres casos: 1. L1 y L2 estn sobre el eje X cuando x 4, es decir, x + 4 0 y x 4 0 si x 4. a 2. L1 y L2 estn abajo el eje X cuando x 4, es decir, x + 4 0 y x 4 0 si x 4. a 3. L1 est arriba del eje X y L2 est abajo el eje X cuando 4 x 4, es decir, x + 4 0 y x 4 0 si a a 4 x 4. As tenemos que (x + 4)(x 4) 0 si x [4, +] [, 4] y (x + 4)(x 4) < 0 para x ] 4, 4[. Entonces el , conjunto solucin de la desigualdad dada es ] , 4] [4, +[, se observa que se incluyen en la solucin x = 4 y o o x = 4 ya que para estos valores se cumple la igualdad a cero. Por tanto el dominio de f (x) = x2 16 es : ] , +4] [4, +]. x2 x 6.

Ejercicio: Encontrar el dominio de f (x) =

48

4 COMBINATORIA.

4.

COMBINATORIA.

Nos proponemos abordar el tema de la Combinatoria asociado con el problema de su didctica. Siguiendo a Brosseau a entenderemos por Didctica la ciencia que se ocupa de la generacin y comunicacin del conocimiento y siguiendo a o o a Freudenthal entenderemos por Didctica de la Matemtica como la organizacin de los procesos de enseanza a a o n aprendizaje de los temas relevantes de la Matemtica. a Un aspecto esencial de la actividad matemtica consiste en construir un modelo(matemtico) de la realidad que a a queremos estudiar, trabajar con dicho modelo e interpretar los resultados obtenidos en este trabajo para contestar a las cuestiones planteadas inicialmente. Gran parte de la actividad matemtica puede identicarse, por lo tanto, a con una actividad de modelizacin matemtica. o a Nos limitaremos a un tema elemental de la Teor Combinatoria como es el nmero combinatorio. El propsito a u o fundamental es mostrar el tema de la modelizacin matemtica y discutir formas de estudiar el tema propuesto. o a Contar es una de las actividades matemticas primarias, actividad aparentemente sencilla, sobre todo cuando lo a que ser contado aparece visible a nuestros ojos; sin embargo es sencillo slo de manera aparente. Hay problemas de a o conteo sumamente complejos y cuya solucin requiere mtodos precisos. Contar signica contar todos los elementos o e que debemos contar y contarlos precisamente slo una vez. As o ,los errores en la tarea de contar aparecern cuando a se deje de contar alguno de los objetos o cuando alguno de estos objetos sea contado ms de una vez. a

4.1.

Introduccin al n mero combinatorio: Formas de Contar y Enumerar. o u

Trataremos de modelizar el siguiente problema: Dados los numeros naturales n y k y dado un conjunto A que posee n elementos, contar el total de todos los posibles subconjuntos de A que poseen exactamente k elementos. La siguiente secuencia de actividades tiene por propsito encontrar formas de enumerar y contar subconjuntos de o dos elementos de un conjunto A.Por el momento no estamos interesados en calcular el nmero de subconjuntos u numericamente; ms bien nuestro propsito es el de generar formas de enumeracin y conteo de subconjuntos de a o o un conjunto dado. 1. El conteo de parejas en un conjunto. a. Considere el conjunto A = {1, 2, 3, . . . , 20} Cuntos posibles subconjuntos de A poseen un slo elemento? y a o si A es el conjunto A = {1, 2, 3, . . . , n}, cuntos subconjuntos de A poseen exactamente un elemento? Si A es a k u un conjunto que posee n elementos, por Cn se denota el nmero de subconjuntos de A que poseen exactamente 1 0 k elementos de A. Cul es el valor de Cn ? y el valor de Cn ? a b. Determine el total de los posibles subconjuntos de dos elementos del conjunto A = {1, 2, . . . , 6}. Enumere tales subconjuntos. Discuta diferentes alternativas de enumerarlos. Trate de utilizar los resultados obtenidos en el ejercicio anterior. c. Repita el ejercicio anterior cuando A = {1, 2, . . . , 20}. Discuta un mtodo para enumerar todos los subcone juntos de dos elementos de A d. Trate de generalizar el mtodo de enumeracin encontrado en el ejercicio anterior, es decir un mtodo para e o e enumerar todos los subconjuntos de dos elementos de un conjunto A = {1, 2, . . . , n}. Encuentre una expresin o 2 en funcin de n para el nmero combinatorio Cn . o u En este apartado el problema de conteo y enumeracin se extiende a subconjuntos de tres elementos. o 2. Conteo de posibles tr en un conjunto. os a. Considere siempre el conjunto A = {1, 2, . . . , 20}. Nos proponemos contar los subconjuntos de A que poseen exactamente tres elementos. Clasique tales subconjuntos segn contengan o no el elemento 1. Explique por u 2 qu los subconjuntos que contienen al 1 deben ser en total C19 y los que no lo contienen deben ser en total e 3 3 2 3 C19 y que en consecuencia C20 = C19 + C19 .
3 b. A partir de la relacin anterior explique por qu es posible calcular el valor numrico de C20 con slo saber o e e o 2 calcular los valores de los combinatorios de la forma Cn .

49

4.2 Otra forma de contar.

4 COMBINATORIA.

c. Si A es el conjunto A = {1, 2, . . . , n}. Utilice la forma de clasicar del ejercicio anterior para concluir que 3 2 3 Cn = Cn1 + Cn1 . 3. Una propiedad fundamental del nmero combinatorio. u
k1 k k a) Argumente la propiedad Cn = Cn1 + Cn1 . acudiendo a la tcnica de clasicacin utilizada en el ejercicio e o anterior. 3 b) Utilice la relacin del ejercicio anterior para calcular el valor numrico del combinatorio C7 o e k nk 4. Otra Propiedad Fundamental: Cn = Cn .

a) Sea A el conjunto B = {1, 2, 3, 4, 5}. Enumere todos los subconjuntos A que poseen un elemento y todos los subconjuntos de cuatro elementos. b) Repita el ejercicio con los subconjuntos de dos y de tres elementos del conjuntos A. c) Qu se observa en cuanto al nmero de subconjuntos obtenidos en cada uno de los casos anteriores.? Es e u generalizable la observacin anterior? Cmo se enunciar tal generalizacin? o o a o d ) Cmo se expresa simblicamente tal generalizacin? o o o

4.2.

Otra forma de contar.

La tcnica que ser utilizada hace el supuesto que los elementos del conjunto A se tiene ordenados, es decir que e a sabemos cual es el primer elemento, cual el segundo y as sucesivamente. Ilustremos tal tcnica con un ejemplo. e Suponga que deseamos enumerar los subconjuntos de A = {1, 2, 3, . . . , 10} que poseen cuatro elementos.Vamos a clasicar los subconjuntos demandados de acuerdo al primer elemento seleccionado para estar en el subconjunto. 1. Cul es el nmero de subconjuntos en los quee el primer elemento elegido es el 1? a u 2. Explique por qu el nmero de subconjuntos en donde el primer elemento elegido es el 2 est dado por el e u a 2 combinatorio C8 3. Argumente por qu en los subconjuntos por construir, no es posible que el primer elemento elegido sea el 8. e
4 3 3 3 3 3 3 3 4. Deduzca de lo anterior que C10 = C9 + C8 + C7 + C6 + C5 + C4 + C3 .

5. Cmo se enunciar la generalizacin del ejercicio anterior? Cmo se expresar simblicamente? o a o o a o


k La anterior forma de presentar el nmero combinatorio trata de evitar que se presente como el nmero Cn = u u n! , presentacin clasica y usual en de muchos libros de texto. o k!(n k)!

Comente las ventajas y desventajas de la secuencia propuesta

50

5 ARITMETICA.

5.

ARITMETICA.

Problema 5.1 Una camisa cuesta 19 izotes (Nueva moneda de El Salvador), pero el comprador no tiene ms que billetes de tres a izotes; y la cajera, slo de cinco. Puede en estas condiciones abonarse el importe de la compra, y cmo hacerlo? o o Para la solucin del problema podr plantearse algunas preguntas que vayan en la ruta, tanto de entender el o an problema como de dar indicios de la solucin denitiva y general. o 1. Cuntas incgnitas tiene el problema? a o 2. Que tipo de soluciones estamos buscando? 3. Podrias encontrar algunas soluciones particulares?

Ahora se abordarn algunos problemas y asumimos que no hemos desarrollado el contenido respectivo. a

Problema 5.2 Encuentre todas las parejas de nmeros naturales (x, y) que cumplen la condicin: 11x 6y = 0, 0 x 25. u o

1. Graca la ecuacin, sin olvidar que las incgnitas son nmeros naturales. o o u 2. Observa la tabla y grca, existe regularidad alguna entre los pares ordenados que cumplen la ecuacin? a o Exprsala. e 3. Determina una forma general para expresar los valores de la coordenada x de todos los pares ordenados encontrados en el literal anterior. 4. Determina la forma que debe de tener la ordenada de esos pares en trminos de la forma encontrada para x e en el literal anterior. Cuntas soluciones tiene la ecuacin? a o 5. Del conjunto de pares ordenados, cumplen todos? (para ello considera y analiza 0 x 25) 6. Con los resultados obtenidos, resuelve ahora la ecuacin 7y = 3x, 0 < x < 15. o 7. Generalice los resultados para una ecuacin de la forma ax + by = 0, suponiendo que a y b son coprimos. o Hasta este momento hemos hecho que el alumno accione, observe y comunique lo visto, adems de validar los a resultados mediante la solucin de una ecuacin adicional y para la ecuacin general, llegando a concluir el o o o siguiente resultado:

Teorema 5.1. El conjunto solucin de una Ecuacin Diofntica de la forma ax + by = 0, con a y b coprimos est o o a a dado por x = bt y y = at, con t Z. La demostracin formal de la proposicin anterior se revisa en seguida: o o Demostremos primero que si t Z entonces el par (bt, at) es solucin; esto es inmediato si se sustituye el par o (bt, at) en ax + by = 0, resultando a (bt) + b (at) = 0. Por el contrario, demostrar que cualquier par de la forma (bt, at) es solucin, implica primero suponer que una solucin es (x0 , y0 ), es decir, existe un t0 Z tal que o o x0 = bt0 y y0 = at0 satisface que ax0 + by0 = 0 de tal forma que ax0 = by0 de donde a | by0 a | y0 esto signica y0 = at0 , para t0 Z. As ax0 = b (at0 ) x0 = bt0 . Problema 5.3 Bajo el supuesto que en la ecuacin ax + by = 0, a y b no son coprimos, es decir, una ecuacin como la siguiente o o 18y = 66x, donde el mximo comn divisor de 18 y 66 es 6. a u 1. Determina la solucin y compara la grca de ambas ecuaciones 6y = 11x y 18y = 66x o a 51

5 ARITMETICA.

2. Establece la relacin existente entre las soluciones de 6y = 11x y 18y = 66x o 3. Expresa en forma general los resultados anteriores. (Se espera que se enuncie el resultado siguiente: Las soluciones de la Ecuacin Diofntica ax + by = 0, a y b enteros con mximo comn divisor d = 1, estn dadas o a a u a b por x = b, t y y = a, t, con t Z y a, = a y b, = d . d

Problema 5.4 Dado que las soluciones de 66x 18y = 0, estn dadas por x = 6t y y = 11t, t Z, y que adems, algunos pares a a ordenados que cumplen la ecuacin son {(12, 22) , (6, 11) , (0, 0) , (6, 11) , (12, 22)}: o 1. Encuentre una solucin particular para la ecuacin 66x 18y = 24, llmela (x1 , y1 ) o o a 2. Sume (x1 , y1 ) a cada par del conjunto {(12, 22) , (6, 11) , (0, 0) , (6, 11) , (12, 22)}, Verique los pares obtenidos son soluciones para 66x 18y = 0. Graque ambos conjuntos y determine la forma general que tendrn estas soluciones. Cmo resultan ser estos conjuntos de pares ordenados? a o 3. Se cumple lo encontrado en el literal (b) para la ecuacin 66x 18y = 10, Cuntas soluciones tiene la o a ecuacin? o 4. Bajo que condiciones la ecuacin ax + by = c, a y b enteros con mximo comn divisor d = 1, tendr solucin o a u a o y que forma tendrn. a El problema anterior representa un caso particular del siguiente resultado: El conjunto solucin de la ecuacin ax + by = c, con a y b enteros con mximo comn divisor d = 1 , c un mltiplo o o a u u de d y (x1 , y1 ) una solucin particular, esta dado por x = x1 b t y y = y1 + a t con t Z. o Geomtricamente: los puntos de coordenadas enteras de Rc determinadas por la ecuacin ax + by = c, se obtienen e o trasladando los de la recta R0 determinada por ax + by = 0 mediante un punto de Rc . Problemas propuestos 1. Cuntos nmeros naturales menores que 10000 son mltiplos de 7 y tienen a 26 por ultimas dos cifras? a u u 2. La suma de dos nmeros naturales m y n es 300 y mximo comn divisor es 25. Halle los posibles valores u a u de m y n (m n). Resuelva el problema similar, sabiendo que ahora el mximo comn divisor en 6 y que el a u producto de los nmeros es 648. u 3. Encontrar x e y tales que 4144x + 7696 = 1 4. Encontrar todas las soluciones enteras de: x + y = 2, 3x 4y = 5, 15x + 16y = 17 y 15x + 18y = 17. 5. Encontrar todas las soluciones enteras positivas de: x + y = 2, 3x 4y = 5 y 6x + 15y = 51 6. Un hombre compr doce piezas de fruta (manzanas y naranjas) por 99 centavos. Si una manzana cuesta 3 o cntimos ms que una naranja, y compr ms manzanas que naranjas, cuntas de cada compr? e a o a a o 7. Un hombre cobra un cheque por d dlares y c centavos en un banco. El cajero, por error, le da c dlares y d o o centavos. El hombre no se da cuenta hasta que gasta 23 centavos y adems se da cuenta que en ese momento a tiene 2d dlares y 2c centavos. Cul era el valor del cheque? o a 8. Intente demostrar la generalizacin enunciada en el problema 4. o

52

6 LOGICA.

6.

LOGICA.
Comprender la estructura lgica de una proposicin o un teorema. o o Expresar en formas equivalentes el enunciado de un teorema. Identicar y corregir errores comunes que se cometen al aplicar los mtodos de demostracin de teoremas. e o Desentraar el proceso de inferencias sucesivas que se hallan impl n citas en las demostraciones abreviadas de libros y art culos matemticos. a

Objetivos:

6.1.

Conceptos previos.

A continuacin se presentan a modo de repaso, algunos conceptos bsicos, que necesitaremos en el desarrollo del o a tema de la didctica de la lgica matemtica. a o a Proposicin: Es una oracin no ambigua de la cual tiene sentido armar que es falsa o verdadera. o o Una proposicin puede ser simple o compuesta. Los valores de verdad de una proposicin p pueden ser falso (F) o o o verdadero (V). Conectivos lgicos: Son operadores lgicos que se aplican a una proposicin simple, o a dos o ms proposiciones o o o a para formar una proposicin compuesta. o Los conectivos lgicos ms utilizados son los siguientes: o a La negacin (no lgico). Se representa con el s o o mbolo e invierte el valor de verdad de la proposicin a la que o se aplica. La conjuncin (y o compuesta que solo La disyuncin (o o compuesta que solo lgico). Se representa con el s o mbolo y conecta dos proposiciones formando una proposicin o es verdadera cuando las proposiciones componentes son verdaderas. lgico). Se representa con el s o mbolo y enlaza dos proposiciones formando una proposicin o es falsa cuando ambas proposiciones son falsas.

A continuacin se muestran las tablas de verdad de los conectivos hasta ahora descritos: o p q pq p q pq p p V V V V V V V F V F F V F V F V F V F F V V F F F F F F La implicacin. Se indica con el s o mbolo y conecta dos proposiciones p, q formando una proposicin condicional o p q que se lee p implica q o bien si p entonces q. A la proposicin p se le llama hiptesis o antecedente, o o mientras que a la proposicin q se le llama conclusin o consecuente. o o Una condicional es falsa unicamente cuando la hiptesis es verdadera y la conclusin es falsa. o o La doble implicacin. Es un operador lgico binario que se representa con el s o o mbolo . Al enlazar dos proposiciones forma una proposicin compuesta bicondicional p q que es verdadera cuando ambos operandos tienen el o mismo valor de verdad. La expresin p q se lee p si y slo si q. o o En seguida se muestran las tablas de verdad de la condicional y la bicondicional: p q pq p q pq V V V V V V V F F V F F F V V F V F F F V F F V 53

6.2 La condicional y su relacion con los teoremas matematicos.

6 LOGICA.

Se dice que una proposicin compuesta P es lgicamente equivalente a otra proposicin compuesta Q si para o o o los mismos valores de verdad de sus proposiciones componentes, dichas proposiciones compuestas tienen tambin e los mismos valores de verdad. El que dos proposiciones compuestas P y Q sean lgicamente equivalentes se expresa como P Q y se lee P es o lgicamente equivalente a Q. o Ejemplo 6.1 p q (p q) (q p) Una proposicin compuesta que siempre es verdadera se le llama tautolog y se representa por t. Una proposicin o a o compuesta que siempre es falsa se le llama contradiccin y se representa por c. o Ejemplo 6.2 La proposicin p p es una tautolog mientras que p p es una contradiccin. o a, o

6.2.

La condicional y su relacin con los teoremas matemticos. o a

Es muy probable que usted estimado lector, sea muy hbil en la resolucin de problemas matemticos, pero quizs a o a a encuentre complicado, confuso y frustrante, el desarrollo de demostraciones de resultados matemticos. Esto se debe a en gran parte, a que muy a menudo, no se comprende la estructura lgica de los teoremas matemticos. En esta o a seccin y en la siguiente, aprenderemos a identicar precisamente, dicha estructura. o Normalmente un teorema tiene la forma si P entonces Q, donde P y Q pueden ser proposiciones simples o compuestas. Por consiguiente, un teorema tiene la forma condicional P Q, razn por la que el proceso de o demostracin consiste en que si suponemos que la hiptesis P es verdadera, debemos demostrar que tambin la o o e conclusin Q es verdadera, puesto que si Q fuera falsa, la implicacin asociada al teorema ser tambin falsa. 9 o o a e Ejemplo 6.3 En los teoremas siguientes, identique la hiptesis H y la conclusin C: o o a. Si n es un entero par entonces n2 es un entero par. b. Si ABC es un tringulo rectngulo con catetos a y b e hipotenusa c, entonces c2 = a2 + b2 . a a

c. Si f : R R es una funcin par y g : R R es una funcin impar entonces la funcin producto f g : R R o o o es una funcin impar. o d. Si a y b son nmeros reales y ab = 0 entonces a = 0 o b = 0. u

Solucin. o a. H: n es un entero par y C: n2 es un entero par. b. H: ABC es un tringulo rectngulo con catetos a y b e hipotenusa c y C: c2 = a2 + b2 . a a c. H: f : R R es una funcin par y g : R R es una funcin impar y C : la funcin producto f g : R R o o o es una funcin impar. o d. H: a y b son nmeros reales y ab = 0 y H: a = 0 o b = 0. u En resumidas cuentas, se puede decir que en un teorema, todo lo que est entre las palabras si y entonces es a la hiptesis y lo que est despus de la palabra entonces es la conclusin. o a e o Es importante destacar que tanto la hiptesis como la conclusin pueden ser proposiciones compuestas. Vese por o o a ejemplo, el literal d) del ejemplo 3, donde H : (a, b R) (ab = 0), mientras que C : (a = 0) (b = 0).
9 Si

suponemos que P es falsa, la implicacin P Q es trivialmente verdadera y por lo tanto, el teorema es vlido. o a

54

6.3 Formas alternativas de expresar las condicionales.

6 LOGICA.

En otras ocasiones, un teorema est constituido por una bicondicional P Q donde P y Q pueden ser proposiciones a simples o compuestas. Para demostrar un teorema de esta forma hay que recordar la equivalencia lgica P Q o (P Q) (Q P ), por lo que la prueba del teorema consiste en demostrar la veracidad de la implicacin P Q o y su rec proca Q P . 10 Ejemplo 6.4 Para el teorema n es par si y slo si n2 es par, la prueba consistir en demostrar la validez de las condicionales o a si n es par entonces n2 es par y si n2 es par entonces n es par.

6.3.

Formas alternativas de expresar las condicionales.

Hay ocasiones en las que nos resulta dif determinar cul es la hiptesis y cul es la conclusin de un teorema, cil a o a o debido a que ste no se encuentra expresado en la t e pica forma si ... entonces .... La siguiente lista nos muestra proposiciones equivalentes a la proposicin condicional y nos ayudar a comprender la estructura lgica de diversos o a o teoremas: Si p entonces q pq Si p, q q si p p slo si q o p es suciente para q q es necesario para p q con la condicin de que p o q cuando p q siempre que p Ejercicio 6.1. Escriba la condicional si f es una funcin derivable entonces f es una funcin continua, en ocho o o formas equivalentes. La expresiones para todo, para todos, para cada, para cualquier, etc., aparecen en diversas reas de la a matemtica, particularmente en la teor de conjuntos. Con cierta frecuencia, nos encontramos con proposiciones a a como la siguiente: P : Para todo ngulo con 0 < < a , cos > sin 4

La proposicin anterior, es equivalente a la siguiente condicional: o Q : Si es un angulo con 0 < < entonces cos > sin 4 De modo que nuevamente podemos identicar claramente la hiptesis y la conclusin en estos casos. o o En general, cuando encontramos una expresin en la forma estndar para todo objeto x con una propiedad o a dada, algo ocurre, sta ser equivalente a una condicional de la forma si x es un objeto con una propiedad e a dada, entonces algo ocurre. Ejemplo 6.5 Escriba en la forma condicional la proposicin para cualquier ngulo , sin2 () + cos2 () = 1. o a
10 En algunas deniciones, encontramos tambin la expresin si y slo si. Por ejemplo, un tringulo es issceles si y slo si dos de e o o a o o sus lados tienen la misma longitud. En tales casos nada hay que demostrar.

55

6.4 Metodos de Demostracion

6 LOGICA.

A b

Figura 5: Tringulo rectngulo ABC. a a

Solucin. En este caso, no se especica una propiedad, por lo que la proposicin es equivalente a si es un ngulo o o a entonces sin2 () + cos2 () = 1. Por otra parte, la proposicin bicondicional tambin puede expresarse en formas alternativas. Esto tambin nos o e e ayudar a identicar la estructura de un teorema. Son vlidas las siguientes expresiones para describir la condicional: a a pq p si y slo si q. o p es condicin necesaria y suciente para q. o p es equivalente a q. Ejercicio 6.2. Escriba la siguiente expresin bicondicional en tres formas alternativas equivalentes: Un cuao driltero es un paralelogramo si y slo si tiene iguales sus lados opuestos. a o

6.4.
6.4.1.

Mtodos de Demostracin e o
Mtodo directo (retroceder-avanzar) e

El primer paso para demostrar si A, entonces B es verdadero consiste en identicar cul es el enunciado A y cul a a es B. En general, todo lo que est despus de la palabra si y antes de la palabra entonces es A (hiptesis). a e o Todo lo que est despus de la palabra entonces es B(conclusin). Recurdese las formas equivalentes para sacar a e o e las hiptesis y conclusiones de una proposicin. Considrese el siguiente ejemplo. o o e Proposicin 1. Si el tringulo rectngulo ABC tiene rea o a a a Anlisis de la demostracin. a o A:(Hiptesis) el tringulo rectngulo ABC tiene rea o a a a B:(Conclusin) el tringulo ABC es isceles. o a o Pretendemos demostrar por argumentos convincentes que A implica B, es decir, suponiendo que A es verdadero tratar de deducir que B es verdadero. Veamos como procede el mtodo retroceder-avanzar. e PROCESO RETROCEDER Comenzamos haciendo una pregunta abstracta (o pregunta clave) Cmo o cundo puedo concluir que B es verdadeo a ro?, para nuestra proposicin Cmo puede probarse que un tringulo es isceles? A lo cual podemos responder que: o o a o probando que dos lados son iguales (o que dos ngulos son iguales, pero esto no parece util porque en el enunciado a A no tenemos mayor informacin sobre los ngulos). Hemos formulado una pregunta y la hemos respondido; esto o a es un solo paso del proceso retroceder dando lugar a un nuevo enunciado B1 , con la propiedad que si pudiramos e demostrar que B1 es verdadero entonces B es verdadero. B1 : a = b. Nuestra pregunta ahora es: Cmo probamos que la longitud de los dos catetos son iguales? o lo que es o equivalente Cmo probamos que dos nmeros son iguales? A lo cual podemos responder que viendo que la difereno u cia de los nmeros es 0, es decir, ab = 0. Una de las dicultades que tiene el proceso retroceder es que puede haber u ms de una pregunta clave, elegir la adecuada es ms un arte que una ciencia. Una vez ms, el proceso retroceder ha a a a 56
c2 4 . c2 4 ,

entonces el tringulo ABC es isceles (ver gura 5). a o

6.4 Metodos de Demostracion

6 LOGICA.

dado lugar a un nuevo enunciado B2 , con la propiedad que si B2 es verdadero entonces B1 es verdadero y por tanto B. B2 : a b = 0. Ahora todos los esfuerzos deben dirigirse a llegar a la conclusin de que B2 es verdadero. Cmo o o pruebo que a b = 0? Despes de reexionar un poco, parace que no hay una respuesta razonable para esta preu gunta. Es hora de comenzar con el proceso avanzar suponiendo que A es verdadero. PROCESO AVANZAR Este proceso consiste en derivar, a partir del enunciado A, que suponemos verdadero, otro enunciado A1 que sea verdadero como resultado que A es verdadero. Los enunciados derivados a partir de A pueden ser muchos y variados, pero estaremos interesados en aquellos que parezcan acercarnos al ultimo enunciado que obtuvimos en el proceso retroceder. Para la proposicin que desarrollamos nuestro ultimo enunciado es B1 : a b = 0. o Nuestra hiptesis es A : El tringulo rectngulo ABC tiene rea c4 . Como los catetos del tringulo son a y b o a a a a 1 c2 entonces sabemos que el rea es 2 ab, como A es verdadero y nos dice que dicha rea es 4 , obtenemos un nuevo a a enunciado: 2 A1 : 1 ab = c4 . 2 Apartir de A tambin tenemos otro enunciado util, por teorema de Pitgoras, como ABC es tringulo rectngulo, e a a a tenemos: A2 : a2 + b2 = c2 . Veamos que el enunciado A2 lo hemos obtenido a partir de A y no de A1 , entonces Para qu sacamos A1 ? en el e proceso avanzar podemos combinar dos o ms enunciados para obtener uno nuevo, en la proposicin sustituimos a o A1 en A2 para obtener: 1 A3 : 2 ab = 1 (a2 + b2 ). 4 Vale resaltar que a partir de A pudimos derivar un enunciado como El ngulo en A es menor que 90 que parece a razonable, pero no nos ayudar en nuestro proceso de obtener B2 . A partir de A3 haciendo movimientos algebraicos a tenemos: A4 : a2 2ab + b2 = 0. Factorizando en A4 : A5 : (a b)2 = 0. El paso nal del proceso avanzar (y de la demostracin) es cuando tenemos un enunciado del cual podemos derivar o el ultimo paso del proceso retroceder. En la proposicin, hay que percatarse que de A5 si un nmero al cuadrado o u es cero entonces el nmero en si es cero, obteniendo as el enunciado B2 : a b = 0. Ahora la demostracin est u o a completa porque hemos partido de A para demostrar B2 , y por consiguiente B. Todos los pasos de la demostracin o se resumen en la tabla siguiente. Armacin o A : El rea de ABC es a 1 A1 : 2 ab = 1 c2 4 A2 : a2 + b2 = c2 1 A3 : 2 ab = 1 (a2 + b2 ) 4 A4 : a2 2ab + b2 = 0 A5 : (a b)2 = 0 B2 : a b = 0 B1 : a = b B : ABC es isceles o
c2 4
2

Razn o Hiptesis o Area= 1 (base)(altura) 2 Teorema de Pitgoras a Se sustituye A2 en A1 A partir de A3 por lgebra a Se factoriza A4 A partir de A5 por lgebra a Sumando b a ambos lados de B2 Por que B1 es verdadera

Lectura de Demostraciones. Por tiempo y espacio no es prctico hacer todas las demostraciones con todo el a anlisis anterior, por lo que en todos los libros aparece una versin condensada de la demostracin. El nivel de a o o condensacin depende hacia que poblacin est dirigido el libro. El comprender una de estas demostraciones deo o a pende en buena parte de saber el razonamiento lgico que se sigue, es decir, el mtodo de demostracin que se est o e o a

57

6.4 Metodos de Demostracion

6 LOGICA.

B
B B

Figura 6: Laberinto. utilizando y el resto manejar conceptos y resultados previos del rea que se est trabajando. a a Una demostracin condensada de la proposicin anterior es: o o Demostracin. Por Pitgoras tenemos a2 + b2 = c2 y sabemos que 1 ab = 1 c2 , as tenemos 1 ab = 1 (a2 + b2 ) y de o a 2 4 2 4 aqu obtenemos (a b)2 = 0, es decir, a = b. Por lo tanto, los catetos son iguales. Obsrvese que en esta demostracin no se ha utilizado el proceso retroceder, se ha partido de la hiptesis y con el e o o proceso avanzar se ha llegado a la conclusin. o Ejercicios: hacer una demostracin condensada de la proposicin 1 utilizando solo el proceso retroceder. o o Resumen: Para demostrar A implica B, se comienza con el proceso retroceder, es decir, con el enunciado B que se intenta probar que es verdadero. Se formulan y responden preguntas claves, derivando enunciados B1, B2 , . . . , Bn , donde si el enunciado Bn es cierto deber ser verdadero B. Paramos con el proceso retroceder si hemos obtenido a el enunciado A (en tal caso ya ha terminado la demostracin) o bien hasta que ya no podemos formular y/o reso ponder una pregunta clave util. Ahora, se comienza con el proceso avanzar, partimos de A y se derivan enunciados A1 , A2 , . . . , Am , donde de Am debe deducirse Bn , con esto hemos terminado la demostracin. o Se ilustra este proceso de retroceder-avanzar en la gura 6, queremos llegar a B desde A, para esto es util ver los posibles caminos comenzando de B que me pueden servir, luego se observa desde A como podemos llegar a los caminos ya analizados que me llevan a mi objetivo B. 6.4.2. Mtodo de reduccin al absurdo e o

La efectividad del mtodo directo con sus procesos retroceder-avanzar, no siempre conducen a una demostracin e o exitosa, por lo que es imperioso ver otra formas de demostrar. Cmo y cundo se hace uso el mtodo de o a e reducin al absurdo? Se inicia siempre suponiendo que A es verdadero, pero para llegar a la conclusin que B o o es verdadero, se procede formulando la pregunta: Por qu B no puede ser falso?, la idea de una demostracin e o por este mtodo es suponer que A es verdadero y que B es falso, y ver poque esto no puede ocurrir, es decir, llegar e a una contradiccin en un enunciado cuya falsedad est absolutamente fuera de duda (ejemplos: 2=4, sin(x) = 5, o e etc). La gran pregunta Cul contradiccin es la que busco? no hay criterios espec a o cos, cada problema da lugar a su propia contradiccin, se requiere creatividad e ingenio para encontrarla. o En general, utilizaremos este mtodo cuando la negacin de B nos proporcione informacin util, es decir, cuando e o o B sea un enunciado del cual tengamos ms informacin que de B. Esto se evidencia en la proposicin 2. No hay a o o un proceso estricto para decidir si una proposicin es ms fcil demostrarla por este mtodo o por otro, se analiza o a a e previamente la informacin de A y B, quiz con un poco de recorrido haciendo demostraciones se desarrolla la o a creatividad e ingenio necesario para deducir el camino ms adecuado para una demostracin. a o En n, con el mtodo de reduccin al absurdo queremos demostrar: si A y B entonces C (contradiccin), e o o que es una implicacin como en el mtodo directo con hiptesis A y B y conclusin C, pero al no saber cual es o e o o la contradiccin buscada no podemos utilizar el proceso retroceder sino solo el de avanzar. o Proposicin 2. Si r es un nmero real tal que r2 = 2, entonces, r es irracional. o u

58

6.4 Metodos de Demostracion

6 LOGICA.

Anlisis de la demostracin. a o Hiptesis A: r un nmero real tal que r2 = 2. o u Conclusin B: r es irracional. o Reformulando la proposicin para aplicar el mtodo de reduccin al absurdo y recordando que negar que un nmero o e o u real sea irracional, es equivalente a armar que es racional, nuestra hiptesis ser A y B o a A1 : r es un real tal que r2 = 2 y r es un racional (no es irracional). Ahora debemos buscar con el proceso avanzar a partir de A1 una contradiccin. En A1 , si r es un racional entonces o u u , existe p, q enteros tal que r = p con q = 0 y p, q no tienen mltiplos en comn. As tenemos un nuevo enunciado: q p A2 : r = q con q = 0 y p, q no tienen mltiplos en comn. u u Esta armacin se justica porque si p y q tuvieran un divisor comn podr cancelarse y obtener una nueva fraccin o u a o y este proceso solo se puede llevar a cabo una cantidad nita de pasos (en general, sabemos que cada nmero racional u se puede escribir como una fraccin irreducible). Este paso nos d una luz de cual podr ser la contradiccin a o a a o buscar, pues si llegamos que 2 es mltiplo de p y q estariamos contradiciendo A2 . De A1 y A2 obtenemos: u 2 A3 : 2 = p2 . q El resto de armaciones consisten principalmente en reescribir A3 por procedimientos algebraicos hasta llegar que p y q son nmeros pares. u Armacin o A4 : 2q 2 = p2 A5 : p2 es par A6 : p es par A7 : p = 2k, para algn entero k u A8 : 2q 2 = (2k)2 = 4k 2 A9 : q 2 = 2k 2 A10 : q 2 es par A11 : q es par A12 : p y q son pares Razn o Se multiplica ambos lados de A3 por q 2 . Ya que de A4 , p2 es el doble de q 2 . De A5 , p tiene que ser par. Por que p es par. Sustituyendo A7 en A4 . Se divide A8 por 2. De A9 , q 2 es el doble de k 2 . De A10 , q tiene que ser par. De A6 y A11 .

De A3 y A12 se ha obtenido una contradiccin C, ya que en A3 armamos que no tienen mltiplos en comn mientras o u u que en A12 se ha obtenido que 2 es mltiplo comn. Con esto completamos la prueba, hemos probado que A1 no u u puede ser verdadero, pero A1 es igual a A y B. Por lo tanto, nuestra suposicin B es falsa, es decir, B es veradero. o Veamos una posible demostracin de la proposicin 2 que podr estar en un libro (el nivel de condensacin siempre o o a o depende de la poblacin a la que ha sido dirigido). o Demostracin. Supongamos por el contrario que r es racional, entonces r = o
p q2
2

p q

donde p y q son enteros coprimos. De

esto tenemos, = 2 o, de manera equivalente, que 2q = p . Con esto tenemos que p2 es par, por ende p. Luego, p = 2k con k entero, as 2q 2 = 4k 2 y de esto q 2 = 2k 2 , por lo que q 2 es par y por consiguiente q es par. Por lo , tanto, p y q son ambos pares, contradiciendo el hecho que son coprimos. Resumen Para demostrar A implica B, en el mtodo de reduccin al absurdo demostramos la proposicin A y B implica C e o o (contradiccin). Se aplica el proceso avanzar a partir de A y B y termina cuando encontremos la contradiccin. o o Con esto se demuestra que no podemos tener que A sea verdadero y B sea falso, es decir, la proposicin A implica o B es verdadera. 6.4.3. Mtodo del Contrapositivo (contrarrec e proco).

Ya hemos visto que A implica B es equivalente a B implica A, es decir, podemos probar la segunda implicacin o para demostrar la primera, en eso consite el mtodo del contrapositivo. Tambin, podemos analizar este mtodo e e e como un caso particular del reduccin al absurdo, tomamos como verdaderos a A y B y buscamos a partir de o 59

6.4 Metodos de Demostracion

6 LOGICA.

B llegar a A, con esto, hemos encontrado una contradiccin totalmente evidente A. Analicemos el mtodo o e con la siguiente proposicin, en la cual el consecuente tiene una forma ms sencilla que el antecedente, esto nos d o a a una pauta para pensar que la implicacin contrarreciproca es ms fcil de probar. o a a Proposicin 3. Para todo nmero real x, si x3 + x2 2x < 0, entonces x < 1. o u Anlisis de la demostracin con el mtodo del contrapositivo. a o e Hiptesis A: Para x R, x3 + x2 2x < 0. o Conclusin B: x < 1. o Tenemos A implica B, sacamos la proposicin equivalente B implica A, obteniendo: o B: x R, x 1. A: x3 + x2 2x 0 Ahora aplicamos el mtodo directo a B implica A. Comenzamos con el proceso retroceder, para ello es util e reescribir el consecuente x3 + x2 2x = x(x 1)(x + 2) obteniendo un nuevo enunciado: A1 : x(x 1)(x + 2) 0. Si A1 es verdadero entonces A ser verdadero.Cmo probamos que A1 es verdadero? analizando el signo de sus a o factores, pero como no tenemos ms informacin, comenzamos con el proceso avanzar. De B tenemos que: a o B1 : x 1 0 Tambin de B tenemos: e B2 : x 0 y B3 : x + 2 0. De B1 , B2 y B3 tenemos que x(x 1)(x + 2) 0 porque todos los factores son positivos. As A1 es verdadero y por , tanto A es verdadero. Hemos probado la proposicin contrarrec o proca y con esto queda probada la implicacin o directa A implica B. Anlisis de la demostracin con el mtodo directo. a o e Hiptesis A: Para x R, x3 + x2 2x < 0. o Conclusin B: x < 1. o Aplicando el proceso retroceder obtemos: B1 : x 1 < 0 Como B1 no d mayor informacin, comenzamos con el proceso avanzar. De A tenemos: A1 : x(x 1)(x + 2) < 0. a o Recordemos que nuestro objetivo es probar que B1 es verdadero. A1 es verdadero, entonces tenemos dos casos (el mtodo por casos se analiza en la siguiente seccin) i) los tres son negativos y ii) solo uno de los factores es negativo. e o Si se cumple i) entonces tenemos x < 0 y con esto se cumple B1 . Si se cumple ii) entonces necesariamente 0 < x < 1 y por tanto se cumple B1 . Con estos dos casos hemos terminado la prueba. Sin embargo, al observar bien el proceso, por el mtodo directo ha e salido un poco forzada y ms complicados los argumentos a pesar que la proposicin original es elemental. a o RESUMEN DE LOS TRES METODOS Para demostrar un proposicin: A implica B o METODO Directo Reduccin al Absurdo o Contrapositivo HIPOTESIS A (avanzar) . . . (retroceder) A y B (avanzar) . . . B (avanzar) . . . (retroceder) CONCLUSION B C (contradiccin) o A

60

6.4 Metodos de Demostracion

6 LOGICA.

6.4.4.

Demostracin por Casos o

Es comn que durante la demostracin de una proposicin lleguemos a un punto donde sea natural que el argumento u o o sea dividido en un nmero nito de casos, o posiblemente desde el inicio de la misma nos veamos obligados a separar u en casos. Por ejemplo, con frecuencia para demostrar una propiedad sobre un entero n es ventajoso considerar dos posibilidades: cuando n es par y cuando n es impar. De la misma manera, cuando queremos probar una propiedad sobre un nmero real x puede que convenga separar en tres casos: x < 0, x = 0 y x > 0. En estos ejemplos, demosu trar todos y cada uno de los casos por separado es equivalente a demostrar la proposicin para todos los enteros y o para todos los reales, respectivamente. En cada caso, se aplica cualquiera de los mtodos vistos para su demostracin. e o La separacin por casos tiene dos propiedades muy importantes. La primera es que los casos son exhaustivos: todas o las instancias del problema cumplen con al menos uno de los casos, es decir, todas las posibilidades son cubiertas por los casos listados. Esta es una propiedad que debe cumplir toda divisin en casos de un argumento para que la o demostracin sea vlida. La segunda es que los casos son mutuamente excluyentes: todas las instancias del problema o a son cubiertas por a lo sumo uno de los casos. Aunque esta ultima no es indispensable que la cumpla, es perferible siempre que se pueda hacerlo de esa manera. Proposicin 4. Demuestre que para todo n N, n4 n2 es divisible por 3. o Anlisis de la demostracin a o Hiptesis A: n es natural. o Conclusin B: n4 n2 es divisible por 3, es decir, n4 n2 = 3q con q entero. o La unica hiptesis disponible es que n es un natural, lo cual, no proporciona mayor informacin y no nos d una o o a idea clara del camino a seguir para conseguir la conclusin. Estos problemas es util partirlos en casos. Una de las o opciones es analizar cuando n es par y cuando n es impar. Si n = 2k con k entero, entonces n4 n2 = (2k)4 (2k)2 = 16k 4 4k 2 , pero esto no nos lleva a la conclusin o deseada. Si n = 2k + 1 con k entero, entonces n4 n2 = (2k + 1)4 (2k + 1)2 , que al igual al caso anterior no nos deja concluir. Como el problema es ver una divisin por 3, es ms natural separar tomando en cuenta la divisibildad por 3, es o a decir, dividir el problema en los casos donde al dividir por 3 d residuo 0, 1 y 2. Esto trae consigo la ventaja de a introducir un factor 3 en los clculos a realizar. a Si n = 3k, entonces n4 n2 = (3k)4 (3k)2 = 81k 4 9k 2 = 3(37k 4 3k 2 ) = 3k1 , hemos obtenido la conclusin. o Si n = 3k+1, entonces n4 n2 = (3k+1)4 (3k+1)2 = [(3k)4 +4(3k)3 +6(3k)2 +4(3k)+1][(3k)2 +2(3k)+1] = 3(27k 4 + 36k 3 + 15k 2 + 2k) = 3k2 , de nuevo hemos obtenido la conclusin. o Si n = 3k + 2, entonces n4 n2 = (3k + 2)4 (3k + 2)2 = 3(27k 4 + 72k 3 + 69k 2 + 28k + 4), (se han omitido algunos clculos) que al igual que en los casos anteriores nos d la conclusin. a a o Vale resaltar que todas las posibilidades son cubiertas por los casos listados. Por lo tanto, la proposicin 4 esta o demostrada. 6.4.5. Induccin Matemtica o a

La induccin matemtica es por lo general el mtodo de demostracin adecuado para una proposicin que tiene la o a e o o forma: Para todo entero n 1, p(n) donde p(n) es un enunciado que depende del valor de n. n n n(n + 1) Por ejemplo: para todo n 1, k = , donde k = 1 + 2 + 3 + + n. 2 k=1 k=1

61

6.4 Metodos de Demostracion

6 LOGICA.

Para realizar una demostracin por induccin, se empieza vericando que P (1) es verdadero, lo cual es fcil de o o a hacer casi siempre. Luego, se utiliza P (1) para demostrar que P (2) es verdadero. Despus, a partir del hecho que e P (2) es verdadero se demuestra que P (3) es verdadero y as sucesivamente. Obsrvese que este proceso lo podemos e sintetizar diciendo que si suponemos que P (n) es verdadero debemos demostrar entonces que P (n + 1) es verdadero. En resumen, los pasos siguientes constituyen una demostracin por induccin. o o Pasos de la induccin: o 1. Paso 1: Se verica que P (1) es verdadero. 2. Paso 2: Se usa el supuesto de que P (n) es verdadero para demostrar que P (n + 1) es verdadero. Observaciones: i. A la proposicin P (1) del paso 1 se le llama caso base o base de la induccin. o o ii. Al supuesto de que P (n) es verdadero, en el paso 2 se le llama hiptesis inductiva o hiptesis de induccin. o o o iii. Por lo general es fcil demostrar que P (1) es verdadero (paso 1). a iv. El segundo paso suele ser ms complicado. Depende de la habilidad para relacionar P (n + 1) con P (n). a En la proposicin siguiente se ilustra el mtodo de la induccin matemtica: o e o a
n

Proposicin 5. Para todo entero n 1, o

k=
k=1

n(n + 1) . 2

Solucin. Es bueno identicar el enunciado P (n), en este caso: o n n(n + 1) P (n) : k = 2 k=1
1

1. Paso 1: P (1) :

k=
k=1

1(1 + 1) 1(1 + 1) . Es claro que 1 = , por lo que P (1) es verdadero. 2 2

2. Paso 2: Suponiendo que P (n) es verdadera, debe demostrarse que


n+1

P (n + 1) :
k=1

k=

(n + 1)[(n + 1) + 1] (n + 1)(n + 2) = 2 2

tambin es verdadera. e Ahora bien,


n+1 n

k=
k=1

k + (n + 1)
k=1

n(n + 1) + (n + 1) 2 n = (n + 1) +1 2 = = (n + 1)(n + 2) 2

(Por la hiptesis inductiva) o

con lo queda establecida la identidad que dene a P (n + 1). Por lo tanto, P (n + 1) es verdadera y la prueba est completa. a Proposicin 6. Dada un cuadrado de lado 2n con n entero mayor o igual que 1, demostrar que si se extrae una o esquina (quitar un cuadrado de longitud 1), es posible teselarlo con piezas de 3 cuadrados de longitud 1 en forma de L. 62

6.4 Metodos de Demostracion

6 LOGICA.

Esquina extra da

Figura 7: Base inductiva.

2n

2n

2n+1

Cuadrado extra do

Figura 8: Hiptesis inductiva. o

Solucin. o 1. Para n = 1, 21 = 2 y es posible (ver gura 7) teselarlo con una sola pieza. 2. Supongamos que es posible teselar con las piezas en forma de L un cuadrado de 2n al que se le ha quitado una esquina y demostremos que tambin es posible hacer lo mismo con un cuadrado de lado 2n+1 (ver gura 8). e a. Si quitamos la pieza indicada al cuadrado 4, entonces por la hiptesis inductiva es posible teselar el resto o de ese cuadrado. b. Tambin, si quitamos una pieza conforme se indica en la gura de arriba, a los cuadrados 1, 2 y 3, lo que e resta de cada uno de estos cuadrados tambin puede teselarse. e c. Los tres cuadrados de longitud 1 sustra dos de los cuadrados 1, 2 y 3, tienen juntos la forma de la pieza en L. Por los literales a), b) y c) es posible teselar el cuadrado de lado 2n+1 , al quitrsele un cuadrado de longitud a 1 (el del cuadrado 4). Por el paso 1 y 2, el resultado es vlido para todo entero n 1. a Observaciones: a. Algunos autores preeren usar en el paso 2, el supuesto de que P (n 1) es verdadero y probar que P (n) es verdadero. Ambos enfoques son idnticos, ya que lo importante es que si un enunciado general de la lista innita e de enunciados es verdadero, entonces el siguiente enunciado tambin es verdadero. e b. No es necesario que el primer valor de n sea 1. Por ejemplo, si la proposicin es para todo entero n 5, o 2n > n2 , en el paso 1 deber vericarse que P (5) : 25 > 52 es verdadera (y el resto de la demostracin es a o idntica). e c. Otra variante de la induccin matemtica es la llamada induccin generalizada, en la cual se demuestra que o a o P (n + 1) es verdadera, asumiendo que P (j) es verdadero, con 1 j n. 63

6.5 Ejercicios sobre conceptos previos

6 LOGICA.

6.5.
.

Ejercicios sobre conceptos previos

1. Diga cules de las siguientes, son proposiciones matemticas: a a a. 6x2 3x + 9 = 0 b. c.


b b2 4ac 2a sin < sin 2 3 2 3

d. x 3x + 3x 1 e. Para todo ngulo , sin2 () + cos2 () = 1 a f. 76489201744 es un nmero primo. u 2. Diga cules de las siguientes proposiciones matemticas son verdaderas: a a a. La ra cbica de todo nmero entero es un nmero real. z u u u b. Para todo ngulo , sec2 () tan2 () = 1 a c. x2 + y 2 > 1, para todo x, y R. d. Si x R y x > 0, entonces log5 (x) > 0. 3. Demuestre mediante tablas de verdad que: a. p q q p (la contrarrec proca) b. (p q) p q c. p q p q c (reduccin al absurdo) o 4. Demuestre mediante una tabla de verdad que p q (p q) (q p).

6.6.

Ejercicios sobre la condicional


a. Si por un punto exterior de una circunferencia se trazan dos secantes, entonces el producto de una secante por su segmento exterior, es igual al producto de la otra secante por su segmento exterior. b. Si n es un entero impar entonces n2 es impar. c. Si r R y r2 = 2, entonces r es un nmero irracional. u d. Si n 1, n y n + 1 son tres enteros consecutivos, entonces 9 divide a la suma de sus cubos.

1. En cada uno de los siguientes problemas identique la hiptesis y la conclusin: o o

2. Si se quiere demostrar que P Q es verdadero y se sabe que Q es falso, querr probarse que P es verdadero a o falso? Explique la respuesta. 3. Construya una tabla de verdad para P (Q R).

6.7.

Ejercicios sobre formas alternativas de expresar condicionales


a. f es una funcin continua cuando f es derivable. o b. Dos tringulos son semejantes cuando tienen proporcionales sus tres lados. a c. Para todos los nmeros reales y, b, m con m = 0, existe un unico nmero real x tal que y = mx + b. u u d. f + g es una funcin acotada a condicin de que f y g sean funciones de R en R acotadas. o o

1. En cada una de las siguientes proposiciones matemticas, identique la hiptesis y la conclusin: a o o

2. Escriba los siguientes enunciados en la forma Si ... entonces ...: a. Para toco conjunto A, A = A b. | x | 0 para todo x R 64

6.8 Ejercicios sobre el metodo retroceder-avanzar.

6 LOGICA.

c. Para cada ngulo con a 2

2,

0 cos() 1

d. P (A B) = P (A) + P (B) P (A B) para cualesquiera eventos A y B en un espacio muestral S 3. Si en un teorema de la forma para todo objeto x con una propiedad dada, algo ocurre (o su forma condicional equivalente), encontramos un valor de x para el cual la conclusin es falsa, entonces se dice que se ha encontrado o un contraejemplo y por lo tanto el teorema no es vlido. Encuentre un contraejemplo para cada una de las a siguientes proposiciones: a. Si p es un nmero primo entonces p es impar. u b. Toda ecuacin de la forma ax2 + bx + c = 0 donde a, b y c son nmeros reales tiene al menos una solucin o u o real. c. Para todo nmero natural no primo n con n > 2, el nmero 2n + 13 tampoco es primo. u u d. P (A B) = P (A)P (B) para cualesquiera conjuntos A y B en un espacio muestral S. 4. Escriba en dos formas equivalentes cada una de las siguientes proposiciones: a. Un nmero natural n es par si y slo si n2 es par. u o b. Dos tringulos son semejantes si y slo si tienen dos ngulos respectivamente iguales. a o a c. b | a si y slo si M CD(a, b) = b. o d. A B si y slo si A B = A o

6.8.

Ejercicios sobre el mtodo retroceder-avanzar. e

1. Considere el problema de demostrar que, si x es un nmero real, entonces el valor mximo de x2 + 2x + 1 u a es mayor o igual que 2. Cul de las siguientes preguntas clave es incorrecta? Explique la respuesta. a a. Cmo se puede probar que el valor mximo de una parbola es mayor o igual que un nmero? o a a u b. Cmo se puede probar que un nmero es menor o igual que el valor mximo de un polinomio? o u a c. Cmo se puede probar que el valor mximo de la funcin x2 + 2x + 1 es mayor o igual que un nmero? o a o u d. Cmo se puede probar que un nmero es menor o igual que el mximo de una funcin cuadrtica? o u a o a 2. Considere la siguiente pregunta clave: Cmo se puede probar que dos rectas en un plano son paralelas? o Cul de las siguientes respuestas es incorrecta? Explique la respuesta. a a. Probar que las pendientes de las rectas son iguales. b. Probar que cada una de las dos rectas es paralela a una tercera recta. c. Probar que cada una de las dos rectas es perpendicular a una tercera recta. d. Probar que cada una de las dos rectas estn en lados opuestos de un cuadriltero. a a 3. Suponga que quiere demostrarse que: Si l1 y l2 son rectas paralelas a las que corta una tercera recta l3 , entonces el ngulo menor S, formado por la interseccin de l1 y l3 , es igual al ngulo menor T , formado por a o a la interseccin de l2 y l3 . Explique por qu es incorrecta la pregunta clave, Cmo se puede probar que dos o e o rectas paralelas cortan a una tercera recta? 4. Para cada uno de los problemas siguientes, elabore una lista con todas las preguntas clave que le sea posible formular (al menos dos). Las preguntas no deben contener s mbolos ni notacin del problema en cuestin. o o a. Si l1 y l2 son rectas tangentes a un c rculo C en los dos puntos extremos e1 y e2 del dimetro d, respectia vamente, entonces l1 y l2 son paralelas. b. Si f y g son continuas, entonces la funcin f + g es continua. o c. Si n es un entero par entonces n2 es un entero par. d. Si n es un entero dado que satisface 3n2 + 2n + 8 = 0, entonces 2n2 3n = 2. e. Si a y b son nmeros reales no negativos, entonces a2 + b2 (a + b)2 . u

65

6.8 Ejercicios sobre el metodo retroceder-avanzar.

6 LOGICA.

f. Si y = m1 x + b1 y y = m2 x + b2 son las ecuaciones de dos rectas para las que m1 = m2 , entonces las dos rectas son paralelas. 5. Para cada una de las preguntas clave siguientes, elabore una lista con todas las respuestas que le sea posible (al menos tres). a. Cmo se puede probar que dos nmeros reales son iguales? o u b. Cmo se puede probar que dos tringulos son congruentes? o a c. Cmo se puede probar que dos rectas son perpendiculares? o d. Cmo se puede probar que dos conjuntos son iguales? o 6. Para cada uno de los problemas siguientes, (1) formule una pregunta clave, (2) responda la pregunta de manera abstracta y (3) aplique la respuesta al problema en cuestin. o a. Si a, b y c son nmeros reales para los que a > 0, b < 0 y b2 4ac = 0, entonces la solucin de la ecuacin u o o ax2 + bx + c = 0 es positiva. b. En el siguientes diagrama, si BD es un bisector perpendicular de AC y AB = 2AD, entonces ABC es equiltero. a

7. Para cada uno de las hiptesis siguientes, formule tantos enunciados como le sea posible (al menos dos) que o sean resultado de aplicar el primer paso del proceso avanzar a partir de la hiptesis. o b. El seno del ngulo B en el tringulo ABC de la gura es1/ 2. a a a. El nmero real x satisface x2 3x + 2 < 0. u

c. La circunferencia C consta de todos los valores de x y y que satisfacen la ecuacin (x 3)2 + (y 2)2 = 25. o d. El entero n2 1 es impar. e. La recta y = 3x 1 es tangente a la funcin f (x) = x2 + x. o

66

6.9 Ejercicios sobre el metodo de reduccion al absurdo.

6 LOGICA.

6.9.

Ejercicios sobre el mtodo de reduccin al absurdo. e o


a. Si p, q y r son tres enteros consecutivos, entonces 24 no divide a p2 + q 2 + r2 + 1. b. Si f y g son dos funciones tales que i) g f y ii) f no est acotada superiormente, entonces g no est a a acotada superiormente. c. Si P (A | B) > P (A) entonces P (B | A) > P (B).

1. Cuando se aplica el mtodo de reduccin al absurdo a las proposiciones siguientes, qu deber suponerse? e o e a

2. Considere la aplicacin de reduccin al absurdo para demostrar que si a y b son enteros, y b es impar, entonces o o +1 y 1 no son ra ces de ax2 + bx + a. a. A partir de cual enunciado(s) se aplicar el mtodo retroceder? a e b. Si un estudiante dijera: ... y como pude demostrar que b es par, la demostracin est completa. Estar o a a en lo correcto el estudiante? Por qu s o por qu no? Explique la respuesta. e e 3. Demuestre, por reduccin al absurdo, las siguientes proposiciones: o a. Si n es un entero y n2 es par, entonces n es par. b. Si x > 0 entonces x < x + 1 c. x2 y 2 = 1 no tiene soluciones enteras positivas. d. No existen los nmeros reales positivos x, y con x = y tales que x3 y 3 = 0. u e. Ninguna cuerda de un c rculo tiene una longitud mayor que un dimetro. a f. Si n 1, n y n + 1 son enteros positivos consecutivos, entonces el cubo del mayor no puede ser igual a la suma de los cubos de los otros dos. g. Si p y q son enteros con p = q y p es primo y divide a q, entonces q no es primo. h. En una esta de n 2 invitados al menos dos personas que tienen el mismo nmero de amigos en la esta. u i. Demuestre que si ABC no es un tringulo issceles, entonces la altura BD no bisecta al lado AC. a o j. Demuestre que si x es un nmero racional e y es un nmero irracional, entonces x + y es un nmero u u u irracional. 4. Demuestre por reduccin al absurdo que hay una cantidad innita de nmeros primos. (Sugerencia: suponga o u que n es el primo ms grande. Despus considere cualquier nmero primo p que divide a n! + 1. Cul es la a e u a relacin entre p y n?) o 5. Identique la contradiccin en la siguiente demostracin: o o Proposicin 7. Si a y b son enteros y b es impar, entonces +1 y 1 no son ra o ces de ax4 + bx2 + a. Demostracin. Se supone, por el contrario, que +1 y 1 es una ra de ax4 + bx2 + a. Entonces a(1)4 + o z b(1)2 + a = 0, es decir, b + 2a = 0. En consecuencia, b = 2a, lo que no puede ocurrir, y por lo tanto la demostracin est completa. o a

6.10.

Ejercicios sobre el mtodo del contrarrec e proco.

1. Si se usa el mtodo del contrarrec e proco para demostrar las proposiciones siguientes, entonces, a partir de cules enunciados se aplicar el proceso avanzar y a partir de cules se aplicar el proceso retroceder? a a a a a Si n es un entero para el que n2 es par, entonces n es par. b Suponer que A es un subconjunto del conjunto B de nmeros reales. Si A no est acotado, entonces B no u a est acotado. a 2. Juan dice: Si estudio mucho, entonces sacar por lo menos una B en este curso, a lo que Mar responde: e a Sacaste una A en el curso, lo que quiere decir que estudiaste mucho. La armacin de Mar fue correcta? o a Por qu s o por qu no? Explique la respuesta. e e

67

6.11 Ejercicios de demostracion por casos

6 LOGICA.

3. En una demostracin por el mtodo del contrarrec o e proco de la proposicin Si r es un nmero real con r > 1, o u entonces no existe un nmero real t con 0 < t < tal que sin(t) = r cos(t), cul de los enunciados siguientes u a 4 es resultado del proceso avanzar? a r 1 0. b sin2 (t) = r2 (1 sin2 (t)). c 1 r < 0. d tan(t) = 1 . r 4. Suponga que se usa el mtodo del contrarrec e proco para probar la proposicin: Si la derivada de la funcin o o f en el punto x es diferente de 0, entonces x no es un mximo local de f . Cul de las siguientes preguntas a a clave es la correcta? Porqu son incorrectas las otras opciones? e a Cmo se puede probar que el punto x es un mximo local de la funcin f ? o a o b Cmo se puede probar que la derivada de la funcin f en el punto x es 0? o o c Cmo se puede probar que un punto es un mximo local de una funcin? o a o d Cmo se puede probar que la derivada de una funcin en un punto es 0? o o 5. Sean a y b dos nmeros reales. Demuestre por el mtodo del contrarrec u e proco que si a < b entonces
a+b 2

< b. pq =

6. Suponga que p y q son nmeros reales positivos. Demuestre por el mtodo del contrarrec u e proco, que si (p + q)/2, entonces p = q.

7. Suponga que a y b son nmeros reales positivos. Demuestre por el mtodo del contrarrec e proco, que si a = b u entonces (a + b)/2 > ab. 8. Demuestre por el mtodo del contrarrec e proco, que si c es un entero impar, entonces la ecuacin n2 + n c = 0 o no tiene una solucin entera para n. o 9. Demuestre por el mtodo del contrarrec e proco, que si ninguno de los ngulos del cuadriltero RST U es obtuso, a a entonces el cuadriltero RST U es un rectngulo. a a 10. Suponga que v es una cota superior de un conjunto S de nmeros reales. Demuestre por el mtodo del u e contrarrec proco que, si no es verdad que existe un nmero real > 0 tal que para cualquier elemento x S, u x v , entonces no existe un nmero real u < v tal que u es una cota superior de S. u

6.11.

Ejercicios de demostracin por casos o

1. Demuestre que n3 + 2n es divisible por 3 para toda n N. 2. Demuestre que n5 n es divisible por 5 para toda n N. 3. Demuestre que |xy| = |x| |y|. 4. Demuestre por casos las siguientes proposiciones para conjuntos A, B y C cualesquiera, todos subconjuntos de un mismo conjunto universal a. Si A C y B C entonces A B C. b. Si A B entonces A C B C c. Si A C B C entonces A C c B C c . 5. Utilice un mtodo indirecto (contrarrec e proco o reduccin al absurdo) junto con el mtodo por casos para o e demostrar el sigiuiente teorema: Teorema 6.1. Sean A, B y C subconjuntos cualesquiera de un mismo conjunto universal. Si A B y B C, entonces A C. 6. Para cada uno de los teoremas siguientes, determinar si la demostracin dada es correcta. En caso que est o e incorrecta, reescr bala eliminando sus deciencias. 68

6.12 Ejercicios de induccion.

6 LOGICA.

a. Teorema 6.2. Para cualquier pareja de nmeros reales positivos x, y, ln u x = ln(x) ln(y) y (Nota: asuma que ya demostramos que: i) ln(xy) = ln(x) + ln(y) y ii) que ln(1) = 0).
1 Demostracin. Sea x un nmero real cualquiera; comenzamos utilizando el caso especial y = x en i). Por o u 1 1 1 ii), tenemos que 0 = ln(1) = ln x x = ln(x) + ln x . Por lo tanto, ln x = ln(x) para cualquier x > 0.

Luego, sean x y y reales cualesquiera, entonces ln se quer demostrar. a b.

x y

= ln x

1 y

= ln(x) + ln

1 y

= ln(x) ln(y), como

Teorema 6.3. Para cualquier pareja de conjuntos A y B, subconjuntos de un mismo universo U , si B = A (B Ac ), entonces A B. Demostracin. (Inicio de la demostracin) Sea x un elemento cualquiera de U . Claramente, x A o x Ac , o o por lo que dividimos el argumento en dos casos. . .

6.12.

Ejercicios de induccin. o

1. En cules de las siguientes proposiciones es aplicable la induccin? Cuando la induccin no sea aplicable, a o o explique por qu. e a. Para cualquier entero positivo n, 8 divide a 5n + 2(3n1 ) + 1. b. Existe un entero n 0 tal que 2n > n2 . c. Para cualquier entero n 1, 1(1!) + 2(2!) + + n(n!) = (n + 1)! 1. d. Para cualquier entero n 4, n! > n2 . e. Para todo nmero real n 1, n2 n. u 2. Al aprender el mtodo de induccin, un estudiante dijo: Hay algo que no entiendo. Despus de demostrar que e o e el enunciado es verdadero para n = 1, usted quiere que yo suponga que P (n) es verdadero y que demuestre que P (n + 1) tambin lo es. Cmo puedo suponer que P (n) es verdadero? Despus de todo, acaso no se e o e trata de demostrar que el enunciado P (n) es verdadero? Responda la pregunta. 3. por qu no es posible aplicar el mtodo de induccin matemtica en enunciados de la forma Para todo e e o a nmero real x con una propiedad dada, algo ocurre? u 4. Demuestre por induccin que para cualquier entero n 1, 1(1!) + 2(2!) + + n(n!) = (n + 1)! 1. o 5. Demuestre por induccin que para cada entero k 1, 1 + 2 + 22 + + 2k1 = 2k 1. o 6. Demuestre por induccin que para cualquier entero n 5, 2n > n2 . o 7. Demuestre que: a. Demuestre que n5 n es divisible por 5 para toda n N. b. Demuestre que 5n 4n 1 es divisible por 16 para toda n N. 8. Demuestre que para toda n 1, 13 + 23 + 33 + + n3 = n2 (n + 1)2 . 4

9. Una mquina se llena con un nmero impar de chocolates y con un nmero impar de caramelos. Por un dlar, a u u o la mquina despacha dos dulces. Demuestre que, antes de quedar vac la mquina despachar al menos un a a, a a par que consta de un chocolate y un caramelo. 10. Demuestre por induccin que si i = 1, entonces para cualquier entero n 1, [cos(x) + i sin(x)]n = o cos(nx) + i sin(nx). Proceda demostrando primero que el enunciado es verdadero para n = 1, y luego que si el enunciado es verdadero para n 1, entonces el enunciado es verdadero para n.

69

6.12 Ejercicios de induccion.

6 LOGICA.

11. Demuestre que en una la de al menos dos personas, si la primera persona es una mujer y la ultima es un hombre, entonces en algunaparte de la la hay un hombre parado inmediatamente atrs de una mujer. a 12. Demuestre que si A1 , A2 , . . . , An y B son conjuntos, entonces (A1 A2 . . . An ) B = (A1 B) (A2 B) . . . (An B).

70

Você também pode gostar