Referencia 2do Medio 2008

MATERIAL DE REFERENCIA
APRENDER MATEMTICA CREANDO SOLUCIONES
I.S.B.N.: 956-12-1636-1 2 edicin: octubre de 2008 2003 por Centro Comenius Universidad de Santiago de Chile Derechos exclusivos reservados por Universidad de Santiago de Chile. Editado por Empresa Editora Zig-Zag S.A. Los Conquistadores 1700, Providencia Telfono 3357477. Fax 3357545 E-mail: zigzag@zigzag.cl Impreso por Maxhuber General del Canto 276, Providencia Santiago de Chile Diseo: Francisca Galilea R. Gladys Briones T.
Matemtica Interactiva: Aprender matemtica creando soluciones Centro Comenius Universidad de Santiago de Chile
El Centro Comenius de la Universidad de Santiago de Chile, desarroll el modelo interactivo para el aprendizaje matemtico, en el proyecto FONDEF D00I1073 Aprender matemtica creando soluciones entre los aos 2001 y 2004. El modelo cuenta, para su implementacin en salas de clases, con material para el alumno (actividades, guas, proyectos, etc.), material del profesor (sugerencias pedaggicas para trabajar los materiales, los contenidos e integrar las tecnologas), material de referencia (tratamiento ms formal de la matemtica), materiales manipulativos concretos (chas, dados, juegos, etc.), evaluaciones y recursos tecnolgicos que siguen los principios de diseo tericos sugeridos en el modelo. Sobre la base del Modelo Interactivo para Aprender Matemtica, en la actualidad se est desarrollando el proyecto Enlaces Matemtica, con aportes del Centro de Educacin y Tecnologa, ENLACES del Ministerio de Educacin de Chile y del Centro Comenius de la Universidad de Santiago de Chile, implementndose en siete regiones del pas, con la colaboracin de las universidades asociadas.
Profesionales del Proyecto Enlaces Matemtica
Fidel Oteza Morra Director del Proyecto Gonzalo Villarreal Farah Sub Director del Proyecto Manuel Galaz Prez Encargado operativo Hernn Miranda Vera Roberto Araya Schulz Lorena Espinoza Salfate Investigadores asociados Claudia Matus Ziga Coordinadora recursos educativos Osvaldo Baeza Rojas Macarena Escalante Salamanca Evelyn Herrera Toro Claudia Matus Ziga Mauricio Moya Mrquez Gustavo Rodrguez Seplveda Alicia Venegas Thayer Michael Yez Rojas Lucrecia Zamorano Aravena Diseo y desarrollo de textos, guas, material concreto y recursos tecnolgicos Luis Belmar Rebolledo Nelly Devia Ormeo Mara Isabel Escobar Gutirrez Paula Gaete Oteiza Marcelo Gonzlez Molina Mara Jos Moreno Silva Marisol Troncoso Salazar Mabel Vega Rojas Colaboradores produccin de materiales
Juan Silva Quiroz Evelyn Herrera Toro Encargados de la plataforma virtual Lucrecia Zamorano Aravena Instrumentos de evaluacin y revisin de materiales Sergio Reyes Gonzlez Anlisis estadstico Claudia Matus Correa Asesora anlisis estadstico Cristin Reyes Reyes Rigoberto Becerra Allende Eugenio Saavedra Gallardo Gerardo Honorato Gutirrez Miguel Muoz Jara Gladys Bobadilla Abarca Editores matemticos Guillermo Garrido Acevedo Coordinador Transferencia Alicia Venegas Thayer Responsable rea Educacin de Adultos Jessica Marinkovic ORyan Dwight Pennanen Arias Roxana Donoso Loyola Apoyo operativo y logstico Juan Rojas Rivera Diagramacin, diseo y edicin grca Mauro Silva Cuevas Hctor Ros Bolbarn Ingeniera y soporte tcnico
RECONOCIMIENTO
Muchas personas e instituciones han hecho posible el proyecto FONDEF Aprender Matemtica Creando Soluciones y, como consecuencia directa, la existencia de este material educativo, cuyo propsito es proponer caminos alternativos e interesantes para que muchos estudiantes puedan aprender Matemtica y, lo que es ms importante, puedan disfrutar con ella y apreciarla como una herramienta poderosa creada por el ser humano y que permite explicar y entender muchas cosas del mundo que nos rodea. A todos ellos les damos nuestro ms profundo agradecimiento por su trabajo duro y comprometido, por sus ideas frescas y desaantes, y por su apoyo constante cuando las encrucijadas de un esfuerzo de esta envergadura hacan difcil ver el camino por donde seguir. En particular, queremos agradecer a las instituciones que han aportado recursos nancieros, profesionales e instalaciones al proyecto: CONICYT de Chile, quienes a travs del FONDEF aportaron fondos y el aliento y apoyo constante; Automind S.A.; Corporacin Municipal de Servicios Traspasados de Rancagua a travs del Liceo Oscar Castro; Corporacin Municipal de San Vicente de Tagua-Tagua a travs del Liceo Ignacio Carrera Pinto; Colegio Santa Mara de Santiago; Fundacin Educacional de La Araucana a travs del Complejo Educacional Padre Oscar Moser de Padre Las Casas (IX Regin); Colegio Alcalde Pedro Urbina Flores de Peumo; DAEM de Las Cabras a travs del Liceo Francisco Encina; Colegio Cristbal Coln de Santiago; Corporacin Municipal de San Fernando a travs del Liceo de Nias Eduardo Charme; SEREMI de Educacin de la Sexta Regin; Proyecto Enlaces del Ministerio de Educacin; Centro Zonal Enlaces Costa-Centro de la Universidad Catlica de Valparaso. Tambin queremos agradecer especialmente a los colegios, profesores y estudiantes que participaron en las pruebas piloto del material educativo: Colegio Santa Mara de Santiago, a travs de su director Jos Parisi y las profesoras del Departamento de Matemtica Lorena Lizana Manrquez, Ilia Maldonado, Luca Jara Bravo y Lucrecia Zamorano Aravena; Liceo Ignacio Carrera Pinto de San Vicente de Tagua-Tagua, a travs de su director Eduardo Michel Aedo y los profesores del Departamento de Matemtica Juan Pablo Cabezas, Gustavo Moreno, Jorge Fuentes, Lilian Miranda, Alfredo Astrain y Marcelo Seplveda.
Un especial reconocimiento a los directivos, profesores y estudiantes de todos los establecimientos que participaron de la experimentacin del material durante el ao escolar 2003: Liceo Oscar Castro de Rancagua; Liceo de Nias Eduardo Charme de San Fernando; Liceo Ignacio Carrera Pinto de San Vicente de Tagua-Tagua; Liceo Francisco Encina de Las Cabras; Colegio Alcalde Pedro Urbina Flores de Peumo; Colegio Santa Mara de Santiago; Colegio Cristbal Coln; Colegio Santa Cruz; Colegio Marcelino Champaignat; Colegio Franciscano Mara Reina; Complejo Educacional Padre Oscar Moser de Padre Las Casas. A todos ellos muchas gracias por la paciencia de habernos tenido todo un ao visitando sus salas de clases y por el profesionalismo, dedicacin y esfuerzo puesto en la experimentacin. Este material no hubiese sido posible sin el trabajo editorial dedicado y altamente calicado del personal de la empresa editora Zig-Zag S.A. Nuestros agradecimientos para todos ellos a travs de Felipe Morales, Robert Pardo y Mara Eugenia Mestre. Por ltimo, una mencin y reconocimiento particular a todo el equipo de investigadores, profesionales y tcnicos del Centro Comenius de la Universidad de Santiago, quienes hicieron su mejor esfuerzo para construir este sueo de mejorar las condiciones para que muchos jvenes puedan aprender Matemtica y abrir as sus posibilidades de construir un futuro mejor.
LGEBRA
EL PODER GENERALIZADOR DE LOS SMBOLOS
UNIDAD LGEBRA
Fidel Oteza Morra Mauricio Moya Mrquez
CONTENIDO
9
Presentacin
10
Expresiones algebraicas
Qu es una expresin algebraica? Qu representa una expresin algebraica? Expresiones algebraicas con sentido Expresiones algebraicas en la Ciencia Cuocientes de expresiones algebraicas Indeterminacin de expresiones algebraicas racionales Simplicacin de expresiones algebraicas Factorizacin de expresiones algebraicas Mtodo visual para factorizar y desarrollar expresiones algebraicas Resumen de productos notables Operatoria de expresiones algebraicas Propiedades de las potencias de exponente entero 10 10 11 12 13 13 14 15 18 20 21 26
28
Introduccin a los Nmeros Reales
La aparicin de los nmeros irracionales en la Historia La naturaleza irracional de la raz cuadrada de 2 Valores aproximados de nmeros irracionales La recta numrica real Denicin formal de nmero real Axiomas que denen propiedades de los nmeros reales Teoremas que denen propiedades de los nmeros reales Demostraciones de algunos teoremas 29 30 32 36 38 38 40 42
45
Referencias bibliogrcas
Unidad de lgebra
PRESENTACIN
Para abordar esta unidad, se propone focalizar el trabajo en una comprensin ms profunda de la relacin que existe entre la representacin algebraica y los nmeros, intentando darle un sentido numrico a las expresiones representadas a travs de letras y smbolos. Esto ha sido pensado as, debido a que una de las dicultades que tiene la comprensin del lgebra es que las personas no logran ver qu hay realmente detrs de esos smbolos, razn por la cual no logran visualizar las transformaciones posibles que son muy importantes al momento de aplicar la operatoria algebraica. Por otra parte, cuando se aborda esta unidad, en distintos textos se suele caer en un abuso de lenguaje matemtico y referirse al trabajo con cuocientes de expresiones algebraicas como fracciones en lenguaje algebraico o simplemente fracciones algebraicas. En realidad, si se mira la forma (el dibujo) de los cuocientes de expresiones algebraicas, esta tiene una similitud con las fracciones. Incluso se habla del numerador y el denominador de la expresin algebraica, lo que aumenta ms la confusin. Sin embargo, hablar de fracciones algebraicas implica restringir el uso del lgebra slo al mbito numrico de los nmeros racionales (I Q), con lo cual se le resta fuerza como herramienta generalizadora del concepto de nmero y de otros objetos matemticos ms abstractos, tales como funciones, conjuntos, transformaciones, matrices, vectores, etc. Por esta razn, desde un punto de vista estrictamente matemtico, es importante ampliar el mbito de aplicacin del lgebra para representar tambin nmeros reales y, por lo tanto, por la denicin matemtica de fraccin, no puede hablarse de fracciones algebraicas, sino de expresiones algebraicas en general. Esta distincin tiene consecuencias importantes, pues por ello se ha considerado un tratamiento ms formal y profundo del conjunto de los nmeros reales. Este tema es parte de los contenidos de Primero Medio, pero en este texto se los introduce de una manera un poco ms profunda y sistemtica, mostrando la axiomtica y abordando algunos de sus teoremas fundamentales. Esto puede ser interesante particularmente para aquellos estudiantes orientados hacia la Matemtica, dado que los nmeros reales seguirn apareciendo de aqu en delante de manera permanente, ya que son fundamentales en la construccin de conceptos claves como el de funcin y en la generalizacin de algunos resultados, como por ejemplo el Teorema de Thales. Dado a lo expresado anteriormente, la unidad se llama El poder generalizador de los smbolos y el ncleo fundamental es la operatoria de cuocientes de expresiones algebraicas.
EXPRESIONES ALGEBRAICAS
Qu es una expresin algebraica?
Para denir el concepto de expresin algebraica, en primer lugar es necesario primero entender lo que es una variable. Una variable es una letra que se usa para representar cualquier elemento de un conjunto, en particular un conjunto numrico. Por ejemplo, cuando se escribe a IR signica que a es un nmero real, aunque no especica qu nmero real es en particular, sino que se reere a cualquier nmero real. Como convencin, las ltimas letras del alfabeto, tales como x, y, z, w..., son las que se emplean ms a menudo como variables. De este modo, se puede pensar en la variable como una suerte de contenedor que recibe valores seleccionados de un conjunto determinado, en particular de un conjunto numrico como, por ejemplo, los nmeros reales. A partir de lo anterior, se dene una expresin algebraica como la representacin simblica del resultado que se obtiene al aplicar a una coleccin de variables y nmeros, una cantidad nita de operaciones denidas en el conjunto que se est trabajando (adiciones, sustracciones, multiplicaciones, divisiones, potencias, extraccin de races, etc.). A continuacin se presentan algunos ejemplos de expresiones algebraicas: a b+c 3m2 4n x2+ 4x 3 2xy + 3x y1 39 2p
1
p 2p +
Qu representa una expresin algebraica?

Una expresin algebraica que se ha formado a partir de variables numricas (por ejemplo, variables que representan nmeros reales), no es otra cosa que la representacin general de un nmero cualquiera. Esto queda ms claro aun cuando una expresin es evaluada dndole ciertos valores numricos concretos a las variables de la expresin. Lo que queda entonces es un conjunto de operaciones numricas, resultando nalmente un nmero.
10
Unidad de lgebra
Ejemplos 1. 2. 3. La expresin 3xy 2 representa al nmero 3 , cuando x = 1 e y = 2. Al evaluar 3 1 2 2 = 62=3 Una expresin interesante es 2n. Si esta es evaluada, por ejemplo con los nmeros enteros positivos 1, 2, 3, ... el resultado ser 2, 4, 6, ...., es decir, los nmeros enteros pares. La expresin 2p 1 representa a los nmeros enteros impares, cuando p es un nmero entero.
Expresiones algebraicas con sentido

De acuerdo al contexto dado, las expresiones algebraicas pueden adquirir un signicado ms concreto en el mundo cotidiano. Por ejemplo, en el siguiente cuadro se presenta una serie de variables expresadas mediante un smbolo, un signicado y un valor numrico especco asignado para cada una de ellas1.
Smbolo de la variable A M1 H1 M2 H2 Tm To D EM EH Signicado Nmero de asignaturas que tiene cada estudiante en Segundo Medio. Nmero de alumnas en Primero Medio. Nmero de alumnos en Primero Medio. Nmero de alumnas en Segundo Medio. Nmero de alumnos en Segundo Medio. Nmero de minutos que cada alumno emplea en su tarea de Matemtica cada noche. Nmero de minutos que cada alumno emplea en su tarea que no sea de Matemtica cada noche. Nmero de das de clases por ao. Nmero de horas por semana que cada alumna escucha msica. Nmero de horas por semana que cada alumno escucha msica. Valor
7 230 246 215 213 27 52 180 18 15
En este cuadro cada variable tiene un signicado especco en el contexto de un colegio. Con ellas se pueden formar expresiones algebraicas como las siguientes: M1 + H1 Tm + To D EM Nmero total de alumnos (hombres y mujeres) en Primero Medio. Nmero total de minutos que cada estudiante utiliza en hacer sus tareas. Nmero de das de clases por ao multiplicado por el Nmero de horas por semana que cada alumna escucha msica.
Tomado y adaptado de Interactive Mathematics Program. Year 1 de Dan Fendel, Diane Resek, Lynne Alper y Sherry Fraser. Key Curriculum Press, 2000.
11
Usando las operaciones bsicas es posible escribir muchas expresiones algebraicas diferentes. Sin embargo, no todas las expresiones tienen sentido en el mundo cotidiano. Por ejemplo, la ltima expresin D EM cuyo valor es 18 180 = 3.240, no tiene ninguna interpretacin lgica en el contexto dado. Sin embargo, las otras s tienen una interpretacin y esta es una de las ventajas de trabajar con expresiones algebraicas, pues con unos pocos smbolos y operaciones, se pueden representar modelos matemticos muy complejos.
Expresiones algebraicas en la Ciencia

Una aplicacin concreta de las expresiones algebraicas se registra en la representacin de frmulas en la Ciencia, donde cobran gran relevancia, ya que los resultados importantes, descubrimientos o leyes fsicas quedan, generalmente, expresados a travs de frmulas matemticas o ecuaciones. En este contexto, una frmula es una expresin algebraica con signicado, donde sus variables representan determinadas magnitudes. Evaluar una frmula signica encontrar el valor numrico de una variable especca, reemplazando y operando los valores numricos de las otras variables conocidas.
Ejemplos: F=ma (Segunda ley de Newton que relaciona la masa de un cuerpo con su aceleracin.)
dn = n (n 3) (Nmero total total de diagonales que se pueden trazar en un polgono convexo 2a de n lados.) P = RnT 1 V (Ley de los Gases Ideales que relaciona la temperatura con el volumen de un gas.)
Tomando la segunda frmula, es posible determinar el nmero total de diagonales que se pueden trazar en un heptgono (polgono de 7 lados). As: d7 = 7 (7 3) = 28 = 14 2 2
12
Unidad de lgebra
Cuocientes de expresiones algebraicas

Existen algunas expresiones algebraicas especiales importantes de conocer y recordar: Un monomio en ciertas variables es una expresin algebraica que puede escribirse como el producto de un nmero real y potencias enteras no negativas de las variables. Este trabalenguas es ms simple de lo que parece y se puede traducir as. Por ejemplo, un monomio en la variable x es una expresin algebraica de la forma axn, donde a IR y n es un entero no negativo. Un polinomio es cualquier suma de monomios. Por ejemplo, un polinomio en la variable x es una expresin algebraica de la forma a1x + a2x2 + a3x3 + .... + anxn , donde ai IR y n es un entero no negativo. Una expresin algebraica racional corresponde al cuociente entre dos polinomios. Por ejemplo, las siguientes expresiones corresponden a expresiones algebraicas racionales: x2 5x + 1 , z2x4 3yz , 1 , etc 5z 4xy x3 + 7
Indeterminacin de expresiones algebraicas racionales

Un punto importante, a la hora de enfrentar cuocientes de expresiones algebraicas, es analizar aquellos valores para los que el denominador se hace cero, ya que en estos casos la expresin se indene, pues la divisin por 0 no existe. Por ejemplo, la expresin: x2 2x 3 x 3 valor 0. se indene cuando x = 3, pues el denominador toma el
Luego, la condicin para que esta expresin sea vlida es que la variable x no puede adoptar el valor 3, lo que se escribe formalmente como: x 3. De este modo, la forma correcta de escribir esta expresin es: x2 2x 3 x 3 x3
Esta consideracin es muy importante al realizar la simplicacin de las expresiones de este tipo, tema que es abordado a continuacin.
13
Simplicacin de expresiones algebraicas

A menudo, es muy til en el trabajo matemtico el reemplazar una expresin compleja por otra equivalente pero ms simple. Un aspecto importante de este proceso es la simplicacin de expresiones algebraicas, donde se trabaja de un modo similar a cuando se simplican fracciones. 6 32 Por ejemplo, para simplicar la fraccin 10 , se debe escribir 5 2 y entonces cancelar el factor 2 en el numerador y el denominador. Este proceso generalmente se escribe as: 32 3 6 = = 52 5 10 Ms formalmente, en vez de cancelar, se puede escribir: 32 6 3 2 = = 52 10 5 2 (aplicando propiedades de la multiplicacin de fracciones)
2 y usar el hecho que 2 = 1 (consecuencia directa de la existencia del elemento neutro multiplicativo en IR, donde a 1 = 1 a = a para todo a en IR). Similarmente, se puede considerar ahora la expresin algebraica 12xy 20x
Esta expresin se puede simplificar buscando un factor comn en el numerador y el denominador y entonces proceder a cancelarlo. Este proceso se puede escribir de la manera siguiente: 12xy = 3 4xy = 3y 4x = 3y 4x = 3y 1 = 3y 20x 5 4x 5 4x 5 4x 5 5 x0
As, se ha llegado a una expresin ms simple, pero equivalente. La explicacin ms formal de la operacin utilizada aqu es que, aplicando adecuadamente las propiedades de los nmeros reales, se puede reescribir la expresin anterior de la manera en que fue realizada y usar el hecho que: 4x = 1 4x x0
De este modo, si el numerador y el denominador de una expresin tienen un factor comn distinto de cero, estos factores se cancelarn uno con otro por la propiedad de IR que establece la existencia de elemento inverso multiplicativo y usando tambin el hecho que el 1 es el elemento neutro multiplicativo en IR. Simblicamente, el principio general puede describirse de la manera siguiente: ac a c a a = = 1= bc b c b b b 0, c 0
14
Unidad de lgebra
Para poder aplicar este principio, se requiere tener los factores apropiados en el numerador y en el denominador. Por ejemplo, si se tiene la expresin: x2 + 4x x2 + 5x + 4 Puede ser simplificada escribiendo el numerador como x(x + 4) y el denominador como (x + 1)(x + 4). De este modo, la expresin se puede trabajar como: x(x + 4) x (x + 4) x x = = 1= (x + 1)(x + 4) (x + 1) (x + 1) (x + 1) (x + 1) resultando nalmente en: x x+1 x 4, x 1 x 4, x 1
Factorizacin de expresiones algebraicas

Sin duda, un tema fundamental al momento de simplificar expresiones algebraicas es la factorizacin. Es tan fundamental que simplemente si no se sabe cmo factorizar, en muchos casos ser imposible simplicar expresiones algebraicas cuyos numeradores y/o denominadores no estn factorizados. Por ello, vale la pena volver a revisar las distintas tcnicas y procedimientos de factorizacin de expresiones y conocer en qu casos se aplican. Factorizar una expresin algebraica es transformarla en el producto de dos o ms factores, los cuales a su vez son tambin expresiones algebraicas. Ejemplo: La expresin ab + 5a puede factorizarse como: ab +5a a(b + 5) Descomponiendo en factores. Aplicando la propiedad distributiva.
Existen diferentes tcnicas para factorizar una expresin algebraica, las que dependen fundamentalmente del tipo (forma) de expresin con la que se est trabajando. Algunas tcnicas importantes son las siguientes: factor comn, trinomios cuadrticos, productos notables. A continuacin se revisan con ms detalles cada una de ellas. Tcnica del factor comn Generalmente, se utiliza para factorizar expresiones simples y consiste en descomponer cada trmino de la expresin en factores de una manera conveniente, para luego identicar aquellos que son comunes. Finalmente, la expresin se factoriza aplicando la propiedad distributiva de los nmeros reales.
15
Ejemplo Factorizar ab c 3 ba = ab c 3 ba = ab(c 3) Descomponiendo en factores. Reconociendo el factor comn. Notar que ab = ba por la propiedad conmutativa de la multiplicacin en IR. Aplicando la propiedad distributiva, se obtiene la factorizacin buscada.
Tcnica para trinomios cuadrticos de la forma x2 + bx + c Una expresin algebraica de la forma x2 + bx + c puede ser factorizada como el producto de dos binomios (x + p)(x + q). Para ello es necesario encontrar dos nmeros p y q tales que cumplan las siguientes condiciones: pq=c p+q=b Al multiplicarlos se obtiene el trmino libre de la expresin. Al sumarlos se obtiene el coeciente que acompaa a x.
El fundamento de lo anterior es que al desarrollar el producto (x + p)(x + q) esto queda: (x + p)(x + q) = x x + x q + p x + p q = x2 + (p + q)x + pq x2 + bx + c Multiplicando trmino a trmino Reduciendo y factorizando Sustituyendo los valores p + q = c y p q = c
Ejemplo Factorizar la expresin y2 + 7y 30 (y + p)(y + q) p q = 30 y p + q = 7 p = 10 y q = 3 (y + 10)(y 3) Transformando la expresin en un producto de binomios Se buscan dos nmeros que multiplicados den -30 y sumados den 7 Los valores 10 y -3 son los que cumplen la condicin Reemplazando, se obtiene la factorizacin buscada
16
Unidad de lgebra
Tcnica para factorizar productos notables Anteriormente ya se ha trabajado con productos notables (cuadrado de binomio, suma por diferencia), que corresponde a factorizaciones especiales, en que por medio de una frmula, es posible obtener rpidamente su resultado. Basado en esto, una tercera tcnica para factorizar expresiones cuadrticas es justamente reconocer que se trata de algn producto notable conocido. Si la forma de un trinomio cuadrtico corresponde a x2 + 2ax + a2 o bien x2 2ax + a2, en la cual se distinguen las siguientes caractersticas: Dos de sus trminos son cuadrados perfectos (potencias de exponente 2) x2 y a2. El tercer trmino corresponde al doble del producto de las bases de los cuadrados anteriores: 2ax o bien 2ax. Entonces su factorizacin corresponde al cuadrado de binomio (x + a)2 o bien (x a )2, dependiendo del signo del doble producto en el trinomio original. Esta factorizacin se justica por lo siguiente: (x + a )2 = (x + a )(x + a ) = x2 + x a + a x + a2 = x + 2ax + a
2 2
Desarrollando el cuadrado de binomio. Multiplicando trmino a trmino. Reduciendo los trminos semejantes.
De igual forma se desarrolla (x a )2 para obtener x2 2ax + a2. Si una expresin corresponde a la diferencia de dos cuadrados, es decir, tiene la forma x2 a2, entonces su factorizacin corresponde al producto de una suma por diferencia. Esto se justica de la siguiente manera: (x + a)(x a) = x xa+ax+a = x2 a2 = Ejemplo Factorizar la expresin x2 4x + 4 x2 y 4 Son cuadrados perfectos. Notar que 4 = 22 x y 2 Son las bases de los cuadrados anteriores 2 x 2 = 4x Es el doble producto de las bases y el cual se corresponde con el trmino central del trinomio original. En este caso el signo es negativo. (x 2)2 (x 2)(x 2) Es la factorizacin buscada, la que corresponde a un cuadrado de binomio.
2 2
Suma por diferencia Multiplicando trmino a trmino Reduciendo trminos semejantes
17
Ejemplo Factorizar la expresin p2 144 p2 144 Corresponde a una diferencia de cuadrados 2 p y 144 Son cuadrados perfectos. Notar que 144=122 p y 12 Son las bases de los cuadrados anteriores ( p +12) ( p 12) Es la factorizacin buscada, la que corresponde a una suma por diferencia
Mtodo visual para factorizar y desarrollar expresiones algebraicas

Este mtodo est basado en la relacin que se puede establecer entre las expresiones algebraicas y las reas de rectngulos. En la prctica, lo que se necesita es un puzzle con piezas bien determinadas y en dos colores para hacer notar la diferencia de los signos. Esta distincin puede ser, por ejemplo, el color rojo para positivo y el azul para el negativo. Las piezas se describen en el siguiente cuadro:
Pieza Un cuadrado rojo de lado x. Dibujo
Rectngulos rojos y azules de lados 1 y x.
Cuadrados rojos y azules de lado 1.
Notar que x representa una magnitud variable. Ejemplo Desarrollar la expresin (x + 5)(x 3). x+5
x3
18
Unidad de lgebra
Dado que hay tres rectngulos azules, estos se cancelarn con tres rojos, es decir, las reas que quedan son:
x2
2x
15
De esta forma, la expresin (x + 5)(x - 3) al ser desarrollada queda x2 + 2x 15. Este proceso es simple de resolver usando la representacin del puzzle, pero lo interesante surge cuando se trata de hacer el proceso recproco, es decir, de una expresin desarrollada pasar a la expresin factorizada.
Ejemplo Factorizar la expresin x2 + 2x 8. En esta situacin se tienen las siguientes piezas:
x2
2x
La idea es formar un rectngulo con todas las piezas. En el caso de que falten rectngulos, se pueden agregar ms, siempre que esto sea hecho de pares de distinto color. Es decir, si se agregan dos rectngulos rojos, deben agregarse necesariamente dos azules. Este ltimo hecho de que falten piezas, es una forma de visualizar la reduccin de trminos semejantes que est implcita en una expresin desarrollada. En este caso, para formar el rectngulo nal es necesario agregar dos rectngulos rojos y dos azules.
x2
+ 2x
+2x
2x
19
Con este paso intermedio se puede ahora formar el rectngulo nal: x+4
x2
Por lo tanto, la factorizacin correspondiente (los lados) del rectngulo nal es (x + 4) (x 2), la cual corresponde exactamente a la expresin algebraica x2 + 2x 8.
Resumen de productos notables

A continuacin se presenta un cuadro resumen con los productos notables ms signicativos.
Producto Notable Cuadrado de binomio Suma por diferencia Binomios con un termino en comn Cubo de binomio
Forma (a b)2 (a + b)(a b) (x + a)(x + b)
Desarrollo a2 2ab + b2 a2 b2 x2 + (a + b)x + ab
Ejemplo (p 2)2 = p2 2 p 2 + 22 = p2 4p + 4 (m + 5)(m 5) = m2 25 (x 3)(x + 5) = x2 + (3 + 5)x 3 5 = x2 + 2x 15 (y 3)3 = y 3 3y2 3 + 3y 32 33 = y3 9y2 + 27y 27 (x + 2)(x2 2x + 4) = x3 + 8 (y 3 )(y2 + 3y + 9) = y3 27
(a b)3
a3 3a 2b + 3ab 2 b3
Suma de cubos Resta de cubos
(a + b)(a2 ab + b2) (a b)(a2 + ab + b2)
a3 + b3 a3 b3
20
Unidad de lgebra
Operatoria de expresiones algebraicas

Suma y resta con igual denominador Para sumar o restar cuocientes de expresiones algebraicas, se procede de manera similar a como se operan las fracciones numricas. En este caso, donde el denominador es igual, el procedimiento consiste en conservar el denominador y sumar o restar los numeradores en forma algebraica. Esto ltimo quiere decir que si existen trminos semejantes, estos deben reducirse. Ejemplo 4x + 5x 2 = 4x + 5x 2 Se conserva el denominador y se suman algebraicamente 2x 1 2x 1 2x 1 los numeradores. 9x 2 2x 1
Se reducen trminos semejantes
Mnimo comn mltiplo Cuando se requiere sumar o restar cuocientes de expresiones algebraicas con distinto denominador, la operatoria se complica un poco y se requiere conocer otro procedimiento para operar. La idea de fondo es buscar una forma de lograr transformar los cuocientes originales en otros equivalentes, pero de igual denominador, con lo cual la operatoria se reduce al caso anterior. Una forma es conocer el mnimo comn multiplo de los denominadores y transformar los cuocientes en otros equivalentes, cuyo denominador comn sea el mnimo comn mltiplo encontrado anteriormente. Una expresin algebraica, llammosla M, es el mnimo comn mltiplo (mcm) de un conjunto de dos o ms expresiones E1, E2, E3, , si M es la expresin de menor grado divisible por cada una de las expresiones de dicho conjunto y se anota de la siguiente forma: M = mcm (E1, E2, E3, ) A continuacin un ejemplo para desentraar el trabalenguas anterior. El mnimo comn mltiplo entre las expresiones 5m2nr y 25mn3 es la expresin 25m2n3r que corresponde a la expresin de menor grado (menor potencia), que es divisible por ambas expresiones. Esto quiere decir que no existe otra expresin de menor grado que sea divisible tanto por 5m2nr como por 25mn3. En caso que la hubiera, signica que la expresin anterior no era el mnimo comn mltiplo, pero en este caso no existe otra. Luego, es el mnimo comn mltiplo. Encontrar el mcm de un conjunto de expresiones algebraicas consiste en encontrar una nica expresin de modo que sea divisible por todas las expresiones del conjunto. Para ello, existe una primera tcnica que es similar a la usada con nmeros enteros, slo que en vez de nmeros se trabaja con las expresiones algebraicas a la cuales se requiere calcular el mcm. Una segunda
21
tcnica consiste en descomponer cada expresin algebraica en sus factores constituyentes, sean estos nmeros o factores literales. Lo siguiente es analizar el mcm por factores del mismo tipo, es decir, nmeros con nmeros y letras con letras. Al momento de calcular el mcm, es necesario tener en cuenta lo siguiente: 1. El mcm entre los coecientes numricos de las expresiones algebraicas, se determina de la misma forma que para los nmeros enteros. Ejemplo: El mcm entre 6 y 4 es: 6 3 3 1 4 2 1 2 2 3
El mcm (6,4) = 2 2 3 = 12 2. Si en alguna expresin no aparece explcitamente una variable o letra, signica que ella est elevada a cero y su valor es uno (a0 = 1). Ejemplo: Sean las expresiones 5a y 3a2b. En la primera expresin no aparece la letra b, lo cual signica que est elevada a cero, es decir, 5ab0 que al descomponerlo queda como 5 a 1. El mcm entre una variable (letra) cualquiera y 1 es la misma variable. Ejemplo: mcm (1, m3) = m3 El mcm entre dos potencias de la misma base, corresponde a la potencia de mayor exponente. Ejemplo: mcm (b4, b7) = b7
3. 4.
A travs de un mismo ejemplo, se revisan a continuacin las dos tcnicas antes descritas para obtener el mcm entre dos expresiones algebraicas. Ejemplo Determinar el mcm entre 5m2nr y 25mn3. Tcnica de la divisin sucesiva 5m2nr 1 m2nr 1 m2nr m 2n m2 m2 m 1 25mn3 5 mn3 1 mn3 mn3 mn2 m 1 1 5 5 r n n2 m m
mcm (5m2nr, 25mn3) = 5 5 r n n2m m = 25m2n3r
22
Unidad de lgebra
Tcnica de la descomposicin en factores Expresiones 5m2nr 25mn3 mcm por factor Descomposicin en factores 5 m2 n r 3 25 m n 1 2 3 25 m n r
mcm (5m2nr, 25mn3) = 25 m2 n3 r = 25m2n3r
Suma y resta con distinto denominador Para sumar o restar cuocientes de expresiones algebraicas con distinto denominador, al igual que en las fracciones numricas, una forma es encontrar previamente el mnimo comn mltiplo (mcm) entre los denominadores. El mcm pasa a ser el nuevo denominador para ambas expresiones, y los numeradores se amplican respectivamente por los factores que resultan de la divisin entre el mcm y el denominador original correspondiente. Hecho esto, como ahora se trata de fracciones de igual denominador, slo se procede a sumar algebraicamente los numeradores. El resultado obtenido debe simplicarse cuando sea posible. Ejemplo: 3 4 5a 2a =
mcm (5a, 2a) = 10a
3 4 = 3 2 4 5 = El mcm es el denominador comn 2a 10a 5a Se amplican los numeradores convenientemente. Notar que el factor 2 multiplica a 3, ya que 10a = 5a 2; el factor 5 multiplica a 4 porque 10a = 2a 5 8 16 6 20 = = 5a 10a 10a Resolviendo y simplicando por 2, se obtiene el resultado
Multiplicacin de expresiones algebraicas Para multiplicar cuocientes de expresiones algebraicas se procede igual que en el caso de las fracciones numricas, es decir, se multiplican primero los numeradores entre s y luego los denominadores. El resultado nal se debe simplicar cuando sea posible.
23
Ejemplo b 3 = 2 a b 3 3b = 2a 2a Se multiplican numeradores y denominadores, respetando la regla de los signos. Ms (+) por menos () igual menos ().
Divisin de expresiones algebraicas Para dividir dos cuocientes de expresiones algebraicas, se procede igual que en el caso de las fracciones numricas. Es decir, la divisin se transforma a una multiplicacin, en la cual se considera el inverso multiplicativo de una de las expresiones originales (por lo general, de la segunda). Luego de la transformacin, se multiplica tal como se muestra anteriormente. El resultado nal se debe simplicar cuando sea posible. Ejemplo xy 3x2y = 5b2 2b 3x2y 5b2 = xy 2b 3x2y 5b2 15b2x2y = 2bxy 2b xy = Se multiplican los numeradores y denominadores. Transformando a multiplicacin, donde el inverso 2 multiplicativo de xy2 es 5b . cb xy
15 b b x x y Descomponiendo y simplicando, se obtiene el resultado. 2bxy 15bx 2
Operatoria combinada de expresiones algebraicas Cuando se trata de resolver ejercicios que involucran las cuatro operaciones bsicas y parntesis, lo importante es resolver ordenadamente y no olvidar las prioridades de operacin: 1 Desarrollo de parntesis. 2 Multiplicaciones y divisiones. 3 Sumas y restas.
24
Unidad de lgebra
Ejemplo Resolver 2 1 + x+3 x5 2x 2 x2 2x 15 .
2 + 1 2x 2 = x5 x+3 (x + 3)(x 5) 2 (x 5) + 1 (x + 3) (2x 2) = (x + 3)(x 5) 2x 10 + x + 3 2x + 2 = (x + 3)(x 5) x5 = (x + 3)(x 5) x5 = (x + 3)(x 5) 1 = x5 Ejemplo Resolver
Factorizando la expresin cuadrtica
Encontrando el mnimo comn mltiplo
Resolviendo productos en el numerador
Reduciendo trminos semejantes
Simplicando
2 1 m n m n + 2m 2n 5 + 4 .
)(
2 1 m n m n + 2(m n) 5 + 4
22+11 2(m n)
)( )(
4m + 5n 20
) )
Factorizando expresiones
Resolviendo las sumas de los parntesis
4m + 5n 5 = 20 2(m n) 5(4m + 5n) = 40 (m n) 5 (4m + 5n) = 5 8 (m n) 4m + 5n 8m 8n)
Desarrollando
Multiplicando numeradores y denominadores
Simplicando
Multiplicando trmino a trmino en el denominador

