17.2.15

Igualdade n'Os Elementos de Euclides - contexto e não definido


É verdade que partimos para as demonstrações de proposições em geometria (euclidiana), referidos a DEFINIÇÕES (I - XXXV), POSTULADOS (I -III) e AXIOMAS (I - XII), mas assumindo noções nossas, aparentemente intuitivas e construídas pela nossa instrução escolar. Nos resultados que vamos estudar em futuras entradas com construções (ou antes, demonstrações construtivas com régua e compasso), precisamos de nos aproximar de novo, em detalhe,de "Os Elementos" 1 e de quem os interpreta. Em que medida é que elas correspondem ao que Euclides tinha em mente ou ao que se encontra nos Elementos?

Tomemos para exemplo, o enunciado da
Proposição XXXV

transcrito do primeiro livro dos "Elementos" 1 - (Pr. 35.1) :

Os paralelogramos que estão sobre a mesma base, e entre as mesmas paralelas, são iguais



e da sua demonstração (também transcrita de "Os Elementos" 1):

Sejam os paralelogramos ABCD, EBCF sôbre a mesma base BC (Fig. acima), entre as mesmas paralelas AF, BC. Digo que o paralelogramo ABCD é igual ao paralelogramo EBCF.
Se os lados AD, DF (figura acima) dos paralelogramos ABCD, DBCF oposto à base comum BC tiverem um têrmo comum D (pode na figura deslocar E até coincidir com D); claro está que, sendo os paralelogramos ABCD, DBCF cada um o dôbro do mesmo triângulo BDC (Pr. 34.1.), serão iguais entre si.
Mas os lados AD, EF (Fig. acima em que pode deslocar E para ficar entre A e D, etc) não sejam terminados no mesmo ponto. No paralelogramo ABCD é AD = BC (Pr. 34.1. ), e no paralelogramo EBCF é EF = BC. Logo, será AD = EF (Ax. 1.). Ajunte-se a mesma reta DE, ou tire-se. Será AE = DF, isto é, o todo igual ao todo, ou o resto igual ao resto (Ax. 2 e 3). Mas é AB = DC. Logo, as duas EA, AB são iguais às duas FD, DC, cada uma a cada uma. Mas o ângulo externo FDC é igual (Pr. 29. 2.) ao interno EAB. Será o triângulo EAB = FDC outro triângulo (Pr. 4.1.). Do trapézio ABCF tire-se o triângulo FDC; e do mesmo trapézio ABCF tire-se o triângulo EAB. Logo, os paralelogramos ABCD, EBCE, que são os restos, serão iguais (Ax. 3) entre si.□


