luns, 6 de maio de 2024

A curiosa xeometría de Márta Svéd. O V postulado e máis alá (e 3)

Este é o terceiro e derradeiro capítulo da serie adicada a unha xeometría que a matemática húngara Márta Svéd presenta nun dos capítulos do seu libro Journey into Geometries (AMS/MAA, 1991). Os dous capítulos anteriores:

O V postulado


Sexa $\alpha$ unha circunferencia pasando por $O$ e $P$ un punto que non estea en $\alpha$. Consideremos agora $t$, a recta tanxente a $\alpha$ en $O$ e a súa perpendicular $p$. Trazamos o segmento $OP$ e a súa mediatriz $m$. O punto de intersección de $m$ e $p$, ao que chamaremos $C$, é o centro da circunferencia $\omega$ que pasa por $P$ e é tanxente a $\alpha$ en $O$. Traducido á linguaxe da W-xeometría, $\omega$ é a única W-recta paralela a $\alpha$ que pasa por un punto $P\notin \alpha$.

No caso de que $P \in t$ a propia recta $t$ sería a W-recta paralela a $\alpha$ pasando por $P$

Cando se trata de trazar W-paralelas Márta Svéd advírtenos dunha aparente inconsistencia. Se fixemos ben as cousas a relación "ser W-paralela a" debería ser unha relación de equivalencia entre W-rectas. Porén se nos fixamos na seguinte figura veremos que non se verifica a propiedade transitiva.

U-la a falacia?

Efectivamente, $a$ é paralela a $b$ (ten en conta que non se cortan en $O$ pois este punto non existe na $W$ xeometría) e $a$ e $\alpha$ son tamén paralelas. Pero é obvio que $b$ e $\alpha$ se cortan. Onde está a falacia neste argumento?

Máis alá

Nas anteriores liñas fixemos o exercicio de irmos comprobando os cinco postulados clásicos euclidianos pero podemos, e debemos, ir máis alá. Digo que debemos porque é ben sabido que Euclides non pasaría os estándares actuais para o estalbecemento dunha teoría axiomática. Non temos que remitirnos á revisión feita por Hilbert pois temos noticia que desde a época clásica houbo críticas aos Elementos. O V postulado explica cando se cortan dúas rectas, pero non temos ningún que nos indique como se cortan dúas circunferencias, compriría garantir a continuidade das liñas. Polo visto na anteriormente, na epígrafe adicada ao Postulado III, o corte de W-circunferencias compórtase da mesma maneira que o de circunferencias.

Noutras entradas demostramos que a inversión conserva os ángulos. En consecuencia a W-xeometría non só nos permite trasladar ángulos rectos (postulado IV), senón que o fai con calquera tipo de ángulos. 

Nós aquí traballamos coa formulación de Playfair do V postulado: "por un punto exterior a unha recta pasa unha única paralela". Mais sabemos que este enunciado é equivalente a que a suma dos ángulos dun triángulo sexa de 180º. Márta Svéd ofrece a explicación deste caso. Tamén explica como facer un exercicio que aínda non tratamos: o trazado de perpendiculares.

Dada unha W-recta $\alpha$ e un W-punto $P$, tracemos a tanxente $t$ a $\alpha$ por $O$ e a mediatriz $m$ do segmento $OP$ que se cortarán no punto $C$ que será o centro da circunferencia $\pi$ que pasa por $P$ e por $O$. $\pi$ é perpendicular a  $\alpha$ 

trazado de W-perpendiculares
Teriamos que considera un caso especial, se $P$ estivera na recta perpendicular a $t$ esa perpendicular tamén sería perpendicular a $\alpha$. Aquíi non me molestei moito en distinguir "perpendicular" de "W-perpendicular" porque a medida de ángulos na W-xeometría coincide coa da xeometría euclidiana usual.

xoves, 2 de maio de 2024

A curiosa xeometría euclidiana de Márta Svéd. O desprazamento (2)

Márta Svéd

Esta entrada é a continuación da anterior: A curiosa xeometría de Márta Svéd.Introdución (1) Para poder entender o que vén de seguido cómpre botarlle un ollo.

Do que se trata é de comprobar que a W-xeometría descrita nesa entrada, é unha xeometría euclidiana. Para iso estamos comprobando que verifica os postulados de Euclides. Xa o fixeramos cos tres primeiros. Continuemos.


IV postulado

A miña primeira intención foi a de despachar este postulado nun par de frases. Lembremos que xa demostramos que a inversión conserva os ángulos.  Parece que non hai máis que engadir. Pero parémonos a reflexionar.