25
Propiedades de las potencias de exponente entero

Para realizar operaciones con expresiones literales que involucran potencias de exponente entero, se utilizan las mismas reglas de la potenciacin numrica. A continuacin se entrega un resumen de las propiedades fundamentales: Propiedad 1 1. an = an 1 2. an = an 3. am an = am+n am 4. an = amn Condiciones Aa IR; An Z; a 0 A A A b a
n
Ejemplo 1 1 23 = 23 = 8 = 0,125 1 32 = 32 = 9 41 42 = 41 + 2 = 41 = 4 55 53 = 553 = 52 = 25
a IR; a IR; a IR;
A A A
m,n Z; a 0 m,n Z n Z; a,b 0
5.
6. an = am n
( ) ( ) ()
=
m
a b
a,b IR; a,b 0 a IR; a; A m,n Z
A A A
( ) ( ) ()
=
3
4 5
5 4
25 = 16
22
1 1 = 22 3 = 26 = 26 = 64
7. a b = an bn 8. a0 = 1
)n
A nZ
103 = (5 2)3 = 53 23 = 125 8 = 1000 (3,42)0 = 1
a IR
Ejemplos 1. Simplicar la expresin b2 = b3m b2(3m) = b1 + m b2 . b bm

3
Aplicando la propiedad 3 en el denominador Aplicando la propiedad 4 Reduciendo trminos semejantes en el exponente
26
Unidad de lgebra
2.
Simplicar la expresin
32 + 31 3
1 + 1 32 3 = Aplicando la propiedad 1 3 1 + 1 9 3 = Resolviendo potencias 3 1+3 9 3 4 9 3
= Resolviendo la suma en el numerador
= Divisin de fracciones
4 1 = Transformando a multiplicacin 9 3 4 = Multiplicando numeradores y denominadores 27
27
INTRODUCCIN A LOS NMEROS REALES2

Tal como se seal al comienzo, se crey necesario hacer una exposicin ms completa de los nmeros reales, dada su importancia en la Matemtica moderna y el hecho de que, para el desarrollo del lgebra, ha sido muy crucial el descubrimiento de este conjunto numrico tan especial y los hallazgos en torno a sus propiedades. Varios siglos de pensamiento han transcurrido para llegar al actual concepto de nmero real. Una construccin formal y satisfactoria de ellos slo se logr despus de la segunda mitad del siglo XIX. En los siglos VI y V a.C. en Grecia, cuando la Matemtica ya se haba iniciado como ciencia, fueron evidentes las dicultades de aquellos matemticos ante la idea de representar una magnitud que vara continuamente. Con claridad esto puede apreciarse en hechos como el descubrimiento de las magnitudes inconmensurables por la Escuela Pitagrica y las paradojas de Zenn. Los griegos salvaron muchos obstculos, no obstante, fallaron al no considerar como nmero relaciones tales como cuocientes o proporciones. Los pueblos orientales, en cambio, al parecer no tuvieron problemas en concebir los nmeros como cuocientes de magnitudes, quizs por el hecho de no contar con una lgica tan rigurosa como la occidental. Sin duda, esto les permiti avanzar tanto en Aritmtica como en lgebra. El concepto general de nmero real, ya intuido por los matemticos griegos cuando descubrieron los nmeros irracionales, fue formulado por primera vez como un concepto independiente por Isaac Newton en el s. XVII. En su Arithmetica Universalis, escribi: Por nmero real se entiende no tanto el conjunto de varias unidades, como la relacin abstracta entre una magnitud cualquiera y otra magnitud homognea a la primera y adoptada por unidad. Este nmero (cuociente) puede ser entero, racional o irracional (cuando la magnitud dada es inconmensurable con la unidad). Haciendo abstraccin de su naturaleza concreta, un nmero real no es otra cosa que el cuociente entre magnitudes, donde una de ellas es tomada como la unidad. El sistema de los nmeros reales es la imagen abstracta de todos los valores posibles de una magnitud que vara continuamente. Teoras estrictas de los nmeros reales fueron construidas a nes del s. XIX por George Cantor, Richard Dedekind y Karl Weierstrass.
Adaptado de la obra de Bobadilla y Billeke (1997).
28
Unidad de lgebra
La aparicin de los nmeros irracionales en la Historia3

La primera aproximacin histrica de que se tiene conocimiento acerca de la aparicin de estos nmeros extraos, que no podan tener una unidad de medida comn con otros (cantidades inconmensurables), surge con los griegos. Ellos, al extremar las consecuencias del teorema de Pitgoras y aplicarlo para medir la longitud de la diagonal de un cuadrado de lado 1, pronto se dan cuenta de que el resultado es un nmero extrao que no tiene nada que ver con los que ellos conocen y consideran hasta ese momento. La perplejidad de los griegos queda de maniesto segn este relato escrito por el matemtico espaol Pedro Miguel Gonzlez Urbaneja, en su libro Pitgoras: el lsofo del nmero: La grandeza sublime del teorema de Pitgoras y la mgica belleza del pentagrama mstico fueron dos caballos de Troya para la Geometra griega, porque llevaban en su interior el propio germen de la profunda crisis de la secta pitagrica. Los Dilogos de Platn nos informan que la comunidad matemtica griega se vio gravemente alterada por un descubrimiento que prcticamente demola la base de la fe pitagrica en los nmeros enteros. Los pitagricos que, como lsofos presocrticos, consideraban como ncleo dogmtico de su losofa que los nmeros son la esencia del universo, encuentran que las consecuencias del teorema atentan contra los fundamentos de su doctrina, que les haba llevado a establecer un paralelismo entre el concepto numrico y la representacin geomtrica. En efecto, el cuadrado, una de las guras geomtricas ms simples, tiene un segmento, la diagonal, que no es conmensurable con el lado: No hay un submltiplo de ambos que pueda tomarse como unidad para medirlos.
La creencia de que los nmeros podan medirlo todo era una simple ilusin. Quedaba as eliminada de la Geometra la posibilidad de medir siempre con exactitud. Se haba descubierto la magnitud inconmensurable, lo irracional (no expresado mediante razones), provocara una crisis sin precedentes en la historia de la Matemtica. La sacudida que la aparicin del nuevo concepto provoc en la Matemtica griega puede calibrarse por la leyenda que relata una nota, atribuida a Proclo, al libro X de los Elementos de Euclides:
Extractado del libro Pitgoras: el lsofo del nmero de Pedro Miguel Gonzlez Urbaneja (Pgs. 205-208).
Introduccin a los nmeros reales
29
Es fama que el primero en dar al dominio pblico la teora de los irracionales, perecera en un naufragio, y ello porque lo inexpresable e inimaginable debera siempre haber permanecido oculto. En consecuencia, el culpable, que fortuitamente toc y revel este aspecto de las cosas vivientes, fue trasladado a su lugar de origen, donde es agelado a perpetuidad por las olas. La lectura de este pasaje produce un escalofro: Ni un pice de piedad ni un tomo de conmiseracin para quien ha cometido un delito de lesa geometra, pecando contra lo ms sagrado. Desvelando el secreto de lo inexpresable, se ha hecho acreedor al ms terrible castigo divino, ser transportado a su lugar de origen, es decir, a la nada, de donde vino, ser desposedo del ser. El descubrimiento de la inconmensurabilidad marca un hito en la historia de la Geometra, porque no es algo emprico, sino puramente terico. Marc el momento ms dramtico no slo de la Geometra pitagrica, sino de toda la Geometra griega y fue con gran probabilidad lo que imprimi a la Matemtica griega un cambio de rumbo que la convertira en la obra de ingeniera geomtrico-deductiva plasmada en los Elementos de Euclides. En efecto, la imposibilidad de calcular exactamente la diagonal del cuadrado en funcin del lado, es decir la imposibilidad emprica y numrica de resolver el problema de la duplicacin del cuadrado, implicara la bsqueda de algo distinto. El espritu griego no se arredrar ante la dicultad y pasar al ataque. Renunciando a la exactitud aritmtica y trascendiendo lo emprico, replantear el problema soslayando la presencia temible e inexorable del innito mediante la construccin geomtrica. De esta forma, la imposibilidad de hallar con exactitud ciertas medidas, pronto de la casi generalidad de las medidas ya que los inconmensurables aparecan en otros muchos campos de la Geometra (por ejemplo en la relacin entre lado y altura del tringulo equiltero o entre la diagonal y el lado en el pentgono regular, emblemtico para los pitagricos) fue asimismo la cuna de la Geometra griega y uno de los factores del milagro griego en Matemtica. Desconocemos tanto las circunstancias concretas que rodearon el descubrimiento de los inconmensurables como la fecha en que tuvo lugar. Aunque Proclo lo atribuye al propio Pitgoras, suele admitirse que fue hacia el 480 a.C. por Hipasos de Metaponto. Este descubrimiento oculto bajo el halo del misticismo esotrico de la Escuela Pitagrica, vendra a ser develado slo veintitrs siglos ms tarde, por la genialidad de grandes matemticos de la talla de Newton, Cantor, Dedekind y Weisstrass.
La naturaleza irracional de la raz cuadrada de 2

Antes de seguir adentrndose en este misterioso y fascinante mundo de nmeros que no se pueden medir ni tocar, conviene profundizar y conocer ms de cerca los nmeros irracionales. Los nmeros irracionales son aquellos que no se pueden representar como nmeros racionales, es decir, no se pueden representar como el cuociente de dos nmeros enteros.
30
Unidad de lgebra
En particular 2, que corresponde a la medida de la diagonal del cuadrado de lado 1, no se puede representar como un nmero racional. A continuacin se hace una demostracin formal de la naturaleza irracional de 2, usando una tcnica de demostracin llamada el principio de contradiccin. Al respecto, el matemtico Joseph Kitchen Jr. seala que la demostracin de este hecho es tan bella como antigua. Demostracin Supongamos que existen dos nmeros enteros p y q primos relativos y que divididos son iguales a 2. Esto, matemticamente, sera: p = q 2
Que dos nmeros enteros p y q sean primos relativos quiere decir que la fraccin p es irreducible o sea que no se q puede simplicar.
Si reescribimos esta ecuacin despejando p y elevando al cuadrado tendremos: p = ( 2 )q p2 = ( 2 )2q2 p2 = 2 q2 De aqu tenemos que p2 es igual a una cantidad entera (q2 ) multiplicada por 2 y, por lo tanto, podemos deducir que p2 es un nmero par. Tambin, por lo visto en el razonamiento previo, tenemos que si p2 es un nmero par entonces p obligatoriamente es par. p q = /( )2
1 conclusin:
Si
2 entonces de los nmeros enteros p y q, p es un nmero par
y q es impar, ya que partimos suponiendo que p y q son primos relativos.
Como p es par entonces signica que se puede escribir como 2n, con n entero. Es decir: p=2n Si ahora reemplazamos p en la ecuacin p2 = 2 q2 tendremos: p2 = 2 q2 (2 n)2 = 2 q2 4 n2 = 2 q2 2 n2 = q2
31
O sea, lo que obtuvimos fue que q2 es tambin un nmero par, ya que es igual a una cantidad entera (n2 ) multiplicada por 2. Tambin por el razonamiento previo, si q2 es un nmero par entonces q es par. p q = 2 entonces, de los nmeros enteros p y q, p es un nmero par
2 conclusin:
Si
y q es par.
Pero, atencin. De la primera conclusin se sabe que q es un nmero impar, mientras que de la segunda se sabe que q es un nmero par, lo cual, es claramente una contradiccin (). Con esto se demuestra que no existe un nmero racional cuyo cuadrado sea 2, o dicho de otro modo 2 no puede ser expresado como un nmero racional, luego se concluye que necesariamente debe ser irracional.
Valores aproximados de nmeros irracionales

Una de las caractersticas ms notables que tienen los nmeros irracionales, es que no se puede calcular su valor exacto. No importa la cantidad de decimales que lleguemos a calcular, siempre va a existir una aproximacin mejor. A continuacin se muestran dos mtodos para calcular nmeros irracionales en forma aproximada: un mtodo visual y otro mtodo ms formal llamado de intervalos encajados. Mtodo visual4 Este mtodo visual considera el trabajo con piezas cuadradas de rea igual a 1. Como se trata de races cuadradas, la idea es armar un cuadrado mayor con las piezas disponibles para nalmente medir su lado. Esto est basado en el hecho de que si se tiene un cuadrado de rea a2, su lado mide a2 = a. a2 a
a En el caso de las races exactas el mtodo es directo, ya que el nmero de piezas coincide perfectamente. Ejemplo: Determinar el valor de
4
4, usando las piezas
Basada en una idea de Roberto Araya, propuesta en el libro Inteligencia matemtica. Editorial Universitaria. Santiago-Chile. 2000.
32
Unidad de lgebra
1.
Armando el cuadrado:
2.
Este cuadrado tiene rea 4 (cada cuadrado pequeo tiene rea 1) y su lado mide 2, luego 4 = 2.
De la misma forma se pueden obtener 9, 16, 25, etc. Para el caso de las races inexactas (irracionales) la idea es la misma, slo que el nmero de piezas cuadradas ya no coincide perfectamente. En este caso se procede a particionar el o los cuadrados que sobran, de modo que las partes se agreguen adecuadamente hasta formar el mejor cuadrado. Ejemplo: Determinar el valor de 1. 5, usando las piezas + .
Armando el cuadrado:
2.
Dado que sobra una pieza, esta debe particionarse para completar la gura. Por ejemplo, puede dividirse en cuatro partes iguales: =
3.
Cada parte debe agregarse al cuadrado ya formado, de modo que siga siendo cuadrado aunque sea aproximado:
4.
Al sumar las reas (5 cuadrados) tenemos que el rea total es 5. Dado que el ancho de cada 1 trozo pequeo es = 0,25; el lado del nuevo cuadrado es aproximadamente 2 + 0,25 = 2,25. 4 Es decir, 5 2,25. Este ltimo valor es una buena aproximacin de 5, cuyo valor es 2,236067977... Del mismo modo se pueden calcular: 6, 7, 8, 10, etc.
33
Intervalos encajados Un mtodo numrico ms formal para encontrar valores aproximados de algunos nmeros irracionales, es el mtodo de los intervalos encajados. Antes de describir el mtodo, es necesario denir el concepto de intervalos encajados. Los matemticos Bartle y Sherbert los denen de la siguiente manera: Una secuencia de intervalos In n IN es encajada si se cumple que: I1 I2 I3 ... In In +1 ... Grcamente, esto se puede ilustrar de la siguiente forma: I1 I3 I5 I4 I2 El mtodo de los intervalos encajados consiste en acotar un cierto nmero P (racional peridico o tambin un irracional), cuyo valor se desea aproximar, por otros dos nmeros conocidos. Para ilustrar el mtodo, conviene analizar el caso concreto de 2. Lo que se busca es un nmero cuyo valor multiplicado por s mismo debe ser igual a 2 o, en este caso, lo ms aproximado posible. Se puede establecer, sin mucho esfuerzo, que 2 est entre 1 y 2, ya que 1 < 2 < 2, ya que si multiplicamos 1 por s mismo da 1 que es menor que 2 y si multiplicamos 2 por s mismo da 4 que es mayor que 2. El error cometido en este caso es menor que una unidad, pues al restar los extremos del intervalo donde est contenido 2 el resultado es 1: 21=1 Se toma ahora 1,1; 1,2; ... y se va elevando al cuadrado, hasta que d un nmero mayor que 2. Se obtiene as el 1,5, por lo tanto: 1,4 < 2 < 1,5. El error cometido ahora es menor que una dcima, pues al restar los extremos del intervalo donde est contenido 2 el resultado es 0,1: 1,5 1,4 = 0,1 Se toma ahora 1,41; 1,42; ... etc. y se eleva al cuadrado, hasta que d nuevamente un nmero mayor que 2. Se obtiene 1,42, por lo tanto 1,41 < 2 < 1,42. El error cometido en esta ocasin es menor que una centsima, pues al restar los extremos del intervalo donde est contenido 2 el resultado es 0,01: 1,42 1,41 = 0,01
34
Unidad de lgebra
Si se observa atentamente, el proceso de aproximacin al valor de 2 descrito anteriormente tiene las siguientes caractersticas: 1. Cada paso en el proceso, determina un intervalo dentro del cual est contenido 2. [1 2] [1,4 1,5] [1,41 1,42] [1,414 1,415]... Cada intervalo est contenido (encajado) en el anterior. La diferencia entre los extremos de cada intervalo tiende a 0. Grcamente, al representar este proceso en la recta numrica se ve as:
2. 3.
Una sucesin de nmeros que tiene las caractersticas enunciadas en los tres puntos anteriores, es una sucesin de intervalos encajados y puede determinar un nmero irracional. De hecho, sta es una de las primeras deniciones formales que aparece en la historia de la Matemtica acerca de los nmeros irracionales en el ao 1872, veinticinco siglos despus que Pitgoras descubriera la existencia de los nmeros irracionales. En este caso la sucesin de intervalos que contienen a 2 es:
Ii Intervalo Precisin (Error) Diferencia 2 1 1,5 1,4 1,42 1,41 1,415 1,414 1,4142 1,4143 ...
Decimal 1 0,1 0,01 0,001 0,0001 ...
Potencia 100 10 1 10 2 10 3 10 4 ...
I1 I2 I3 I4 I5 ...
[1,2] [1,4; 1,5] [1,41; 1,42] [1,414; 1,415] [1,4142; 1,4143] ...
35
Grcamente, tenemos: I1 I3 I5
1,4142 1 1,4 1,41 1,414 1,4142 1,415 1,42 1,5 2
I4 I2
La recta numrica real

Anteriormente ya se demostr que no existe ningn nmero racional igual a 2. De este argumento resulta que, mediante una construccin geomtrica muy sencilla, se puede obtener un segmento inconmensurable con el segmento unidad. Si con un comps llevamos dicho segmento sobre la recta numrica, en la forma indicada en la gura, el punto obtenido no puede coincidir con ninguno de los puntos racionales. De aqu se concluye que el sistema de los nmeros racionales, aunque es denso (entre dos nmeros racionales cualquiera, siempre puedo meter un tercero), no cubre toda la recta numrica, quedando huecos en ella que no corresponden a nmeros racionales. El hecho de que hubiera ms puntos en la recta que nmeros racionales, fue justamente la idea que dej perplejos a los pitagricos.
Es fcil construir tantos segmentos inconmensurables con la unidad como se desee. Los extremos de tales segmentos llevados a partir del 0 de la recta numrica, son los llamados puntos irracionales. Para comprobar cada resultado basta usar el teorema de Pitgoras con los tringulos rectngulos formados. En la gura de la pgina siguiente se muestra el proceso de construccin:
36
Unidad de lgebra
Tringulo 1 2 3 4 ...
Catetos 1y1 1y 2 1y 3 1y 4 ...
Clculo de la hipotenusa usando Pitgoras x2 = 12 + 12x2 = 2x = 2 x2 = 12 + ( 2 )2 x2 = 1 + 2 = 3x = 3 x2 = 12 + ( 3 )2 x2 = 1 + 3 = 4x = 4 = 2 x2 = 12 + 22x2 = 1 + 4 = 5x = 5 ...
Nos encontramos as ante un nuevo conjunto numrico, que surge de la unin entre el conjunto de los nmeros racionales (I Q) y el conjunto de los irracionales (I). A este nuevo conjunto se le llama los nmeros reales y se denota por IR, el cual efectivamente cubre toda la recta numrica: IR = Q I UI Esto signica que a cada elemento del conjunto de los nmeros reales se le puede hacer corresponder un nico punto de la recta numrica, sin dejar ningn hueco libre. Por ello se dice que los reales son un conjunto completo y aparece la idea del continuo numrico. Esta correspondencia exacta (biunvoca) entre los nmeros reales y la recta numrica es muy til al momento de estudiar el concepto de funcin lineal.
37
Denicin formal de nmero real

En primer trmino podra establecerse que los nmeros racionales corresponden a los decimales peridicos, mientras que los irracionales corresponden a aquellos decimales no peridicos. Sin embargo, esta denicin no es plenamente satisfactoria, ya que el sistema decimal no se diferencia de otras bases por propiedades intrnsecas del sistema de nmeros. Es decir, es deseable una denicin ms general del continuo numrico, independiente de especiales referencias al sistema de base diez. Talvez la denicin general ms sencilla, expuesta por Courant y Robbins (1964), sea la siguiente: Consideremos una sucesin de intervalos encajados I1, I2, I3, ..., In , ... En este caso se cumple que la longitud del intervalo n-simo In tiende a cero al crecer n. En el caso de intervalos decimales, la longitud es 10n, pero en el caso general puede ser muy bien 2 n o estar simplemente sujetos a la restriccin de ser menores que 1/n. En estas condiciones se puede formular un postulado fundamental en Geometra: En correspondencia con cada sucesin de intervalos encajados, existe precisamente un punto de la recta numrica que est contenido en todos los intervalos. Se ve directamente que no puede haber ms de un punto comn a todos los intervalos, puesto que las longitudes de estos tienden a cero, y dos puntos no pueden estar contenidos en un intervalo de longitud menor que su distancia. El punto a que se reere el postulado es por denicin un nmero real. Si no es un punto racional, entonces se trata de un punto irracional. Mediante esta denicin se establece una correspondencia perfecta entre puntos y nmeros. Otra manera de denir los nmeros irracionales fue dada por Richard Dedekind (1831-1916), uno de los grandes iniciadores del anlisis lgico y losco de los fundamentos de la Matemtica. Dedekind prefera operar con ideas generales abstractas a hacerlo con sucesiones determinadas de encajes de intervalos. Su mtodo est basado en la denicin de cortadura, la cual es explicada detalladamente por Courant y Robbins (1964, p. 80).
Axiomas que denen propiedades de los nmeros reales5

Una de las caractersticas ms importantes del conjunto de los nmeros reales, es que con las operaciones binarias de suma y multiplicacin se comporta como un cuerpo ordenado y completo, esto es, cumple con los axiomas de cuerpo que enuncian a continuacin y adems cumple con los axiomas de orden. Aritmtica de los reales: axiomas de cuerpo Se acepta la existencia de un conjunto no vaco IR, que llamaremos conjunto de los nmeros reales, sobre el cual se ha denido una relacin de igualdad y dos operaciones algebraicas
5
El desarrollo de esta seccin est basado, fundamentalmente, en el texto Clculo I de los profesores de la Universidad de Santiago Gladys Bobadilla y Jorge Billeke.
38
Unidad de lgebra
binarias (esto es, entre dos elementos del conjunto). La relacin de igualdad = satisface las propiedades de: Reexividad: a = a Simetra: Si a = b, entonces b = a Transitividad: Si a = b y b = c, entonces a = c Las dos operaciones binarias denidas en el conjunto IR corresponden a la suma (+) y a la multiplicacin (). Formalmente, esto se expresa as: + : IR IR (a, b) IR a+b : IR IR (a, b) IR ab
Estas operaciones satisfacen los llamados axiomas de cuerpo que se enuncian a continuacin. Para la suma: (A1) Ley asociativa: a + (b + c) = (a + b) + c (A2) Existencia de un elemento neutro: a + 0 = 0 + a = a (A3) Existencia de un elemento inverso: a + ( a) = ( a) + a = 0 (A4) Ley conmutativa: a + b = b + a Para la multiplicacin: (A5) Ley asociativa: a (b c) = (a b) c (A6) Existencia de un elemento neutro: a 1 = 1 a = a; a 0 (A7) Existencia de un elemento inverso: a a 1 = a 1 a = 1; a 0 (A8) Ley conmutativa : a b = b a (A9) Ley distributiva con respecto a la suma: a (b + c) = a b + a c La operaciones de suma y multiplicacin son compatibles con la relacin de igualdad, es decir: Si a = b, entonces se cumple tambin que a + c = b + c y a b = b c A continuacin, se enuncian algunos teoremas que caracterizan propiedades algebraicas importantes en el conjunto de los nmeros reales y que, de hecho, son la justicacin formal para todas las operaciones algebraicas que permiten, por ejemplo, la simplicacin, la resolucin algebraica de ecuaciones, las potencias y otras que es largo de enumerar.
39
Teoremas que denen propiedades de los nmeros reales

Teorema 1 En IR existe un nico elemento neutro para la suma y para la multiplicacin. Teorema 2 En IR existe un nico elemento inverso para la suma y para la multiplicacin. Teorema 3 i. El cero es el inverso aditivo de s mismo, es decir, 0 = 0 ii. El 1 es el inverso multiplicativo de s mismo, es decir, 11 = 1. Teorema 4 Para todo a IR; 0 a = 0. Teorema 5 Para todo a, b IR, se cumple: i. (a) = a ii. (a) b = (ab) iii. a (b) = (ab) iv. (a)(b) = ab Teorema 6 Para todo a, b IR, a 0, b 0, se cumple lo siguiente: i. (a1)1 = a ii. a1 b = (a b1)1 iii. a b1 b = (a1 b)1 iv. a1 b1 = (a b)1 Teorema 7 Leyes de cancelacin i. a + b = a + c b = c ii. ab = ac, a 0 b = c Teorema 8 i. Si a = b y c = d, entonces a + c = b + d ii. Si a = b y c = d, entonces a c = b d Teorema 9 ab = 0 (a = 0) (b = 0)
40
Unidad de lgebra
Teorema 10 i. La ecuacin a + x = b tiene una nica solucin: x = b + (a). ii. Si a 0, entonces la ecuacin a x = b tiene una nica solucin: x = a1b. Denicin Dados a, b IR, se escribe a b para simbolizar el nmero a + ( b); a tal nmero se le llamar diferencia de a y b. Teorema 11 Dados a, b, c IR se cumple: i. a (b) = a + b ii. a b = 0 a = b iii. a (b + c) = a b c Denicin a Dados a, b, b1, b2 IR, se escribe a : b para simbolizar el nmero a b1 que se llamar b el cuociente entre a y b a dividido por b. Teorema 12 Dados a, a1, a2, b, b1, b2 IR se tienen las siguientes propiedades: i. ii. a =a 1 Si a 0, entonces 1 = a1 a a =1 a a1 b1 a2 = b2 a1 b2 = b1 a2 a1 a2 = a1 b a2 b
iii. Si a 0, entonces
iv. Si a2 0, b2 0, entonces v. Si a2 0, b2 0, entonces
vi. Si a2 0, b2 0, entonces vii. Si a2 0, b2 0, entonces viii. Si a2 0, b2 0, entonces
a1 a1 b1 b1 a2 b2 = b1 b2 a1 b2 b1 a2 a1 b1 = a2 b2 a2 b2 a1 b1 a2 b2 = a1 b2 a2 b1
41
Demostraciones de algunos teoremas