Ao ler o enunciado em que se fala de paralelogramos iguais nas condições de estarem sobre uma mesma base e estarem compreendidos entre as mesmas paralelas, remetemos sempre para áreas dos paralelogramos, apesar de não haver nomeação específica do que se esteja a tratar. As palavras igual, iguais, igualdade, ... aparecem em cenários diferentes no enunciado e na demonstração. Quando refere ângulo iguais ou segmentos iguais ou triângulos iguais paralelogramos iguais pode estar levar-nos a noções (não definidas ou não nomeadas) tão diferentes como amplitude de ângulo, comprimento, área,… congruência,… equivalência. Na proposição (Pr. 4.1.), referida na demonstração, Euclides utiliza expressões como sobrepor, ajustar, coincidir (ou sinónimas) para justificar a igualdade (geométrica) de dois triângulos, por exemplo. Na demonstração desta Proposição XXXV utiliza juntar, acrescentar a uma figura outra figura sem sobreposições para obter uma figura maior ou remover parte de uma figura para obter outra menor.... Significa isto que Euclides usou a palavra "igualdade" (e "desigualdade") a verificar certas propriedades (axiomas e noções comuns) para definir relações de equivalência. Contextos diferentes referem-se a noções diferentes: Dois segmentos iguais representam um mesmo comprimento, dois ângulos iguais representam uma mesma amplitude, .... paralelogramos sobre uma mesma base e compreendidos entre as mesma paralelas representam uma mesma área... No caso em estudo, as propriedades das relações (que é o que importa) que Euclides utiliza são, adaptadas grosseira e livremente de Robin Hartshorne 2:
  • Duas figuras iguais (congruentes, geometricamente iguais) têm igual conteúdo (mesma área)
  • Se cada uma de duas figuras tem igual conteúdo de uma terceira, têm igual conteúdo
  • Se pares de figuras com igual conteúdo são acrescentadas (adicionadas) com uma terceira (no sentido de serem juntas sem sobreposições para construir figuras maiores) então as figuras assim obtidas têm igual conteúdo.
  • A igualdade de conteúdo da diferença (por remoção) não depende de onde sejam removidas partes de igual conteúdo.
  • Metades de figuras de igual conteúdo têm igual conteúdo (duplicar duas figuras de igual conteúdo produz figuras de igual conteúdo)
  • Uma figura é sempre maior que uma das suas partes, o que significa que se uma figura é parte própria de outra, então a parte e o todo não podem ter igual conteúdo
  • que seguem os enunciados dos axiomas, como se pode ver pela transcrição 1 abaixo.
    AXIOMAS
    I. As cousas, que são iguais a uma terceira, são iguais entre si.
    II. Se a cousas iguais se juntarem outras iguais, os todos serão iguais..
    III. E sé de cousas iguais se tirarem outras iguais, os restos serão iguais. .
    IV. E se a cousas desiguais se juntarem outras iguais, os todos serão desiguais..
    V. E se de, cousas desiguais se tirarem cousas iguais, os restos serão desiguais..
    VI. As quantidades, das quais cada uma por si faz o dôbro de outra quantidade, são iguais..
    VII. E aquelas, que são metades de uma mesma quantidade, são também iguais..
    VIII.Duas quantidades, que se ajustam perfeitamente uma com outra; são iguais..
    IX. O todo é maior do que qualquer das suas partes..
    (...)
    A demonstração mais bela do teorema de Pitágoras usa este resultado e a noção não definida (área, não gostamos de igual conteúdo) aqui apresentada.
    1. Euclides. Elementos de Geometria dos seis primeiros livros do undécimo e duodécimo da versão latina de Frederico Commandino , Adicionados e Ilustrados por ROBERTO SIMSON, Prof de Matemática na Academia de Glasgow. Revistos para Edições Cultura por ANÍBAL FARO. Edições Cultura. São Paulo (BR): 1944
    2. Robin Hartshorne. Geometry: Euclid and beyond Springer. New York: 2000

    6.2.15

    espiral: lituus



    No Tratado das Curvas, Gomes Teixeira aborda uma espiral conhecido por Lituus que é o lugar geométrico dos pontos $\;P\;$ para os quais é constante a área dos setores circulares $\;P_0OP\;$ sendo $\;O\;$ um ponto fixo e centro da circunferência de raio $\;OP_0 = OP\;$ e os diferentes ângulos $\;\alpha = P_0\hat{O}P\;$ têm por primeiro lado uma semi-reta dada de extremo em $\;O\;$, onde incidem todos os pontos $\;P_0\;$.
    Como sabemos, para cada $\;P\;$, um círculo de de raio $\;OP \;$ tem área $\;2\pi \times OP^2 \;$ e um seu setor circular correspondente a um ângulo ao centro $\;P_0\hat{O}P\;=\;\alpha \;$ radianos, tem por área $\;\alpha \times OP^2 .\;$.

    © geometrias: 4 de fevereiro de 2015, Criado com GeoGebra


    A espiral construída é o conjunto de pontos $$\left\{\;P: \;OP^2\times \alpha= a^2\;\right\}$$ em que são dados $\;O, \; a\;$. No caso da nossa construção, tomámos $\;a=2,5\;$ e $\;\alpha\;$ a percorrer os valores no intervalo (de radianos) $\;[ 0, \; 2\pi ]. \;$
    Para cada valor de $\;a\;$, um ponto $\;P\;$ do nosso lugar geométrico "Lituus" fica definido em função de $\;O,\;$ dado, e de ângulo $\;\alpha\;$ medido a partir de dada semi-reta com extremidade em $\;O\;$: $$ OP^2 \times \alpha = a^2 \Leftrightarrow OP = \frac{a}{\sqrt{\alpha}}$$ Na figura estão assinalados os pontos $\;A, \;B,\;C, \;D:\;$

    $A_0\hat{O}A=\frac{\pi}{2}\;$ e $\;OA=a\times \sqrt{\frac{2}{\pi}}$
    $B_0\hat{O}B=\pi\;$ e $\;OB=a\times \sqrt{\frac{1}{\pi}}$
    $C_0\hat{O}C=\frac{3\pi}{2}\;$ e $\;OACa\times \sqrt{\frac{2}{3\pi}}$
    $D_0\hat{O}D=2\pi\;$ e $\;OD=a\times \sqrt{\frac{1}{2\pi}}$
    $$\forall L\in \mathbb{R}^+, \exists \delta \in \mathbb{R}^+ : [\alpha<\delta \Rightarrow OP>L ] \wedge [\alpha >L \Rightarrow OP<\delta] $$

    iFrancisco Gomes Teixeira. Traîté des Courbes Spéciales Remarquables Planes et Gauches (Tome II) Obras sobre Mathemática vol V, Imprimérie de l'Université. Coimbra: 1909