Axioma de Playfair

En geometría, el axioma de Playfair se puede usar en lugar del quinto

postulado de Euclides (el postulado de las paralelas) y establece que:

En un plano, dada una línea y un punto que no

está en ella, a lo sumo se puede trazar por el
punto una línea paralela a la línea dada.1 ​
Premisa del axioma de Playfair:
una línea y un punto que no
pertenece a la línea.
Es equivalente al postulado de las paralelas de Euclides en el contexto
de la geometría euclidiana,2 ​ y recibió el nombre del matemático
escocés John Playfair. La cláusula "a lo sumo" es todo lo que se
necesita, ya que puede deducirse de los axiomas restantes que existe al
menos una línea paralela. La declaración se escribe a menudo con la
frase, "existe una y solamente una paralela". En los Elementos de
Euclides, se dice que dos líneas son paralelas si nunca se encuentran y
no se usan otras caracterizaciones de líneas paralelas.3 4​ ​

Este axioma se utiliza no solo en la geometría euclidiana, si

no también
en el estudio más amplio de la geometría afín, donde el concepto de
paralelismo es central. En el ajuste de la geometría afín, la forma más
fuerte del axioma de Playfair (donde "como mucho" es reemplazado
Consecuencia lógica del axioma
por "uno y solo uno") es necesaria, ya que los axiomas de la geometría
de Playfair: existe una segunda
neutra no están presentes para proporcionar una prueba de existencia.
línea, paralela a la primera, que
La versión del axioma de Playfair se ha vuelto tan popular que a
pasa por el punto.
menudo se la conoce como "el axioma de las paralelas de Euclides",5 ​
aunque no fuera la versión de Euclides del axioma.

Índice
Historia
Relación con el quinto postulado de Euclides
El quinto postulado de Euclides implica el axioma de Playfair
El axioma de Playfair implica el quinto postulado de Euclides
Transitividad del paralelismo
Referencias
Bibliografía

Historia
Proclo (410–485 A.D.) formula claramente la declaración en su comentario sobre Euclides I.31 (Libro I,
Proposición 31).6 ​

En 1785 William Ludlam expresó el axioma de las paralelas como sigue:7 ​

Dos líneas rectas, que se encuentran en un punto, no son paralelas a una tercera línea.

Esta breve expresión del paralelismo euclidiano fue adoptada por Playfair en su libro de texto "Elements of
Geometry" (1795) que fue reeditado a menudo, escribiendo que8 ​

Dos líneas rectas que se intersecan entre sí no pueden ser paralelas a la misma recta.

Playfair reconoció a Ludlam y a otros por simplificar la afirmación euclidiana. En desarrollos posteriores, el
punto de intersección de las dos líneas se define primero, y la negación de paralelismo se expresa como una
paralela única a través del punto dado.9 ​

En 1883 Arthur Cayley fue presidente de la Asociación Británica para el Avance de la Ciencia y expresó
esta opinión en su discurso a la Asociación:10 ​

Mi propia opinión es que el XII Axioma de Euclides en la forma de Playfair no necesita

demostración, sino que es parte de nuestra noción de espacio, del espacio físico de
nuestra experiencia, que es la representación situada en el fondo de toda experiencia
externa.

Cuando David Hilbert escribió su libro, Fundamentos de Geometría (1899),11 ​ que proporcionaba un
nuevo sistema de axiomas para la geometría euclidiana, utilizó la forma de Playfair del axioma en vez de la
versión euclidiana original para discutir líneas paralelas.12 ​

Relación con el quinto postulado de Euclides

El postulado de las paralelas de Euclides
afirma que:

Si un segmento interseca dos líneas

rectas formando dos ángulos
interiores en el mismo lado que
sumen menos de dos ángulos rectos,
entonces las dos líneas, si se
extienden indefinidamente, se cruzan
en el lado en el que los ángulos
interiores suman menos de dos
ángulos rectos.13 ​

La complejidad de esta afirmación en

comparación con la formulación de Playfair es Si la suma de los ángulos interiores α y β es menor que
ciertamente una contribución principal a la 180°, las dos rectas, prolongadas indefinidamente, se
popularidad de citar el axioma de Playfair en encuentran en ese lado.
las discusiones del postulado de las paralelas.

En el contexto de la geometría absoluta, las dos afirmaciones son equivalentes, lo que significa que cada
una puede ser probada asumiendo la otra en presencia de los restantes axiomas de la geometría. Esto no
quiere decir que las declaraciones sean lógicamente equivalentes (es decir, que se pueda probar una desde
la otra usando solo manipulaciones formales de la lógica), ya que, por ejemplo, cuando se interpreta en el
modeli esférico de la geometría elíptica, una declaración es verdadera y la otra no lo es.14 ​ Las sentencias
lógicamente equivalentes tienen el mismo valor de verdad en todos los modelos en los que tienen
interpretaciones.

Las demostraciones siguientes suponen que todos los axiomas de la geometría absoluta (neutra) son
válidos.

El quinto postulado de Euclides implica el axioma de Playfair