Teorema 1 En IR existe un nico elemento neutro para la suma y para la multiplicacin. Demostracin Usando el mtodo de reduccin al absurdo, supongamos que existe otro elemento neutro para la suma, distinto de 0, y que denotaremos como 0. Aplicando el axioma A2 se tiene que: 0 + 0 = 0 y adems 0 + 0 = 0 Por el axioma A4 se tiene que 0 + 0 = 0 + 0. Pero, por la transitividad de la igualdad se tiene que 0 = 0, lo que contradice la suposicin de que los elementos neutros son distintos. Por lo tanto, se concluye que existe un nico elemento neutro para la suma. De igual forma, se demuestra la unicidad del elemento neutro para la multiplicacin (1) usando el axioma A8 y la propiedad de transitividad de la igualdad. Teorema 5 i) Para todo a IR, se cumple (a) = a Hiptesis: a IR Tesis: (a) = a Demostracin (a) debe leerse como el inverso aditivo de ( a). Es decir, se debe demostrar que a es el inverso aditivo de (a). Del axioma A3 se tiene que a + (a) = 0, es decir, a tambin es el inverso de (a). Pero como el inverso aditivo es nico, necesariamente debe tenerse que (a) = a. Teorema 6 i) Para todo a IR, a 0, se cumple que (a1 )1 = a Hiptesis: a IR, a 0 Tesis: (a1 )1 = a Demostracin Sea a IR. (a1)1 debe leerse como el inverso multiplicativo de (a1 ). Del axioma A7 se tiene que a a 1 = 1, es decir, a tambin es el inverso multiplicativo de (a 1 ). Pero como el inverso multiplicativo es nico, necesariamente debe tenerse que (a 1) 1 = a. Teorema 8 i) Si a = b y c = d, entonces a + c = b + d Hiptesis: a = b y c = d Tesis: a + c = b + d
42
Unidad de lgebra
Demostracin Sean a, b, c y d nmeros reales tales que: a = b y c = d. Hay que demostrar que: a + c = b + d. Si la igualdad anterior se cumple, entonces necesariamente se tiene que: (a + c) (b + d) = 0, por la existencia del elemento neutro aditivo en IR (A2). Luego, bastara demostrar esto para tener demostrado el teorema. Analicemos qu ocurre si se opera (a + c) (b + d). (1) Lo anterior se puede escribir como: a + c b d, por la propiedad asociativa (A1). Si se aplica la propiedad conmutativa (A4), se tiene: a b + c d Aplicando la propiedad asociativa (A1), lo anterior se puede escribir: (a b) + (c d) Pero, por hiptesis se tiene que a = b y c = d, luego a b = 0 y c d = 0, por la existencia del elemento neutro aditivo (2). De (1) y de (2) se tiene entonces que (a + c) (b + d) = 0, de donde se concluye que a + c = b + d, que es lo que se quera demostrar. Teorema 8 ii) Si a = b y c = d, entonces a c = b d Hiptesis: a = b y c = d Tesis: a c = b d Sean a, b, c y d nmeros reales tales que: a = b y c = d Se tiene que demostrar que: a c = b d Si la igualdad anterior se cumple, entonces se tiene que: (a c) (b d) = 0 (1), por la existencia del elemento neutro aditivo en IR. Por lo tanto bastara demostrar esto para tener demostrado el teorema. Por hiptesis, se tiene que a = b y c = d. Luego, si se reemplaza b y d, respectivamente en el segundo trmino de la igualdad (1), se tiene que: (a c) (b d) = (a c) (a c) Luego, por la existencia de elemento neutro aditivo en R, se tiene que: (a c) (b d) = 0 De donde se puede concluir que a c = b d, que es lo que se quera demostrar.
Teorema 10 i) La ecuacin a + x = b tiene una nica solucin x = b + (a). Hiptesis: a + x = b Tesis: x = b + (a) y es nico Demostracin Primero, se demostrar la existencia de la solucin. Sean a, b, x en IR tales que a + x = b. Luego, se tiene que existe (a) en IR tal que: (a ) + (a + x) = (a ) + b ((a) + a) + x = b + (a ) por axiomas A1 y A4 0 + x = b + (a ) por axioma A3 x = b + (a ) por axioma A2, que es lo que se quera demostrar
43
A continuacin, se demostrar la unicidad. Supongamos que se tiene otra solucin x para la ecuacin. Dado que ambas son soluciones de la ecuacin, entonces se cumple que: a + x = b y tambin a + x = b Por transitividad de la igualdad, se tiene que a + x = a + x. Finalmente, usando la ley de cancelacin para la suma (teorema 7i) se tiene que: x = x, con lo cual queda demostrada la unicidad. Teorema 10 ii) Si a 0, entonces la ecuacin a x = b tiene una nica solucin x = a 1b Hiptesis: a 0, a x = b Tesis: x = a1 b y es nico Demostracin Primero, se demostrar la existencia de la solucin. Sean a, b, x en IR tales que a x = b. Como por hiptesis a 0, entonces existe a1 tal que: a1 (a x) = a1 b (a1 a) x = a1b 1 x = a1b x = a1b
por axioma A5 por axioma A7 por axioma A6, que es lo que se quera demostrar.
Para demostrar la unicidad, supongamos que se tiene otra solucin x. Dado que ambas son soluciones, se cumple que: a x = b y tambin a x = b Por transitividad se tiene que: a x = a x. Finalmente, usando la ley de cancelacin para la multiplicacin (teorema 7) se tiene que: x = x con lo cual queda demostrada la unicidad. Con esta exposicin resumida de los principales teoremas que caracterizan al conjunto de los nmeros reales y la demostracin de algunos de ellos, naliza este captulo. Queda entonces abierta la posibilidad de seguir investigando y profundizando en el conocimiento de este fascinante conjunto de nmeros, que dej tan perplejos a los griegos y que aun, hoy en da, sigue siendo un espacio frtil para la bsqueda de nuevo conocimiento matemtico.
44
Unidad de lgebra
REFERENCIAS BIBLIOGRFICAS
ARAYA, ROBERTO. (2000). Inteligencia matemtica. Editorial Universitaria. Santiago-Chile. BARTLE, ROBERT G. y DONAL R. SHERBERT (1982). Introduction to Real Analysis. John Wiley & Sons, Inc.: New York, USA. BOBADILLA A., GLADYS y JORGE BILLEKE G. (1997). Apuntes de Clculo 1 segunda edicin. USACH. COURANT, RICHARD y HERBERT ROBBINS. (1964). Qu es la matemtica? Una exposicin elemental de sus ideas y mtodos. Aguilar S.A. Ediciones: Madrid- Espaa. DAN FENDEL, DIANE RESEK, LYNNE ALPER y SHERRY FRASER. (2000). Interactive Mathematics Program. Year 1. Key Curriculum Press: California. DE GUZMN, MIGUEL. (1997). Aventuras matemticas. Una ventana al caos y otros episodios. Ediciones Pirmide: Madrid-Espaa. ENZENSBERGER, HANS MAGNUS. (1997). El Diablo de los nmeros. Ediciones Siruela S.A.: Madrid Espaa. GONZLEZ URBANEJA, PEDRO MIGUEL. Pitgoras: el lsofo del nmero. KITCHEN JR., JOSEPH W. (1986). Clculo. McGraw-Hill: Mxico. SWOKOWSKI, E. (1974). Algebra Universitaria 6 Impresin. C.E.C.S.A.: Mxico.
El poder generalizador de los smbolos
45
GEOMETRA
LA GEOMETRA DE LOS MODELOS A ESCALA
UNIDAD GEOMETRA
Fidel Oteza Morra Lucrecia Zamorano Aravena Rigoberto Becerra Osvaldo Baeza Rojas
CONTENIDO
51
Una presentacin resumida de razones y proporciones
Razn Cantidades proporcionales 51 52
53
Los segmentos proporcionales entre paralelas: El teorema de Thales de Mileto
Segmentos proporcionales en un ngulo El recproco del teorema de Thales Otras presentaciones del teorema de Thales 53 57 57
60
El teorema general de Thales de Mileto
61
Los criterios de semejanza entre tringulos
Correspondencia La semejanza entre tringulos Criterios de semejanza de tringulos Una aplicacin de los teoremas de semejanza 61 63 63 64
66
Extensiones de la semejanza
Introduccin Denicin general de semejanza La semejanza u homotecia como funcin 66 66 70
72
50
Unidad de Geometra
UNA PRESENTACIN RESUMIDA DE RAZONES Y PROPORCIONES

Razn
La razn entre dos cantidades es una comparacin por cuociente entre ellas, es decir se dividen. Para ilustrar la idea consideremos el siguiente caso. Un seor le habla a otro respecto de la edad de su hijo y le dice: Tengo 36 aos y mi hijo acaba de cumplir 6, puedo entonces armar que mi edad es seis veces la de mi hijo. Ambas cantidades y su divisin permiten obtener una idea respecto a cuntas veces es ms grande (o pequea) una cantidad respecto de la otra. Esta relacin se escribe matemticamente de la siguiente forma: 6 es a 1 6:1 6 1
Tambin es posible describir la relacin anterior de la siguiente forma la edad de mi hijo es la sexta de la ma. En este caso se escribe: 1 es a 6 1:6 1 6 0.166666...
Note que siendo el mismo caso, las notaciones numricas son diferentes dependiendo del orden en que se enuncie la comparacin. El ejemplo anterior se refera a magnitudes que presentan la misma unidad (magnitudes homogneas), es decir, ambos datos tienen la misma unidad. Pero la comparacin por razones es ms amplia. Es posible comparar magnitudes que no tienen la misma unidad (magnitudes heterogneas). A esta comparacin por razn se le llama tasa. El siguiente enunciado ejemplica el uso de tasas: La tasa de nulidades matrimoniales: La tasa de nulidades en Chile pas de 36 por cada mil matrimonios (36 : 1000 o 36 ) en 1980 a 85 por cada mil (85 : 1000 o 85 ) en 1998. 1.000 1.000
Fuente: Boletn informativo del Instituto Nacional de Estadsticas, julio del 2000, www.ine.cl/chile_cifras/f_chile_cifras.htm.
Otros ejemplos de razones y tasas pueden ser el porcentaje, la razn entre la cantidad de arena y la de cemento al hacer una mezcla para construir, la razn entre las cantidades de aceite y gasolina en la mezcla que hace funcionar el motor de una cortadora de pasto o una fumigadora, las dimensiones del plano de la fachada de un edicio con las dimensiones de la fachada real, la razn entre las dimensiones en el plano de una pieza de maquinaria y la pieza terminada, la densidad de poblacin en un determinado territorio, etc. En determinados contextos se pueden encontrar razones equivalentes y la igualdad entre ellas permite, bajo ciertas condiciones, establecer una proporcin entre ellas.
Una presentacin resumida de razones y proporciones
51
Cantidades proporcionales
Esta igualdad se denomina proporcin porque se compone de dos razones iguales. Cada vez que sea posible establecer la equivalencia entre dos razones entonces es posible construir una proporcin. Podemos ahora denir matemticamente lo que son cantidades proporcionales: Se dice que una variable y, que representa alguna cantidad, es proporcional a una variable x, que representa otra cantidad, si se cumple uno de los siguientes casos: y a) =p donde p es un nmero real, constante y distinto de cero. x b) yx=q donde q es un nmero real, constante y distinto de cero.
Si se tiene una pareja de valores x e y que cumplen la condicin a), es decir, y / x = p, entonces se dice que existe proporcionalidad directa entre x e y o que y es directamente proporcional a x, adems es posible escribir de manera equivalente y = p x, donde p es un nmero real que se denomina constante de proporcionalidad y puede ser positivo (recta ascendente, pendiente positiva) o negativo (recta descendente, pendiente negativa). Esta ltima relacin (y = p x) es preferible cuando los datos contemplan el caso x = 0, o y = 0. Si se tiene una pareja de valores e que cumplen la condicin b., es decir, y x = q entonces se dice que existe proporcionalidad inversa entre x e y o que y es inversamente proporcional a x, adems es posible escribir de manera equivalente y = q / x, donde es un nmero real que se denomina constante de proporcionalidad y puede ser positivo o negativo. Nota: Expresamente se omiti una caracterizacin de las proporciones que es errnea, la de describir la proporcionalidad directa como aquella relacin entre los datos que mientras uno aumenta el otro tambin aumenta y la proporcionalidad inversa como mientras uno aumenta el otro disminuye, pues NO CARACTERIZAN A LAS PROPORCIONES y, en el mejor de los casos, es incompleta e induce a error. Propiedades de las proporciones Propiedad 1: Si Propiedad 2: Si Propiedad 3: Si Propiedad 4: Si Propiedad 5: Si a b a b a b a b a b = c , d = c , d = c , d = c , d = c , d entonces a d = b c, con b y d distintos de cero entonces entonces entonces entonces a+b c+d = , con b y d distintos de cero b d ab cd = , con b y d distintos de cero b d a b = , con b, c y d distintos de cero c d d c = , con a, b y d distintos de cero b a a c = , con b y d distintos de cero b d
Propiedad 6: Si a d = b c,entonces
52
Unidad de Geometra
LOS SEGMENTOS PROPORCIONALES ENTRE PARALELAS: EL TEOREMA DE THALES DE MILETO

Segmentos proporcionales en un ngulo
El teorema de Thales se reere a las relaciones proporcionales que se producen entre las longitudes de los trazos que determinan la interseccin de al menos dos rectas paralelas con los lados de un ngulo. Este es un antiguo teorema que matemticamente en la actualidad se enuncia de la siguiente forma: Teorema de Thales Si tenemos un ngulo cualquiera O, cuyos lados L1 y L2 son cortados por dos o ms paralelas entonces los segmentos correspondientes que quedan determinados por las paralelas sobre los lados del ngulo, son proporcionales.
A continuacin daremos dos demostraciones de este teorema. La primera creemos que es simple de entender e ilustra la idea que encierra el teorema, pero esta simpleza tiene un costo: la demostracin no es general, pues slo es vlida para trazos cuya longitud es un nmeros racional. La segunda demostracin es general, es decir, vlida para trazos cuya longitud es un nmero real. Primera demostracin Supongamos que tenemos un ngulo de vrtice O y pasan por l dos transversales AB y CD, paralelas entre s. Adems, supongamos que se trazan ms paralelas a las anteriores dividiendo en mismo nmero de partes a los trazos OA y OB, de la misma manera quedan divididos los segmentos AC y BD como muestra la gura 1, en la pgina siguiente.
El teorema de Thales de Mileto
53
Figura 1
Entonces, de la gura, los trazos OA y OB quedan divididos en tres partes de longitudes a y b, respectivamente. A los segmentos AC y BD las paralelas los dividen en cuatro segmentos de longitud a y b, tambin respectivamente. Al establecer las razones entre los trazos OA con AC y OB con BD ocurre que siendo a una medida comn para OA y AC que est contenida exactamente tres veces en OA y cuatro en AC se tiene que: OA = 3 a AC = 4 a
} }
OA 3a OA 3 3 = = = AC 4a AC 4 4
(1)
A su vez, b es una medida comn para OB y BD que esta contenida exactamente tres veces en OB y cuatro en BD, luego: OB = 3 a BD = 4 a OB OB 3a 3 3 = = = BD BD 4a 4 4 OB OB = . BD BD (2)
De (1) y (2) se puede establecer, por el momento1, que:
Recordemos que el razonamiento anterior no es una demostracin general, ya que el teorema de Thales se cumple tambin para trazos de magnitud inconmensurable. La relacin entre los trazos se present de este modo preliminar por su simpleza y como una forma de acercarse al teorema recurriendo solamente a las proporciones.
Es importante notar que esta demostracin est incompleta respecto de la conclusin a la que llega. El desarrollo de la demostracin, en rigor, slo permite armar que es cierta su conclusin para aquellos segmentos cuya longitud es un nmero natural; faltara demostrar que la proporcionalidad se cumple para todo nmero real.
54
Unidad de Geometra
Segunda demostracin A continuacin se presenta una demostracin ms completa que es vlida para todo nmero real. En la gura 2, AB//CD, OC y OD son transversales. Considere los tringulos OCB y AOB, ambos tienen la misma altura h trazada desde el vrtice B, gura 3.
Figura 2
Figura 3
Luego, al determinar las reas de los tringulos OAB y OCB tenemos: OAB = 1 OA h 2 1 OCB = OC h 2
OA OAB = OC OCB
(3)
Ahora, si anlogamente consideramos los tringulos ODA y OBA, ambos tienen la misma altura h trazada desde el vrtice A. Ver gura 4 siguiente. Al determinar las reas de los tringulos ODA y OBA, se tiene que:
Figura 4
55
1 OD h 2 1 OBA = OD h 2 ODA =
ODA = OBA
OD OB
(4)
Si se multiplican miembro a miembro los resultados obtenidos en (3) y (4) se obtiene: OAB ODA OA OD ODA OA OD = = OCB OBA OCB OC OB OC OB (5)
En este momento, se muestra que los tringulos OAB y OCB tienen la misma rea, por lo que el cuociente entre sus reas es 1, reemplazando este resultado en el segundo miembro de (5), se obtiene el resultado esperado: En el tringulo ODA tenemos que: ODA = ABO + ABD y (6) en el tringulo OCB tenemos que: OCB = ABO + ABC __ Pero, el rea del ABD es igual al rea del ABC porque tienen igual base, AB , e igual altura (h1 = h2), ver gura 5.
Figura 5.
Reemplazando esta igualdad en las ecuaciones de (6) tenemos que: OA OD OA OD ODA =1= =1 OC OB OC OB OCB OA OB = OC OD
Esto era lo que se quera demostrar y coincide con el resultado obtenido en la pgina 54.
56
Unidad de Geometra
El recproco del teorema de Thales

El teorema de Thales parte de los siguientes supuestos (hiptesis): Se tiene un ngulo cualquiera que es intersectado por (al menos) dos rectas paralelas. Se llega a la siguiente conclusin (tesis): Los segmentos correspondientes que quedan determinados por las paralelas sobre los lados del ngulo, son proporcionales. Ya hemos demostrado que esto ocurre efectivamente, pero lo interesante es que el recproco de este teorema tambin es cierto, es decir, si se intercambian los supuestos (hiptesis) por las conclusiones (tesis), este nuevo teorema tambin es cierto. Entonces el enunciado del recproco del teorema de Thales tiene el siguiente enunciado: Si dos rectas intersectan a los dos lados de un ngulo y determina sobre dichos lados segmentos proporcionales a ellos, entonces ambas rectas son paralelas.
Otras presentaciones del teorema de Thales

El mismo resultado obtenido en las demostraciones anteriores es vlido tambin cuando las paralelas cortan las extensiones del ngulo ms all del vrtice. Ver gura 6.
Figura 6
Por otra parte, si aplicamos las propiedades de las proporciones (intercambio de medios o extremos, composicin o descomposicin) a los resultados de las demostraciones anteriores, entonces obtendremos ocho proporciones que son slo otras formas del teorema de Thales:
57
OA : OC = OB : BD AC : OA = BD : OB OB : BD = OA : AC BD : BO = AC : OA
OA : OB = AC : BD AC : BD = OA : OB OB : OA = BD : AC BD : AC = BO : OA
Note que en todas estas proporciones se cumple que: OA BD = AC OB Visualizaciones del teorema de Thales Es importante hacer notar que los diagramas con los que se acostumbra acompaar al teorema de Thales (guras 1, 2 y 6), pueden llevar a los alumnos a creer que sas son las nicas guras en las que se cumple este teorema. Adems, no se presentan como estructuras que dctilmente se asocien a situaciones problemticas. Por ello puede ser conveniente asociar al teorema otras representaciones grcas de tringulos que cumplan con el teorema entre ellos, incluso utilizando una notacin que permita visualizar las proporciones entre los lados homlogos de estos tringulos. Por ejemplo, las guras 7, 8 y 9 muestran dos casos en que se cumple el teorema de Thales, pero no tienen el aspecto tpico de las guras que acompaan al teorema. Excepto en la gura 9, en donde A coincide con A por lo que en ese caso se debe considerar A = A, en ellas se cumplen las proporciones del teorema de Thales, como por ejemplo: __ AB = AB __ BC BC Distintos enunciados del teorema de Thales El teorema de Thales, por su antigedad, se presenta enunciado de diversas formas. Presentar el mismo tema con distintos enunciados, puede ayudar a que los alumnos logren una mejor comprensin del contenido, debido a una mejor lectura. A continuacin presentamos enunciados equivalentes del teorema de Thales: Enunciado 1 Al cortar los lados de un ngulo por dos o ms paralelas, los segmentos que interceptan en los lados, son proporcionales. Enunciado 2 Al cortar los lados de un ngulo por dos o ms paralelas, los segmentos determinados entre las paralelas son entre s como los segmentos medidos desde las paralelas al vrtice. Enunciado 3 Al trazar una o ms paralelas a un lado de un tringulo, se determinan en los otros dos lados segmentos proporcionales.
58
Unidad de Geometra
Enunciado 4 Toda paralela a un lado de un tringulo, determina otro tringulo semejante al total. Enunciado 5 Si varias paralelas determinan segmentos iguales sobre una recta L, determinan tambin segmentos iguales sobre cualquier otra recta L a la que corten. Enunciado 6 Si sobre los lados de un ngulo se aplican, a partir del vrtice, segmentos proporcionales entre s, las rectas que unen segmentos correspondientes de estos segmentos son paralelas. Enunciado 7 Una recta que divide los lados de un tringulo en partes proporcionales, es paralela al tercer lado. Enunciado 8 Toda homotecia es una semejanza que transforma cualquier recta en s misma o en otra paralela. (Recproco de 3).
59
EL TEOREMA GENERAL DE THALES DE MILETO
Las demostraciones del teorema de Thales que tratamos anteriormente correspondan al caso, ms bien particular, en que las rectas transversales a las paralelas concurren en un punto. Un caso ms general se da con las transversales que no concurren en un punto, ver gura 7. En este caso el teorema de Thales puede ser enunciado as: Al cortar dos o ms rectas por tres o ms paralelas, se determinan en las rectas segmentos proporcionales.
Figura 7
Para demostrar este caso, se traza por A la recta L paralela a R. Ver gura 8.
Figura 8
Luego, por el teorema particular de Thales (2.2) se tiene que: AB = AG BC GH Pero, por traslacin paralela AG = DE y GH = EF , luego: AB = DE BC EF
60
Unidad de Geometra
LOS CRITERIOS DE SEMEJANZA ENTRE TRINGULOS

Correspondencia
Ya hemos dicho que dos guras, o en nuestro caso, dos tringulos son semejantes si tienen la misma forma pero no necesariamente el mismo tamao. Pero, cmo podemos comparar dos tringulos para averiguar si son o no semejantes? Para ello es necesario tener un orden al comparar. Si deseamos construir una comparacin entre dos tringulos, entonces se establece una correspondencia entre ellos pareando sus vrtices. Esta correspondencia puede hacerse de varias maneras, por ejemplo, en la gura siguiente:
Figura 9
Se muestra la correspondencia entre los vrtices de los tringulos ABC y ABC, es decir, la correspondencia es una relacin biunvoca (o uno a uno) entre los vrtices de los tringulos ABC y ABC, as tendremos que en la gura: A A B B C C : Signica que el vrtice A se corresponde con el vrtice A : Signica que el vrtice B se corresponde con el vrtice B : Signica que el vrtice C se corresponde con el vrtice C
61
Podemos tambin observar que si tenemos la correspondencia ABC ABC entre los vrtices de los dos tringulos del ejemplo anterior, entonces la correspondencia tambin ocurre entre los lados de los tringulos y entre sus ngulos, es decir: a. __ AB AB __ __ BC BC __ __ CA CA b. < ) ABC < ) ABC < ) BAC < ) BAC < ) ACB < ) ACB
Finalmente, los lados que se corresponden como los de la columna a. de la tabla, se dicen lados correspondientes u homlogos. Los ngulos que se corresponden como los de la columna b. de la tabla, se dicen ngulos correspondientes u homlogos. En ambos casos se pueden establecer ms correspondencias entre estos elementos. Pero, cul de las correspondencias es una semejanza de tringulos? En la siguiente gura, si es posible estirar o dilatar el primer tringulo duplicando el largo de sus lados sin alterar su forma, para que coincida con el segundo tringulo y, por lo tanto, para que coincidan sus vrtices, entonces la correspondencia entre los vrtices que coinciden es una semejanza. Ver gura 10.
Figura 10
En tal caso, segn lo anterior, la correspondencia ABC ABC es una semejanza y la correspondencia ABC CAB NO es una semejanza.
62
Unidad de Geometra
La semejanza entre tringulos

Supongamos que se tiene una correspondencia ABC ABC entre los tringulos ABC y ABC:
Si los ngulos correspondientes son congruentes: < ) ABC < ) ABC < ) BAC < ) BAC < ) ACB < ) ACB
y los lados correspondientes son proporcionales: AB BC CA = = AB BC CA Entonces diremos que la correspondencia ABC ABC es una semejanza de tringulos y escribiremos ABC ABC. Es importante notar entonces que la semejanza de tringulos exige dos condiciones: 1. 2. Los ngulos correspondientes deben ser congruentes, y Los lados correspondientes deben ser proporcionales.
Es decir, si los ngulos correspondientes son congruentes, entonces los lados correspondientes son proporcionales y lo mismo ocurre recprocamente, lados correspondientes proporcionales implican ngulos correspondientes congruentes.
Criterios de semejanza de tringulos

Las relaciones anteriores y otras se estudian como los teoremas de semejanza de tringulos. A continuacin se enuncian los criterios de semejanza. Se ha decidido presentar cuatro criterios de semejanza y el corolario de uno de ellos, por lo que en denitiva seran cinco los criterios de semejanza de tringulos. a. Criterio (teorema) de semejanza de tringulos AA (ngulo ngulo) Si es dada una correspondencia entre dos tringulos tal que dos ngulos correspondientes son congruentes, entonces la correspondencia es una semejanza.
63
b.
Criterio (corolario del anterior) de semejanza de tringulos AAA (ngulo ngulo ngulo) Si es dada una correspondencia entre dos tringulos tal que los ngulos correspondientes son congruentes, entonces la correspondencia es una semejanza. En smbolos: Sea la correspondencia ABC ABC entre los vrtices de dos tringulos. Si < ) ABC < ) ABC, < ) BAC < ) BAC y < ) ACB < ) ACB entonces . Criterio (teorema) de semejanza de tringulos LAL (Lado ngulo Lado) Si es dada una correspondencia entre dos tringulos tal que dos pares de lados correspondientes son proporcionales, y los ngulos correspondientes comprendidos entre dos lados son congruentes, entonces la correspondencia es una semejanza. Criterio (teorema) de semejanza de tringulos LLL (Lado Lado Lado) Si es dada una correspondencia entre dos tringulos tal que dos pares de lados correspondientes son proporcionales, entonces la correspondencia es una semejanza. En __ smbolos: correspondencia __ Sea la __ __ ABC ABC entre los vrtices de dos tringulos. Si AB AB, BC BC y CA CA entonces ABC ABC. Criterio (teorema) de semejanza de tringulos LLA (Lado Lado ngulo) Si es dada una correspondencia entre dos tringulos tal que dos pares de lados correspondientes son proporcionales y congruente el ngulo opuesto a los lados mayores de estos, entonces la correspondencia es una semejanza.
c.
d.
e.
Una aplicacin de los teoremas de semejanza

La importancia de los teoremas de semejanza reside en que se les puede adaptar a situaciones problemticas, en las que se requiere calcular distancias o determinar alturas, entre otras aplicaciones.
Figura 11
Por ejemplo, para determinar la altura de un rbol como el de la gura 11, utilizando los teoremas de semejanza, se deben tener dos tringulos semejantes: uno determinado por el rbol con su sombra, y otro determinado por un objeto o persona de altura conocida con su sombra.
64
Unidad de Geometra
Para determinar la altura del rbol, se debe medir, a la misma hora: a. b. El largo de la sombra de una persona cuya altura sea conocida (o de un objeto cercano al que tambin se le conoce su altura) y La sombra del rbol al que se le desea calcular la altura. Ver gura 12.
Figura 12
En la gura 15 se aprecia que, a una misma hora: a. b. c. las medidas de las alturas del rbol y la persona, las longitudes de las sombras de ambos y las longitudes de las lneas que unen los puntos ms altos del rbol y la persona con las puntas de sus sombras,
forman dos tringulos, uno con la persona y otro con el rbol como lados de cada tringulo. Estos dos tringulos son de distinto tamao, pero los ngulos correspondientes entre ellos son congruentes, por lo tanto, los tringulos son semejantes entre s por el criterio de semejanza AA (ngulo, ngulo). Establecido el criterio de semejanza AA se construye la proporcin que nos da el criterio de semejanza, nombrando como x a la altura, an desconocida, del rbol: x 1,75 = 22,2 3,7 y resolviendo: x = 10,5 Utilizando el criterios de semejanza de tringulos AAA, obtenemos entonces que la altura del rbol es de 10.5 metros.
65
EXTENSIONES DE LA SEMEJANZA
Introduccin
La nocin de semejanza se puede hacer corresponder a la idea intuitiva de cambio de escala, entendiendo esto como la ampliacin o reduccin de una gura alterando su tamao sin modicar sus proporciones internas (es decir mantiene su forma). El estudio de la semejanza en la Enseanza Media, se ha remitido tradicionalmente a la proporcionalidad entre trazos, a los criterios de semejanza entre tringulos (denidos como aquellos que tienen ngulos homlogos iguales y lados homlogos proporcionales) y al teorema de Thales. El nuevo programa de Segundo Medio mantiene y propende hacia este enfoque en general. Sin embargo, en muchas situaciones aparece la semejanza entre guras que no son poligonales, como por ejemplo, las imgenes en la pantalla de un cine son semejantes a las de la pelcula que est siendo proyectada. En ejemplos como este y en muchos otros, no sirve la denicin de semejanza que se ve en la Enseanza Media, pues no hay ni ngulos ni trazos para comparar. La denicin general de semejanza es simple y ms completa que la usada tradicionalmente, pues es vlida slo para polgonos mientras que en la mayora de los ejemplos con que nos topamos, no son polgonos. A continuacin daremos la denicin general de semejanza.
Denicin general de semejanza

Similaridad central u homotecia de un punto Diremos que un punto A es obtenido desde un punto A por una similaridad central (o por una homotecia) con centro O y coeciente de similaridad k (positivo) si: i. ii: iii. A pertenece a la lnea OA A est al mismo lado de O como A OA =k OA
Figura 13
66
Unidad de Geometra
La transformacin del plano que lleva cada punto A en un punto A centralmente similar a A respecto del centro de similaridad O y con coeciente de similaridad k, es llamada similaridad central (u homotecia); el punto O es llamado centro y el nmero k es llamado coeciente de la transformacin. El punto A es llamado la imagen de A bajo la transformacin. La similaridad toma distintos nombres dependiendo del valor del coeciente k: a. b. c. 1 < 1, k congruencia si k = 1, , contraccin si 0 < dilatacin si k > 1.
Similaridad central u homotecia de una gura La imgenes de todos los puntos de una gura F que forman una gura F, se dice que son una similaridad central de F (con respecto al centro de similaridad O y con coeciente de similaridad k, en este caso una dilatacin o sea k > 1).
Figura 14
Por otro lado, la gura F es una similaridad central de F (con respecto al mismo centro de 1 1 similaridad y con coeciente , en este caso una contraccin o sea 0 < < 1). k k A partir de estas deniciones podemos hablar de pares de guras centralmente similares y diremos que las guras F y F son similares o que estn similarmente dispuestas. Invariantes de la similaridad Una similaridad central transforma una lnea L en una lnea L paralela a L. Para construir L es suciente encontrar la imagen A, centralmente similar a algn punto A en la lnea L y trazar por A una lnea paralela a L. Ver gura 15 (pgina siguiente).
67
Figura 15
Si dos lneas L y M se interceptan en un ngulo , entonces sus imgenes L y M se interceptan en el mismo ngulo ; as el tringulo ABC, centralmente similar a un tringulo dado ABC, tiene los mismos ngulos que ABC, esto es, los dos tringulos son similares. Ver gura 16.
Figura 16
Coeciente de similaridad negativo A veces, es conveniente considerar que el radio de dos segmentos AB y CD, ambos contenidos en una misma lnea, tengan un signo denido. Si en una lnea se escoge alguna direccin como la direccin positiva (esto puede ser indicado por una echa colocada en la lnea) un trazo AB en esta lnea ser considerado positivo en su direccin si su direccin (desde el punto A al punto B) es positiva (o sea, es la misma que fue escogida como positiva en la lnea); de otra forma ser considerada negativa. As, la razn entre dos segmentos puede ser positiva o negativa y esto es independiente de la direccin particular en la lnea que fue escogida como direccin positiva; la razn AB ser positiva si CD los segmentos AB y CD tienen el mismo signo (ambos positivos o ambos negativos), y la razn ser negativa si los segmentos tienen signos opuestos (uno de los segmentos es positivo y el otro negativo). Es posible resumir esta convencin de la siguiente forma: la razn AB se dice que es positiva CD
68
Unidad de Geometra
en caso que las direcciones de los segmentos AB y CD coincidan (esto es, la direccin desde el punto A al punto B, y desde el C al D), ver gura 17(a), y ser negativa cuando las direcciones sean opuestas. Ver gura 17(b).
Figura 17
Es importante notar que el orden en que se escriban los extremos de los trazos es esencial; as, por ejemplo, BA = AB , pero AB AB . CD CD CD CD Si aceptamos esta convencin, entonces el coeciente de similaridad de dos guras centralmente similares, puede ser positivo o negativo. Figuras semejantes con coeciente de similaridad negativo A saber, dos guras F y F se dir que son centralmente similares con centro de similaridad O y coeciente de similaridad (negativo) k, si cada par de puntos correspondientes A y A de cada gura son colineales a O y estn en lados opuestos de O, y si la razn de los largos de los segmentos OA y OA es igual a k, esta condicin se escribir en la forma OA = k. Ver gura 18. OA
Figura 18
69
Una similaridad central con centro de similaridad O y coeciente de similaridad (negativo) k tambin transforma una lnea L en una lnea paralela L pero ahora el centro de similaridad queda entre ambas lneas L y L. Ver Figura 22.
Figura 22.
La semejanza u homotecia como funcin

