LICEO DE NUEVA PALMIRA Dr. Medulio Prez Fontana MATEMTICA II 3 FISICO MATEMTICA Prof. Guillermo R.

. Osorio Salorio ACTIVIDAD DE REPASO E INTRODUCTORIA AL CURSO

(Tomados de Geometra Mtrica de Fernndez Val)

Toda Teora matemtica es un conjunto reproposiciones que se van construyendo a travs de un esquema de deduccin lgica. Conceptos primitivos: Son conceptos primitivos, los cuales no son susceptibles de definicin,por la imposibilidad de referirlos a otros ms sencillos. Por ejemplo, elemento, conjunto, pertenecer, punto, recta, plano, . Axiomas: Son proposiciones que se admiten como vlidas, sin demostracin de ello, y sobre las cules se construye toda la teora matemtica. Las caractersticas que debe de cumplir un sistema de axiomas, para que sea satisfactorio han de ser: Compatibilidad, es decir que sus axiomas no pueden ser contradictorios entre s, o en sus consecuencias. Completitud, o sea que si se introduce un nuevo axioma, ste es innecesario,o inaceptable. Independencia, vale decir que ninguno de sus axiomas puede demostrarse total o parcialmente como consecuencia de los dems. Teoremas: Luego de admitidos los conceptos primitivos y basndose en los axiomas, pueden deducirse lgicamente las propiedades o teoremas. Los teoremas constan de la siguiente estructura: Hiptesis, son las premisas de las cules se parte y es lo que se supone se verifica. Tesis, es la conclusin, y es lo que se debe demostrar. Demostracin, es la deduccin lgica de la tesis a partir de la hiptesis. Distintos tipos de teoremas: Teoremas recprocos: la tesis de uno es la hiptesis del otro y viceversa. Teoremas contrarios: la hiptesis y la tesis de uno de ellos, son las negaciones de la hiptesis y la tesis respectivamente del otro. Teoremas contrarrecprocos: cada uno de ellos es el recproco del contrario del otro y viceversa, es decir que la hiptesis y la tesis de uno es respectivamente la negacin de la tesis y la negacin de la hiptesis del otro. Supongamos la existencia de un teorema que establezca que H implica T, quedan determinados los siguientes teoremas: H T , directo T H , recproco No H no T , contrario No T no H , contrarrecproco El teorema directo expresa que la condicin H es suficiente para que ocurra T. El teorema recproco expresa que la condicin H es necesaria para que ocurra T. La validez de un teorema no implica la validez del recproco o del contrario. Por ejemplo: Todos los rectngulos son paralelogramos (directo), no implica que todos los paralelogramos sean rectngulos (recproco). Si se cumplen directo y recproco, se dice que H es condicin necesaria y suficiente para que se cumpla T. Por ejemplo: Directo: Todo punto del plano que equidiste de los extremos de un segmento pertenece a su mediatriz. Recproco: Si un punto pertenece a la mediatriz de un segmento, entonces equidista de sus extremos.

Si se afirma entonces que la condicin necesaria y suficiente para que todo punto del plano equidiste de los extremos de un segmento, es que pertenezca a su mediatriz, deben probarse directo y recproco. El teorema directo y el contrarrecproco son equivalentes, es decir que la validez de uno de ellos implica la del otro. H T no T no H El mtodo de razonamiento que consiste en probar la validez del directo mediante el contrarrecproco, recibe el nombre de reduccin al absurdo, y consiste en negar la tesis del directo para llegar a una contradiccin con la hiptesis de ste, o con alguna proposicin ya demostrada.