P. 1
GEOMETRÍA AXIOMÁTICA

GEOMETRÍA AXIOMÁTICA

|Views: 1,965|Likes:
Published by blibliotks
COMPARTIDO POR LA ACADEMIA RUBIÑOS , SI DESEAS MÁS , VISITAR www.W2012.blogspot.com o www.MIACADEMIA1.blogspot.com
COMPARTIDO POR LA ACADEMIA RUBIÑOS , SI DESEAS MÁS , VISITAR www.W2012.blogspot.com o www.MIACADEMIA1.blogspot.com

More info:

Categories:Types, School Work
Published by: blibliotks on Aug 18, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/15/2013

text

original

r

:

J

-J

~

" !---J

.._, ,--J

r) J

~\j

(_)

Geometrla

. ,.

axioma tica

_- -----_- -----~

44. Demostraciones

iQue-vas a aprender hoy? En este tema estrecharas los vinculos entre gecmetria y logica Entenderas el proceso historico y evolution de fa geometrfa plana y at mismc pc.:1rticiparc1s de su construccicn 1:1

Aproximacion al tCI1UI

ill Con un cornpanero 0 compafiera realiza el siguience i,uego: Uno de ustedes piensa en un personaje farnoso, el otro Ie hace preguntas sabre so. vida y s610: se Ie responde con si 0 no, se trata de adivinar de quien se trata. Mas de 10 'pre~u:ntasJ'acen que el jXl~adQr pierda, dandole el turno al otro.

~ Escribe en ttl cuaderno una estrategia para ganar.

Desarrollo conceptual