Puede ser til expresar la similaridad central con centro de similaridad O y coeciente de similaridad (positivo o negativo) k entre dos guras F y F desde un punto de vista funcional: Sean F y F dos guras del plano y k un nmero real. Se dice que F y F son semejantes, con razn de semejanza k, cuando existe una correspondencia biyectiva f: F F entre los puntos de F y los puntos de F con la propiedad de que si x e y son puntos arbitrarios de F y x e y son __ __ puntos de F tales que f(x) = x y f(y) = y entonces xy = k xy . Ver gura 20.
Figura 20
La correspondencia biyectiva f : F F, con esta propiedad de multiplicar las distancias por el factor constante k, se llama semejanza de razn k entre F y F. Si f(x) = x entonces se dice que x y x son correspondientes.
70
Unidad de Geometra
A partir de la denicin anterior podemos deducir las siguientes armaciones: Si F es semejante a F entonces F es semejante a F ya que dada una semejanza f : f F de razn k, la funcin inversa f 1: F F es una semejanza de razn 1 . k La semejanza es transitiva: si se tienen tres guras F, F y F tales que F es semejante a F y F es semejante a F entonces F es semejante a F. Esta propiedad de la semejanza se puede expresar como la composicin entre dos funciones de semejanza: si f : F F y f : F F, de razones de semejanza k y k respectivamente entonces la funcin compuesta f o f : F F es una semejanza de razn k k. Las isometras son un caso particular de las semejanzas. Una semejanza de razn 1 se llama isometra, por lo tanto, una isometra g : F F es una correspondencia biyectiva tal que, si x e y son __puntos __ arbitrarios de F y x e y son puntos de F tales que x = g(x) e y = f(y) entonces xy = xy (es decir, preserva las distancias). Cuando existe una isometra entre dos guras F y F se dice que estas son congruentes. Toda semejanza transforma puntos colineales en puntos colineales. Esta armacin se puede demostrar deniendo una funcin f : F F como una semejanza de razn k. Luego, si dados __ tres puntos x, y y z tales que z pertenece al segmento xy entonces debemos demostrar que __ z pertenece al segmento xy, donde x = f(x), y = f(y) y z = f(z). Ver gura 21.
Figura 21
__ Por la desigualdad triangular, xz + zy = xy cuando los puntos son colineales, luego, __ __ __ __ xz + zy = k xz + k zy = k (xz+ zy) = k xy = xy __ luego, z pertenece al segmento xy , por lo tanto, x, y y z son colineales. Una semejanza f : F F de razn k transforma: a. b. c. d. e. f. Un trazo en otro trazo. Una semirrecta en otra semirrecta. Un crculo de radio r contenido en F en un crculo de radio k r contenido en F. Puntos interiores de F en puntos interiores de F. Puntos de contorno de F en puntos de contorno de F. Vrtices de F en vrtices de F.
71
GONZLEZ, ENRIQUE. (2002). El lgebra escolar en la educacin media chilena: anlisis de las organizaciones matemticas locales. Tesis para optar al grado de magster, en el Programa de Enseanza de las Ciencias, Mencin Didctica Matemtica, de la Universidad Catlica de Valparaso, Dra. Lorena Espinoza, Directora de Tesis. MINISTERIO DE EDUCACIN DE CHILE. (1999). Matemtica, Programa de Estudio, Segundo Medio. OTEZA, FIDEL y HERNN MIRANDA. (1996). La Matemtica en el aula, contexto y evaluacin. Santiago-Chile: Ministerio de Educacin. VAN HIELE, PIERRE MARIE. (1957). El problema de la comprensin de los escolares en el aprendizaje de la Geometra. Tesis para la obtencin del grado de doctor en Matemtica y Ciencias naturales de la Universidad Real de Utrech, Holanda, Dr. H. Freudenthal, director de tesis.
72
Unidad de Geometra
ESTADSTICA Y PROBABILIDADES
BUSCANDO UN ORDEN PARA EL AZAR
UNIDAD ESTADSTICA Y PROBABILIDADES
Roberto Araya Schulz1 Claudia Matus Ziga
Roberto Araya Schulz es ingeniero matemtico, gerente general de la empresa Automind Ltda y autor de esta propuesta. Claudia Matus Ziga es profesora de matemtica y computacin, y colabor en la edicin y desarrollo del material didctico.
CONTENIDO
77
Presentacin
78
Historia de la Estadstica y las Probabilidades
Antecedentes iniciales Los primeros problemas matemticos de Probabilidades Nacimiento de la Teora de Probabilidades Aportes ms recientes 78 79 81 82
84
Estadstica y Probabilidades de la mano
86
Teora elemental de Probabilidades
Experimento aleatorio Espacio muestral (E) de un experimento aleatorio Sucesos aleatorios del espacio muestral E lgebra de sucesos aleatorios 86 87 87 89
90
Distintas formulaciones sobre la Probabilidad
La Probabilidad y las frecuencias observadas La ley de los grandes nmeros Axiomas de Probabilidad Propiedades derivadas de los axiomas Regla de Laplace Sucesos independientes Recuento de resultados en experimentos aleatorios 90 91 92 92 93 94 95
97
Glosario estadstico
Distribuciones de frecuencias Representacin grca de la informacin Representacin cuantitativa de la informacin 98 99 101
102
Referencias
76
PRESENTACIN
En este documento se presenta una introduccin ms formal a la Estadstica y Probabilidades, que contempla mostrar el desarrollo histrico de ambas ramas, su aporte al desarrollo de otras reas del conocimiento, como las ciencias fsicas y demogrcas, cuyos avances han sido en gran parte gracias a la teora emergente de las probabilidades. Algunos datos y ancdotas mencionados pueden servir en las clases para ilustrar el pensamiento y los intereses del hombre en pocas ms antiguas, las consecuencias de sus descubrimientos, y cmo las motivaciones del ser humano han evolucionado hasta hoy en da. Ms adelante, se discute en forma ms precisa la relacin entre la Estadstica y las Probabilidades y las razones para no separar el estudio de ambas, aun cuando nuestra propuesta se base en un nivel de la Enseanza Media. Luego, se expone la teora elemental de las Probabilidades que dene experimento y eventos aleatorios, y despus presenta, la teora axiomtica sobre la probabilidad de Kolmogoroff, que es aceptada como la teora ms general y precisa hasta nuestros das. Sin embargo, el propsito de este apartado terico es ofrecer una referencia acerca de los conceptos y propiedades ms elementales de las Probabilidades, facilitando la conexin entre las actividades didcticas propuestas para esta unidad y la Matemtica que hay detrs, sin que ella se convierta en tema de estudio per se en esta unidad. Finalmente, se insert un glosario estadstico que ayuda a resolver varias dudas conceptuales y de lenguaje relativo a los estudios estadsticos, como por ejemplo, lo que es una muestra, una poblacin, y otras ms.
Presentacin
77
HISTORIA DE LA ESTADSTICA Y LAS PROBABILIDADES

Antecedentes iniciales
La presencia del hueso astrgalo de oveja o ciervo en las excavaciones arqueolgicas ms antiguas, parece conrmar que los juegos de azar tienen una antigedad de ms de 40.000 aos. Asimismo, la utilizacin del astrgalo en culturas ms recientes, ha sido ampliamente documentada. Por ejemplo, existen en las pirmides de Egipto pinturas que muestran juegos de azar que datan del ao 3.500 a. C. Herdoto se reere a la popularidad y difusin en su poca de los juegos de azar, especialmente la tirada de astrgalos y dados. Los dados ms antiguos se remontan a unos 3.000 aos a. C. y se utilizaron tanto en el juego como en ceremonias religiosas.
Huesos astrgalos
Las civilizaciones antiguas, explicaban el azar mediante la voluntad divina. En Grecia y Roma, utilizaban la conguracin resultante de tirar cuatro dados para predecir el futuro y revelar la voluntad favorable o desfavorable de los dioses. Prcticas similares se han encontrado en culturas tan distintas como la tibetana, la india o la juda. Hasta el famoso psiclogo Piaget, ha hecho notar que esta actitud mgica ante el azar, se maniesta igualmente en los nios.
Una pintura de un jarrn muestra la importancia del juego en esa poca remota.
Seshat y Thot, los dioses egipcios encargados de mantener claras las cuentas.
Tambin desde los comienzos de la civilizacin, han existido formas sencillas de estadsticas. Prueba de ello son las representaciones grcas y otros smbolos encontrados en pieles, rocas, palos de madera y paredes de cuevas para contar el nmero de personas, animales u otros. Hacia el ao 3.000 a. C. los babilonios usaban pequeas tablillas de arcilla para recopilar datos sobre la produccin agrcola y de los gneros vendidos o cambiados mediante trueque. Adems, los egipcios analizaban los datos de la poblacin y la renta del pas mucho antes de construir las pirmides en el siglo XXXI a. C., y debido a las inundaciones del Nilo, efectuaban anualmente trabajos censales para repartir los bienes y la propiedad salvada de las inundaciones.
Los libros bblicos Nmeros y Crnicas incluyen en algunas partes trabajos de estadstica. El primero contiene dos censos de la poblacin de Israel y el segundo describe el bienestar material de diversas tribus judas. En China, existan registros numricos similares ya en el ao 2.238 a. C., donde el emperador Yao mand a hacer un censo general del imperio.
78
Estadstica y Probabilidades
Los griegos clsicos realizaban censos cuya informacin se utilizaba hacia el ao 594 a. C. para cobrar impuestos. El imperio romano fue el primer gobierno que recopil una gran cantidad de datos sobre la poblacin, supercie y renta de todos los territorios bajo su control para poder aplicar los impuestos, siendo famoso el decretado por Octavio Augusto. Ms tarde, durante la Edad Media, slo se realizaron algunos censos exhaustivos en Europa. Los reyes carolingios, Pipino el Breve y Carlomagno, ordenaron hacer estudios minuciosos de las propiedades de la Iglesia en los aos 758 y 762, respectivamente. Despus de la conquista normanda de Inglaterra, Carlomagno y Guillermo el Conquistador encargaron un censo. La informacin obtenida con este censo, llevado a cabo en 1086, est recogida en el Domesday Book. Sin embargo, slo a principios del siglo XVI comenz el registro de nacimientos y defunciones en Inglaterra. En 1662 apareci el primer estudio estadstico notable de poblacin, realizado por John Graunt. En Alemania existe un estudio similar realizado en 1691, en la ciudad de Breslau, que fue utilizado luego por el astrnomo ingls, Edmund Halley.
Los primeros problemas matemticos de Probabilidades

La palabra azar viene del rabe, en donde zar signica dado. De los rabes heredamos varios juegos con dados que fueron introducidos en occidente junto al sistema numrico posicional. Estos juegos planteaban varios desafos que lograban hacer reexionar a muchos. Despus de algunos siglos y con la ayuda del nuevo sistema numrico que facilitaba enormemente los clculos, algunos problemas de apuestas con dados ya empiezan a formularse matemticamente. Aparentemente, la primera formulacin matemtica fue la del monje italiano, Luca Paccioli, muy conocido por introducir la tabla de doble entrada que es la base de los sistemas contables. En su libro Summa de aritmetic, geometra et proportionalita, publicado en 1494, Paccioli formul algunos problemas de apuestas que dieron lugar al inicio del anlisis sistemtico de probabilidades. Sin embargo, el primer tratado dedicado ex clusivamente sobre juegos de azar fue escrito en 1525 por el mdico y adicto jugador Girlamo Cardano (tambin autor del famoso libro de lgebra Ars Magna, y otros inventos como el cardan). El libro Liber de Ludo Alae, sin embargo, no fue publicado hasta despus de su muerte. Cardano fue quien introdujo la conocida frmula de casos posibles sobre casos totales. Lo interesante es que Cardano conoca en
Pintura de Luca Paccioli del museo Capodimonti en Npoles.
Retrato de Girlamo Cardano de autor desconocido.
Historia de la estadstica y las probabilidades
79
forma experiencial muchos resultados de juegos de azar, pues era un vido jugador que confesaba jugar todos los das. Incluso, como mdico, recomendaba el juego de azar como una actividad beneciosa en momentos de gran ansiedad y pena, y agregaba que l encontraba no poco de consuelo al jugar constantemente a los dados. La experiencia de Cardano nos muestra que, como en muchos otros grandes descubrimientos en la Ciencia y la Matemtica, la experimentacin constante da lugar al desarrollo de la intuicin y prepara el camino para la posterior formalizacin matemtica. Un caso parecido es el de Galileo Galilei, que cincuenta aos despus tambin dedic tiempo a practicar y reexionar sobre los juegos de azar y escribi un ensayo denominado Sopra le Scoperte dei Dadi, en el que redescubre varios resultados de Cardano y obtiene otros nuevos. Aparentemente, Galileo fue quien introdujo la palabra probabilidad.
Galileo Galilei.
En 1650, la sociedad francesa tena como entretenimiento corriente los juegos de apuesta, sin demasiadas restricciones legales para ello. En este escenario estn las races de la Teora de la Probabilidad, pues cada vez que eran introducidos juegos ms complicados, se dej sentir la necesidad de un mtodo para calcular la probabilidad de ganar en cada juego. De hecho, la prxima etapa de desarrollo de las probabilidades fue fruto del matemtico Blaise Pascal y el abogado Pierre Fermat, quienes, estimulados por ese tipo de problemas de juego y resultados obtenidos experimentalmente por el jugador Chevalier De Mre, resolvieron problemas como los propuestos por Paccioli y otros.
Retrato de Pierre de Fermat.
De acuerdo con Pascal, De Mre saba experimentalmente que la probabilidad de hacer un 6 en cuatro lanzamientos de un dado era poco ms de 50% (51,77%), por lo que la estrategia de Chevalier era ganar pequeas apuestas en una gran cantidad de lanzamientos, y no apostar un castillo en slo unas pocos lanzamientos. Pascal introdujo el tringulo de Pascal para contabilizar casos, aunque este ya era conocido desde hace varios siglos por matemticos chinos y rabes, adems de Cardano. Pascal tambin, es considerado el iniciador de la teora de decisiones en donde eventos con igual probabilidad pueden tener, sin embargo, consecuencias diferentes y por lo tanto, un evento puede tener ms valor que el otro. En 1662 un grupo de sus seguidores y asociados public el libro La
Blaise Pascal.
80
lgica, o el arte de pensar, un libro que tuvo gran difusin e impacto y que inicia conceptos de inferencia estadstica, como el desarrollo de hiptesis a partir de un nmero limitado de hechos. As, el clculo de las probabilidades se consolida como disciplina matemtica independiente en el perodo entre la segunda mitad del siglo XVII y comienzos del siglo XVIII. La probabilidad fue aplicada con buenos resultados a las mesas de juego y con el tiempo a otros problemas de la Ciencia.
Nacimiento de la Teora de Probabilidades

Durante la Ilustracin las probabilidades eran concebidas como el sentido comn de una persona educada. As, por ejemplo, Laplace escriba que la teora de las probabilidades no es nada ms que buen sentido reducido a un clculo que evala aquello que buenas mentes saben por medio de un instinto, sin ser capaz de explicar por qu con precisin. Luego de los excesos de la Revolucin Francesa, Laplace reconsider su posicin y admiti la interferencia de los deseos y la pasin en sus armaciones. De todas formas, las probabilidades fueron vistas como las leyes de la mente. Esta visin tuvo una gran inuencia en el desarrollo de la Matemtica. Slo en el siglo pasado, en la dcada de los sesenta, se disearon los primeros experimentos para testear la hiptesis sobre si las inferencias humanas siguen los principios de inferencia de acuerdo a las leyes de las probabilidades. Un punto de referencia se encuentra en 1713, en que se publica la obra Ars conjectandi (El arte de la Conjetura) de Jacob (Jacques) Bernoulli, donde estudia la distribucin binominal y su clebre teora que entrega para esta distribucin la expresin matemtica de la propiedad de estabilidad de las frecuencias relativas, conocida hoy como la ley de los grandes nmeros.
Jacques Bernoulli.
Otro hito es la segunda edicin de la obra The Doctrine of Chances (La doctrina de las probabilidades), aparecida en 1738 y debida al hugonote francs De Moivre, quien por motivos religiosos huy de Francia refugindose en Inglaterra, donde vivi de la resolucin de problemas de juegos de azar. En la obra sealada, aparecen las primeras indicaciones sobre la distribucin normal de probabilidades. En 1812 Laplace publica su famosa Thorie Analytique des probabilits, que contiene una exposicin completa y sistemtica de la teora matemtica de los juegos de azar, adems de una gran cantidad de aplicaciones de la Teora de la Probabilidad a muchas cuestiones cientcas y prcticas. Laplace fue quien indujo la primera denicin explcita de Probabilidad y desarroll la ley normal como modelo para describir la variabilidad de los errores de medida; tambin formul y estim el primer modelo explicativo estadstico.
De Moivre.
Estampilla con la imagen del Marqus de Laplace.
81
Tras la obra de Laplace se extendieron las aplicaciones de su obra a otras ramas de la Ciencia durante el siglo XIX. As fue como Gauss y Laplace, independientemente aplicaron la Teora de la Probabilidad al anlisis de los errores de medida en las observaciones fsicas y astronmicas. Maxwell, Boltzmann y Gibbs aplicaron la Probabilidad en su obra Mecnica Estadstica, que ha sido fundamental en distintas partes de la Fsica moderna.
Estampilla con la imagen de Gauss.
Durante el siglo XIX, las aplicaciones de la Estadstica y Teora de la Probabilidad se han extendido por los ms variados campos, como la gentica, economa, sicologa, entre otros. Pese al xito de las aplicaciones de la Probabilidad, tambin se oyeron voces crticas a la denicin clsica de Probabilidad, que exiga a priori saber o suponer, que todos los casos posibles eran igualmente favorables. Adems en ciertos casos era imposible aplicar la denicin clsica de Probabilidad, como puede suceder al intentar calcular la probabilidad de que un chinche caiga con la punta hacia arriba, o de que un hombre de 30 aos muera el prximo ao. Se requera de una fundamentacin matemtica ms precisa para la Teora de las Probabilidades, donde se separara la determinacin de valores de las probabilidades de sus reglas de clculo.
Aportes ms recientes
Si bien la Matemtica cambi profundamente de forma entre las dos guerras mundiales, tambin es cierto que buena parte de la Matemtica que sigui a la Segunda Guerra Mundial consista en el comienzo de algo radicalmente nuevo que anunciaba una nueva era. La teora de conjuntos y la teora de la medida invadieron a lo largo del siglo XX una parte cada vez ms extensa de la Matemtica, pero pocas de sus ramas se han visto afectadas tan profundamente por esta tendencia como la Teora de Probabilidades. Fue as como Borel escribi, en 1909, sus lements de la thorie des probabilits.
Emile Borel.
El primer ao del siglo se anunciaba propicio para las aplicaciones de la Teora de Probabilidades tanto a la Fsica como a la Gentica, puesto que en 1901 publicaba Gibbs su obra Elementary Principles in Statistical Mechanics, y el mismo ao fue fundada la revista Biomtrica por Karl Pearson. Francis Galton fue muy precoz y un estadstico nato que estudi los fenmenos de regresin; Pearson en 1900, en la Universidad de Londres, populariz el criterio de la chi-cuadrado. Adems, uno de los ttulos de Poincar haba sido el de profesor de clculo de probabilidades, lo que indicaba un inters creciente por el tema. En Rusia en el ao 1906, se inici el estudio de las cadenas de sucesos eslabonados, especialmente por obra de Andrei Andreyevich Markov (o Markoff). Adems, en la teora cintica de los gases y en muchos fenmenos sociales y biolgicos, la probabilidad de un suceso depende frecuentemente
82
de los resultados anteriores, y es especialmente desde mediados de este siglo que las cadenas de Markov de probabilidades eslabonadas, empezaron a estudiarse muy detalladamente. En bsqueda de una fundamentacin matemtica para la Teora de Probabilidades en expansin, los estadsticos encontraron a mano las herramientas necesarias, y hoy no es posible ya dar una explicacin rigurosa de la Teora de Probabilidades, sin utilizar los conceptos de funcin medible y de las teoras de integracin modernas. En Rusia, por ejemplo, Andrey Nicolaevich Kolmogoroff (fallecido en 1987) hizo importantes progresos en la teora de procesos de Markov (1931) y dio solucin a una parte del sexto problema de Hilbert, en el que se peda una fundamentacin axiomtica de la Teora de Probabilidades, utilizando la medida de Lebesgue. Esta exposicin es la que se conoce hoy como la formulacin axiomtica de la Teora de Probabilidades.
Kolmogoroff.
El anlisis clsico hasta ahora se haba ocupado principalmente de funciones continuas, mientras que los problemas de Probabilidades generalmente se referan a casos discretos. La teora de la medida y las sucesivas extensiones del concepto de integral, se adaptaban perfectamente a conseguir una asociacin ms estrecha entre el anlisis y la Teora de Probabilidades, especialmente a partir de mediados del siglo, cuando Laurent Schwartz (fallecido slo en 2002), de la universidad de Pars, generaliz el concepto de diferenciacin mediante su teora de distribuciones (1950-1951). Su mrito fue relacionar las distribuciones, la Teora de la Medida y la Probabilidad.
Laurent Schwartz.
Hacia la mitad del siglo XX, los cientcos tenan en su mano mtodos matemticos y estadsticos que les permitan manejar datos numricos, pero no posean herramientas de clculo como las actuales. El francs Benzcri y el norteamericano Tuckey, fueron pioneros en repensar la Estadstica en funcin de los computadores. Estos dos personajes mejoraron, adaptaron y crearon nuevos instrumentos para estudiar grandes volmenes de datos, nuevas tcnicas y herramientas grcas.
83
ESTADSTICA Y PROBABILIDADES DE LA MANO

La relacin entre la Estadstica y las Probabilidades es tan natural como obvia. Aunque nacidas de motivaciones distintas (la primera con el carcter ms estatal de registro de la poblacin, en contraposicin con el espritu ldico de los juegos de apuesta y el azar de la segunda), ambas ramas han pretendido a lo largo de los aos encontrar teoras y leyes ms generales, que les permitan demostrar la existencia de patrones o modelos en la informacin y hacer predicciones sobre el comportamiento de datos. Se menciona que la teora de la Probabilidad es la base o fundamento de la Estadstica, ya que las inferencias que hagamos sobre la poblacin en un estudio se movern dentro de unos mrgenes de error controlado, el cual est medido en trminos de probabilidad. Sin embargo, la Estadstica no puede considerarse como simple aplicacin del clculo de las probabilidades. La Estadstica es la ciencia aplicada que ha dado un contenido concreto a la nocin de Probabilidad. Por ejemplo, gracias a los modelos estadsticos existentes en la actualidad, se pueden describir con bastante exactitud en trminos cuantitativos, fenmenos tan dismiles como los econmicos, polticos, sociales, psicolgicos, biolgicos y fsicos. La Estadstica es la herramienta que permite relacionar y analizar los datos que emergen de estos fenmenos. Por otro lado, el desarrollo de la teora de la Probabilidad ha aumentado el alcance de las aplicaciones de la Estadstica. Muchos conjuntos de datos se pueden aproximar, con gran exactitud, utilizando determinadas distribuciones probabilsticas, y a la vez, los resultados de estas se pueden utilizar para analizar datos estadsticos. La probabilidad es til para comprobar la abilidad de las inferencias estadsticas, y para predecir el tipo y la cantidad de datos necesarios en un determinado estudio estadstico. Si nos remontamos a la historia, al parecer la primera ocasin en que se relacionaron los campos de la Estadstica y las Probabilidades fue a travs de un muestreo que se realiz en 1279, cuando Eduardo I de Inglaterra proclam un procedimiento para vericar la calidad de la fabricacin de monedas, comparando las monedas nuevas con el estndar guardado en la Capilla de Pyx de la Abada de Westminster. El procedimiento dena un mtodo de seleccin al azar de monedas a comparar y especicaba la variacin permitida respecto al estndar. Sin embargo, el comienzo del uso ms intensivo del muestreo aleatorio y anlisis estadstico, apareci poco despus de los trabajos de Fermat y Pascal, con los trabajos John Graunt. Graunt fue el primero en utilizar muestras para estimar datos demogrcos en la ciudad de Londres. Este trabajo fue publicado bajo el nombre Observations on the London bills of mortality (Comentarios sobre las partidas de defuncin en Londres). Ms tarde, utilizando nociones de probabilidades, los mtodos estadsticos de Graunt fueron perfeccionados por el astrnomo Edmund Halley, con los que mejor las estimaciones estadsticas de datos demogrcos.
Tapa del libro Observations on the London bills of mortality de John Graunt.
84
Estos desarrollos tuvieron un gran impacto en Europa y al poco tiempo, se iniciaron las compaas de seguros en Inglaterra en el siglo XIX. La industria de los seguros requera un conocimiento exacto del riesgo de perder, pues de lo contrario no se podan calcular las plizas. Si bien crditos y seguros se utilizaban desde muchos siglos antes de la era cristiana (como el cdigo de Hammurabi de 1800 aos a. C. que regulaba el nanciamiento y riesgo de viajes en embarcaciones), con los nuevos mtodos estadsticos basados en probabilidades se dio un gran impulso a esta industria. Otra muestra de la estrecha relacin que establecieron la Estadstica y las Probabilidades, se produjo cuando el clculo de probabilidades se extendi a las ciencias naturales, a nes del siglo XVIII, teniendo como principal impulsor el conjunto de problemas de Astronoma y Fsica ligados a la contrastacin emprica de la teora de Newton. En el contexto de esas investigaciones Laplace indag en el anlisis numrico de los errores de las mediciones y describi la variabilidad en trminos de la distribucin normal. Otro aporte provino del trabajo del francs, Auguste Bravais, gelogo y astrnomo, que consider los errores de medida dependientes entre s. Benjamn Peirce y Simon Newcomb, ambos matemticos y astrnomos norteamericanos, lograron precisar criterios y procedimientos para el tratamiento de los errores de medida, el rechazo de observaciones heterogneas y la estimacin de errores en algunos datos. Estos ltimos trabajos motivaron el uso de la Estadstica y las Probabilidades en las reas que haban estado ms reticentes, como eran las Ciencias Sociales, la Economa, la Psicologa y la Poltica. Hoy en da no se puede cuestionar que la teora matemtica de las Probabilidades constituye el fundamento para aplicar la Estadstica en las ciencias, investigacin social y en la toma de decisiones. La Estadstica y la Teora de las Probabilidades, han permitido satisfacer la necesidad de buscar leyes cuantitativas que rigen la sociedad, asignando nmeros a los fenmenos para conocer el comportamiento de ciertas variables que intervienen en un fenmeno particular, cuyo valor queda de maniesto a travs de datos numricos. En muchos casos, como ciudadanos participativos, tendremos algn conocimiento sobre los posibles resultados de una decisin. Si organizamos esta informacin y la analizamos sistemticamente, podremos reconocer nuestras suposiciones, comunicar a otros nuestro razonamiento y tomar una decisin ms racional u objetiva de la que lograramos recurriendo a un mtodo que no sea cientco. Hoy, es casi imposible pensar en tomar una decisin de estado, suprimir una ley, levantar a un candidato presidencial, invertir en un pas, estudiar efectos de un contaminante, y otros temas importantes, sin haber recurrido a un estudio estadstico y haber usado las probabilidades.
Estadstica y probabilidades de la mano
85
TEORA ELEMENTAL DE PROBABILIDADES

La Teora de Probabilidades se ocupa de la ocurrencia de eventos o sucesos en experimentos aleatorios. La necesidad de describir un fenmeno aleatorio y predecir la ocurrencia de algunos de sus resultados, condujo a la formulacin matemtica de la Teora de las Probabilidades. Debido a que el resultado de un experimento aleatorio no es predecible, el modelo para el experimento debi incluir algn tipo de lista de los posibles resultados esperados. De esa forma nacieron las primeras descripciones sobre lo que se entenda por experimento aleatorio, el espacio muestral que determina un experimento, el conjunto de sucesos observables y las probabilidades asignadas a los sucesos.
Experimento aleatorio
Dentro de los distintos experimentos que pueden ser efectuados y que incluyen fenmenos observables en el mundo real, se distinguen dos tipos: deterministas y aleatorios. Los experimentos deterministas son aquellos que realizados en las mismas circunstancias, slo tienen un resultado posible. Estos son lo contrario de un experimento aleatorio. Un experimento aleatorio, en cambio, es aquel que, realizado bajo ciertas condiciones, conduce a resultados que no pueden predecirse.
Ejemplos 1. 2. 3. 4. 5. 6. Observar el resultado al lanzar una moneda. La extraccin de una carta de la baraja. El lanzamiento de un dado. Las respuestas a una encuesta. Cruzar dos especies de plantas y observar los fenotipos de los productos obtenidos. Comprobar si una pieza producida por una mquina presenta algn tipo de defecto.
Condiciones de un experimento aleatorio Para ser ms precisos, dado cualquier experimento aleatorio, se supondr que este cumple con las siguientes condiciones: a. b. c. Todos los resultados posibles se conocen inicialmente. Antes de la ejecucin del experimento aleatorio, no se sabe cul de sus posibles resultados se va a presentar. El experimento aleatorio puede repetirse indenidamente bajo condiciones idnticas.
86
Espacio muestral (E) de un experimento aleatorio

Es el conjunto de todos los posibles resultados de un experimento aleatorio. Por ejemplo, en los siguientes experimentos aleatorios se describen los respectivos espacios muestrales que ellos generan:
Experimento Lanzar una moneda Contar cuntos vehculos atraviesan un cruce durante 15 minutos Observar el tiempo de vida de cierto virus Espacio Muestral {cara, sello} {0, 1, 2, ..., n} {0,..., }
Sucesos aleatorios del espacio muestral E

A cada subconjunto de un espacio muestral E, se le llama suceso aleatorio o estocstico. Los sucesos aleatorios pueden ser caracterizados de acuerdo a su composicin. Se denomina suceso elemental al suceso aleatorio que contiene uno y slo uno de los elementos del espacio muestral. En cambio, a aquel que contiene ms de un elemento, se le llama suceso compuesto. Por ejemplo, si consideramos el experimento aleatorio: resultado de sacar una carta de una baraja espaola y los sucesos: S1 = {sacar as de oros} S2 = {sacar un as} Slo S1 es un suceso elemental. En cambio, S2 es un suceso compuesto ya que puede descomponerse en cuatro elementos: as de oros, as de copas, as de espadas o as de bastos. Un suceso compuesto est formado entonces por varios sucesos elementales, y por tanto, ser cualquier subconjunto del espacio muestral E. En la tabla siguiente se puede observar con ms claridad este hecho.
Experimento Espacio Muestral Sucesos elementales {cara}, {sello} {1},{2},{3}, {4}, {5}, {6} Sucesos compuestos {cara, sello} {4, 5, 6}{par}, {impar}, etc.
Lanzar una moneda al aire Lanzar un dado
{cara, sello} {1, 2, 3, 4, 5, 6}
Teora elemental de probabilidades
87
Conjunto de partes o subconjuntos del espacio muestral E Si el espacio muestral E consta de n sucesos elementales, podemos denir un total de 2n posibles sucesos. Por ejemplo, en los siguientes experimentos, se tiene lo siguiente:
Experimento Espacio Muestral Sucesos elementales 2 6 Sucesos posibles 22 = 4 26 = 56
Lanzar una moneda al aire Lanzar un dado
{cara, sello} {1, 2, 3, 4, 5, 6}
El conjunto P(E) es el espacio de todos los subconjuntos posibles de E y se llama conjunto de partes o subconjuntos de E. En el ejemplo del experimento lanzar una moneda al aire, se tiene: E= {cara, sello} P(E) = {,{cara},{sello},{cara, sello}} y corresponde a todos los subconjuntos que se pueden formar a partir de los elementos de E. # P(E) = 22 = 4. Sucesos seguros e imposibles Los sucesos denidos por los subconjuntos y E se llaman suceso imposible y suceso seguro, respectivamente. El suceso seguro, es aquel que corresponde a todos los resultados posibles de un experimento aleatorio y que siempre se observa. Este suceso tambin corresponde al conjunto del espacio muestral E. En cambio, el suceso imposible, es el suceso que nunca se realiza y es el suceso contrario al suceso seguro. Ejemplo Si denimos los siguientes sucesos del experimento resultado de sacar una carta de una baraja espaola, tenemos que: S3 = {sacar una carta menor que 11} S3 es un suceso seguro, pues siempre se obtendr una carta con ese valor en este experimento aleatorio. S4 = {sacar una carta mayor o igual a 11} S4 es un suceso imposible en este experimento, debido a que no existe esta carta en esta baraja.
88
lgebra de sucesos aleatorios

A partir de sucesos originados por la misma prueba o experimento, se pueden formar nuevos sucesos mediante las operaciones de unin e interseccin. Dado un espacio muestral E y dados S1, S2 ... Si E, podemos denir las siguientes operaciones entre sucesos: Unin de sucesos: S1 S2 Es el suceso compuesto que resulta cuando ocurre S1 o bien S2. Producto o interseccin de sucesos: S1 S2 Es el suceso que resulta al exigir que ocurra S1 y S2 simultneamente. _ Complementario de un suceso: S Es el suceso que se verica si y slo si no se verica S. Sucesos incompatibles Se dice que dos sucesos son incompatibles, cuando su interseccin es el suceso imposible. Es decir, S1 y S2 son incompatibles S1 S2 = . lgebra aditiva o -lgebra Muchas veces no estamos interesados en todos los sucesos posibles de P(E) y preferimos limitarnos a una parte de ellos, digamos F P(E). Este subconjunto de sucesos F, no se puede elegir de forma totalmente arbitraria, sino que, para poder denir una medida de probabilidad sobre l, debe formar un lgebra aditiva. Se dice que F P(E) forma un lgebra aditiva o -lgebra si y slo si: 1. 2. S1 S2 F Si S1 , S2 F _ Si S F S F
Por ejemplo, en el experimento sobre el estado civil pueden interesarnos solamente los sucesos: C1 = casado C2 = no casado Con lo que F = {, C1, C2, E}, ya que y E se deben siempre incluir para que pueda ser un lgebra aditiva. Es relativamente fcil mostrar que F cumple con los dos requisitos anteriores.
Teora elemental de probabilidades
89
DISTINTAS FORMULACIONES SOBRE LA PROBABILIDAD
Hasta ahora, slo hemos denido algunos elementos esenciales en la Teora de las Probabilidades. Sin embargo an no llegamos a una formulacin matemtica acerca del concepto de probabilidad y las tcnicas de clculo. Las primeras formas de clculo de probabilidades aparecen temprano con el estudio de los juegos de azar. El conteo y recuento de resultados de los juegos, permiti llegar a determinar con bastante exactitud ciertas regularidades observadas al repetir reiteradamente ciertos experimentos aleatorios. Ms tarde, se formularon los axiomas que denen la Teora de las Probabilidades. Estos axiomas se basan en una serie de propiedades observadas en los fenmenos aleatorios, y que ser necesario revisar para comprender de dnde nacen esos axiomas.
La probabilidad y las frecuencias observadas

Histricamente los juegos de azar fueron estudiados a travs de la realizacin reiterada de experimentos aleatorios, contando y usando tablas de registro, esto es, sistematizando la frecuencia en que aparecan los sucesos aleatorios. Supongamos que deseamos estudiar la probabilidad de un suceso S; luego, se entiende por frecuencia absoluta (fa) al nmero de veces en que aparece S al realizar el experimento reiteradamente. En cambio, se llama frecuencia relativa (fr) de S al nmero de veces en que aparece el suceso S en n repeticiones del experimento en idnticas condiciones. En trminos ms matemticos, si E es el espacio muestral de un experimento aleatorio y S E, entonces: fr(S) = fa(S) n
El estudio ms sistemtico de las frecuencias relativas de aparicin de ciertos eventos aleatorios, permiti observar que las frecuencias cumplan ciertas propiedades: 1. 2. 3. La frecuencia relativa con que aparece un mismo suceso S, en una serie idntica de experimentos, es un nmero comprendido entre 0 y 1. Es decir: 0 fr (S) 1. Para cualquier nmero de realizaciones de un experimento, el suceso seguro aparece con frecuencia igual a 1. Esto es, fr (E) = 1. Para cualquiera de los sucesos S1 y S2 asociados a un mismo experimento e incompatibles entre s (S1 S2 = ), se verica que: fr (S1 S2) = fr (S1) + fr (S2).
90
La ley de los grandes nmeros