La manera más fácil de demostrar esto es usando el teorema euclidiano (equivalente al quinto postulado)
que establece que los ángulos de un triángulo suman dos ángulos rectos. Dada una recta y un punto P no
perteneciente a esa línea, construir una línea t, perpendicular a la dada a través del punto P, y luego una
perpendicular a esta perpendicular por el punto "P". Esta línea es paralela porque no puede cumplir y
formar un triángulo, de acuerdo con lo que se afirma en el Libro 1 Proposición 27 de los Elementos de
Euclides.15 ​ Ahora se puede ver que no existen otras paralelas. Si n es una segunda línea a través de P,
entonces n forma un ángulo agudo con t (puesto que no es la perpendicular) y la hipótesis del quinto
postulado se mantiene, por lo que n se corta con .16 ​

El axioma de Playfair implica el quinto postulado de Euclides

Dado que el postulado de Playfair implica que solo la perpendicular a la perpendicular es una paralela, las
líneas de la construcción de Euclides tendrán que cortarse en un punto. También es necesario probar que lo
harán en el lado donde los ángulos suman menos de dos ángulos rectos, pero esto es más difícil.17 ​

Transitividad del paralelismo

La Proposición 30 de Euclides dice que: "Dos líneas, cada una de ellas paralela a una tercera línea, son
paralelas entre sí". Augustus De Morgan hizo notar18 ​ que esta proposición es lógicamente equivalente al
axioma de Playfair. Esta consideración fue retomada19 ​ por T. L. Heath en 1908. El argumento de De
Morgan es como sigue:
Sea X el conjunto de pares de líneas distintas que se encuentran y Y el conjunto de
pares distintos de líneas cada una de las cuales es paralela a una sola línea común. Si z representa un par de
líneas distintas, entonces la afirmación,

Para todo z, si z está en X, entonces z no está en Y,

Es el axioma de Playfair (en términos de De Morgan, No X es Y ) y su equivalente lógicamente equivalente

contrapuesta,

Para todo z, si z está en Y, entonces z no está en X,

coincide con Euclid I.30, la transitividad del paralelismo (No Y es X).

Más recientemente, la implicación se ha expresado de manera diferente en términos de relación binaria,

expresando la relación de paralelismo: en geometría afín la relación se toma como una relación de
equivalencia, lo que significa que una línea se considera paralela a sí misma. Andy Liu20 ​ escribió: "Sea P
un punto que no está en la línea 2. Supongamos que tanto la línea 1 como la línea 3 pasan por P y son
paralelas a la línea 2. Por la propiedad transitiva, son paralelas entre sí, y por lo tanto no pueden tener
exactamente a "P" en común, por lo que son la misma línea, que es el axioma de Playfair.
Referencias
1. Playfair, 1846, p. 29
2. Más precisamente, en el contexto de la
geometría absoluta.
3. Euclid's elements, Book I, definition 23 (htt
p://aleph0.clarku.edu/~djoyce/java/element
s/bookI/defI23.html)
4. Heath, 1956, Vol. 1, p. 190
5. for instance, Rafael Artzy (1965) Linear
Geometry, page 202, Addison-Wesley
6. Heath, 1956, Vol. 1, p. 220
7. William Ludlam (1785) The Rudiments of
Mathematics, p. 145, Cambridge
8. Playfair, 1846, p. 11
9. Playfair, 1846, p. 291
10. William Barrett Frankland (1910) Theories
of Parallelism: A Historic Critique, page 31,
Cambridge University Press
11. Hilbert, David (1990) [1971], Foundations
of Geometry [Grundlagen der Geometrie],
translated by Leo Unger from the 10th
German edition (2nd English edición), La
Salle, IL: Open Court Publishing, ISBN  0-
87548-164-7.
12. Eves, 1963, pp. 385-7
13. George Phillips (1826) Elements of
Geometry (containing the first six books of
(https://archive.org/details/elementsgeometr
00philgoog)Euclides), p. 3, Baldwin,
Cradock, and Joy
14. Henderson, David W.; Taimiņa, Daina
(2005), Experiencing Geometry: Euclidean
and Non-Euclidean with History (3rd
edición), Upper Saddle River, NJ: Pearson
Prentice Hall, p. 139, ISBN 0-13-143748-8.
15. Este argumento supone más de lo
necesario para probar el resultado. Hay
pruebas de la existencia de paralelas que
no asumen un equivalente del quinto
postulado.
16. Greenberg, 1974, p. 107
17. La demostración se puede encontrar en
Heath, 1956, Vol. 1, p. 313
18. Supplementary Remarks on the first six
Books of Euclid's Elements in the
Companion to the Almanac, 1849.
19. Heath, 1956, Vol. 1, p. 314
20. The College Mathematics Journal
42(5):372

Bibliografía
Playfair, John (1846). Elements of Geometry (https://archive.org/details/elementsgeometr05p
laygoog). W. E. Dean.
Eves, Howard (1963), A Survey of Geometry (Volume One), Boston: Allyn and Bacon.
Greenberg, Marvin Jay (1974), Euclidean and Non-Euclidean Geometries/Development and
History, San Francisco: W.H. Freeman, ISBN 0-7167-0454-4.
Heath, Thomas L. (1956). The Thirteen Books of Euclid's Elements ([Facsimile. Original
publication: Cambridge University Press, 1908] 2nd edición). New York: Dover Publications.

(3 volúmenes): ISBN 0-486-60088-2 (vol. 1), ISBN 0-486-60089-0 (vol. 2), ISBN 0-486-
60090-4 (volumen 3).

Obtenido de «https://es.wikipedia.org/w/index.php?title=Axioma_de_Playfair&oldid=130452840»

Esta página se editó por última vez el 28 oct 2020 a las 18:41.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0;
pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.