La geometrfa se puede comprender como un conjunto de reglas. de juego can objetos abstractos (entes geometricos). El [uego consiste en it descubriendo y aplicando las normas dadas aentes mas y mas complejos sin perder el hilo conductor. Cada jugada debe estar muy bien sustentada en las reglas originales a en reglas que se deduzcan en el proceso. La geometria as! entendida se conoce como axiomatica, ya que parte de unas ideas basicas 110.madas axiomas que se aceptan sin discusion.

D f9 ••

e mrcsones

.Muchas de las definiciones de 10. geometrfa axiomatica son de usa oorriente para todo el rnundo: puntas, rectas y pianos son terrrunos muy utilizados. No es posible defirurlos can precision y tampoco es importante, ya que poseemos nociones intuitivas sobre 10 que son (recuerda el concepto de conjunto).

Otras definiciones se refieren a objetos con el ammo de simplificar el lenguaj e: como puntos colineeles.Jnterior, exterior, etc. y a figuras: triangulos, cuadrados, etc.

Las otras definiciones se refieren a propiedades de los objetos geometricos: regular, irregular, conexo, etc.

Is de usa comun definir ciertas caracteristicas, pero estas definiciones deben ser claras yestar basadas en definiciones anteriores que igualrnente deben ser claras,

Axiomas

Se entiende que el axiorna es una verdad (*) aceptada como obvia, que no tiene discusion, En ocasiones se habla de postulados, terrnino que se refiere a enunciados mas complejos, Sin embargo, tomaremcs axiomas y postulados como sin6nimos. £1 siguiente es un ejemplo de axiorna:

Existe al menos un punta.

* La ciencia que estudia la verdad de una ciencia es 10. epistemologla. Hoy en dia 10 que puede parecer obvio no necesariamente es cierto.

Pestulados de Eudides

Si las definiciones son los Iadrillos, los postulados de Euclides son Ja argamils2 para la construccion del edificio de la geornetrla, Son cinco y salvo el quinto, son de una sencillez desconcertante. Aunque no utilizarnos las misrnas palabras que utilize Euclides, son:

Primer postulado

Por cualquier par de puntas se puede trazar un segmento de recta.

Segundo postulado

T odo segment a de recta puede prolongarse indefinidamente en Ilnea recta.

T ercer postulado

Dado cualquier segmento de recta, puede ser trazado un cfrculo que tenga al segmento como radio y a uno de los extremes como centro.

Cuarto postulado

T odes los angulos rectos son congruentes.

Ouinto postulado

Por un punta exterior a una recta, se puede Hazar s610 una paralela a dicha recta.

Aunque Euclides no 10 reconoci6 explicitarnente, consideraba que este ultimo postulado era inferior al restoy s610 10 utilize despues de 28 proposiciones, Es el patito feo de los postulados (ver nota historica).

Estes postulados garantizan una geornetrfa COn regla no graduada (primer postulado) y compas (tercer postulado) y de heche durante rnuchos siglos IDS geometras se obstinaron en utilizar solo estes dos instrumentos para sus dernostraciones. Hoy en dia se ha demostrado que hay procedimientos imposibles de realizer can estos des instrurnentos (como la trisecciori del angulo).

Nodones comunes

Son algunas ideas que relacionan las cos as entre s{ y tienen que ver con el proceso 16gico utilizado, estan inspiradas en Ia logica aristotelica, Por ejemplo:

/ Las casas iguales a una rnisma cosa, SOn iguales entre S1 (transltividad). ", EI todo es mayor que las partes ..

'" Si a casas desiguales se agregan casas iguales.Jos totales son desiguales.

223_

B

Teorema-demostraci6n

EI teorerna es un enunciado que puede ser dernostrado.La dernostraci6n es un conjunto de razonamientos que conducen a evidenciar la verdad (0 falsedad) del enunciado. Una conjetura pasa ala categoria de teorerna cuando es demostrada. Ejernplo: la suma de la rnedid a de losangulos internes de un triangulo es iguai a la de dos rectos.

Aquf esta el coraz6n de la geornetrfa axiornatica, a rnedida que se avanza en la dernostraci6n de los teorernas se toma vuelo para teorernas mas complejos, utilizando los ya dernostrados.

A

Un teorerna se divide en dos:

Hip6tesis: La parte que se supone. Por ejernplo: los angulosA, B y C son angulos interiores del triangulo ABC.

Tesis: La parte que sequiere dernostrar. Porejemplo: La surna deA,ByC equivale a dos rectos.

Los prirneros teorernas son realmente rnetodos de construcci6n. Por ejemplo, c6rno construir un triangulo equilatero, como trazar una rnediatriz y algunos que ya conoces.

c Corolario

Es un enunciado que se deduce de un teorema como consecuencia del rnismo. Par ejernplo:

La suma de los angulos agudos de un triangulo rectangulo equivalen a un recto. Este colorane se deduce del teorerna anterior.

Redproco

Es un enunciado cuya hip6tesis es la tesis de un teorema y viceversa. Par ejernplo: Si la surna de los angulos interiores de un poligono es equivalente a dos rectos, el polfgono es un triangulo.

EI redproco de un teorerna no es necesariamente verdadero.

W Campara la definicion de teorema can la de implicaci6n en 16gica. Establece una analogia.

A

Notaci6n

Una notaci6n clara y precisa evita confusiones, en este capitulo utilizarernos el siguiente criterio.

AB Recta que pasa por los puntosA, B.

AB Segmento determinado por los puntos A, B.

AB Medida del segrnento AB.

L. ABC Angulo de£inido por los puntos A, C, vertice B.

L. B . Angulo de vertice B (el menor).

m Z ABC Medida del angulo ABC.

mLB Medida del angulo B.

L. a Angulo sefialado con a.

Medida del angulo senalado con a.

c

COmo demostrar

Aunque 10 mas importante es seguir con un procedimiento que perrmta justificar cada paso. es buena tratar de seguir un esquema de dernostracion donde se [ustifique cada a fir- 71aci60. Acicionalmente cada paso es recomendable que vava nurnerado, ya que en la maycria de los C5SOS11n paso posterior se basa en los anteriores.

Ejernplo: Dados los puntas colineales A. B; C y D con AC = BD demostrar que AB = CD.

A

c

D

B

--- --=:--_._ -- - -._ ----- ..... _.-- - _._.- -- - -'.-- ---- --- - - - ... --_._.

Soluci6n:

Aqui las hipotesis son:

A, B, C y D colineales. AC=BD

La tesis es: _J,B = CD

Afirmaci6n

J ustificacion

CD ilB + Be =AC

POI ser colineales y estar B entre A y C.

® Be + CD =BD

Por ser colineales y estar Centre B yD.

I:%; AC = ED

Hip6tesis

® AB + Be = Be + CD

Sustituyendo ill Y ® en @.

@ AB = CD

RestandoBC

Oueda entonees demostrado 10 que se queria.

Observa que parte del razonamiento se refiere a propiedades que se dan por descontado y recurre a una notacion maternatica precise. Esto es muy (::1, puesto quc h"Ct~ rnuy claros los razonamientos.

III Enuncia en tu cuaderno el reciproco del teorema anterior y dernuestralo .. W Propon un teorema similar.

Ejemplo: Angulos opuestos par el vertice son congruentes.

Solucion:

Er; la mayoria de los C5.S0S el grafico es de gran ayuda. Podemos ex.presar el teorerna asi:

A

Hipotesis: La recta AB corta ala recta DC en E.

D

B

TeSIS: mLGEA = mLDEB.

225.

Afirmacion

CD mLGEA + mLAED = 2R

® mLALD + mLDEB = 2R

Q) mLGEfl - 2R - mLAED

@ mLDEB = 2R - II1LAED

@ mLGEA = m.LDEB

Oueda entonces demostrado.

J ustificaci6n

Definici6n de angulos adyacentes suplementarios.

Definicion de angulos adyacentes suplemernanos.

Restando en CD mLAED.

Restando en@mL4.ED.

Igualando @ Y @.

Es po sible simplificar los elementos de la dernostracion pam darle mayor claridad, pem In irnportante es 4ue en tu cabeza este complete, lo mas sencillo es entonces llevarla alpapel.

Revision )' practica .

Las representaciones oniricas 5011 una de las [uentes mas ricas en especulaciones V creencias. Nuestrcs suehcs se mtmifiestan como escenas de situacianes que nunca heme: vivido, pew que eo dejan de scrprendern»: Untl de {as caracteristicas de los sueiios I!~~ fa flogicos que parecen. En ello: la lcgica aristouuca "1(1 [unciona. PDf ejemp/a en Lin sueho dJS W~tl~~ disnma« pueden representar 10 mismo (una cosa no es igual a sf misma}, c Ires acontecimientos puede« darse en forma descrdenada cronologicamente. En gnaal

las nociones comunes en forma consciente no estdn necesariamenie presentes en los SUeti05_

El psic6iogo aleman Sigmund Freud rue ei primero en iniciar una investigacion seria v sistematica sabre ef sigmpcado de los sueiios, conduvendc que se origina« en hechos cotidianos y estan compuestos de elementos que hemos experimentado, pera en 11inguF1 caso son premoniaones.

W Relata en forma corta un suefio tuyo y desraca nociones comunes que no se

han cumplido en el.

~ Discute con tus companeros 0 companeras acerca del sentido de los suefios.

1. Escnbe cinco ejemplas de definiciones que conozcas.

2. Escribe cinco ejemplos de teorernas.

,3. Escribe cinco nociones comunes sobre geornerria.

4. Idenrifica en cada caso.la hipfit<'..o,i;: y la tesis,

a. En todo triangulo 1a sum", de dos de sus angulos es menor que dos rectos.

b. En todo triangulo ellado opuesto al angulo mayor es el lade mayor.

c. Dos triangulos son congruentes si sus lados respectivos son congruentes,

d. Si en un ctrculo sc cortan dos rectas que no pasan por el centro, no se cortan en dos partes iguales.

:5_ Reformula los siguientes teorernas realizando un graRco: (t. AI trazar Ia diagonal de un rectangulo se forman dos triangulos ccmgruf::pt(;:s.

b. Un triang;lilo isosceles tiene des angulos congruentes.

c. Un triangulo equilatero es equiangulo.

d. Las alturas de un triangulo se cortan en un solo punta.

6. Dernuestra el siguiente teorerna: dados cuatro puntas colineafesA,B, CyD siAB = CD entoneesAC =BD.

7. Demuestra el siguiente teorema: Dos rectas que se intersectan forman pm 10 rnenos des angulos suplernen

tarios.

227.

Geometriasno euclidianas

O esde que Euclides publico sus elementos, basta 1555, los maternaticos se sintieron muy inquietos por el quinto postulado.la geometrfa Euclidiana se consolido y robustecio a 10 largo de los siglos, sustentando rnodelos ffsicos tan importantes como el newtoniano,

Su cuarto de bora lieg6, cuando se comprendi6 que este postulado podia asurnirse como falso y personajes como Gauss, fundaron las gllese conocerian como geornetrfas no euclidianas .. Estes, basicarnente, parten de negar e! qui n LO postulado 0 postulado de las paralelas.

Un amigo de CWS$, Nicolas Lobacheuski (179.3 - 1856), desarrollo la que elmisrno h'ULi?:{J Pangeometria, basado en que por un pUDtO exterior a una recta pasan infinitas paralelas (Ceometrfa hi perbolica).

Poco a poco los maternaticos de la epoca se interesaron en este nuevo tipo de geometria y finalrnente se 1a reconocio mundialmente wando Riemann, public6 en 1868, el segundo tipo de geornetrfa no euclidiana, en la que la suma de los angulo:s interiores de un triangulo es mayor que dos rectos (geornetrfa eliptica).

Como cuspide de la explosion de las nuevas geornetrfas se encuentra el pmg;rama de Erlangen, propuesto por el mate matico Felix Klein, a final del siglo XIX En este se clasificaban las nuevas g:eometrlas fundamentandose en la geometria pmyectiva: de este modo se caracterizaron los diferentes teoremas de geomema, a paru r de los grupos de transformaciones que Ies corresponden. Por ejernplo: ala geometrfa euclidiana le corresponden las invariantes del grupo metrico (transfermaciones ngidas). A la geometria proyectiva, los invariantes de los puntas colineales (perspectivas), etc.

Finalmente, en el siglo XX; 1a geometrfa (en general) se axiorna tizo gracie s a los traba j os de Hi! bert (1862 - 1943) en deride confluyen los trabajos sabre logica, rnatematicas y filosofia.

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->