El estudio de las frecuencias tambin permiti establecer que, a medida que el nmero de pruebas del experimento aleatorio creca, la frecuencia relativa de un suceso A tenda a estabilizarse alrededor de un nmero jo, llammoslo p(A). p(A) = Lim fr(A) = Lim
n
f (A) n n
Este nmero al que la frecuencia relativa se acerca a medida que aumenta el nmero de pruebas realizadas del experimento, se lo dene como probabilidad del suceso. Este hecho es el conocido como Ley del azar, Ley de la estabilidad de las frecuencias o Ley de los grandes nmeros y fue establecida por Jacob Bernulli. Para ilustrar esta idea, mostramos, a continuacin, un resumen de los resultados obtenidos al simular mediante un computador el lanzamiento de una moneda y contar el nmero de veces que sale cara. Cuando el nmero de lanzamientos es pequeo, la frecuencia relativa del suceso salir cara oscila entorno al valor 0,5 con un margen muy amplio. Pero, cuando crece el nmero de tiradas, este margen se va reduciendo hasta llegar a ser despreciable.
N de lanzamientos
N caras
Frecuencia relativa
Diferencia con la frecuencia
N de lanzamientos
N de caras
Frecuencia relativa
Diferencia con la frecuencia terica
2 4 8 16 32 64 128 256 512 1.024 2.048 4.096 8.192 16.384 32.768
0 1 3 7 14 30 65 130 261 520 996 2.005 4.016 8.075 16.273
0 0,25 0,38 0,437 0,437 0,47 0,508 0,508 0,51 0,508 0,486 0,49 0,49 0,493 0,497
0,5 0,25 0,125 0,063 0,063 0,03 0,008 0,008 0,01 0,008 0,014 0,01 0,01 0,007 0,003
65.536 131.072 262.144 524.288 1.048.576 2.097.152 4.194.304 8.388.608 16.777.216 33.554.432 67.108.864 134.217.728 268.435.456 536.870.912 1.073.741.824
32.645 65.535 131.071 262.143 524.287 1.048.575 2.097.151 4.194.303 8.388.607 16.777.215 33.554.431 67.108.863 134.217.727 268.435.455 536.870.911
0,498 0,499992 0,499996 0,499998 0,4999990 0,4999995 0,4999998 0,49999990 0,49999994 0,49999997 0,499999985 0,499999993 0,499999996 0,499999998 0,4999999990
0,002 0,000008 0,000004 0,000002 0,000001 0,0000005 0,0000002 0,0000001 0,00000006 0,00000003 0,000000015 0,000000007 0,000000004 0,000000002 0,000000001
Distintas formulaciones sobre la probabilidad
91
Esta forma de calcular probabilidades no deja de presentar problemas en su aplicacin prctica, ya que, al no ser posible la repeticin ilimitada de un experimento, no es posible saber cundo se ha realizado un nmero suciente de veces para haber encontrado la frecuencia relativa correcta, que corresponde a la probabilidad. Sin embargo, con el surgimiento de excelentes herramientas computacionales, esta metodologa de aproximarse a la probabilidad, resulta muy utilizada en la actualidad para encontrar modelos explicativos y predictores a partir de grandes cantidades de datos extrados de diferentes contextos reales.
Axiomas de Probabilidad
Como consecuencia del desarrollo del formalismo matemtico, y con la intencin de soslayar los inconvenientes relacionados con el clculo y justicacin de varias tcnicas usadas en las probabilidades, se plante en los aos 30 la formulacin axiomtica de la Probabilidad, gracias al desarrollo de Andrey Kolmogoroff. Este enfoque se reere a las propiedades elementales que debe cumplir la denicin de una medida de probabilidad sobre un conjunto de datos y que, una vez aceptadas como axiomas, nos conducen, a partir de un tratamiento matemtico riguroso, a un conjunto mucho mayor de propiedades y consecuencias que, a primera vista, nunca hubieran parecido evidentes. Sea E un espacio muestral asociado a un experimento aleatorio y F P(E), lgebra aditiva o lgebra de sucesos de E. Una funcin p denida sobre F es una medida de probabilidad si: 1. 2. 3. A todo suceso Si F le corresponde un nmero p(Si) tal que 0 p(Si) 1. La probabilidad de un suceso seguro es uno, es decir, p(E) = 1. Si S1 y S2 F, tales que S1 S2 = , entonces se verica: p( S1+ S2) = p(S1) + p(S2)
A la terna (E, F , p) se le llama espacio probabilstico.
Propiedades derivadas de los axiomas

Partiendo de estos axiomas, podemos deducir, como primeras consecuencias, las siguientes propiedades: Probabilidad de un suceso contrario Para todo S F, _ p(S)=1p(S)
92
Probabilidad de un suceso imposible p() = 0 Probabilidad de sucesos compatibles Para todo par de sucesos S1 y S2 F, tales que S1 S2 entonces, p( S1+ S2) = p(S1) + p(S2) p(S1 S2) Probabilidad de sucesos incluyentes Para todo A y B F , si A B entonces p(A) p(B) Todas estas propiedades son fcilmente demostrables con el uso de las propiedades del lgebra de booleana. Con la formulacin axiomtica de la Teora de las Probabilidades, se pudo justicar el uso de varias reglas de clculo que no se haban denido apropiadamente hasta ese momento.
Regla de Laplace
En ciertos casos ocurre que el espacio muestral E, denido por un experimento aleatorio, es nito y homogneo o simtrico, es decir, todos los sucesos elementales de los que se compone E tienen la misma probabilidad de ocurrir, por ejemplo, en el lanzamiento de una moneda o de dos dados no cargados. En estos casos especcos de experimentos aleatorios, es posible calcular probabilidad por medio de una antigua regla conocida como regla de Laplace. Denicin Si E es el espacio muestral asociado a cierto experimento. Si adems E consta de un nmero nito de elementos y todos los sucesos elementales son igualmente probables, es decir, tienen la misma probabilidad de ocurrir, entonces se verica que, para todo suceso A E: p(A) = k n Siendo p(A) la probabilidad de que ocurra A, k el nmero de sucesos elementales que componen el suceso A y n el nmero de elementos de E. Esta formulacin es equivalente a la siguiente: Si E = { x1, x2, .., xK } y p(x1) = p(x2) = ... = p(xK ), entonces, p(A) = nmero de casos favorables al suceso A nmero de casos posibles
93
Ejemplo Cul es la probabilidad de obtener un seis al tirar un dado? Solucin Hay una sola manera de obtener un seis al tirar un dado, pero los resultados posibles son seis. As se dene, E = {1, 2, 3, 4, 5, 6} y A = {6} 1 Luego, p(A) = n casos favorables para A = 6 n casos posibles La probabilidad de obtener un seis en el lanzamiento de un dado es 1 y la probabilidad de no 6 sacar 6 es 5 . 6 _ As se verica que p(A) + p(A ) = 1
Sucesos independientes
Se dice que dos sucesos A y B son independientes, si la ocurrencia de uno de ellos no inuye en la ocurrencia del otro. Por ejemplo, si se lanzan dos monedas al aire, el resultado de la segunda no inuir en el resultado de la primera. Denicin Sea F E un espacio muestral generado por un experimento aleatorio. A, B F dos sucesos, se dice, A y B son independientes p(AB) = p(A) p(B)
Ejemplo Si A consiste en el suceso acertar cara con la primera moneda y B consiste en acertar cara con la segunda moneda. Entonces AB es el suceso acertar cara en la primera y segunda moneda. p(AB) = p(A) p(B) = 1 1 = 1 2 2 4 As la probabilidad de acertar dos caras al lanzar dos monedas es 0,25. Este resultado puede conrmarse analizando los resultados posibles al lanzar dos monedas: CC, CS, SS, SC. El resultado CC corresponde a 1 de 4 casos posibles.
94
Recuento de resultados en experimentos aleatorios

Al aplicar la regla de Laplace, el problema es calcular el nmero de elementos de cierto subconjunto del espacio muestral. Se pueden utilizar para este propsito varias tcnicas y procedimientos. Mostraremos aquellos ms intuitivos: rboles de posibilidades y arreglos rectangulares. rboles de posibilidades Son diagramas en forma de rbol que permiten visualizar y describir las distintas posibilidades en un experimento aleatorio. Ejemplo Supongamos que una pareja planea sucesivamente tener tres hijos. Se pueden gracar en un rbol las posibilidades de descendencia en una familia, y luego contar las posibilidades de uno u otro suceso.
En el caso de experimentos en los cuales se tenga que elegir siempre entre dos opciones, como en el ejemplo anterior, se dir que se trata de un rbol binario. Para calcular el nmero total de posibilidades en n repeticiones del experimento binario, se usa la expresin 2n. Esto signica que, en la quinta generacin familiar habr 25 formas de tener 5 hijos. Arreglos rectangulares Otra manera de visualizar resultados en experimentos aleatorios bidimensionales, es usando tablas de recuento rectangulares.
95
Ejemplo Deseamos saber de cuntas maneras se pueden combinar poleras de tres colores: rojas, azules y blancas con pantalones azules y grises.
Combinacin polera / pantaln roja azul blanca azul roja-azul azul-azul blanca-azul gris roja-gris azul-gris blanca-gris
Para calcular el nmero total de combinaciones (polera, pantaln) que se pueden realizar, basta con saber el nmero de elementos de cada conjunto. En este caso corresponden a 3 y 2 elementos, respectivamente. Lo que resulta de ellos son 6 posibles combinaciones (polera, pantaln). En general, si se desea saber cuntas parejas se forman de un conjunto de n elementos con otro de m elementos, se debe multiplicar n m.
96
GLOSARIO ESTADSTICO
Poblacin: Conjunto de personas, animales o cosas que cumplen una determinada caracterstica y sobre el que se va a llevar a cabo una investigacin. El tamao de una poblacin es el nmero de individuos o entes que la integran. Muestra: Cualquier subconjunto de una poblacin. Carcter estadstico: Es una propiedad que permite clasicar los individuos de una poblacin. El carcter estadstico puede ser de dos tipos: cuantitativos o cualitativos. Cuantitativos: son aquellos que se pueden medir numricamente (talla, nmero de hijos, etc.) Cualitativos: son aquellos que no se pueden medir numricamente (profesin, estado civil, sexo, color de ojos). Cada una de las diferencias que se pueden establecer en un carcter cualitativo se denomina modalidad. Variable estadstica: Conjunto de todos los valores posibles que puede tomar un carcter estadstico cuantitativo. Atributos: Conjunto de todos los valores posibles que puede tomar un carcter estadstico cualitativo. La frecuencia absoluta: Es el nmero de veces que se repite cada valor o modalidad de la variable o atributo. En general se representa por ni. La suma de las frecuencias absolutas ser el nmero total de datos, individuos o poblacin y se representa por n. La frecuencia relativa: Es la frecuencia absoluta dividida por el nmero total de individuos. Se representa por fr . La frecuencia acumulada: Es la suma de las frecuencias correspondientes a los valores menores que, o anteriores a dicho valor. Hablamos de frecuencias absolutas acumuladas (Ni) cuando sumamos frecuencias absolutas; si sumamos frecuencias relativas nos referiremos a frecuencias relativas acumuladas.
Glosario estadstico
97
Distribuciones de frecuencias
Las estadsticas que se organizan en una tabla de frecuencias reciben el nombre de distribuciones de frecuencias. Estas distribuciones son de dos tipos: las distribuciones de frecuencias propiamente dichas y las distribuciones de frecuencias agrupadas. En las distribuciones de frecuencias propiamente dichas aparecen dos columnas; en la primera, ordenados, los diferentes valores de la variable y, en la segunda, las correspondientes frecuencias. Ejemplo Si se lanza un dado 15 veces y los resultados que aparecen son: 3, 4, 2, 6, 1, 2, 1, 5, 6, 6, 2, 1, 5, 2, 1. Entonces, la tabla de frecuencia corresponde a la siguiente:
Resultado dado 1 2 3 4 5 6 Frecuencia observada 4 4 1 1 2 3
En las distribuciones de frecuencias agrupadas tambin hay dos columnas; lo que ocurre es que la variable toma muchos valores distintos, y por ello los valores de las variables se agrupan en ciertos intervalos. Ejemplo Se tienen los datos sobre la altura de 20 personas que se transportan en ascensor para luego registrarlos en una tabla. 1,79 - 1,37 - 1,38 - 1,64 - 1,04 - 1,37 - 1,36 - 1,16 - 1,24 - 1,02 - 1,29 - 1,91 - 1,08 - 1,67 - 1,78 - 1,24 1,86 - 1,44 - 1,03 - 1,70
Altura 1,00 - 1,12 1,13 - 1,25 1,26 - 1,38 1,39 - 1,51 1,52 - 1,64 1,65 - 1,77 1,78 - 1,91 Frecuencia 4 3 3 1 1 2 4
98
Representacin grca de la informacin

Para representar la informacin de una forma sintetizada se puede hacer uso de grcos. La utilidad de los grcos est en relacin con su capacidad para ayudar a mejorar la comprensin de las variables de estudio, captar de manera sencilla y rpida la esencia del fenmeno y detectar errores en los datos utilizados. Pero los grcos tambin presentan una serie de inconvenientes: 1. 2. Un grco supone siempre una simplicacin y reduccin de la informacin. La mayor o menor utilidad de las representaciones grcas depender de la forma en la que estn construidas, ya que ello inuye sobre su interpretacin.
Hay muchos sistemas de representacin grf ica, de forma que, dependiendo de la distribucin (es decir, si son distribuciones sin agrupar o distribuciones agrupadas en intervalos), sern ms adecuadas unas u otras representaciones grcas. A continuacin indicamos las ms usuales. Diagrama de barras Se usan fundamentalmente en distribuciones discretas. Sobre el eje horizontal se representan los valores de la variable, y sobre el eje vertical, las frecuencias (absolutas o relativas). Desde los puntos marcados sobre el eje horizontal, se trazan barras verticales de longitud igual a la frecuencia correspondiente. El polgono de frecuencias se forma uniendo los extremos de las barras mediante una lnea quebrada.
A partir de este diagrama, es fcil darse cuenta de en qu valores se concentra la mayor parte de las observaciones. En este caso, en los nmeros 2 y 5. Cuando los datos se han agrupado por intervalos, ya por corresponder a una variable estadstica continua o ya porque lo aconseje la situacin a estudiar, aunque la variable sea discreta, las representaciones que se utilizan son los llamados histogramas, donde las supercies de los rectngulos son proporcionales a las frecuencias que representan.
Glosario estadstico
99
Para construir un histograma, se representan sobre el eje horizontal los lmites de los intervalos; sobre ellos, se construyen rectngulos de cada intervalo con una altura adecuada para que el rea sea proporcional a la frecuencia. Diagrama de sectores Esta representacin es especialmente adecuada en aquellos casos en que se desea que los datos estadsticos sean muy comprensibles.
Este tipo de diagrama muestra la importancia relativa de las diferentes partes que componen un total. En la forma de elaborarlo se debe considerar: 1. 2. Se calculan los porcentajes relativos al total de cada frecuencia observada. Se divide el rea del crculo en tantas partes como componentes haya, y el tamao de cada una de ellas debe ser proporcional a la importancia relativa de cada componente.
La ventaja intrnseca de este tipo de representaciones no debe hacer olvidar que plantea ciertas desventajas, que pasamos a enumerar:
100
1. 2. 3.
Requiere clculos adicionales. Es ms difcil comparar segmentos de un crculo que comparar alturas de un diagrama de barras. No da informacin sobre las magnitudes absolutas, a menos que la incorporemos en cada segmento.
Representacin cuantitativa de la informacin

Medidas de centralizacin En una distribucin estadstica, se llaman medidas de centralizacin a una serie de parmetros que tienden a situarse hacia el centro del conjunto de datos, una vez ordenados. Tambin se les suele llamar medidas de tendencia central o promedios. Sirven para representar, de forma sinttica, al conjunto total de datos a estudiar. Las medidas de centralizacin ms importantes son la media aritmtica, la moda y la mediana. En esta oportunidad, revisaremos la media y mediana. Media aritmtica Se llama media aritmtica de una variable estadstica x y se representa por _ x a la suma de todos los valores de dicha variable (xi) dividida entre el nmero total de valores (N). Si la variable estadstica toma los valores x1 , x2..., xn con frecuencias respectivas f1 , f2 ,..., fn, viene dada por: x= Moda Se llama moda de una variable estadstica al valor de dicha variable que posee mayor frecuencia absoluta. En general, no tiene por qu ser nica, sino que existen distribuciones bimodales, trimodales, etc. En variables discretas, el clculo se hace a simple vista. Sin embargo, en distribuciones con datos agrupados en clases, se habla de la clase o intervalo modal, que es el de mayor frecuencia; en este caso, como valor concreto para la moda se toma el resultante de aplicar la siguiente frmula. Moda = Li + A D1 D1 + D2 Donde: Li: lmite inferior de la clase modal. A: amplitud de la clase modal. D1: diferencia de frecuencia entre la clase modal y la anterior. D2: diferencia de frecuencia entre la clase modal y la siguiente. La moda representa el valor dominante de la distribucin: Es un parmetro menos representativo que la media, ya que no tiene en cuenta todos los datos. Tambin es posible que existan distribuciones sin moda (todas las frecuencias iguales). Por ltimo, no tiene por qu situarse en el centro de la distribucin.
Glosario estadstico
x1 f1 + x2 f2 + k + xn fn N
101
DAZ, J.; BATANERO, M.C.; CAIZARES, M.J. (1996). Azar y probabilidad. Editorial Sntesis. Madrid-Espaa. BAMN, R. GONZLEZ, P. SOTO, J. (2003). 2medio. Matemtica Activa. Mare NostrumMINEDUC. Santiago-Chile. SOTO, J. (2000). Mdulo de probabilidades. Al azar del cara o sello: Introduccin al clculo de probabilidades. MINEDUC.
Sitios y pginas Web (Algunos links podran estar inactivos o haber sido movidos para esta fecha.) Historia de la estadstica y la probabilidad. http://www.escolar.com/article.php?sid=11 Apuntes de estadstica y probabilidades http://www.uco.es/~ma1marea/profesor/primaria/estadist/indice.htm Estadstica descriptiva y probabilidades (Mara Jos Japn Delgado y Jos Garca Martnez, autores) http://thales.cica.es/rd/Recursos/rd99/ed99-0278-01/ed99-0278-01.html Comprensin y uso de la Estadstica (Fernando Valdez - Universidad Rmulo Gallegos) http://www.cortland.edu/teach/stats/stat-sp.html http://www.cortland.edu/teach/stats/stat-sp.html#Historia Biografas de matemticos http://www-gap.dcs.st-and.ac.uk/~history/BiogIndex.html John Graunt. Gacetilla matemtica. Historias. http://www.arrakis.es/~mcj/graunt.htm
102
UNIDAD DE FUNCIONES Y SISTEMAS DE ECUACIONES LINEALES
UNIDAD DE FUNCIONES Y SISTEMAS DE ECUACIONES LINEALES
MODELOS MATEMTICOS DE SITUACIONES REALES Y PROBLEMAS DE CONDICIONES SIMULTNEAS MATERIAL DEL PROFESOR
Gladys Bobadilla Abarca Gustavo Rodrguez Seplveda
CONTENIDO
107
Presentacin
108
Introduccin histrica
110
Qu reeja el concepto de funcin?
113
Variables discretas y variables continuas
115
La funcin lineal
Denicin de intervalos Descripcin matemtica del movimiento con velocidad constante en magnitud y sentido Interpretacin geomtrica 115 118 120
122
La funcin valor absoluto
124
La funcin parte entera
126
Geometra analtica
Pendiente de una recta ngulo de inclinacin de una recta Ecuacin de la recta dados dos puntos pertenecientes a ella Ecuacin principal y general de la recta Coeciente de posicin de la recta 127 127 128 129 130
131
Posiciones relativas en el plano
Rectas paralelas Rectas coincidentes Rectas perpendiculares Rectas secantes 131 131 132 132
133
Sistemas de ecuaciones lineales
Ejemplos de historia 141
144
Mtodos de resolucin de sistemas lineales
Mtodo de sustitucin Mtodo de comparacin o igualacin Mtodo de combinaciones lineales Sistemas no lineales reducibles a lineales Resolucin de sistemas lineales usando determinantes. Mtodo de Cramer 144 146 148 150 152
159
Interpretacin geomtrica de la solucin de un sistema de dos ecuaciones lineales en IR2
Resumen de los sistemas lineales de dos ecuaciones en IR2 Sistemas lineales de n ecuaciones en IR2 164 164
170
106
PRESENTACIN
La propuesta de trabajo en esta unidad es el estudio de las funciones lineales, anes en una comprensin ms profunda, las que pueden ser complementadas con el anlisis de las funciones valor absoluto y parte entera, pero que no estn consideradas en el material del alumno. En este estudio se proponen diversas situaciones en variados mbitos (naturaleza, tecnologa, ciencias, gestin, vida cotidiana, etc.), con el objeto de construir el modelo que les permita a los estudiantes analizar las situaciones, sus ajustes y restricciones, expresarlo por medio de tablas de valores, de una expresin algebraica y en forma grca, estableciendo las relaciones entre estas distintas formas de representacin. La idea es que analicen y relacionen la forma grca de la funcin lineal y afn con el modelo y = mx + n; de esta misma forma se relaciona y se realiza un nexo con los sistemas de ecuaciones lineales a travs del mtodo grco. Con respecto a las funciones, recuerde que el programa es explcito en sealar que las funciones que se estudian en esta unidad no estn precedidas de la denicin del concepto formal de funcin, que ser objeto de estudio en Cuarto Ao Medio. Por otra parte, en los sistemas de ecuaciones lineales, traducir los enunciados verbales al lenguaje algebraico, es una de las mayores dicultades para los estudiantes en este nivel. La entrada desde el mtodo grco a los mtodos de resolucin algebraica permite comprender visualmente qu signica encontrar la solucin al sistema y este mtodo es abordado aprovechando el trabajo en forma grca de la ecuacin de la recta. De acuerdo al tratamiento que se da en esta unidad realizando una unin entre las funciones y ecuacin de la recta con la unidad de sistema de ecuaciones lineales, se ha decidido llamarla Modelos matemticos de situaciones reales y problemas de condiciones simultneas.
Presentacin
107
INTRODUCCIN HISTRICA
Segn Kolmogorov la historia de la Matemtica tiene cuatro perodos cualitativamente diferentes: Primer perodo: La Prehistoria de la Matemtica Dura hasta el siglo V a.C. y corresponde a la formacin de la Aritmtica y la Geometra. A este perodo pertenece la Escuela Pitagrica. Segundo Perodo: La matemtica de las magnitudes constantes Desde el siglo V a.C. hasta el siglo XVII d.C. A este perodo pertenece la matemtica griega, rabe y renacentista. Se puede sintetizar diciendo que en este largo tiempo, se consolida la Geometra euclidiana y nace el lgebra. Aunque a este perodo pertenece Coprnico (14731543), las consecuencias loscas y cientcas tuvieron repercusin mucho ms tarde. Tercer perodo: La matemtica de las magnitudes variables Comprende los siglos XVII y XVIII. En este tiempo aparece el concepto de funcin y variable que hacen posible la aparicin del clculo diferencial e integral. Cuarto perodo: La matemtica moderna Desde el siglo XIX hasta hoy. Este perodo se caracteriza por el esfuerzo de muchos grandes matemticos de la poca por determinar de manera slida los fundamentos de la Matemtica, y establecer la rigurosidad de sus procesos demostrativos. En esta poca se realiza la aritmetizacin del anlisis, la teora de los nmeros reales, la teora de conjuntos entre otras cosas. El desarrollo de la teora de los nmeros reales contribuy, segn palabras del lsofo L. Geymonat, a que: ... el anlisis innitesimal dej denitivamente de ser la tcnica imprecisa e intuitiva que haban forjado sus descubridores del siglo XVII, para erigirse en autntica ciencia y, lo que es ms, en una de las ms rigurosas y perfectas construcciones del espritu cientco moderno. Es en el tercer perodo, tal como ya se ha dicho, cuando comienzan a forjarse los conceptos de variable y funcin como respuesta al estudio del movimiento que haca la nueva ciencia Fsica. Los conceptos de variable y funcin son reejo de propiedades generales del cambio o movimiento. Un paso crucial en la formacin del concepto de variable y funcin fue la publicacin, en 1639, de la Geometra de Descartes (1596-1650), donde se establecen las bases de la geometra analtica.
108
Unidad de Funciones y Sistemas de Ecuaciones Lineales
Las ideas bsicas de Descartes, aunque ahora parecen naturales, constituyen una ruptura (epistemolgica?) con toda la concepcin que se tena de la matemtica, pues temas que en el lgebra constituan incgnitas, es decir, cantidades constantes, ahora son vistas como variables. Por ejemplo, ecuaciones como x + y = 1 y x2 + y2 = 1 desde el punto de vista del lgebra, x e y son incgnitas, es decir, el lgebra busca cantidades jas x e y que satisfagan una de ellas, y considerando que el lgebra no poda resolverlas, ellas carecan de inters para la Matemtica de aquella poca. Pero, la idea rupturista de Descartes es que ya no vio a x e y como incgnitas, sino como variables, y en este caso las ecuaciones citadas se transforman en algo completamente distinto, dichas ecuaciones representan la interdependencia de dos variables. Por otro lado, en su afn que las ciencias slo utilizaran verdades claras y evidentes y reformar la Geometra, Descartes introduce el sistema de los ejes coordenados, que le permiten hacer una correspondencia entre puntos del plano (concepto geomtrico) y pares de nmeros reales (x, y) que satisfacen alguna ecuacin algebraica. De este modo las ecuaciones algebraicas con dos incgnitas tienen una interpretacin geomtrica y se transforman en curvas en el plano. As, entonces, es posible unir y venir del lgebra a la Geometra, permitiendo: Extraer propiedades de objetos geomtricos a partir del lgebra usando la ecuacin algebraica que caracteriza al objeto geomtrico; Obtener propiedades de una expresin algebraica usando sus propiedades geomtricas.
Introduccin histrica
109
QU REFLEJA EL CONCEPTO DE FUNCIN?

Como ya se ha dicho, el concepto de funcin reeja la interdependencia de distintas magnitudes que rigen algn fenmeno. En general, los fenmenos estudiados por las ciencias estn regidos por leyes cuantitativas que pueden ser sintetizadas en una frmula matemtica, en muchos casos algebraica. Por ejemplo: 1. 2. 3. La longitud de los lados de un rectngulo determina completamente su rea. El alargamiento de una varilla metlica est determinado por su temperatura. La velocidad con que se mueve un cuerpo con movimiento uniforme est determinada por la distancia y el tiempo empleado en recorrer dicha distancia. Este tipo de correspondencia dio lugar al concepto de funcin. Matemticamente, una funcin corresponde, generalmente, a una ecuacin que relaciona las distintas magnitudes que determinan completamente un fenmeno u otra magnitud ms compleja.
Ejemplos: 1. Si x e y representan las longitudes de un rectngulo, entonces el rea del rectngulo se expresa por la frmula algebraica: A(x,y) = x y 2. Si en particular se tiene un cuadrado, entonces el rea del cuadrado est completamente determinada por la longitud del lado: A(x) = x x 3. Si partir de un cuadrado de lado a se quiere construir una caja rectangular abierta de altura x. El volumen V de la caja se calcula por la frmula: V(x) = x(a 2x)2, donde x puede variar entre 0 y 4. El alargamiento de una varilla se expresa por la frmula: L(t) = I0 + I0t, Donde, es el coeciente de dilatacin lineal, lo es la longitud de la varilla cuando t = 0. a . 2
110
5.
La ley de cada de los cuerpos establecida por Galileo (1564 1642), que dice que la distancia recorrida en la cada crece proporcionalmente al cuadrado del tiempo:
2 d(t) = gt , donde g es la constante aceleracin de gravedad. 2
En general, esta ley del movimiento expresa la distancia recorrida en el tiempo t. En este caso, el tiempo t y la distancia d son, respectivamente, las variables independiente y dependiente; y el hecho de que a cada instante t le corresponda una distancia d nicamente determinada por la respectiva ecuacin, se expresa diciendo que la distancia d es funcin del tiempo t y se escribe d = d (t). Retomando el ejemplo 1, vemos que en este caso el rea depende de dos magnitudes que en principio pueden tomar cualquier valor, independientemente una de la otra. Pero, si se impone una condicin adicional, por ejemplo un permetro dado, obtenemos que el rea se convierte en una funcin de uno de los lados. Si queremos que el permetro sea de 10 unidades de longitud, entonces, la ecuacin 10 = 2x + 2y, permite despejar una de las variables en trminos de la otra y obtenemos que: A(x) = x(10 2x) = 5x x2 2 Esta relacin nos dice cunto vale el rea para cualquier valor admisible de x. Los valores admisibles de x estn determinados por la condicin que 5 2x sea positivo a lo sumo 0. Entonces los valores admisibles para x son los nmeros que estn entre 0 y 5 . Este conjunto de valores 2 admisibles se suele llamar dominio de la funcin o conjunto de partida. En general, cuando una de las magnitudes queda completamente determinada por otra, como en los ejemplos 2 a 5, una de las variables se llama independiente y la otra dependiente. El ser independiente o dependiente es relativo a los datos que se tienen del fenmeno a estudiar. Ejemplos de relaciones que no son funciones: Si para cada valor de una cierta variable independiente se obtiene ms de un valor de la variable dependiente, la ambigedad que esto produce para efectos de los clculos deseados, hacen que tal relacin no sea prctica y por tanto no se considera funcin. Por ejemplo: 1. 2. 3. Dado un nmero x entero, sea y un entero que se encuentra a la distancia 1 de x. Esta relacin no dene una funcin dado que a cada x le corresponden dos nmeros y distintos. Dado un nmero cualquiera x, sea un nmero que est a una distancia menor que un medio de x. En este caso a cada x le corresponden innitos y. Si en el ejemplo anterior tomamos como valores admisibles para la variable independiente x los nmeros enteros, entonces, no existe y para ningn x. Por lo tanto, esta tampoco dene una funcin.
Qu reeja el concepto de funcin?
111
En general, estos ejemplos ponen en evidencia la importancia del conjunto donde se dene la funcin o el candidato a funcin. En sntesis, podemos decir que existen dos condiciones generales para que una relacin sea funcin con dominio A y estas son: Que cada elemento de A tenga al menos un valor real. Que cada elemento de A tenga uno y slo un valor real. Esto nos permite decir cundo una cierta relacin no es funcin; para ello basta que una de las condiciones anteriores no se cumpla. Es decir: Una relacin entre nmeros no es una funcin con dominio A: si existe algn elemento de A al cual no le corresponda ningn nmero o si a algn elemento de A le corresponda ms de un nmero.
112
VARIABLES DISCRETAS Y VARIABLES CONTINUAS

Si una magnitud vara mediante saltos, como por ejemplo el nmero de personas que llega a la caja de un banco en un determinado da, el nmero de nacimientos y muertes en un cierto intervalo de tiempo, se dice discreta. Otra forma de concebir lo discreto, es algo que al ser fraccionado pierde su esencia. Por ejemplo: la mitad de una silla no es una silla. En cambio, un uido si se fracciona conserva su esencia. De todos modos los conceptos matemticos de discreto o continuo son abstracciones de los ejemplos dados. Es posible encontrar condiciones fsicas en que, los ejemplos de cosas continuas puedan no darse de manera tan pura. Para evitar confusiones, es necesario aclarar que el concepto matemtico es una abstraccin y, por lo tanto, cualquier realizacin concreta de l puede darse bajo ciertas condiciones y no de manera absoluta. Una de la ms elementales consecuencias de la posibilidad que ofrecen las magnitudes continuas de ser divididas es la aparicin de las fracciones, es decir, uno divide magnitudes continuas como longitudes, reas, intervalos de tiempos, etc. La interrelacin entre estos conceptos lo continuo y lo discreto ha sido bastante conictiva a travs de la historia de la Matemtica. El primer conicto es el famoso descubrimiento de las magnitudes inconmensurables hecho por la Escuela Pitagrica durante el siglo VI a.C. La matemtica pitagrica era esencialmente discreta: los nmeros hasta esa poca enteros positivos eran concebidos como coleccin de unidades y su representacin geomtrica consista en guras formadas por puntos rodeados de un espacio vaco. El descubrimiento de las magnitudes inconmensurables, en particular el hecho de que la diagonal de un cuadrado y su lado no tengan una medida comn, puso en evidencia que las guras geomtricas no estaban compuestas por una cantidad nita de puntos, sino por una cantidad innita de puntos, ms an, una innidad continua de puntos. Al no poder resolver esta contradiccin, los griegos separaron completamente lo discreto de lo continuo. Lo continuo qued integrado a la Geometra y lo discreto a la Aritmtica. El ejemplo tpico de variable continua es el tiempo; su modelo aritmtico es el conjunto de los nmeros reales y su modelo geomtrico ms elemental es la lnea recta. Las variables discretas, en general, aparecen al contar ciertos objetos, sucesos o fenmenos y por lo tanto, el modelo matemtico de una variable discreta es el conjunto de los nmeros naturales.
Variables discretas y variables continuas
113
En la relacin funcional entre una variable independiente y dependiente pueden darse distintas combinaciones:
Variable independiente Discreta Continua Continua Variable dependiente Discreta Discreta Continua
Ejemplos 1. 2. El nmero de nacimientos en cada da de un mes. En este caso el nmero del da es la variable independiente, y el nmero de nacimientos, la variable dependiente. Ambas son discretas. Si t es el tiempo y su correspondiente y es el nmero de personas que estn en la la de una caja de un banco en ese instante de tiempo, la variable independiente es continua, y su correspondiente variable dependiente es discreta. La posicin de una partcula en movimiento rectilneo y uniforme en cada instante de tiempo t.
3.
Es interesante observar que no es posible tener una funcin con variable independiente discreta y variable dependiente continua. Como solamente es posible tener funciones con variable independiente discreta con variable dependiente tambin discreta, estas funciones reciben un nombre especial: se les llaman sucesiones.
114
LA FUNCIN LINEAL
Como se ha dicho anteriormente, la funcin ms simple de variable independiente y dependiente continua es la que describe la posicin de una partcula en movimiento rectilneo y uniforme en cada instante de tiempo t. Tambin se ha dicho que el conjunto de los nmeros reales es el modelo matemtico de una magnitud que vara continuamente. Pero, en la vida concreta una magnitud vara entre ciertos valores, por lo cual para el estudio de este tipo de funciones conviene tomar ciertos subconjuntos de IR, llamados intervalos, que tienen la cualidad de ser los nicos subconjuntos continuos de IR. Estos intervalos pueden ser de unos de los siguientes tipos:
Denicin de intervalos
Sean a y b nmeros reales tales que a b. [a, b] Denota al conjunto de todos los nmeros comprendidos entre a y b incluyendo a ambos. a b
Figura 1
] a, b [ Denota al conjunto de todos los nmeros comprendidos entre a y b excluyendo los extremos. a
Figura 2
] a, b] Denota al conjunto de todos los nmeros comprendidos entre a y b excluyendo a e incluyendo b. a

