Demostracin del enunciado de Playfair anlogo al quinto postulado de Euclides Rodolfo A.

Nieves Rivas Fundacin Integral para el Desarrollo Comunitario (F.I.D.E.C.) San Carlos, Cojedes 2203 Venezuela fesol7luzley@gmail.com Resumen: En este artculo se presenta un axioma y su aplicacin en un ejemplo de construccin geomtrica que permite establecer la relacin entre un enunciado atribuido a Proclo, actualmente conocido como axioma de Playfair y su analoga con el quinto postulado de Euclides. Se concluye con la propuesta de incorporacin de este axioma dentro de la estructura axiomtica de la geometra de Euclides. Palabras Clave: Axioma, Postulado, Estructura Axiomtica. Proof of the statement of Playfair analogous to the Euclids fifth postulate Abstract: We present in this article an axiom and its application on an example of geometric construction analogous that allows a relation between a statement attributed to Proclus, now known as Playfairs axiom and its analogy to the Euclids fifth postulate. We conclude with a proposal for including this axiom on the axiomatic structure of the Euclid geometry. Key words: Axiom, postulate, axiomatic structure. INTRODUCCIN Dentro de la estructura axiomtica en los elementos de Euclides el concepto o definicin que ha intrigado a todo aquel que ha tenido acceso a este tratado es lo referente al quinto postulado de Euclides y sus intentos por demostrar nos conducen hacia resultados difusos y problemas conceptuales a tal grado que se pierde la esencia y objetividad de tan majestuosa obra. Es por ello que humildemente se propone la incorporacin de un axioma el cual despejar todas las dudas generadas al intentar demostrar dicho postulado o axioma segn algunos autores. Este breve artculo tiene como objetivo presentar un axioma preservando la consistencia interna de la estructura axiomtica y se considera al quinto postulado como un teorema fundamental dentro de esta estructura. Para el logro del objetivo se expondr el desarrollo de la siguiente forma:

a) b) c) d) e) f) g) h)

Marco terico. Bases tericas Planteamiento del problema y propuesta. Construccin geomtrica. (Figura 1) Objetivo y demostracin. Anlisis descriptivo de resultados.(Figura 2) Discusin.(Figuras: 3, 4, 5 y 6) Conclusin y recomendacin.

MARCO TERICO Quinto Postulado de Euclides: Y que si una recta (secante) al incidir sobre dos rectas hace los ngulos internos del mismo lado, menores a dos rectos, las dos rectas prolongadas indefinidamente se encontrarn en el lado en el que estn los (ngulos) menores a dos rectos. Enunciado de Proclo o axioma de Playfair anlogo al postulado de Euclides: Por un punto exterior a una recta; solo pasa una y nada ms que una recta paralela a esta. BASES TERICAS Axioma: 1 El cociente de una suma es igual a la suma de los cocientes. central determinado por la misma cuerda. Corolario: 1 El ngulo inscrito perifrico en una semicircunferencia es recto. Corolario: 2 Las Cuerdas que determinan ngulos centrales suplementarios. Son perpendiculares. Corolario: 3 La bisectriz de cualquier ngulo central. Es perpendicular a la cuerda que lo determina. Corolario: 4 Las bisectrices de dos ngulos centrales suplementarios. Son perpendiculares. Corolario: 5 La bisectriz de cualquier ngulo central. Es paralela a la cuerda de su ngulo suplementario correspondiente. Planteamiento del problema: Demuestre que: Si: La bisectriz de cualquier ngulo es nica. Entonces: Por un punto exterior a una recta dada, pasa una recta paralela Y solo una. Propuesta: Axioma: La bisectriz de cualquier ngulo es nica. Teorema: 1 El ngulo inscrito sobre la circunferencia es igual a la mitad del ngulo

Construccin geomtrica de la figura: 1

a) Dada la recta: r1 b) Siendo el punto: C exterior a la recta: r1
c) Centre el compas en el punto exterior: C y con abertura arbitraria: CD

construya una circunferencia de radio: CD y determine el punto: E en la recta: r1

d) Se unen los puntos: E con el punto: C y luego se prolonga el segmento de recta: DC o radio para determinar el punto: F en la circunferencia. Siendo: DC=CF=CE y ademas: CDE = DEC y de esta forma se comprueba que: ECF CDE + DEC =

e) Luego se traza la bisectriz: CG del angulo: ECF Siendo CG r1 (Por el corolario 5)

Figura 1

OBJETIVO Y DEMOSTRACIN

ANLISIS DE RESULTADOS

Figura 2