O IV postulado di que "todos os ángulos rectos son iguais entre si". Tendo en conta que entre as nocións comúns dos Elementos de Euclides temos unha que di que "cousas iguais a unha mesma cousa son iguais entre si", que necesidade habería de engadir o IV postulado? Ademais os tres primeiros postulados remiten a unha construción con regra e compás, porén o IV non o fai. Tense especulado que pode ser unha interpolación engadida por algún copista baixo o argumento de que a igualdade de dous ángulos rectos apenas se usa nas 465 proposicións dos trece libros dos Elementos, e cando se fai, non é de xeito explícito. 

As lecturas modernas deste postulado, debidas a Klein e a Clifford,  remiten a unha interpretación do IV postulado como aquel que permitiría o desprazamento dun ángulo recto a calquera punto do plano. Na W-xeometría un W-desprazamento estará formado por W-reflexións, isto é, por inversións. Teñamos presente que estamos construíndo unha xeometría euclidiana. De aí que os desprazamentos (translacións, xiros ou reflexións) deben poder obterse a partir das reflexións. Isto é, se explicamos como son as reflexións, teremos determinados todos os desprazamentos. Pois ben, as W-reflexións serán as inversións respecto das W-rectas (isto é: respecto das circunferencias que pasan por O) 

A cuestión do desprazamento

Nunca na Grecia clásica houbo mención á problemática do desprazamento, con todo procuraremos ver que na W-xeometría non se produce unha distorsión das W-distancias cando se aplica a inversión. Para iso axudarémonos dun libro ao que fai referencia Márta Svéd, Non-euclidean Geometry, de Roberto Bonola (1874-1911), (Open Court Publishing Company, 1912).

Hai unha publicación do libro de Bonola en español, Geometrías no euclidianas (Calpe, 1923) que é a tradución da edición en italiano do 1906. Estas edicións só conteñen 3 apéndices. Desafortunadamente o que nos interesa vén no quinto apéndice, só presente na edición inglesa, pois é nese derradeiro apéndice onde Bonola traballa coa xeometría recollida por Márta Svéd.

Comprobemos que na W-xeometría se verifica o seguinte teorema

Teorema. A inversión por unha W-recta conserva a W-distancia

Pasemos a demostralo.
Sexa $AB$ un W-segmento e $\omega$ a circunferencia de centro $C$ que pasa por $O$ e $D$. Fagamos respecto desta circunferencia a inversión do W-segmento $AB$ en $A'B'$ Sexa $D$ o punto de corte de $\omega$ e a circunferencia que pasa por $A$, $B$ e $O$.

$$\frac{d_{W}\left ( AD \right )}{d_{W}\left ( A'D \right )}=\frac{\frac{AD}{OA\cdot OD}}{\frac{A'D}{OA'\cdot OD}}=\frac{AD\cdot OA'}{A'D\cdot OA}$$

O noso propósito será demostrar que este cociente é 1.

Pola definición de inversión: $$CA\cdot CA'=CD\cdot CD$$

$$\frac{CA}{CD}=\frac{CD}{CA'}$$


Entón, polo criterio LAL os triángulos $CAD$  e $CA'D$ son semellantes (comparten o ángulo en $C$ e os lados que o determinan son proporcionais). De aí que teñamos as seguintes proporcións:$$\frac{DA}{DA'}=\frac{CA}{CD}=\frac{CD}{CA'}\quad\quad [1]$$

Outra vez pola definición de inversión: $$CA\cdot CA'=CO\cdot CO$$

Análogamente teremos que os triángulos $CAO$ e $CA'O$ son semellantes e $$\frac{CA}{CO}=\frac{CO}{CA'}=\frac{OA}{OA'}\quad\quad [2]$$

Como $CD=CO$ temos que $[1]=[2]$

"$$\frac{DA}{DA'}=\frac{CA}{CD}=\frac{CD}{CA'}=\frac{CA}{CO}=\frac{CO}{CA'}=\frac{OA}{OA'}$$

Fixándonos na primeira e última proporcións $\frac{DA}{DA'}=\frac{OA}{OA'}$

Tal e como anunciamos ao comezo da demostración, isto implica que $d_{W}\left ( AD \right )=d_{W}\left ( A'D \right )$

Analogamente $d_{W}\left ( BD \right )=d_{W}\left ( B'D \right )$

Daquela $$d_{w}\left ( AB \right )=d_{W}\left ( AD \right )-d_{W}\left ( BD \right )=d_{W}\left ( A'D \right )-d_{W}\left ( B'D \right )=d_{W}\left ( A'B' \right )$$

$$\frac{d_{W}\left ( AD \right )}{d_{W}\left ( A'D \right )}=\frac{\frac{AD}{OA\cdot OD}}{\frac{A'D}{OA'\cdot OD}}=\frac{AD\cdot OA'}{A'D\cdot OA}$$

Con isto quedaría demostrado o teorema. En conclusión, o desprazamento na W-xeometría conserva tanto ángulos como distancias.

No seguinte e derradeiro capítulo desta serie, abordaremos o comportamento da W-xeometría en relación co V postulado de Euclides.