Figura 3
[a, b [ Denota al conjunto de todos los nmeros comprendidos entre a y b excluyendo b e incluyendo a. a
Figura 4
Denicin: A la funcin cuya relacin entre las variables dependiente e independiente est dada por la ecuacin y = ax, con a nmero real jo, se le llama funcin lineal. El grco de esta funcin es una lnea recta: observemos que la denicin de funcin lineal es de carcter algebraico. Para demostrar que efectivamente el grco de esta funcin es una lnea recta se debe hacer la equivalencia entre conceptos de naturaleza diferente. Es aqu donde la Geometra analtica realiza la funcin de relacionar lo algebraico con lo geomtrico.
La funcin lineal
115
Desde el punto de vista geomtrico, la recta est caracterizada por los axiomas de la Geometra euclidiana y podemos usar todos sus resultados. Recordemos que los dos conceptos fundamentales de la Geometra analtica, corresponden a la idea de Descartes de crear un mtodo que pudiera aplicarse a la resolucin de todos los problemas de la Geometra. Ellos son: a. El concepto de coordenada de un punto, que permite representar en forma de curva plana cualquier ecuacin algebraica con dos incgnitas. El concepto de variable, introducido en la expresin de una ecuacin algebraica con dos incgnitas del tipo F(x, y) = 0. Este concepto permite mirar una ecuacin algebraica bajo otra perspectiva. Pues, si cada solucin (x, y) de la ecuacin se ve como un punto del plano, entonces el conjunto {(x, y): F(x, y) = 0} puede ser representado como una curva en el plano.
b.
As, se obtiene la ventaja de poder aplicar mtodos algebraicos a la resolucin de problemas geomtricos y viceversa. Recordemos que en el siglo XVII, la Geometra estaba en el mismo estado que la haban dejado los griegos de la Antigedad; en cambio el lgebra haba sido desarrollada fuertemente por los rabes en la Edad Media e italianos en el siglo XVI, principalmente. Demostraremos primero que toda recta L que pasa por el origen del sistema de coordenadas puede ser representada por una ecuacin algebraica del tipo: y = ax Dada la recta L, se construye un sistema de coordenadas de modo que la recta pase por el origen del sistema.
Figura 5. Recta que pasa por el origen
Por semejanza de tringulos se tiene, para todo punto Pi de la recta, la siguiente relacin: PM P1M1 PM PM = 2 2 = 3 3 =L= i i OiMi O1M1 O2M2 O3M3
116
A esta constante de proporcionalidad la podemos llamar a. Utilizando las coordenadas cartesianas de los puntos Pi = ( xi , yi ) se tiene que: y a = xi i Ms generalmente, sea P un punto cualquiera de la recta L, y (x, y) sus coordenadas entonces, por lo recin demostrado, se tiene que: y = ax, donde a es una constante que depende de L. Ahora demostraremos la armacin recproca Debemos demostrar que el conjunto de puntos del plano C = {(x, y): y = ax} representa una recta que pasa por el origen. Sean P1 y P2 dos puntos distintos de C. Utilizando el axioma de la Geometra que dice que existe una nica recta que pasa por dos puntos distintos, tenemos que existe una nica recta L determinada por P1 y P2. Ahora, lo que debemos demostrar es que C = L. Por lo visto en la primera parte de la demostracin se tiene: y2 y1 x2 = x1 = A Es decir, la ecuacin que representa a L tiene la forma y =Ax donde A es una constante que caracteriza a L. Para encontrar el valor de A, utilizamos el hecho de que P1 y P2 pertenecen a la recta y, por lo tanto, se satisface el sistema: y1 =Ax1 y2 =Ax2 Utilizando que P1 y P2 pertenecen al conjunto C, obtenemos que A = a. Por lo cual, el conjunto C y la recta L contienen los mismos puntos. Pendiente o inclinacin de una recta que pasa por el origen: si la recta pasa por el origen, al nmero a de la ecuacin y = ax, se le llama pendiente de la recta. Por lo ya visto, este nmero corresponde al cuociente entre la ordenada y la abscisa de cualquier punto de la recta. y a = xi i
La funcin lineal
117
Figura 6. Recta que NO pasa por el origen
Haciendo una traslacin de ejes, de manera que en el nuevo sistema coordenado la recta pase por el nuevo origen O, se obtiene una traslacin determinada por las ecuaciones: y = y b x = x Aplicando el procedimiento anterior a la recta L en el sistema coordenado XY, se obtiene que sus puntos satisfacen la ecuacin: y = ax, Esta misma ecuacin expresada con respecto al sistema XY, queda en la forma: y b = ax Esta ltima ecuacin, que puede ser escrita como ax y + b = 0, es una ecuacin lineal en las variables x e y.
Descripcin matemtica del movimiento con velocidad constante en magnitud y sentido

Si una partcula se mueve con velocidad constante y considerando que velocidad es el cuociente entre el camino recorrido y el tiempo empleado en recorrerlo, tenemos las siguientes ecuaciones. v= d t y d=vt
Entonces, si la partcula en el instante t = 0 est en el lugar d0, la posicin de la partcula depende del tiempo y en el instante t habr recorrido una distancia igual a v t y su posicin es: d(t) = vt + d0 con v y d0 constantes.
118
En este caso el tiempo es la variable independiente y la posicin es la variable dependiente. La constante v puede tomar cualquier valor en IR. En particular si v es positivo, entonces la interpretacin fsica es que la partcula avanza. Si v es negativo, signica que la partcula retrocede. Si v es igual a cero, signica que la partcula no se mueve.
Figura 7
En cunto vara la posicin de la partcula cuya posicin est dada por d(t) = vt + d0, con v y d0 nmeros jos cuando el tiempo varia de t1 a t2? Sea: d(t1) = vt1 + d0 d(t2) = vt2 + d0 Entonces, d(t2) d(t1) = (v t2 + d0) (v t1 + d0) = v t2 v t1 = v (t2 t1) La variacin de la posicin es v por la variacin del tiempo, es decir, es proporcional a la variacin del tiempo. Denotando la variacin de la posicin d(t2) d(t1) = d y la variacin del tiempo por t2 t1 = t Observamos que d =v t
Por lo tanto la razn o cuociente entre las variaciones de la posicin con respecto al tiempo son constantes y no dependen de los instantes particulares de tiempo considerados. Por lo tanto, usando la caracterizacin de la recta como la curva cuya razn de variacin es constante, podemos concluir que el grco que describe ese tipo de movimiento en un esquema
La funcin lineal
119
tiempo versus posicin es una recta. Como es una recta, en virtud del axioma de la Geometra euclideana: existe una nica recta que pasa por dos puntos. Entonces, para gracar este tipo de funciones basta conocer dos puntos: (x, y).
Figura 8
Figura 9
Figura 10
Interpretacin geomtrica
Como v es constante, los tringulos rectngulos de lados t2 t1, d(t2) d(t1) son semejantes, cualesquiera sean los valores de t1 y t2, entonces el ngulo que forma la hipotenusa con la direccin del eje t es constante. Este ngulo constante se llama inclinacin de la recta o pendiente y d como est completamente caracterizado por la proporcionalidad , a este nmero se le llama t pendiente o inclinacin de la recta. Como hemos visto anteriormente, d = v = pendiente o inclinacin. t
120
Ejercicios 1. Interprete con palabras las siguiente ecuaciones que denen una funcin. Graque. Analice los valores posibles que puede tomar la variable independiente y la dependiente. a. b. c. d. e. f. 2. d(t) = 3t 2 d(t) = 3t + 2 d(t) = 3t + 2 d(t) = 3t 2 d(t) = 3t 2 d(t) = 3t 2 ; t [0, 10] ; t [0, 10] ; t [0, 10] ; t [0, 10] ;t0 ;tR
Encuentra la relacin funcional que describe la siguiente situacin. a. Los primeros 45 minutos la partcula no se mueve. Los siguientes 60 minutos avanza a una velocidad constante de 90 km/h, los siguientes 30 minutos retrocede a la misma velocidad, y el tiempo restante, hasta completar 4 horas de viaje, avanza a una velocidad de 60 km/h. Graca usando minutos y horas.
b.
La funcin lineal
121
LA FUNCIN VALOR ABSOLUTO
Introduccin: Observemos que si se tienen dos nmeros reales distintos a y b, en particular supongamos que a < b, entonces usando el orden en IR: a + a < a + b , es decir: 2a < a + b
Por otro lado, sumando b a la desigualdad original se tiene: a + b < 2 b. Usando la transitividad se tiene que: a < (a+ b)/2 < b Este proceso puede extenderse indenidamente en teora, no en la prctica.... Entonces, si entre dos nmeros distintos pueden intercalarse una innidad de otros nmeros, se pierde la perspectiva de cun lejos o cerca estn los nmeros iniciales. Por esta razn, es necesario introducir una nocin de distancia entre nmeros. Para comenzar, se dene la distancia de un nmero cualquiera al cero.
Figura 11
Denicin: se llama valor absoluto de un nmero a a su distancia al cero. El valor absoluto de a se simboliza como | a |. | a | = d(0, a)
Ejemplos |3|=3 | 3 | = 3 |0|=0 | 3| = 3.
122
Propiedades elementales del valor absoluto: deducirlas usando la Geometra, es decir, el concepto de distancia. | x | = a x = a.
| x | a a x a.
| x | a x a o x a
Denicin de distancia entre dos nmeros: | a b | y deducir las propiedades de la distancia. Qu puede decirse de dos nmeros cuya distancia es menor que cualquier nmero positivo? Resolver ecuaciones del tipo | ax + b | = c El valor absoluto como funcin. Grco.
Figura 12
Gracar y = | ax + b | y resolver grcamente la ecuacin | ax + b | = c.
La funcin valor absoluto
123
LA FUNCIN PARTE ENTERA
Parte entera de x = [x] es el mayor nmero entero menor o igual a x. Entonces: [x] x. Por otro lado, como [x] es el mayor nmero entero que cumple esta desigualdad, tenemos que [x] + 1 > x. Por lo tanto, para cualquier nmero x se tienen las siguientes desigualdades: [x] x < [x] + 1 Ejemplos a. b. c. [1,5] = 1
[8 ]=2 3
[ 0,5] = 1; pues 1 es el mayor entero menor o igual a 0,5.
Otra manera de verlo es: 1 < 0,5 < 0 [ 0,5] = 1. En clculos aproximados es muy importante saber determinar la parte entera de una magnitud, pues, si conocemos la parte entera de una magnitud x, podemos tomar [x] o [x] + 1 como valor aproximado de la magnitud con un error que no pasa la unidad.
0 x [x] < [x] + 1 [x] = 1 0 < [x] + 1 x < [x] + 1 [x] = 1
124
1 La aproximacin es ms na an, pues al aproximar x por [x] el error no supera el valor 2 . Este valor puede tomarse igual a: [x] + 1 2
Conociendo la parte entera de un nmero, podemos determinarlo con cualquier grado de exactitud. [Nx] Nx [Nx] + 1 1 [Nx] [Nx] x + N N N el nmero 1 [Nx] 0x N N 1 1 [Nx] 0 x N 2N + 2N 1 1 1 [Nx] 2N x N 2N 2N x diere de 1 1 [Nx] + en a lo ms . 2N 2N N
Entonces, mientras ms grande es N, menor es el error. Ejemplo Encontrar la parte entera de x = 1 + Solucin: Usando, 111 1 0,7 < 2 1 0,5 < 3 1 0,5 4 1 0,4 < 5 1 1 1 1 2 + 3 + 4 + 5
< 0,8 < 0,6 0,5 < 0,5
1 + 0,7 + 0,5 + 0,5 + 0,4 < x < 1 + 0,8 + 0,6 + 0,5 + 0,5 3,1 < x < 3,4 [x] = 3 Compara con el valor dado por una calculadora.
La funcin parte entera
125
GEOMETRA ANALTICA
Las nociones fundamentales de la Geometra analtica son las imgenes geomtricas elementales (puntos, rectas, planos, curvas y supercies de segundo grado). Los principales medios de investigacin en la Geometra analtica son el mtodo de coordenadas y los mtodos de lgebra elemental. La aparicin del mtodo de coordenadas est ntimamente ligada con el impetuoso desarrollo de la astronoma, la mecnica y la tcnica en el siglo XVII. La exposicin clara y exhaustiva de este mtodo y de los fundamentos de la Geometra analtica, fue realizada por Ren Descartes en su Gomtrie (1637). Las ideas fundamentales del mtodo tambin eran conocidas por su contemporneo Pierre de Fermat. El desarrollo posterior de la Geometra analtica esta relacionado con las obras de G. Leibniz, I. Newton y, en particular, de L. Euler. Los medios de la Geometra analtica fueron empleados por J. Lagrange al construir la mecnica analtica, y por G. Monge, en la Geometra diferencial. En la actualidad, la Geometra analtica no tiene, como ciencia, valor independiente, pero sus mtodos se aplican extensamente en diversas partes de la Matemtica, la Fsica y otras ciencias. La esencia del mtodo de coordenadas consiste en lo siguiente: Por ejemplo, dibujadas en el plano dos rectas perpendiculares entre s Ox y Oy, deniendo en cada una de ellas el sentido positivo con el origen de coordenadas O y la unidad de escala elegida e, forman el llamado sistema cartesiano de coordenadas Oxy en el plano. Las rectas Ox y Oy se denominan eje de abscisas y eje de ordenadas, respectivamente. La posicin de cualquier punto M en el plano con relacin a este sistema Oxy se puede determinar del modo siguiente. Supongamos que Mx y My son las proyecciones de M sobre Ox y Oy, en tanto que los nmeros x e y son las longitudes de los segmentos OMx y OMy, los nmeros x (la abscisa) e y (la ordenada) se denominan coordenadas cartesianas del punto M en el sistema Oxy. Para la designacin del punto M con abscisa x y ordenada y se hace uso del smbolo M(x, y). Es evidente que las coordenadas del punto M determinan su posicin con respecto al sistema Oxy. En la Geometra analtica en el plano se estudian detalladamente las propiedades de la elipse, la hiprbola y la parbola, que son de por s lneas de interseccin de un cono circular con planos que no pasan por su vrtice. En Geometra analtica en el plano se investigan sistemticamente las llamadas lneas algebraicas de primer y segundo orden; estas lneas se determinan en las coordenadas cartesianas con ecuaciones de primer y segundo grado, respectivamente. Las lneas de primer orden son rectas y viceversa; cada recta se determina con una ecuacin algebraica de primer grado . Las lneas de segundo orden se determinan por ecuaciones de la forma . El mtodo fundamental de investigacin y clasicacin de estas lneas consiste en la eleccin de tal sistema cartesiano de coordenadas, en el que la ecuacin de la lnea tenga la forma ms sencilla, y en la investigacin posterior de esta ecuacin. (Enciclopedia de las Matemticas, Tomo 6, p. 2223, 1994, Editorial MIR, Mosc).
126
Pendiente de una recta

Dos puntos distintos determinan una recta. Una recta tambin puede determinarse mediante un punto en la recta y una medida de la inclinacin de la recta. La medida de la inclinacin de la recta se denomina pendiente de la recta. Una forma de obtener una medida de la inclinacin de una recta es comparar el cambio vertical en la recta (la elevacin) con el cambio horizontal (el desplazamiento) al moverse de un punto determinado a otro. Dada la recta determinada por los puntos A y B, de coordenadas A(x1, y1); B(x2, y2), se puede calcular su pendiente mediante la expresin: m= y2 y1 x2 x1
A la diferencia entre dos abscisas cualesquiera (x2 x1) y entre dos ordenadas cualesquiera (y2 y1), comnmente se le denomina delta o incremento, lo que se simboliza con la letra griega () del mismo nombre. Grcamente tenemos que,
Figura 13
En resumen, la pendiente indica la razn o cuociente entre las variaciones horizontales y verticales de la funcin.
ngulo de inclinacin de una recta

El ngulo de inclinacin denominado con la letra griega alfa() de una recta, es aquel ngulo que se forma de la interseccin de la recta respecto del eje de las abscisas (x), como muestra la gura.
Figura 14
Geometra analtica
127
Si formamos un tringulo rectngulo en la recta, como el realizado para el clculo de la pendiente (gura 13), se dene la tangente de un ngulo (tg) como la razn entre el cateto opuesto al ngulo y el cateto adyacente a l. Por lo tanto tenemos que: m = tg()
Ecuacin de la recta dados dos puntos pertenecientes a ella
Figura 15
En la gura 15, se tiene el tringulo ABC, cuyos catetos AB = x x1 y BC = y y1 , y tambin el tringulo ADE cuyos catetos AD = x2 x1 y DE = y2 y1. Dado que el tringulo ABC es semejante con el tringulo ADE, se puede aplicar el teorema de Thales tomando las medidas de los catetos de los tringulos rectngulos formados y obtener: y y y y1 = 2 1 x2 x1 x x1 y y1 = y2 y1 (x x1) x2 x1
Con lo que se obtiene la frmula genrica que permite encontrar la ecuacin de la recta si se conocen dos puntos cualesquiera (x1, y1) y (x2, y2) pertenecientes a la recta. y2 y1 , corresponde a la forma en x2 x1 que se puede calcular la pendiente de la recta; por lo tanto otra forma de obtener la ecuacin de De la frmula anterior se puede observar que el trmino la recta es conociendo un punto y la pendiente de la recta. y y1 = m(x x1)
128
Ecuacin principal y ecuacin general de la recta

A partir de la ecuacin que nos permite determinar la ecuacin de la recta conociendo un punto y la pendiente de la recta: y y1 = m(x x1) Despejamos la ecuacin en funcin de la variable x, y distribuimos la pendiente con respecto al parntesis, con lo que se tiene: y = mx + (y1 mx1) El trmino (y1 mx1) que representa un valor numrico se le denomina coeciente de posicin, n. Por lo tanto, se tiene que: y = mx + n, m, n IR
Dicha expresin es conocida como la ecuacin principal de la recta, donde el valor m representa la pendiente de la recta, y el valor n representa el coeciente de posicin de la recta. Ahora, toda expresin de la forma: ax + by + c = 0 representa la ecuacin general de una recta. A diferencia de la ecuacin principal de una recta, en esta ecuacin no se observa a simple vista la pendiente y el coeciente de posicin. A partir de la expresin general ax + by + c = 0, despejamos la variable y, obteniendo: by = ax c y= a x c b b Con esto tenemos que: m= a b y n= c b
Por lo tanto, conociendo los valores de los coeciente a, b y c en la ecuacin general de la recta, podemos determinar el valor de la pendiente y el coeciente de posicin de esta.
La funcin analtica
129
Coeciente de posicin de la recta

Anteriormente se mencion el coeciente de posicin, pero qu nos indica este coeciente? Bueno, este valor nos permite conocer el lugar o el punto en que la recta intersecta al eje de las y. Es decir, nos indica el valor de la ordenada del punto donde la recta intersecta al eje y. Como se observa en el grco, este punto tiene abscisa 0, es decir, en ese punto la variable independiente x toma el valor 0, para obtener su correspondiente imagen, o el valor de la y, se sustituye x = 0 en la ecuacin. En este caso tenemos y = mx + n. Al sustituir x por 0 se obtiene y = n.
Figura 16
Esto quiere decir que la recta se encuentra desplazada en n unidades del origen del sistema sobre el eje de las y.
130
POSICIONES RELATIVAS EN EL PLANO

Rectas paralelas
Dos rectas no verticales con la misma pendiente son paralelas; dos rectas paralelas no verticales tienen la misma pendiente. Adems, todas las rectas verticales son paralelas. Dos rectas cualesquiera L1 y L2 son paralelas si y slo si tienen igual pendiente. Dadas: L1 : y = m1x + n1 L2 : y = m2x + n2 L1 // L2 m1 = m2
Figura 17
Rectas coincidentes
Dos rectas son coincidentes si y slo si tienen igual pendiente e igual coeciente de posicin. Si: L1 : y = m1x + n1 L2 : y = m2x + n2 entonces: L1 es coincidente con L2 {m1 = m2 y n1 = n2}
Figura 18
Posiciones relativas en el plano
131
Rectas perpendiculares
Si dos rectas son perpendiculares, y ninguna vertical, entonces sus pendientes son recprocamente negativas; luego, su producto es 1. De igual forma, las rectas con pendientes recprocamente negativas son perpendiculares. Toda recta vertical es perpendicular a cualquier recta horizontal. Dos rectas, L1 : y = m1x + n1 L2 : y = m2x + n2 son perpendiculares si y slo si el producto de sus pendiente es 1. L1 L2 m1 m2 = 1
Figura 19
Rectas secantes
Dos rectas son secantes en un plano si y slo si se intersectan en un nico punto.
Figura 20
132
SISTEMAS DE ECUACIONES LINEALES
Introduccin Muchas aplicaciones de la Matemtica requieren la solucin de una gran cantidad de ecuaciones simultneas que tienen muchas variables. Tal conjunto de ecuaciones se denomina sistema de ecuaciones. Cualquier ecuacin de la forma a1x1 + a2x2 + + anxn = b para nmeros reales (no todos cero) y b, es una ecuacin lineal. Si todas las ecuaciones en un sistema son lineales, el sistema es un sistema de ecuaciones lineales o sistema lineal. Como se dijo anteriormente, existen muchas situaciones que conducen al planteamiento de una ecuacin o ms, con una o ms incgnitas. Analicemos por ejemplo los siguientes casos: Problema 1: Cuntos tringulos satisfacen la condicin de que su permetro mida 10 unidades de longitud? Problema 2: Cuntos tringulos cumplen con la condicin de tener dos lados iguales y permetro 10 unidades de longitud? Problema 3: Cuntos tringulos equilteros tienen permetro igual a 10 unidades de longitud? Si queremos resolver estos tres problemas, debemos plantearlos matemticamente de la siguiente manera:
Figura 21
1.
Sean x, y, z los lados de un tringulo cualquiera, entonces la condicin pedida en el problema 1, se describe como x + y + z = 10. Ahora, si el tringulo es issceles, entonces tiene dos lados iguales. Supongamos y = z. As, obtenemos la ecuacin 2y + x = 10. En el caso del problema 3, x = y = z, entonces la condicin pedida se traduce en 3x = 10.
2.
3.
133
Notemos que en el caso 3, existe una nica solucin que es x = 10 unidades de longitud. 3 En cambio, en los problemas 1 y 2, tenemos una ecuacin con 3 y 2 incgnitas, respectivamente. El hecho de que estos problemas dejen ms libertad de resolucin, se traduce matemticamente en que existan innitas soluciones. Para el problema 2, tenemos que si despejamos x, nos queda x = 10 2y Considerando que x es una longitud, x debe ser positivo, por lo cual los posibles valores admitidos para x deben ser tales que x > 0. Por ejemplo, y = 6, no es un valor posible pues en este caso x = 2. As, podemos deducir que si la incgnita x se considera funcin de y, a la variable y le est permitido variar entre 0 y 5, es decir, 0<y<5 (1)
Entonces, cualquier valor de y, bajo la restriccin (1) proporciona una solucin al problema 2. As el problema 2 tiene innitas soluciones, y sus soluciones como se vio en la unidad 5, corresponden a los innitos puntos del segmento rectilneo x = 10 2y, con y variando entre 0 y 5. De igual forma, el problema 1, tiene innitas soluciones: y = 10 x z Si consideramos x, z como variables independientes y variando en un conjunto de valores donde el problema tenga sentido, es decir y > 0. La restriccin para x y z es que 0 < x + z < 10 (2)
Bajo la restriccin (2) el problema 1 tiene innitas soluciones. Cmo transformar los problemas 1 y 2 en problemas que tengan una nica solucin? Si observamos que sus innitas soluciones provienen del hecho de dejar demasiada libertad al problema, entonces tenemos que introducir ms condiciones para restringir su libertad. Como el problema 2 est bajo la restriccin adicional (1), 0 < y < 5, para dejar una opcin debemos introducir otra relacin matemtica entre los lados x e y, por ejemplo, que uno de ellos sea el doble del otro. Si la condicin la dejramos tal cual, tendremos dos posibilidades:
2y = x 2x = y
Figura 22
134
Si 2y = x, entonces tendremos dos ecuaciones lineales en x e y. x = 10 2y 2y = x (1) (2)
Reemplazando la ecuacin (2) en la ecuacin (1), nos queda una ecuacin con una incgnita x = 10 x 2x = 10 x=5 lo que implica que y = 2,5. Por lo tanto, tenemos una nica solucin: x = 5, y = 2,5.
Figura 23
Si 2x = y, tenemos las ecuaciones: x = 10 2y 2x = y Si multiplicamos la ecuacin (4) por 2, nos queda: 4x = 2y Reemplazamos la ecuacin (5) en la ecuacin (3): x = 10 4x, es decir, x = 2 lo que implica que y=4 (5) (3) (4)
Figura 24
En sntesis, el problema de un tringulo issceles de permetro 10 en que un lado es el doble del otro, conduce a dos sistemas distintos con una nica solucin cada uno. Nuevamente, las dos soluciones a este sistema provienen del hecho de dejar en libertad cul lado es el doble del otro.
135
Analicemos otras variantes del problema 2. Si se introduce una condicin adicional del tipo y = x + 4, entonces nos queda el sistema:
{
Reemplazando (2) en (1):
x = 10 2y y=x+4
(1) (2)
x = 10 2(x + 4) = 10 2x 8 x = 2 2x x = 2 y = 2 + 4 = 14 3 3 3 Cmo expresar en palabras la ecuacin (2)? Si la condicin se cambia por x = y + 4, entonces el sistema resultante es:
{
Igualando la incgnita x, tenemos que: y + 4 = 10 2y
x=y+4 y = 10 2y
y = 6 = 2 , lo que implica x = 6. 3 As, obtenemos la solucin: x = 6, y = 2. Si al problema 2 le cambiamos la condicin: y = x + 10. Entonces el problema se expresa matemticamente mediante el sistema:
{
cuya solucin es: 3x = 10
x = 10 2y y = x + 10
x = 10 2(x + 10) = 10 2x 20
x = 10 . 3
136
Esta solucin, aunque tiene sentido matemtico, no lo tiene en el contexto del problema, porque x es una longitud. En este caso el sistema o problema no tiene solucin. Puede suceder una situacin ms catastrca an; la segunda condicin puede ser: 2y + x = 3, entonces nos queda el sistema:
x = 10 2y 2y + x = 3 2y = 10 x 2y = 3 x 10 x = 3 x 10 = 3
Esta contradiccin nos permite concluir que el sistema no tiene solucin.
Ejemplos Los siguientes ejemplos fueron planteados y resueltos por el matemtico suizo Leonard Euler (1707-1783). Pueden verse en su libro Elements of Algebra, Springer-Verlang, 1994. 1. Encuentra dos nmeros cuya suma sea 15, y cuya diferencia sea 7. Sea x = el nmero mayor y = el nmero menor
Entonces las condiciones pedidas se transforman en:
x + y = 15 xy=7
Despejando x en la primera ecuacin, obtenemos: x = 15 y (1)
Despejando la misma variable en la segunda ecuacin se obtiene: x=7+y
137
Igualando las dos ltimas ecuaciones: 15 y = 7 + y, despejando la ecuacin y obtenemos: y = 4.
Reemplazando este valor en (1) obtenemos el valor x, x = 11. 2. Generalizacin del ejemplo anterior. Dado dos nmeros distintos a y b, encuentra dos nmeros tales que su suma sea a y cuya diferencia sea b. Sea x = el nmero mayor y = el nmero menor
Entonces tenemos que:
x+y=a xy=b
Despejando x en la primera ecuacin, obtenemos: x = a y. Despejando la misma variable en la segunda ecuacin se obtiene: x=b+y Igualando las dos ltimas ecuaciones obtenemos: a y = b + y, lo que implica: y= ab . 2
Lo que a su vez nos permite obtener el valor de x: x= 3. a+b . 2
Una mula y un burro llevan una carga de cierta cantidad de kilogramos de peso. El burro se quej del peso de su carga y le dice a la mula: Necesito cien kilogramos de tu carga para lograr que mi carga sea 2 veces el peso de tu carga. A lo cual la mula responde: Pero si tu me das cien kilogramos de tu carga, mi carga ser equivalente a 3 veces el peso de la tuya.
138
Cuntos kilogramos de peso lleva cada uno de los animales? Sea y = la carga del burro x = la carga de la mula y + 100 = 2(x 100) x + 100 = 3(y 100) Entonces tenemos que:
y = 2(x 100) 100 y = 2x 300
Reemplazando y en la segunda ecuacin, obtenemos: x + 100 = 3(2x 300 100) x + 100 = 6x 1.200 5x = 1.300 x = 260 Reemplazando el valor de x en la primera ecuacin, obtenemos: y + 1 = 2(260 100) y = 2 160 100 y = 220 De acuerdo a los valores obtenidos para x e y, la mula lleva una carga de 260 kilogramos y el burro lleva una carga de 220 kilogramos. Deniciones bsicas Denicin: Dado un sistema lineal S, con p incgnitas y p ecuaciones: a11x1 + a12x2 + + a1pxp = b1 a21x1 + a22x2 + + a2pxp = b2 an1x1 + an2x2 + + anpxp = bn Donde los coecientes aij, bi son nmeros reales, llamaremos conjunto de denicin del sistema S al conjunto de nmeros reales, donde las ecuaciones tienen sentido matemtico. Llamaremos conjunto solucin del sistema S al conjunto de nmeros reales que satisfacen todas las ecuaciones del sistema. En general, es til tener presente que el conjunto solucin es un subconjunto del conjunto de denicin del sistema.
139
Ejemplos 1. El sistema S:
{
2. El sistema;
x+
1 =4 y
4 3y = 8 x
tiene como conjunto de denicin {(x,y) IR2, x 0 , y 0}
{
3. 4. La ecuacin lineal:
2x + 40y 6 = 0 x2 y 1 = 0
tiene por conjunto de denicin los reales no negativos.
El sistema S dado al inicio, por ser lineal, tiene como conjunto de denicin IR2.
ax + by + c = 0 es una ecuacin con dos incgnitas, por lo tanto, su conjunto de denicin es IR2, y el conjunto solucin es S = {(x,y) IR2: ax + by + c = 0}, que segn lo visto en la Unidad 5 corresponde geomtricamente a una lnea recta. Denicin: Se llaman sistemas equivalentes a dos sistemas en que uno de ellos se obtiene del otro mediante operaciones aritmticas entre sus ecuaciones. Evidentemente, dos sistemas equivalentes tienen el mismo conjunto solucin.
140
Ejemplos S: 3x + 2y = 1 es equivalente S: 6x + 4y = 2, pues S resulta de multiplicar por 2 la ecuacin que constituye el sistema S.
{ {
{
Ejemplos con historia
1. El problema de los 30 pjaros
4x + y = 0 2 es equivalente a: 5x + 3y = 2 8x y = 0 equivalente a: 5x + 3y = 2 24x 3y = 0 5x + 3y = 2
Este tambin es equivalente a los dos anteriores, pues resulta de multiplicar por 3 la primera ecuacin del segundo sistema, y tambin resulta de multiplicar por 6 la primera ecuacin del primer sistema.
El matemtico italiano Leonardo de Pisa (11701250) en su libro Liber abbaci plantea el siguiente ejemplo llamado problema de los 30 pjaros. Ver: A History of Algebra de B. L. van der Waerden, Springer Verlang, 1985. Un hombre compra 30 pjaros: loros, palomas y gorriones. Un loro cuesta 3 monedas de plata, una paloma 2 y un gorrin 1 . l paga con 30 monedas. Cuntos loros, palomas y gorriones compra? 2 Solucin Sea x = nmero de loros y = nmero de palomas z = nmero de gorriones
Entonces
x + y + z = 30 3x + 2y + 1 z = 30 2
(1) (2)
141
Primero es importante observar que el conjunto de denicin de este sistema son los enteros positivos o nmeros naturales. Otro aspecto importante de este sistema, es que tiene tres incgnitas y dos ecuaciones. Si multiplicamos por (-2) la segunda ecuacin, obtenemos el sistema:
{
Sumando: Equivalentemente podemos escribir: Despejando x, obtenemos:
x + y + z = 30 6x 4y z = 60
5x 3y = 30
5x + 3y = 30
x = 30 3y . 5 Como buscamos x, y , debemos dar a y slo valores enteros positivos. Es fcil ver que para y = 1, 2, 3, 4 el respectivo valor de x no resulta entero. Para y = 5, tenemos que x = 3. Reemplazando estos valores en la ecuacin (1) nos da z = 22. El problema tiene por solucin: x = 3, y = 5, z = 22. Observacin: Cuntas soluciones tiene el sistema si x, y, z pudieran tomar valores en Z Z y en IR ? 2. La compra de un caballo
Otro problema planteado por Leonardo de Pisa es el relacionado con la compra de una caballo. Una persona dice a la otra: Si t me das un tercio de tu dinero, yo puedo comprar el caballo. El otro contesta: Si t me das un cuarto de lo tuyo, yo puedo comprar el caballo. Si p es el precio del caballo, entonces tenemos dos ecuaciones lineales con dos incgnitas: x = dinero de la primera persona y = dineros de la segunda persona
{
142
x+ 1 y=p 3 1 y+ x=p 4
En principio, el problema est indeterminado pues no conocemos p. Pero igualando ambas ecuaciones, obtenemos x+ 1 y= y+ 1 x 4 3 12x + 4y = 12y + 3x 9x = 8y Entonces, todos los nmeros reales positivos que satisfacen esta ecuacin son solucin del problema. As, el problema tiene, en principio, innitas soluciones; todos los puntos de la semirrecta 8y 9x = 0, con x e y positivos. Pero, considerando universos ms particulares como por ejemplo que x e y sean enteros positivos, 8y entonces: x = , implica que los valores admisibles de y son los mltiplos positivos de 9. 9 y = 9, 18, 27, ... y entonces x = 8, 16, 24, ... Una forma de obtener una nica solucin de este problema puede ser eligiendo los valores ms pequeos que satisfacen el sistema. En este caso, nos quedamos con los valores: x = 8, y = 9; adems podemos calcular el precio del caballo que resulta ser p = 11. /12
143
MTODOS DE RESOLUCIN DE SISTEMAS LINEALES
Sea S un sistema de n ecuaciones lineales y p incgnitas. a11x1 + a12x2 + + a1pxp = b1 a21x1 + a22x2 + + a2pxp = b2 an1x1 + an2x2 + + anpxp = bn
Mtodo de sustitucin
Este consiste en: Expresar una de las incgnitas en funcin de las otras utilizando una de las ecuaciones del sistema. Reemplazar estas incgnitas por la expresin encontrada en el paso anterior, en todas las otras ecuaciones del sistema. Obtenindose de este modo un sistema de (n 1) ecuaciones y (p 1) incgnitas, equivalente al inicial. Dependiendo de los nmeros n, p y del tipo del sistema, se puede repetir este mtodo hasta llegar a una ecuacin con una incgnita, cuyo valor nos dar, reemplazndolo en las ecuaciones anteriores, los valores de las otras incgnitas y obteniendo as la o las soluciones del sistema. La ventaja de este mtodo es que siempre es posible utilizarlo, aunque a veces puede ser largo de aplicar.
Ejemplo 1
2x + y = 2 3 Despejando y en la segunda ecuacin nos da y = 2 2x. 3
4x 6y = 4
144
Sustituyendo este valor en la primera ecuacin, obtenemos una ecuacin lineal en x: 4x 6 2 2x = 4 3 4x 4 + 12x = 4 16x = 8 x= 1 2
Sustituyendo este valor en y = 1 2x, obtenemos el valor de y = 2 2 1 = 2 1 = 1 . 2 3 2 3 3 As, el sistema tiene solucin x = Ejemplo 2 8x 3y z = 11 x+y+z=2 2x + 2y 6z = 20 Despejando z en la segunda ecuacin del sistema: z=2xy y la reemplazamos en la primera y tercera ecuacin: 1 1 ,y= . 2 3
{ {
8x + 3y (2 x y) = 11 2x + 2y 6(2 x y) = 20 8x 3y 2 + x + y) = 11
2x + 2y 12 + 6x + 6y = 20
9x 2y = 13 8x + 8y = 8
Despejando y en la segunda ecuacin del sistema reducido: y = 8 8x = 1 x 8
Mtodos de resolucin de sistemas lineales
145
Reemplazando este valor en la primera ecuacin nos queda una ecuacin en x: 9x 2(1 x) = 13 11x = 11 Por lo tanto x = 1. Reemplazando x = 1 en y = 1 x obtenemos que y = 2. Sustituyendo estos dos valores en: z=2xy z=21+2 z=3 El sistema tiene solucin: x = 1, y = 2, z = 3.
Mtodo de comparacin o igualacin

Este es el mtodo utilizado en la resolucin del segundo ejemplo de Euler. Consiste en: Expresar una misma incgnita en funcin de las otras en todas las ecuaciones del sistema. Igualar todas las ecuaciones contenidas en el paso anterior. De este modo se obtiene un sistema equivalente al sistema inicial con (n 1) ecuaciones e (p 1) incgnitas.
Ejemplo 1
x1 + y = 8 4 5 5 2y x + 1 = 7 5
Despejando y en ambas ecuaciones:
{
146
y=4 8 x1 5 5
y= 1 7+ x+1 5 2
) )
Igualando ambas ecuaciones: 4 8 x + 1 5 5 5 4 9 x 5 5
) )
x 1 = 7 + + 10 10 2 = 35 + x + 1 10
Amplicando la ecuacin por 10, nos queda: 8(9 x) = 35 + x + 1 72 36 = 9x 36 = 9x x=4 Con este valor de x reemplazado en: y= x+1 1 1 7+ = (7 + 1) = 4 5 2 2
La solucin al sistema es x = 4; y = 4.
Ejemplo 2
x + 3y + 5z = 15 2x + 4y + 6z = 22 x 2y 3z = 3
Expresamos x en trminos de y y de z en cada una de las ecuaciones del sistema. x = 15 3y 5z x= 22 4y 6z = 11 2y 3z 2
x = 3 + 2y + 3z Comparando las tres ecuaciones, obtenemos:
15 3y 5z = 11 2y 3z 3 + 2y + 3z = 11 2y 3z
Mtodo de resolucin de sistemas lineales
147
As, hemos transformado un sistema de tres ecuaciones y tres incgnitas en uno de dos.
y + 2z = 4 4y + 6z = 14
Comparando estas dos ecuaciones nos queda una ecuacin en la incgnita z: 14 6z 4 16 8z = 14 6z 4 2z = 2 = 2z z= 1 Reemplazando este valor de z en y = 4 2z, obtenemos y = 2. Con los valores z = 1, y = 2 reemplazado en cualquiera de las expresiones de x, obtenemos nalmente que: x = 3 + 2 2 + 3 1 = 4
Mtodo de combinaciones lineales

Consiste en: Amplicar los dos miembros de dos ecuaciones del sistema por nmeros reales convenientes para hacer que los coecientes para una de las incgnitas dadas, sean opuestos, en las dos ecuaciones elegidas. Sumar miembro a miembro las dos nuevas ecuaciones obtenidas en el paso anterior para obtener una relacin entre las restantes incgnitas del sistema. Repetir esta operacin las veces que sea necesario para obtener las soluciones posibles del sistema. Vericar que las soluciones encontradas satisfagan realmente todas las ecuaciones del sistema dado. Los siguientes ejemplos han sido extrados del libro de J. U. Uspensky : Teora de ecuaciones, Centro Estudiantes de Ingeniera. Univ. Buenos Aires, 1959. Ejemplo 1
{
148
ax + (a + x)y = 1 a2x + (a2 1)y = a
Si multiplicamos la primera ecuacin por (a) nos queda:
a2x + (a)(a + x)y = a a2x + (a2 1)y = a
Sumando ambas ecuaciones obtenemos una ecuacin en x: a (a + 1)y + (a2 1)y = 0 y (a2 1 a2 a) = 0 y ( 1 a) = 0 y (1 + a) = 0 Si (a + 1) 0 entonces y = 0. Reemplazando y = 0 en la primera ecuacin obtenemos el valor de x: ax = 1, si a 0, x = 1 a Entonces, si a 0 y a 1, la solucin del sistema es x = 1 , y = 0. a
Ejemplo 2
x y + = 2a a+b ab x y = 4ab
donde a y b son nmeros reales jos tales que a b. Para eliminar la variable y, debemos multiplicar la primera ecuacin por (a b), y nos queda:
a b x + y = 2a(a b) a+b x y = 4ab
149
Sumando ambas ecuaciones obtenemos la ecuacin en x: x + a b x = 2a(a b) + 4ab a+b x 1+
ab a+b
x a + b + a b = 2a(a + b) a+b
) )
= 2a(a b + 2b)
(
si a 0.
2a x = 2a(a + b) a+b x = (a + b)2
Despejando y en la segunda ecuacin nos da: y= y= As tenemos que el sistema tiene solucin: x = (a + b)2; y = (a b)2 x 4ab (a b)2
y = (a + b)2 4ab
Sistemas no lineales reducibles a lineales

Existen sistemas que, no siendo lineales, usando variables auxiliares, pueden ser reducibles a lineales. Estos ejemplos tambin fueron extrados de la obra citada. Ejemplo 1
{
150
2 3 =1 x y 3 2 =1 x y
Solucin Primero, es importante destacar que el sistema tiene sentido matemticamente slo cuando x 0 e y 0. En segundo lugar, este no es un sistema lineal puesto que ambas incgnitas estn elevadas a la potencia (1). Pero, usando variables auxiliares, podemos reducirlo a uno lineal. Sean u = 1 1 ,v= . Estas variables u, v nos permiten escribir el sistema como: x y
2u 3y = 1 3u 2v = 1
que es lineal en las variables u y v. Este sistema se puede resolver mediante el mtodo de combinaciones lineales.
{ {
2u 3v = 1 3u 2v = 1
/3 /(2)
6u 9v = 3 6u + 4v = 2
Sumando ambas ecuaciones nos queda: 5v = 1 v= 1 5 Reemplazando este valor en la ecuacin dos del sistema obtenemos el valor de u. 3u = 1 + 2v 3u = 1 2 5 3u = 5 2 = 3 5 5 Por lo tanto, u= 1 5
Volviendo a las variables iniciales: x = 1 , y = 1 , tenemos que x = 5, y = 5. u v

151
Ejemplo 2
3x 4y = 2xy 4x 5y = 3xy
Este sistema no es lineal debido a que el producto xy es de grado 2, pero, dividiendo ambas ecuaciones por xy, bajo el supuesto que xy 0, podemos reducir este sistema a: 3 4 =2 y x 4 5 =3 y x Este sistema equivalente al sistema inicial, es reducible a una lineal como hicimos en el ejemplo anterior. Sea u = 1 , v = 1 . Entonces, el sistema se puede escribir como: y x
3v 4u = 2 4v 5u = 3
Usando el mtodo de combinaciones lineales, obtenemos que u = 1, v = 2. por lo tanto, x = 1, y = 1 , es solucin del sistema cuando x 0, y 0. Observemos que x = 0 = y, es tambin una 2 solucin del sistema inicial. El hecho que tenga dos soluciones proviene del hecho que no es lineal.
Resolucin de sistemas lineales usando determinantes. Mtodo de Cramer

Este mtodo utiliza los denominados determinantes para encontrar la solucin al sistema de ecuaciones lineales. El concepto de determinante Los determinantes surgen de manera natural cuando se quiere resolver sistemas de ecuaciones lineales, cuyo nmero de ecuaciones es igual al mismo nmero de incgnitas, por lo cual los llamaremos sistemas cuadrados. Por ejemplo: un sistema de dos ecuaciones lineales son dos incgnitas:
{
152
a1x + b1y = c1 a2x + b2y = c2
(S)
Las incgnitas son x e y. Si aplicamos el mtodo de combinaciones lineales para igualar la incgnita y en ambas ecuaciones, debemos multiplicar la ecuacin (1) de (S) por b2 y multiplicar la ecuacin (2) de (S) por (b1), obtenemos as el sistema equivalente:
{
Esto nos permite despejar x:
a1b2x + b1b2y = b2c1 a2b1x b1b2y = b1c2
(S)
Sumando ambas ecuaciones nos queda, a1b2x + a2b1x = b2c1 b1c2
(a1b2 a2b1)x = b2c1 b1c2 bc b c x = a 2b1 a1b2 1 2 2 1 Siempre que a1b2 a2b1 0. Ahora podemos hacer el mismo procedimiento para la variable y. Si multiplicamos la ecuacin (1) de (S) por a2 y la ecuacin (2) por (-a1), nos queda el sistema equivalente S: a1b2x + a1b1y = a2c1 (S)
a1b2x a1b2y = a1c2
Sumando ambas ecuaciones obtenemos la ecuacin en la incgnita y: a2b1y a1b2y = a2c1 a1c2 (a2b1 a1b2)y = a2c1 a1c2 Si a2b1 a1b2 0, obtenemos el valor de y: ac a c y = a 2b1 a1b2 2 2 1 2 En sntesis, hemos obtenido la solucin: bc b c x = a 2b1 a1b2 ; 1 2 2 1 Si a1b2 a2b1 0.
ac ac a c a c y = a 2b1 a1b2 = a 1b2 a2b1 2 1 1 2 1 2 2 1
153
Observando los valores de x e y vemos que ambas incgnitas (que ya no lo son), tienen el mismo denominador: a1b2 a2b1 0 A este nmero le llamaremos el determinante del sistema S y lo escribiremos simblicamente: a1 a2 b1 b2 = a1b2 a2b1
Examinando los numeradores vemos que ellos pueden ser expresados con la notacin de determinante y quedan como: c1 b1 = c1b2 b1c2 c2 b2 a1 c1 a2 c2 = a1c2 c1a2
Con esta notacin podemos escribir los valores de x e y, en trminos de determinantes: c1 x= c2 a1 a2 b1 b2 b1 b2 ; y= a1 a2 a1 a2 c1 c2 b1 b2
La ventaja de esta escritura, es que la resolucin de sistemas 2 2 se puede hacer de manera ms mecnica. Ejemplo Resolver:
{
Solucin
4x + 5y = 2 5x + 3y = 10 2 10 x= 4 5 5 3 5 3 = 6 (50) = 44 12 (25) 37
154
4 5 y= 4 5
2 10 5 3 = 40 (10) = 50 12 (25) 37
El mtodo de resolucin de sistemas lineales mediante determinantes se llama mtodo de Cramer.
Propiedades bsicas de los determinantes de segundo orden Como ya hemos visto, el determinante: a1 b1 a2 b2 = a1b2 a2b1
depende de manera obvia de los nmeros a1, a2, b1, b2. Estos nmeros pueden ser ordenados como una tabla llamada matriz, en tal caso, usaremos parntesis redondo o de corchete. a1 b1
( )
a2 b2 a1 b1 a2 b1
A esta matriz se le hace corresponder un nmero real dado por su determinante. 1. Un determinante se anula si dos las son iguales:
( )
2. La matriz
= a1b1 a1b1 = 0
( )
1 0 0 1 a1 b1 a2 b2
tiene determinante 1.
3.
Si una la o columna de una matriz A se multiplica por un nmero , entonces su determinante es por el determinante de A. A=
( )
a1 b1 det A = a2 b2
155
Si B =
( )
a1 b1 a2 b2
entonces:
det B = a1b2 a2b1 = (a1b2 a2b1) = a1 a2 b1 b2
= detA
Ejercicios (Extrados del citado libro de Uspensky.) Verica las siguientes propiedades de los determinantes. a+e a. c+f a+e b. c+f d b+g d+h = b = a c a c b d + e f e + f b d b d + a c g h + e f g h
b d
Determinantes de tercer orden Para generalizar el mtodo de resolucin de sistemas de ecuaciones lineales de segundo orden mediante determinantes, necesitamos extender el concepto de determinante. Dada una matriz de orden 3: a12 a13 a11 A=
a21 a31
a22 a32
a23 a33
Su determinante, det A, se dene como el nmero: a22 a32 a23 a33 a21 a31 a23 a33 a21 a31 a22 a32
a11
a12
+ a13
(1)
Observemos que los determinantes que acompaan los nmeros a11, a12, a13 respectivamente, son de orden dos, y se calculan como hemos visto en el tem anterior.
156
Otra forma de calcular el determinante A, resulta de formar una tabla:
a1 a1 a3
b1 b1 b3
c1 c1 c3
d1 a2 a3
b1 b2 b3
Tomamos los productos de los elementos de las diagonales descendientes con signo (+) y los productos de las diagonales ascendentes con signo (), y nos queda as: detA = a1b2c3 + b1c2a3 + c1a2b3 a3b2c1 b3c2a1 c3a2b1 (2)
Podemos vericar que los resultados de la ecuacin (1) y la ecuacin (2) son iguales. El mtodo ltimo es ms rpido de efectuar. Resolucin de sistemas de ecuaciones lineales de tercer orden mediante determinantes Ejemplo El siguiente sistema fue propuesto por Euler.
{
1
x+yz=8 x+zy=9 y + z x = 10
Solucin 1 1 1 D = 1 1 1 1 1 = 1 1 1 1 1 1 1 1 1 1 1 1 = 1 1 (1 + 1) (1 + 1) = 2 2 2 = 6
1 1 1 = 8(2) 2 2 16 4 20 10 10 = = = = 6 6 6 3 3
9 1 10 x= 1 D
157
1 1 y=
8 9
1 1 1
1 10 D
9 y= 10
1 1
1 1 D
1 1
1 1
9 10
y = (9 10) 8 0 1(10 9) = 1 1 = 2 = 1 6 6 6 3
8 9
1 1 z=
1 1 10 D
1 z= 1
9 10
+8
1 1
1 1
1 10 6
z=
28 14 9 (10 + 9) + 8(1 1) = 9 19 = = 6 3 6 6
158
INTERPRETACIN GEOMTRICA DE LA SOLUCIN DE UN SISTEMA DE DOS ECUACIONES LINEALES EN IR2

Si las ecuaciones de un sistema son lineales y con dos incgnitas, cada una de ellas representa geomtricamente una recta. Por esta razn, si un sistema contiene dos ecuaciones lineales denidas en IR2, entonces tenemos que: Si el sistema tiene una nica solucin, esta corresponde al punto de interseccin de todas las rectas. Ejemplo Considera el sistema:
{
si
a1x + b1y = c1 a2x + b2y = c2 a1 b1 a2 b2
= a1b2 a2b1 0.
Entonces las rectas se cortan en un nico punto P = (x, y).
Sistema lineal con una nica solucin
Figura 25
Si el sistema: a1x + b1y = c1 a2x + b2y = c2 es tal que: a2 = a1 b2 = b1

Interpretacin geomtrica de la solucin de un sistema
159
Entonces: a1x + b1y = c1 a2x + b2y = c2 y su determinante es: a1 b1 = a1b1 a1b1 = 0
a1 b1
Por lo tanto, no podemos aplicar el mtodo de los determinantes, porque la divisin por cero no est denida en IR. Pero s podemos analizar, algebraicamente sus posibilidades: Una posibilidad es que c2 = c1; en este caso las dos ecuaciones representan la misma recta, por lo tanto, el sistema se reduce a una ecuacin y cualquier punto de la recta es una solucin.
Sistema lineal en IR2 con innitas soluciones
Figura 26
Si c2 no es un mltiplo de c1, entonces las dos rectas son distintas, pero usando lo aprendido en la unidad 5, ellas tienen la misma pendiente. L1: a1x + b1y = c1, L2: a1x + b1y = c1, tiene pendiente m1 = a1 b1
a a tiene pendiente m2 = b1 = b1 = m1 1 1
Por lo tanto L1 es paralela a L2, pero como ellas son distintas, por la Geometra sabemos que ellas no se intersectan. Algebraicamente esto es equivalente a que el sistema no tiene solucin.
160
Sistema lineal en IR2 que no tiene solucin.
Figura 27
Ejemplos 1. Resuelve geomtricamente el sistema:
x+y=2 xy=2
Solucin Como cada ecuacin corresponde a una lnea recta, basta para gracarla, determinar dos puntos de ellas. Para hacer ms simple el trazado de una recta, los puntos ms fciles de obtener son los correspondientes a las intersecciones de las rectas con los ejes coordenados. Para la ecuacin x + y = 2, tenemos: Si x = 0 y = 2, obtenemos el punto (0, 2) = P1 Si y = 0 x = 2, obtenemos el punto (2, 0) = P2
Figura 28
161
Del mismo modo, gracamos L2: Si x = 0, entonces y = -2, por lo tanto, el punto (0, -2) pertenece a L2. Si y = 0, entonces x = 2, por lo tanto, el punto (2, 0) pertenece a L2. Es inmediato que el nico punto de interseccin es (2, 0). 2. Resuelve geomtricamente en IR2, el sistema:
x + y = 1 2 x + 2y = 2
Gracando cada una de las rectas: L1: x + y = 1 2 Si x = 0 y = 1, entonces obtenemos el punto (0, 1). Si y = 0 x = 2, obteniendo el punto (2, 0).
Figura 29
L2: x + 2y = 2 Si x = 0 y = 1, entonces obtenemos el punto (0, 1). Si y = 0 x = 2, obteniendo el punto (2, 0). Como L2 contiene dos puntos de la recta L1, y usando el axioma de la Geometra que por dos puntos distintos del plano pasa una nica recta, podemos deducir que L2 es igual a L1. Por lo tanto, el sistema dado tiene innitas soluciones correspondientes a cada punto de la recta. Conjunto solucin del sistema es: {(x,y) IR2 : x + 2y = 2}
162
3.
Resuelve geomtricamente en IR2, el sistema:
x + y = 1 2 x + 2y = 0
Solucin: La primera ecuacin es la misma del ejemplo 2, por lo tanto ya la conocemos.
Figura 30
Para gracar L2: x + 2y = 0 Si x = 0, entonces y = 0, esto nos dice que la recta L2 pasa por el origen. Por esta razn, para obtener el segundo punto, tomaremos y = 1, entonces x = 2; obtenemos el punto (2, 1). El grco nos sugiere que L1 y L2 son paralelas. Para estar completamente seguros, debemos calcular sus respectivas pendientes: m1 = 1 2 m2 = 1 2 Efectivamente L1 es paralela a L2, por lo tanto, el sistema dado no tiene solucin. Problema 1 Dado el sistema lineal en IR2: Deduce que si su determinante = 0, entonces las rectas son paralelas. a2 b2 Por lo tanto, cuando el determinante es cero, el sistema puede tener innitas soluciones o no tener solucin. Cmo diferenciar el caso sin gracar?
a1
b1
163
Resumen de los sistemas lineales de dos ecuaciones en IR2

Dado el sistema:
{
Tenemos que si su determinante: D= 1.
a1x + b1y = c1 a2x b2y = c2
(S)
a1 a2
b1 b2 = a1b2 a2b1
Es distinto de cero, entonces el sistema (S) tiene una nica solucin dada por: c1 x= c2 a1 a2 c1 c2 b1 b2 b1 b2 b1 b2 a1 a2 c1 c2 ; y= a1 a2 a1 a2 c1 c2 b1 b2
2.
Es cero, y adems c1 b1
= 0, entonces el sistema (S) tiene innitas soluciones.
3.
Es cero y
c2 b2
0 , entonces el sistema (S) no tiene solucin.
Sistemas lineales de n ecuaciones en IR2

Si n = 1, entonces el sistema se reduce a una ecuacin con dos incgnitas de la forma: a1x + b1y = c1 Esta representa una recta en el plano, si es que no existen restricciones sobre las incgnitas. Por lo tanto, todo punto perteneciente a la recta es solucin del sistema. Si una de las incgnitas tiene restricciones, por ejemplo, x [a,b], entonces la ecuacin corresponde geomtricamente a un segmento de recta. Tambin, en este caso, existen innitas soluciones.
164
Figura 31. Incgnitas sin restriccin
Figura 32. Incgnitas con restriccin. x [a, b]
Si n = 2. este caso ya fue estudiando anteriormente. Si n 3 a1x + b1y = c1 a2x + b2y = c2 a3x + b3y = c3 anx + bny = cn Para resolver este tipo de sistema lineal procedemos a elegir dos ecuaciones y resolverlo segn lo analizado para estos sistemas. Si este sistema de dos ecuaciones tiene una nica solucin, entonces reemplazamos sus valores en las restantes ecuaciones. Si todas son satisfechas por estos valores, entonces el sistema tiene una nica solucin. Si al menos una de ellas no se satisface, el sistema no tiene solucin. Se puede generalizar la interpretacin geomtrica. Si todas las rectas representadas por las ecuaciones del sistema, concurren a un punto, este es la nica solucin del sistema.
(S)
Sistema de 4 ecuaciones lineales en IR2 con una nica solucin P = (x, y).
Figura 33
165
Si al menos dos ecuaciones representan rectas paralelas distintas, entonces el sistema no tiene solucin.
Ejemplo 1 Considera el sistema en IR2:
{
Con a un nmero real. 1. Encuentra la solucin del sistema.
5x y = 2 x + 3y = 4 xy=a
{
2. 3. Solucin 1.
5x y = 2 x + 3y = 4 ?
Para qu valores del nmero a el par de nmeros encontrados en 1 es solucin de Cul es la solucin al sistema propuesto? Discute las distintas posibilidades de a.
5x y = 2 x + 3y = 4
(S)
Multiplicando por 3 la primera ecuacin, obtenemos:
{
Sumando ambas ecuaciones:
15x 3y = 6 x + 3y = 4
16x = 10 10 5 x = 16 = 4
166
Como y = 5x 2, evaluando esta igualdad en x = 5 obtenemos el valor de y. 4 y= 5 5 2 4 = 10 2 4 10 8 = = 2 = 1 4 4 2 (x,y) =
5 , 1 es la solucin del sistema (S). 4 2
2.
5 , 1 sea solucin de x y = a, este punto de IR2 debe satisfacer la ecuacin; Para que 4 2 por lo tanto: 5 1 =a 5 + 1 =a 4 2 2 4
5+2 =a 4 7 =a 4
3.
El sistema propuesto tiene una nica solucin x = 5 , y = 1 si a = 7 . 4 4 2 El sistema no tiene solucin si a es un nmero real distinto de 7 . 4 Ejemplo 2
Considera el sistema en IR2:
{
Con a un nmero real.
x + 2y = 1 3x 6y = 3 2x + y = a
167
1.
Encuentra la solucin del sistema;
{
2. 3. Solucin 1.
x + 2y = 1 3x 6y = 3
Para qu valores de a la solucin encontrada en 1 es solucin de 2x + y = a? Cul es la solucin al sistema propuesto? Discute las distintas posibilidades de a.
{ {
x + 2y =1 3x 6y =3
(S)
Observemos que si multiplicamos la primera ecuacin por (3) obtenemos la segunda ecuacin. Por lo tanto, las dos ecuaciones son equivalentes. Es decir, todo par de puntos (x, y) tal que x + 2y = 1 es solucin del sistema (S). Por lo tanto, (S) tiene innitas soluciones. 2. x + 2y =1 2x + y = a
Si resolvemos este sistema, multiplicando la primera ecuacin por (2), obtenemos el sistema equivalente:
{
Sumando ambos sistemas:
2x + 4y = 2 2x + y = a
5y = 2 + a y= 2 + a 5
Reemplazando este valor en x + 2y = 1, obtenemos el valor de y. x + 2
( 25+ a ) = 1
5x = 1 + 4 + 2a 5x = 3 + 2a 3 + 2a x= 5
5x 4 + 2a = 1
168
3.
Entonces, para cada a IR, el sistema propuesto tiene una nica solucin dada por: x = 3 + 2a , 5 En particular si: y= a2 5
a = 1 entonces
x = 5 = 1 5 y= 1 5 3 + 2a a2 = 5 5 3 2a = a 2 1 = 3a 1 a= 3
Si x = y, entonces:
Esto ltimo quiere decir que si x = y, entonces el sistema propuesto tiene solucin slo 1 cuando a = . 3 Analiza geomtricamente ambos ejercicios.
169
MINISTERIO DE EDUCACIN DE CHILE. (1999). Matemtica. Programa de estudio Segundo Medio. Santiago-Chile. FIDEL OTEZA y HERNN MIRANDA. (2002). Propuesta de diseo curricular para el Segundo ao de Enseanza Media. Documento de trabajo. Proyecto FONDEF: Aprender matemtica creando soluciones. Centro Comenius USACH. Enero del 2002. Santiago Chile. ENCICLOPEDIA DE LAS MATEMTICAS (1994). Tomo 6, Editorial MIR, Rubios 1860, S. A. Mosc - Madrid A. D. ALEKSANDROV , A. N. KOLMOGOROV y OTROS: La Matemtica: su contenido, mtodos y signicado. Alianza Editorial, 1976. Y. BELLECAVE, A. DUCOS, J.P. MENARDO ET M. PA: Thmes Mathmatiques. F. Nathan, Pars.1970. J. V . U. Teora de Ecuaciones. Ed. Centro de Estudiantes de Ingeniera. Universidad de Buenos Aires, 1958. MILLER, CHARLES y OTROS (1999). Matemtica: Razonamiento y aplicaciones. Captulo 8, octava edicin. BITTINGER, MARVIN (2002). Clculo para ciencias econmicas-administrativas. Captulo 1, sptima edicin. Addison Wesley. Bogot D. C. Colombia. BAMN, RODRIGO y OTROS (2002). Matemtica Activa, Segundo ao Medio. Ediciones Mare-Nostrum, Santiago Chile. MORENO, GABRIEL y OTROS. (2000). Matemtica II, Educacin Media. Santillana, Santiago Chile. VIZMANOS y ANZOLA (1990). Matemticas Algoritmos 1 y 2. Ediciones SM, Madrid Espaa. DE LAS HERAS, RODRIGO y OTROS (1993). lgebra y Geometra, Educacin Media II. Santillana, Santiago Chile.
170
GEOMETRA
LA CIRCUNFERENCIA Y UN PAR DE RECTAS EN EL PLANO
UNIDAD GEOMETRA
Fidel Oteza Morra Lucrecia Zamorano Aravena Osvaldo Baeza Rojas
CONTENIDO
175
Deniciones bsicas
Denicin de circunferencia El crculo 175 175
177
Elementos bsicos de la circunferencia
Radio Cuerda Dimetro Secante Tangente Arco Flecha o sagita ngulo del centro ngulo inscrito ngulo semiinscrito ngulo exinscrito 177 177 177 178 178 178 179 179 179 179 179
180
Segmentos en la circunferencia
183
Arcos y ngulos en la circunferencia
Denicin arco Denicin de semicircunferencia Medidas de arcos Igualdad de ngulos y arcos Otras deniciones relacionadas con arcos 183 184 184 185 186
187
ngulos inscritos y los arcos que interceptan
192
Punto potencia a una circunferencia
194
Una mirada a la demostracin
195
196
Anexo
Demostraciones de los teoremas relacionados con la circunferencia 194
174
DEFINICIONES BSICAS
En esta unidad, se utilizan extensamente la circunferencia y la recta. En este texto, suponemos que el lector est familiarizado con la denicin de recta y sus propiedades; por ello, slo se puntualizar qu se entiende por circunferencia, punto interior, exterior y crculo. Adems, advertimos que todos los contenidos geomtricos que se presentan, existen y se desarrollan en el plano eucldeo.
Denicin de circunferencia
Dados un punto, que llamaremos P, y un nmero real no negativo r, se denomina circunferencia de centro P y radio r al conjunto de puntos del plano que estn a una distancia r del punto P. La gura 1 muestra una circunferencia.
Figura 1
Una notacin alternativa y habitualmente usada para la circunferencia de centro P y radio r, es: (P ; r ) . Si consideramos al punto A perteneciente a la circunferencia, el radio se puede representar por la medida del segmento PA, es decir, PA = r.
El crculo
La circunferencia divide al plano en dos regiones, una interior y otra exterior. Consideremos la (P ; r ) y los puntos M y N como se muestran en la gura 2.
Figura 2
Deniciones bsicas
175
a.
El punto M es un punto exterior a la circunferencia si su distancia al centro de la circunferencia es mayor a r, es decir: PM > r M es punto exterior a (P;r)
b.
El punto N es un punto interior a la circunferencia si su distancia al centro de la circunferencia es menor a r, es decir: PN < r N es punto interior a (P;r)
c.
El punto A pertenece a la circunferencia de centro P y radio r si su distancia al centro de la circunferencia es igual a r, es decir: PA = r A es punto de la (P;r)
Denicin de crculo Un crculo es el conjunto de los puntos de la circunferencia y de los puntos interiores a ella. La gura 3 muestra un crculo.
Figura 3
176
Unidad de Geometra
ELEMENTOS BSICOS DE LA CIRCUNFERENCIA
En esta unidad, se estudiarn las relaciones que se dan entre segmentos y entre ngulos en la circunferencia. Para ello, en este apartado se denirn, e identicarn, los elementos (bsicos) que se utilizarn para establecer dichas relaciones. Las deniciones de los elementos de la circunferencia que siguen, se apoyan en la gura 4.
Figura 4
Radio
Un radio es un segmento que une el centro P de la circunferencia con algn punto de ella. En la gura 4, PA es un radio.
Cuerda
Una cuerda es un segmento cuyos extremos pertenecen a la circunferencia. En la gura 4, CD , EF, RF y MN son cuerdas.
Dimetro
Dimetro es cualquier cuerda que pasa por el centro de la circunferencia. En la gura 4, EF es un dimetro. La __ longitud del dimetro es igual a la suma de las longitudes de dos radios, en la gura 4, EF = EP + PF = r + r = 2r. El dimetro tambin se dene como la cuerda de mayor longitud.
177
Secante
Una secante es una recta que intercepta a la circunferencia en dos puntos. En la gura 4, la recta L es una secante, pues intercepta a la circunferencia en los puntos M y N.
Tangente
Una tangente es una recta que intercepta a la circunferencia en un slo punto. Este punto se llama punto de tangencia o punto de contacto. En la gura 4, la recta Q es tangente a la circunferencia en el punto T.
Arco1
Un arco es un segmento de circunferencia. En la Figura 4, HI es un arco. En realidad, existen dos arcos que corresponden a un segmento de circunferencia. En la gura 5, ambas guras muestran al arco AB.
a. Figura 5
b.
Para distinguirlos, al arco de la gura 5a se lo llama arco menor y al arco de la gura 5b, arco mayor. Otro modo de designar los arcos es utilizar un punto intermedio, como se muestra en la gura 6.
Figura 6
En este caso, el arco menor AC es congruente con el arco ABC y distinto al arco mayor AC.
1
En el apartado 4.1 Arcos y ngulos en la circunferencia, podr encontrar una denicin de arco ms completa.
178
Unidad de Geometra
Flecha o sagita
La echa es el segmento comprendido entre el punto medio de una cuerda y el punto medio del arco menor comprendido. En la gura 4, JK es la echa.
ngulo del centro

El ngulo del centro es el ngulo formado por dos radios. Tambin podemos decir que el ngulo del centro es aquel que tiene su vrtice en el centro de la circunferencia. En la gura 4, < ) APE es un ngulo del centro.
ngulo inscrito
El ngulo inscrito es el formado por dos cuerdas que parten desde un mismo punto de la circunferencia. En la gura 4, < ) EFR es un ngulo inscrito.
ngulo semiinscrito
El ngulo semiinscrito es el formado por una cuerda y por el rayo tangente a uno de sus extremos. En la gura 4, < ) STG es un ngulo semi inscrito
ngulo exinscrito
El ngulo exinscrito es el ngulo adyacente a un ngulo inscrito. En la gura 4, < ) UCD es un ngulo exinscrito
179
SEGMENTOS EN LA CIRCUNFERENCIA
En esta parte se enunciarn siete teoremas que relacionan a la circunferencia con cuerdas trazadas en ella. Teorema 1 Biseccin de una cuerda La perpendicular trazada desde el centro de una circunferencia a una cuerda, la bisecta. Ver gura 7.
Si AB es una cuerda y PC AB, entonces AC = CB.
Figura 7
Teorema 2 Perpendicular a una cuerda El segmento trazado desde el centro de una circunferencia al punto medio de una cuerda, es perpendicular a esta. Ver gura 8.
Si AB es cuerda y C es el punto medio de AB, entonces PC AB.
Figura 8
180
Unidad de Geometra
Teorema 3 Simetral de una cuerda Dada una cuerda, la simetral de esta pasa por el centro de la circunferencia. Ver gura 9.
Si AB es cuerda y L es simetral de AB, entonces P L.
Figura 9
Teorema 4 Tres puntos alineados Ninguna circunferencia contiene a tres puntos alineados. Ver gura 10.
Si A, B, C son puntos de una circunferencia, entonces no existe una recta L tal que A, B, C L.
Figura 10
Teorema 5: Cuerdas congruentes En una misma circunferencia o en circunferencias congruentes, las cuerdas equidistantes del centro, son congruentes. Ver gura 11.
Si PE = PF, entonces AB CD.
Figura 11
Segmentos en la circunferencia
181
Teorema 6 Cuerdas equidistantes En una misma circunferencia o en circunferencias congruentes, dos cuerdas congruentes, cualesquiera, equidistan del centro. Ver gura 12.
Si AB CD, entonces PE = PF.
Figura 12
Teorema 7 Recta que corta en dos puntos a una circunferencia Si una recta intercepta el interior de una circunferencia, entonces corta la circunferencia exactamente en dos puntos. Ver gura 13.
Si la recta L intercepta el interior de la circunferencia, entonces la corta en los puntos A y B solamente.
Figura 13
182
Unidad de Geometra
ARCOS Y NGULOS EN LA CIRCUNFERENCIA
En una parte importante de esta unidad se estudian las relaciones entre arcos de circunferencia y los ngulos en ella (ver Figura 4). Por ello, en este apartado se dene arco de circunferencia, el modo en que se mide, y algunas propiedades que se utilizan en los teoremas y sus demostraciones.
Denicin de arco
Supongamos que tenemos una circunferencia de centro P y dos puntos A y B en ella, como se ve en la gura 14. Recordemos que un ngulo central es el formado por dos radios2 (ver denicin en pgina 179), es decir, el ngulo APB en la gura 14. Estamos ahora en condiciones de decir que el arco correspondiente al ngulo APB es el segmento de circunferencia comprendido entre los lados del ngulo central.
a. Figura 14
b.
Debido a que la denicin anterior acepta dos arcos (gura 14a) < ) APB, menor a un ngulo extendido y gura 14b si < ) APB, mayor a un ngulo extendido), nos vemos en la necesidad de diferenciarlos. Llamaremos arco menor AB a la unin de A, B y todos los puntos de la circunferencia que estn en el interior del ngulo APB. Ver gura 14a. Llamaremos arco mayor AB a la unin de A, B y todos los puntos de la circunferencia que estn en el exterior del ngulo APB. Ver gura 14b. En ambos casos A y B son los extremos del arco AB.
Tambin se dene al ngulo central como aquel que tiene su vrtice en el centro de una circunferencia.
183
Denicin de semicircunferencia
Si dos puntos A y B de una circunferencia son los extremos de su dimetro, entonces obtenemos dos arcos, siendo cada uno de ellos una semicircunferencia. Ver gura 15.
Figura 15
Medidas de arcos
La siguiente gura ilustra el modo en que deniremos la medicin de un arco:
Observa que en las circunferencias concntricas de la gura 16, la medida de un arco no depende del tamao de la circunferencia. Adems, si en una circunferencia dada el arco aumenta tambin lo hace su medida. La medida del arco AB la denotaremos por m AB. La medida (en grados) de un arco menor, es la medida del ngulo central correspondiente. Ver gura 17.
Figura 16
m ABC =
Figura 17
184
Unidad de Geometra
La medida (en grados) de una semicircunferencia es 180. Ver gura 15. La medida (en grados) de un arco mayor, es la medida del ngulo central correspondiente a la medida del ngulo central. Ver gura 18.
m ABC = 360
Figura 18
Igualdad de ngulos y arcos

En una misma circunferencia o en circunferencias que sean congruentes a ngulos centrales iguales corresponden arcos iguales.
Si la circunferencia de centro P es congruente a la circunferencia de centro P y < ) APB = < ) APB, entonces el arco menor AB tiene la misma medida del arco menor AB. Recprocamente, si la circunferencia de centro P es congruente a la circunferencia de centro P y el arco menor AB es igual al arco menor AB entonces al ngulo APB, es congruente APB. Ver la gura 19.
Figura 19
185
Otras deniciones relacionadas con arcos

Denicin Arcos consecutivos Dos arcos son consecutivos si lo son sus respectivos ngulos centrales. Ver gura 20.
Consideraremos slo los arcos menores. Si < ) APB es consecutivo con < ) BPC, entonces AB es consecutivo con BC.
Figura 20
Denicin Suma de arcos En una circunferencia, se llama suma de arcos consecutivos al arco cuyo ngulo central es la suma de los ngulos centrales correspondientes a los arcos dados. Ver gura 21.
Consideraremos slo los arcos menores. Si m AB = y m BC = entonces m AC = +
Figura 21
Denicin Diferencia de arcos Dados dos arcos desiguales en una circunferencia, se llama diferencia de ambos al arco que sumado al menor da el mayor. Ver gura 22. Consideraremos slo los arcos menores. Si m AB = y m BC = entonces m AC = m AB m BC =
Figura 22
186
Unidad de Geometra
NGULOS INSCRITOS Y LOS ARCOS QUE INTERCEPTAN
A continuacin, se enunciarn diez teoremas que relacionan los arcos en la circunferencia con los ngulos que se pueden construir en ella. Teorema 1 La medida de todo ngulo inscrito en una circunferencia, es igual a la mitad del arco comprendido entre sus lados. Ver gura 23.
m< ) ABC = 1 m AC 2
Figura 23
Corolario 1.1 Un ngulo inscrito en una semicircunferencia es recto. Ver gura 24.
m< ) ABC = 90
Figura 24
Corolario 1.2 Dos ngulos cualesquiera inscritos en el mismo arco son congruentes. Ver gura 25. m< ) ABD = m < ) ACD
Figura 25
187
Denicin 2 Cuadriltero inscrito Un cuadriltero est inscrito en una circunferencia si sus vrtices estn en la circunferencia. Ver gura 26.
El cuadriltero ABCD est inscrito en la circunferencia de centro P y radio r.
Figura 26
Teorema 3 En un cuadriltero inscrito en una circunferencia sus ngulos opuestos son suplementarios. Ver gura 27.
+ = 180
Figura 27
Teorema 4 En la misma circunferencia o en circunferencias congruentes, si dos cuerdas son congruentes, entonces tambin lo son los arcos menores correspondientes. Ver gura 28.
__ Si AB AB entonces AB AB
Figura 28
188
Unidad de Geometra
Teorema 5 En la misma circunferencia o en circunferencias congruentes, si dos arcos son congruentes, entonces tambin lo son las cuerdas correspondientes. Ver gura 29. Si AB AB entonces __ __ AB AB
Figura 29
Teorema 6 Del ngulo semiinscrito Dados una circunferencia y un ngulo cuyos lados son una secante y una tangente a la circunferencia, la medida del ngulo es la mitad de la medida del arco interceptado. Ver gura 30.
1 = 2 ( m AB )
Figura 30
Teorema 7 Del ngulo exinscrito En una circunferencia, la medida del ngulo exinscrito, es la semisuma de los arcos que tienen su origen en el vrtice y sus extremos en uno de los lados y en la prolongacin del otro. Ver gura 31.
= m BC + m BD 2
Figura 31
189
Denicin 8 ngulo interior Un ngulo se dice interior a una circunferencia si su vrtice es un punto interior a la circunferencia. Ver gura 32.
El ngulo ABC es un ngulo interior a la circunferencia de centro P.
Figura 32
Teorema 9 Del ngulo interior La medida de un ngulo interior a una circunferencia, es igual a la semisuma de las medidas de los arcos comprendidos por sus lados y por sus prolongaciones. Ver gura 33.
< ) AED = m BC + m AD 2
Figura 33
Denicin 10 ngulo exterior Un ngulo se dice exterior a una circunferencia, si su vrtice es un punto exterior a la circunferencia. Ver gura 34. El ngulo AED es un ngulo exterior a la circunferencia de centro P.
Figura 34
190
Unidad de Geometra
Teorema 11 Del ngulo exterior La medida de un ngulo exterior a una circunferencia es igual a la semi diferencia de las medidas de los arcos comprendidos por sus lados. Ver gura 35.
< ) CAD = m AD m BC 2
Figura 35
191
PUNTO POTENCIA A UNA CIRCUNFERENCIA

La unidad de circunferencia, segn el programa ocial de Segundo Ao Medio, incluye los teoremas centrales de estudio conocidos como potencia de un punto (interior / exterior) a una circunferencia. Estos involucran varios conceptos en su demostracin. El que aparece como ms importante es el de semejanza entre tringulos que se estudia en la unidad La geometra de los modelos a escala, que es donde el lector debe consultar si as lo requiere. A continuacin, se enunciarn tres teoremas relacionados con cuerdas, con secantes y con tangentes a una circunferencia. Teorema 1 De las cuerdas, tambin conocido por el de la potencia de un punto interior Si dos cuerdas de una circunferencia se cortan, el producto de los dos segmentos determinados en una cuerda es igual al producto de los dos segmentos determinados en la otra. Ver gura 36.
QA QB = QC QD
Figura 36
Teorema 2 De las secantes, tambin conocido por el de la potencia de un punto exterior Si por un punto exterior de una circunferencia se trazan dos secantes, el producto de una secante por su segmento exterior, es igual al producto de la otra secante por su segmento exterior. Ver gura 37.
QA QB = QC QD
Figura 37
192
Unidad de Geometra
Teorema 3 Sean C una circunferencia de centro P y Q un punto exterior a ella. Si QT es una tangente a C en el punto T y QB una secante a la misma C, entonces QT 2 = QA QB Ver gura 38.
QT 2 = QA QB
Figura 38
Teorema 4 Sean C una circunferencia de centro P y Q un punto exterior a ella. Si QA y QB son tangentes a C en A y B, respectivamente, entonces QA = QB y < ) PQA < ) PQB. Ver gura 39.
__ QA = QB < ) PQA <) PQB
Figura 39
Punto potencia a una circunferencia
193
UNA MIRADA A LA DEMOSTRACIN

Una entrada al mtodo axiomtico
En la vida diaria es difcil llegar siempre a conclusiones seguras, porque las premisas que se aceptan como ciertas a veces no lo son. En muchas ocasiones es imposible tomar en cuenta todas las premisas posibles ante una situacin. Por ejemplo, qu har mi apoderado cuando vea esta mala nota? Existen otros contextos en los que las premisas estn claramente determinadas y, por lo mismo, las deducciones posibles son precisas (no ambiguas). Ejemplo de este tipo de contexto es el ajedrez. Las premisas son las reglas del juego (movimientos de las piezas, enroque, coronacin, etc.) y las deducciones son las jugadas (mate pastor, gambito de pen, etc.). Para jugar ajedrez, se acepta el movimiento de las piezas, las reglas y la conguracin del tablero sin ms. No interesa analizar por qu el caballo se mueve as o el all de este otro modo. El juego consiste en deducir (pensar) qu jugadas debemos efectuar para ganar a nuestro adversario. El ajedrez y otros contextos de este tipo (juegos de naipes) tienen una caracterstica que para nuestros nes es muy importante: hay que conocer bien las reglas del juego al principio y no se pueden cambiar durante la partida. La Matemtica que se estudia, al menos en la Enseanza Media, tiene una estructura anloga, es decir, se compone de premisas y de leyes de pensamiento deductivo que se articulan aceptando que una vez aceptadas al inicio, ninguna premisa puede modicarse durante el razonamiento ni puede agregarse otras. Las premisas no se discuten durante la deduccin, se aceptan por hiptesis. No interesa analizar si son realmente ciertas, el objeto de la deduccin es averiguar qu conclusiones pueden deducirse de esas premisas. El siguiente diagrama apoya esta explicacin: las premisas fueran verdaderas
Si
Entonces Qu otras verdades

se deduciran de ellas?
El mtodo axiomtico
El mtodo axiomtico tiene su origen en los griegos. Una obra en particular muestra en plenitud al mtodo axiomtico: Los Elementos de Euclides, obra escrita alrededor del ao 300 a.C. Esta obra tuvo tal trascendencia, que sirvi de base al desarrollo de la Matemtica hasta el siglo XIX y an hoy se estudia.
194
Unidad de Geometra
BAMN, RODRIGO; JORGE SOTO y otros. (2002). Matemtica Activa. Segundo Ao Medio. Ediciones Mare Nostrum, Santiago Chile. CORTS, VCTOR y RUB RODRGUEZ. (1999). Imaginando Congruencias. Mdulos de Matemtica. Ministerio de Educacin, serie Grupos Profesionales de Trabajo.Guedj, Denis. (2001). El teorema del loro: una novela para aprender matemticas. Barcelona: Editorial Anagrama. LIMA, ELON LAGES. (1994). Medida y forma en geometra: longitud, rea, volumen y semejanza. Centro de Perfeccionamiento, Experimentacin e Investigaciones Pedaggicas. MOISE y F. DOWNS. (1976) Geometra Moderna. Fondo Educativo Interamericano, Editorial Norma, Colombia, segunda edicin.
195
ANEXO
Demostraciones de los teoremas relacionados con la circunferencia
Teorema 1 (pgina 187) La medida de todo ngulo inscrito en una circunferencia es igual a la mitad del arco comprendido entre sus lados. Este teorema es uno entre varios fundamentales de esta unidad. Su demostracin es extensa pues segn la posicin del ngulo inscrito se deben demostrar, por separado, tres casos distintos: cuando el centro de la circunferencia est en uno de los lados del ngulo inscrito, cuando el centro de la circunferencia es un punto interior al ngulo inscrito y cuando el centro de la circunferencia es un punto exterior al ngulo inscrito. Primer caso: el centro de la circunferencia est en uno de los lados del ngulo inscrito. Hiptesis < ) ABC est inscrito __ El centro P de la circunferencia est en AB Tesis m< ) ABC = m AC 2
Figura 1
Demostracin 1 2 3 4 5 6 7 8 9 Se dibuja el radio PC El tringulo BPC es issceles < ) ABC < ) BCP m< ) ABC + m < ) BCP = m < ) CPA m< ) BCP = m < ) ABC m< ) ABC + m < ) ABC = m < ) CPA 2m< ) ABC = m < ) CPA ) CPA m< ) ABC = m < 2 m< ) ABC = m AC 2 Construccin auxiliar BP PC por ser radios de la circunferencia Por ser issceles el tringulo BPC < ) CPA es ngulo exterior del tringulo BPC Por paso 3 Reemplazando paso 5 en paso 4 Reduciendo trminos semejantes Despejando m < ) ABC m< ) CPA = m AC
196
Unidad de Geometra
Segundo caso: el centro de la circunferencia es un punto interior al ngulo inscrito. Hiptesis < ) ABC est inscrito El centro P de la circunferencia est en el interior del ngulo inscrito Tesis m AC m< ) ABC = 2
Figura 2
Demostracin 1 2 3 Se dibuja el dimetro < ) CBD y < ) DBA son ngulos inscritos m< ) ABC = m < ) ABD + m < ) DBC m AD 2 Construccin auxiliar A causa de la construccin auxiliar Por ser ngulos adyacentes
m< ) ABD =
Por el caso 1
m DC m< ) DBC = 2 m AD m DC + 2 2 m AD + m DC 2
Por el caso 1
m< ) ABC =
Reemplazando pasos 4 y 5 en el paso 3
m< ) ABC =
Sumando fracciones de igual denominador
m< ) ABC = m AC 2
m AD + m DC = m AC, suma de arcos consecutivos
Anexo
197
Tercer caso: el centro de la circunferencia es un punto exterior al ngulo inscrito. Hiptesis < ) ABC est inscrito El centro P de la circunferencia est en el exterior del ngulo inscrito Tesis m< ) ABC = m AC 2 Demostracin m< ) ABD = m AD 2 m< ) CBD = m DC 2 m< ) ABC = m < ) ABD m < ) CBD
Figura 3
Por el caso 1
A causa de la construccin auxiliar
El ngulo ABC se obtiene restando el ngulo CBD al ngulo ABD
m< ) ABC = m AD m DC 2 2 m< ) ABC = m AD m DC 2 m AD = m AC + m CD m AC + m DC m DC 2
Restando las fracciones
AC y CD son arcos consecutivos
m< ) ABC =
Reemplazando paso 6 en el paso 5
m< ) ABC = m AC 2
Reduciendo trminos semejantes
Luego, como se ha visto en los tres casos anteriores, se ha demostrado que si el ngulo ABC est inscrito en una circunferencia, siempre se tiene que m < ) ABC = m AC . 2
198
Unidad de Geometra
Corolario 1.1 (pgina 187) Un ngulo cualquiera en una semicircunferencia es recto. Hiptesis La medida del arco ADB es 180 o sea m ADB = 180 Tesis La medida del ngulo ACB es 90 o sea m < ) ACB = 90
Figura 4
Demostracin m ADB 2 180 2
m< ) ACB =
Por el teorema 1
m< ) ACB =
m ADB = 180 por hiptesis
m< ) ACB = 90
Anexo
199
Corolario 1.2 (pgina 187) Dos ngulos cualesquiera inscritos en el mismo arco son congruentes. Hiptesis < ) ABD y < ) ACD inscritos en el mismo arco Tesis < ) ABD < ) ACD
Figura 5
Demostracin m< ) ABD = m AD 2
Por el teorema 1
m< )V ACD = m AD 2 m< ) ABD = m < ) ACD < ) ABD < ) ACD
Por el teorema 1
Igualando paso 1 con paso 2
200
Unidad de Geometra
Teorema 3 (pgina 188) En un cuadriltero inscrito en una circunferencia sus ngulos opuestos son suplementarios. Hiptesis ABCD es un cuadriltero inscrito en la circunferencia de centro P Tesis m< ) ABC + m < ) ADC = 180
Figura 6
Demostracin m< ) ABC = m< ) ADC = m ADC 2 m ABC 2
Por el teorema 1
Por el teorema 1
m< ) ABC + m < ) ADC = m ABC + m ADC 2 2
Sumando paso 1 con paso 2 (suma de ngulos que se est buscando)
m< ) ABC + m < ) ADC =
m ABC + m ADC 2
Sumando las fracciones
m ABC + m ADC = 360
Suma de arcos que completan la circunferencia
m< ) ABC + m < ) ADC = 360 2 m< ) ABC + m < ) ADC = 180
Reemplazando paso 5 en paso 4
Anexo
201
Teorema 4 (pgina 188) En la misma circunferencia o en circunferencias congruentes, si dos cuerdas son congruentes, entonces tambin lo son los arcos menores correspondientes. Hiptesis __ AB AB Tesis AB AB
Figura 7
Demostracin __ AB AB m AP m BP __ __ m AP m BP ABP ABP
Por hiptesis
AP y BP radios de la circunferencia __ __ AP y BP radios de la circunferencia
Por los pasos 1, 2, 3 y el criterio de congruencia de tringulos LLL
m< ) APB + m < ) APB AB AB
Por congruencia de tringulos
Por denicin de igualdad entre arcos
202
Unidad de Geometra
Teorema 5 (pgina 189) En la misma circunferencia o en circunferencias congruentes, si dos arcos son congruentes, entonces tambin lo son las cuerdas correspondientes. Hiptesis AB AB Tesis __ __ AB AB
Figura 8
Demostracin AB AB
Por hiptesis
m< ) ABP + m < ) ABP __ m AP = m BP __ __ m AP m BP ABP ABP
Por denicin de igualdad entre arcos
AP y BP radios de la circunferencia __ __ AP y BP radios de la circunferencia
Por los pasos 1, 2, 3 y el criterio de congruencia de tringulos LAL
__ AB AB
Anexo
203
Teorema 6 Del ngulo semiinscrito Dados una circunferencia y un ngulo cuyos lados son una secante y una tangente a la circunferencia, la medida del ngulo es la mitad de la medida del arco interceptado. Hiptesis El ngulo Tesis AB = 2
es semiinscrito
Figura 9
Demostracin PB L
PB es un radio al punto de contacto de L con la circunferencia Por paso 1
+ = 90 + 2 = 180
Suma de los ngulos interiores del tringulo APB Despejando en el paso 2
= 90 + 2 (90 ) = 180 + 180 2 = 180 = 180 + 2 180 = 180 + 2 = 2 AB = 2
5 6
Reemplazando paso 4 en paso 3
Despejando en paso 5
Escribiendo en funcin de
Denicin de medida de un arco
204
Unidad de Geometra
Teorema 7 Del ngulo exinscrito En una circunferencia, la medida del ngulo exinscrito, es la semisuma de los arcos que tienen su origen en el vrtice y sus extremos en uno de los lados y en la prolongacin del otro. Hiptesis < ) ABC est exinscrito Tesis
Figura 10
= m BC + m BD 2
Demostracin 1 2 3 4 5 6 PB, PC y PD radios de la circunferencia + 2 = 180 + 2 = 180 + 2 = 180 + + = 360 =< ) BCD + <) BDC En el tringulo BCD, el ngulo exterior es igual a la suma de los dos ngulos interiores no adyacentes a l Construcciones auxiliares Tringulo PBC es issceles Tringulo PBD es issceles Tringulo PCD es issceles
7 8 9 10
++
= + + 2 = = 180 2 180 2 Despejando en paso 2 Despejando en paso 3