En la figura 2 se puede observar el cumplimiento de la base terica utilizada de la siguiente forma; cuando se unen los puntos: E con el punto: F se obtiene la cuerda: EF del ngulo:FCE siendo: EF ED (por los corolarios 1 y 2) y cuando se construye la bisectriz: CH del ngulo:DCE siendo: CH DE (por el corolario 3)y adems se observa que: CH EF (por el corolario 5) Y se comprueba que el ngulo: CDE es la mitad del ngulo: FCE (por el teorema 1) De igual forma queda comprobado que: CDE = DEC =FCG = GCE ( con el axioma 1) dado que: ACF/2 = dos rectos/2 = DCE/2 = ECF/2 = HCE/2 + ECG (Por los corolarios 1; 2; 3; 4 y 5) Y con todo lo anterior queda demostrado el objetivo al comprobarse que: CH DE (con el corolario 5) dado que: DE r1 Y adems: CG r2 siendo: r2 la bisectriz nica por el axioma propuesto. DISCUSIN Cabe destacar que los resultados obtenidos y su anlisis nos conducen a tener en consideracion el siguiente teorema equivalente a los primeros cuatros postulados y su conjugacin, dado que es fundamental y clave para la comprensin y justificacin del axioma propuesto en este artculo. Teorema principal: Desde cualquier punto exterior: C a una recta dada: AB se puede construir una circunferencia que determine dos puntos: D y E en esta recta y que son adems equidistantes a este punto exterior: C. (CD CE )

Figura 3 Corolario: La interseccin de una recta secante: AB y una circunferencia determina dos puntos: D y E equidistantes al centro: C de esta circunferencia. Escolio: Todos los puntos pertenecientes a una circunferencia son equidistantes a su centro. Corolario: la interseccin de una recta secante: AB y una circunferencia determina una cuerda: DE en esta circunferencia. Escolio: Y esta cuerda determina un angulo central cuyo vrtice es el punto central de la circunferencia. Corolario: Todo ngulo central: DCE menor a dos rectos determina un tringulo issceles: DCE cuya base es la cuerda: DE que determina en la circunferencia.

Figura 4 Corolario: Todo triangulo issceles: ngulos iguales: CDE CED

DCE tiene dos lados iguales: DC

CE y dos

Escolio: Y los dos ngulos iguales de cualquier triangulo issceles, siempre son agudos. Corolario: El ngulo exterior: ECF del ngulo opuesto: DCE a la base: DE de cualquier triangulo issceles: DCE es igual a la suma de sus dos ngulos iguales.

ECF

CDE

CED

Corolario: Todo ngulo exterior: CEB a el ngulo: CED que determina la altura relativa a la base de cualquier triangulo issceles: DCE es igual a la suma del ngulo que determina la altura relativa a la base ms el ngulo que determina la base.

CDE

DCE

CEB

He de resaltar que la mejor demostracin del quinto postulado tendra que ser presentado con las siguientes caractersticas: Proposicin: 39

Figura 5

Si : ACB

ADB

AEB
R1

Cuando : C ; D ; E Y : A; B R2

Entonces : R1 R2

Y .Si : AC B

ADB
R2

AEB

Entonces : R1

Entonces : R1 ; R2 convergen.en.sentido.AB Y : R1 ; R2 divergen.en.sentido.BA

CF DG EH .( Las.alturas)

Figura 6 Teorema: Si por dos vrtices: P; Q de dos ngulos opuestos a una base comn: AB perteneciente a una recta dada: r1 pasa otra recta: r2. Entonces: Las rectas: r1 y r2 son: Paralelas en sentido:
AB
Si. y.solo.si : APB AQB

Convergen en sentido:
AB
Si. y.solo.si : APB AQB

Divergen en sentido:
AB
Si. y.solo.si : AQB APB

CONCLUSIN Y RECOMENDACIONES Una vez presentados los resultados obtenidos en esta investigacin es necesario reconocer que la demostracin del quinto postulado de Euclides no est expuesta en este artculo dado que la misma requiere de tener en consideracion la restructuracin y reforma axiomtica en general o la enmienda puntual a travs de la incorporacin de algunos axiomas dentro de su estructura axiomtica tales como: a) Axioma: Todo tringulo contiene al menos dos ngulos agudos. b) Axioma: Ningn tringulo contiene dos ngulos que sumen dos rectos. c) Criterio: Las condiciones necesarias y suficientes para que el quinto postulado de Euclides sea cierto es que: La diferencia de los ngulos alternos internos sea menor que cero para que la suma de los ngulos internos sea menor a dos rectos. Y de esta forma: Si una secante corta a dos rectas formando a un lado ngulos interiores cuya suma es menor que dos rectos; entonces estas dos rectas al ser prolongadas convergen en ese mismo lado formando un triltero. Y es por todo lo anterior que se propone ante la comunidad cientfica la incorporacin del axioma presentado en este artculo y de esta forma poder tratar estos temas que durante tanto tiempo han intrigado a quienes pretenden desentraar su misterio. REFERENCIAS BIBLIOGRFICAS Coxeter, H.S.M (1971): Fundamentos de Geometra. Mxico: Limusa - Wiley, S.A. Joyce, D. (1996). Euclids elements. Recuperado el 15 de Febrero de 2012, de http://aleph0.clarku.edu/~djoyce/java/elements/bookI/bookI.html Ramrez, G., Ana, I. y Sienra, L., Guillermo. (2000): Invitacin a las Geometras no Euclidianas. Mxico: Coordinacin de Servicios Editoriales. Facultad de Ciencias, UNAM.