Anexo
{ {
+ + +
205
11
= 180 2 = 360 = 180 (360 ) = + 180 2 2
Despejando en paso 4 Despejando en paso 4
12
13
Reemplazando el paso 12 en el paso 11 y resolviendo
{ {
14 =
( 1802 ) + ( 1802 ) + 2 ( + 2 180 )
{
Reemplazando en el paso 8 los resultados de los pasos 9, 10 y 13 y operando = m BC
= 180 + 180 + 2 ( + 180) 2 = 180 + 180 + 2 + 2 360 2 = + 2
15
= m BC + m BD 2
= m BD
206
Unidad de Geometra
Teorema 9 Del ngulo interior (pgina 190) La medida de un ngulo interior a una circunferencia, es igual a la semisuma de las medidas de los arcos comprendidos por sus lados y por sus prolongaciones. Hiptesis < ) AED interior a la circunferencia de centro P Tesis < ) AED = m AD + m BC 2
Figura 11
Demostracin
Trazar AB
Construccin auxiliar para determinar el tringulo AEB
< ) AED = < ) ABD + < ) BAC m AD 2 m BC 2 m AD m BC + 2 2 m AD + m BC 2
Medida del ngulo exterior de un tringulo
< ) ABD =
Por Teorema 1
< ) BAC =
Por Teorema 1
< ) AED =
< ) AED =
Sumando las fracciones
Anexo
207
Teorema 10 Del ngulo exterior (pgina 190) La medida de un ngulo exterior a una circunferencia es igual a la semi diferencia de las medidas de los arcos comprendidos por sus lados. Hiptesis < ) AED exterior a la circunferencia de centro P Tesis < ) AED = m AD m BC 2
Figura 12
Demostracin
Trazar AC
Construccin auxiliar para determinar el tringulo AEC
< ) ACD = < ) AED + < ) BAC m AD 2
Medida del ngulo exterior de un tringulo
< ) ACD =
Por Teorema 1
< ) BAC = m BC 2 m AD m BC ) AED + 2 2 =< < ) AED = m BC m AD 2 2
Por Teorema 1
Despejando el ngulo buscado
< ) AED = m AD m BC 2
Restando las fracciones
208
Unidad de Geometra
Teorema 1 De las cuerdas (pgina 192) Si dos cuerdas de una circunferencia se cortan, el producto de los dos segmentos determinados en una cuerda es igual al producto de los dos segmentos determinados en la otra. Hiptesis Las cuerdas AB y CD se cortan en el punto Q Tesis QA QB = QC QD
Figura 13
Demostracin
Trazar AC y BD
Construcciones auxiliares para formar los tringulos ACQ y BDQ
< ) AQC < ) BQD < ) CAB < ) CDB
ngulos opuestos por el vrtice
Por corolario 1.2 La correspondencia ACQ DBQ es una semejanza de tringulos por el criterio de semejanza AA
Los tringulos ACQ y DBQ son semejantes.
QD QB = QA QC __ QA QB = QC QD
Igualdad de razones entre lados homlogos
Por el teorema fundamental de las proporciones
Anexo
209
Teorema 2 De las secantes (pgina 192) Si por un punto exterior de una circunferencia se trazan dos secantes, el producto de una secante por su segmento exterior, es igual al producto de la otra secante por su segmento exterior.
Figura 14 a
Figura 14 b
Figura 14 c
Hiptesis Q punto exterior a la circunferencia de centro P QA y QB y son secantes a la circunferencia de centro P Tesis QA QB = QC QD
Demostracin 1 Trazar AC y CB. Construcciones auxiliares para formar los tringulos ADQ y CBQ. Figura 14a Por corolario 1.2
2 3
< ) CDA < ) CBA < ) BQD comn a los tringulos ADQ y CBQ Los tringulos ADQ y CBQ son semejantes QD QB = QA QC QA QB = QC QD
ngulos coincidentes La correspondencia ADQ CBQ es una semejanza de tringulos por el criterio de semejanza AA. Figuras 14b y 14c Igualdad de razones entre lados homlogos Por el teorema fundamental de las proporciones
5 6
210
Unidad de Geometra
Teorema 3 De la tangente (pgina 193) Sean C de centro P y Q un punto exterior a ella. Si__ QT y QB son una tangente en T a C y 2 una secante a C, respectivamente, entonces QT = QA QB. Hiptesis QT tangente a la circunferencia de centro P QA secante a la circunferencia de centro P Tesis __ QT2 = QA QB
Figura 15
Demostracin
Trazar TA y TB
Construcciones auxiliares para formar los tringulos QAT y QTB
< ) TQB comn a los tringulos QAT y QTB.
< ) QAT < ) QTB
El ngulo QTB es un ngulo semi inscrito 1 por lo que su medida es: < ) QTB = 2 (TB) Por otro lado, el ngulo TB = 2 (< ) TAB), por lo tanto: 1 1 < ) QTB = 2 (TB) = 2 (2< ) TAB) = < ) TAB = < ) QAT La correspondencia QAT QTB es una semejanza de tringulos por el criterio de semejanza AA Igualdad de razones entre lados homlogos
Los tringulos QAT y QTB son semejantes. QT QA = QB QT __ __ QT 2 = QC QD
Por el teorema fundamental de las proporciones

Anexo
211
Teorema 4 De las tangentes (pgina 193) Sean C una circunferencia de centro P y Q un punto exterior a ella. Si QA y QB son tangentes a C en A y B, respectivamente, entonces QA = QB y < ) PQA < ) PQB. Hiptesis QA y QB son tangentes a la circunferencia en los puntos A y B, respectivamente Tesis QA = QB y < ) PQA < ) PQB
Figura 16
Demostracin 1 Trazar PA y PB Construcciones auxiliares para formar los tringulos PAQ y PBQ
PA PB
PA y PB son radios de la circunferencia
PQ comn.
PQ lado comn a los tringulos PAQ y PBQ
ngulos QAP y QBP rectos.
Tringulo PAQ congruente con el tringulo PBQ.
212
Unidad de Geometra

Referencia 2do Medio 2008

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Referencia 2do Medio 2008

Uploaded by

Copyright:

Available Formats

MATERIAL DE REFERENCIA

APRENDER MATEMTICA CREANDO SOLUCIONES

Profesionales del Proyecto Enlaces Matemtica

Fidel Oteza Morra Mauricio Moya Mrquez

Qu representa una expresin algebraica?

Expresiones algebraicas con sentido

7 230 246 215 213 27 52 180 18 15

Expresiones algebraicas en la Ciencia

Cuocientes de expresiones algebraicas

Indeterminacin de expresiones algebraicas racionales

Simplicacin de expresiones algebraicas

Factorizacin de expresiones algebraicas

Suma por diferencia Multiplicando trmino a trmino Reduciendo trminos semejantes

Mtodo visual para factorizar y desarrollar expresiones algebraicas

Rectngulos rojos y azules de lados 1 y x.

Cuadrados rojos y azules de lado 1.

Ejemplo Factorizar la expresin x2 + 2x 8. En esta situacin se tienen las siguientes piezas:

Resumen de productos notables

Forma (a b)2 (a + b)(a b) (x + a)(x + b)

Desarrollo a2 2ab + b2 a2 b2 x2 + (a + b)x + ab

Suma de cubos Resta de cubos

(a + b)(a2 ab + b2) (a b)(a2 + ab + b2)

Operatoria de expresiones algebraicas

Se reducen trminos semejantes

mcm (5m2nr, 25mn3) = 5 5 r n n2m m = 25m2n3r

mcm (5m2nr, 25mn3) = 25 m2 n3 r = 25m2n3r

mcm (5a, 2a) = 10a

15 b b x x y Descomponiendo y simplicando, se obtiene el resultado. 2bxy 15bx 2

Ejemplo Resolver 2 1 + x+3 x5 2x 2 x2 2x 15 .

2 + 1 2x 2 = x5 x+3 (x + 3)(x 5) 2 (x 5) + 1 (x + 3) (2x 2) = (x + 3)(x 5) 2x 10 + x + 3 2x + 2 = (x + 3)(x 5) x5 = (x + 3)(x 5) x5 = (x + 3)(x 5) 1 = x5 Ejemplo Resolver

Factorizando la expresin cuadrtica

Encontrando el mnimo comn mltiplo

Resolviendo productos en el numerador

Reduciendo trminos semejantes

Resolviendo las sumas de los parntesis

4m + 5n 5 = 20 2(m n) 5(4m + 5n) = 40 (m n) 5 (4m + 5n) = 5 8 (m n) 4m + 5n 8m 8n)

Multiplicando numeradores y denominadores

Multiplicando trmino a trmino en el denominador

Propiedades de las potencias de exponente entero

Ejemplo 1 1 23 = 23 = 8 = 0,125 1 32 = 32 = 9 41 42 = 41 + 2 = 41 = 4 55 53 = 553 = 52 = 25

a IR; a IR; a IR;

m,n Z; a 0 m,n Z n Z; a,b 0

a,b IR; a,b 0 a IR; a; A m,n Z

103 = (5 2)3 = 53 23 = 125 8 = 1000 (3,42)0 = 1

Ejemplos 1. Simplicar la expresin b2 = b3m b2(3m) = b1 + m b2 . b bm

Aplicando la propiedad 3 en el denominador Aplicando la propiedad 4 Reduciendo trminos semejantes en el exponente

1 + 1 32 3 = Aplicando la propiedad 1 3 1 + 1 9 3 = Resolviendo potencias 3 1+3 9 3 4 9 3

= Resolviendo la suma en el numerador

4 1 = Transformando a multiplicacin 9 3 4 = Multiplicando numeradores y denominadores 27

INTRODUCCIN A LOS NMEROS REALES2

Adaptado de la obra de Bobadilla y Billeke (1997).

La aparicin de los nmeros irracionales en la Historia3

Introduccin a los nmeros reales

La naturaleza irracional de la raz cuadrada de 2

2 entonces de los nmeros enteros p y q, p es un nmero par

y q es impar, ya que partimos suponiendo que p y q son primos relativos.

Valores aproximados de nmeros irracionales

4, usando las piezas

Introduccin a los nmeros reales

Decimal 1 0,1 0,01 0,001 0,0001 ...

Potencia 100 10 1 10 2 10 3 10 4 ...

Introduccin a los nmeros reales

La recta numrica real

Catetos 1y1 1y 2 1y 3 1y 4 ...