4.4.15

Elementos: potência de um ponto (Livro III, PROP. XXXVI. TEOR.)


Temos vindo a escolher alguns resultados, construções e demonstrações, para dar uma ideia do conteúdo dos livros I, II que vamos continuar agora com o livro III e mais tarde com o livro IV. Pretende-se dar a ideia de cada livro pelo seu assunto, noções e forma de as introduzir, relação entre construções e demonstrações de Euclides, ao mesmo tempo que se constrói uma cadeia de resultados que são passos necessários para a inscrição de um pentágono equilátero e equiangular num dado círculo (do livro IV)
Do Livro III de "Os Elementos", que trata de círculos e sua relação com retas e derivados, destacamos um teorema e o seu recíproco cujas demonstrações assentam na igualdade de áreas entre figuras. Não fazendo todas as construções e demonstrações anteriores a esta, não deixamos de as referir. Alguns enunciados e notações continuam a ser os transcritos de "Os Elementos" que temos vindo a referir e que na forma, conteúdo e sequência é seguido.

Livro III - PROP. XXXVI. TEOR.

Se de um ponto qualquer fora de um círculo se tirarem duas linhas retas, das quais uma corte o círculo, e a outra o toque; será o retângulo compreendido por toda a reta que corta o círculo e pela parte dela que fica entre o dito ponto e a circunferência convexa do círculo, igual ao quadrado da tangente.
ou, de outro modo, Esteja o ponto $\;D\;$ fora do círculo $\;ABC\;$, e deste ponto $\;D\;$ estejam tiradas a reta $\;DCA\;$, que corte o círculo, e a reta $\;DB\;$, que o toque. Digo que o retângulo das retas $\;AD\;$, $\;DC\;$ é igual ao quadrado da tangente $\;DB\;$.
Podemos seguir os passos da nossa construção e demonstração, fazendo variar o valor de n no cursor $\;\fbox{n= …}\;$ ao centro na janela da figura dinâmica

$\fbox{n=1}\; — \;\;\;$São dados uma circunferência azul de que se determinou (1.3) o centro $\;E\;$ e um ponto $\;D\;$ exterior a ela

$\fbox{n=2}\; — \;\;\;$Toma-se a reta a passar por $\;D\;$ pelo centro $\;E\;$ do círculo azul dado e os pontos $\;A\;$ e $\;C\;$ de interseção da circunferência com a reta $\;ED\;$ construída. Começamos por apresentar o problema - PROP.XVII. PROB. - da construção da tangente a uma circunferência $\;(E, EA)\;$ tirada de um ponto $\;D\;$ a ela exterior, isto é, da determinação do ponto $\;B\;$ de tangência da tangente que passa por $\;D\;$.
Desenha-se a circunferência $\;(E, ED)\;$ e a perpendicular a $\;AD\;$ em $\;C\;$ que se intersetam em $\;F\;$. Traça-se a reta $\;FE\;$ que interseta $\;(E, EC)\;$ em $\;B\;$ que é o ponto que procuramos.
$\;FEC\;$ e $\;BED\;$ são congruentes ($FE = ED, \; EC = BE \; \angle FÊC=\angle BÊD$)   comum e, por isso, o ângulo oposto a $\;FE\;$ de $\;FEC\;$ e o ângulo oposto a $\;ED\;$ de $\;BED\;$ são iguais. Sendo $\;CF\;$ perpendicular a $\;AD\;$ (por construção), terá de ser $\;BD\;$ perpendicular a $\;BE\;$ e $\;BD\;$ ser tangente a $\;(E, EC).\;$ □

$\fbox{n=3}\; — \;\;\;$
  • Como o triângulo $\;EBD\;$ é retângulo em $\;B\;$, por (47.1), sabemos que o quadrado de lado $\;EB\;$ acrescentado do quadrado de lado $\; BD\;$ é igual em área ao quadrado de lado $\;ED\;$ $$EB^2+BD^2=ED^2$$
  • Por (6.2: PROP. VI. Liv II), já que $AE = EC$ o paralelogramo de lados iguais a $\;AD, \;DC\;$ acrescentado o quadrado de lado $\;BE\;$ é igual em área ao quadrado de lado $\;ED\;$ $$DA \times DC +BE^2 =ED2$$
Resumindo, o paralelogramo de lados iguais a $\;DA, \; DC\;$ acrescentado do quadrado de lado $\;BE\;$ é igual em área ao quadrado de lado $\;DB\;$ acrescentado do quadrado de lado $\;BE\;$ $$ED^2=DA \times DC +BE^2 =EB^2+BD^2$$ e, se removermos o quadrado de lado $\;BE\;$ da cada uma dessas duas figuras iguais em área, ficamos com os restos iguais, isto é:
o paralelogramo de lados iguais a $\;DA, \; DC\;$ é igual em área ao quadrado de lado $\;BD\;$ $$DA \times DC = BD^2$$ Assim fica provado este resultado para o caso da reta que passa por $\;D\;$ e $\; E\;$ cortando a circunferência em $\;A, \;C\;$ □


© geometrias. 3 de Abril de 2015, Criado com GeoGebra

Variando os valores de n no cursor ao alto, pode ver passos da construção interessantes para seguir a demonstração.


$\fbox{n=4}\; — \;\;\;$ Consideremos agora o caso das retas $\;DCA\;$ que não passam pelo centro $\;E\;$ da circunferência.
  • $\fbox{n=5}\; — \;\;\;$ E, para cada uma dessas retas $\;DCA\;$, consideremos a corda $\;AC\;$ e a perpendicular a ela tirada por $\;E\;$ (12.1) que a corta em $\;F\;$ ao meio (3.3) - $\;AF=FC\;$. E tracemos as retas $\;EC\;$ e $\;ED\;$.
    E sabemos que
    a) $\;\;\;ED^2=DB^2 + EB^2,\;$ porque $\;DBE\;$ é um triângulo retângulo em $\;B \;$ (47.1)
    b) $\;\;\;ED^2 =DB^2 + EC^2, \;$ porque $\;EB = EC\;$
    c)$\;\;\;EF^2 + FC^2 = EC^2, \;$ porque o triângulo $\;EFC\;$ é retângulo em $\;F\;$ (47.1)
    d) $\;\;\;ED^2 = DF^2+FE^2, \;$ porque o triângulo $\;DFE\;$ é retângulo em $\;F\;$ (47.1)
  • $\fbox{n=6}\; — \;\;\;$ Por ser $\;AF=FC\;$ e $\;DA =DC+CF+FA\;$, por (6.2)
    $$DA\times DC + CF^2 = DF^2$$
Acrescentando o quadrado de $\;EF\;$ a ambas as figuras — uma constituída pelo paralelogramo $\;DA, DC\;$ acrescentado do quadrado de lado $\;CF\;$ e a segunda que é o quadrado de lado $\;DF\;$ iguais em área - obtemos duas figuras iguais em área (ax. 2.1): $$DA\times DC + CF^2 +EF^2 = DF^2 +EF^2$$ ou, por c) e d) e (ax.1.1) $$DA \times DC + EC^2 =DE^2 $$ ou, por b) e (ax.1.1) $$DA \times DC + EC^2 = EC^2+DB^2$$ e removendo o quadrado de lado $\;EC\;$ às duas figuras iguais em área, ficamos com restos iguais em área — o paralelogramo $\;DA, DC\;$ e o quadrado de lado igual à tangente $\;DB\;$ (ax 3.1)— $$DA \times DC = DB^2$$ tal como pretendíamos. □

Livro I
POSTULADO I
Pede-se, como cousa possível, que se tire de um ponto qualquer para outro qualquer ponto uma linha reta.
POST III
E que com qualquer centro e qualquer intervalo se descreva um círculo.
AXIOMA I.
As cousas que são iguais a uma terceira, são iguais entre si
AXIOMA II.
Se a cousas iguais se juntarem outras iguais, os todos serão iguais.
AXIOMA III
E se de cousas iguais se tirarem outras iguais, os restos serão iguais
PROP. XII. PROB.
Conduzir uma perpendicular sobre uma linha reta dada de um ponto dado fora dela.
PROP. XLVII. TEOR.
Em todo o triângulo retângulo o quadrado feito sôbre o lado oposto ao ângulo reto, é igual aos quadrados formados sôbre os outros lados, que fazem o mesmo ângulo reto
.......................................
Livro II
PROP.VI. PROB
Se uma linha reta fôr dividida em duas partes iguais, e em direitura com ela se puser outra reta, será o retângulo compreendido pela reta tôda e mais a adjunta, e pela mesma adjunta juntamente com o quadrado da metade da primeiro igual ao quadrado da reta, que se compõe da mesma metade, e da outra reta adjunta.
.......................................
LIVRO III
DEFINIÇÃO II
Uma linha reta se diz que toca um círculo, ou que é tangente de um círculo quando, estando no mesmo plano do círculo, encontra a circunferência sem a cortar.
PROP. I. PROB.
Achar o centro em um círculo dado
PROP. III. TEOR.
Se dentro de um círculo uma linha reta, que passa pelo centro, cortar outra que não passa pelo centro, em duas partes iguais também a cortará perpendicularmente. E se a cortar perpendicularmente, também a cortará em duas partes iguais.
PROP. XVI. TEOR.
A reta, que de uma extremidade do diâmetro de um círculo se levantar, perpendicularmente, sobre o mesmo diâmetro, cairá toda fora do círculo; e entre esta reta e a circunferência não se poderá tirar outra linha reta alguma; que é o mesmo que dizer, que a circunferência do círculo passará entre a perpendicular ao diâmetro, e a reta que com o diâmetro fizer um ângulo agudo, por grande que seja; ou também que a mesma circunferência passará entre a dita perpendicular e outra reta, que fizer com a mesma perpendicular um ângulo qualquer, por pequeno que seja.
PROP. XVII. PROB.
De um ponto dado, e existente fora de um círculo, ou na circunferência dele, tirar uma linha reta tangente ao mesmo círculo.


  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

26.3.15

Elementos: álgebra geométrica (Prop. XI do Livro II)


Continuando:

Livro II - PROP. XI. PROB.

Dividir uma linha reta de sorte que o retângulo de tôda e de uma parte seja igual ao quadrado da outra parte ou, de outro modo, Dado um segmento de reta $\;AB,\;$ determinar um ponto $\;H\;$ que o divide de tal modo que o retângulo de lados iguais a $\;AB\;$ e $\;BH;$ seja igual em área ao quadrado de lado $\;AH\;$ $$AB \times BH = AH^2 ,$$
Passos da construção:
  1. (46.1) - Construímos o quadrado de lado $\;AB\; - ACDB \;$
  2. (10.1) - Determinamos $\;E\;$ que divide $\;AB\;$ em partes iguais na interseção de $\;AC\;$ com a reta definida pelos pontos de interseção das circunferências $\;(A, AC),\; (C, CA)\;$
  3. (Post. 1.1) - Traçamos a reta $\;EB\;$
  4. (3.1) Determinamos sobre a reta $\;AC\;$ o ponto $\;F\;$ de tal modo que $\;EF=EB\;$ um dos pontos de interseção de $\;AC\;$ com $\;(E, EB)\;$ (Post 3)
  5. (46.1) - Construímos o quadrado de lado $\;AF\;$ para o lado de $\;B\;$ - $\; AFGH\;$ em que o vértice $\;H\;$ é um ponto de $\;AB\;$, entre $\;A\;$ e $\;B\;$
  6. O ponto $\;H\;$ assim determinado por construção é o ponto que procuramos. Resta provar que o retângulo de lados $\;AB\;$ e $\;BH\;$ é igual em área ao quadrado de lado $\;AH\;$ - $\;AFGH\;$



© geometrias. 26 de Março 2015, Criado com GeoGebra

Se precisar, clique nos botões "□ -mosta/oculta" para ver a construção e dar realce a figuras importantes na demonstração

Prova:
  1. Porque $\;AC\;$ está dividida em duas partes iguais por $\;E\;$ que se prolonga em reta por $\;AF\;$, nas condições de (6.2), o retângulo $\;CFGK\;$ de lados $\;CF\;$ e $\;FA\;$ acrescentado do quadrado de lado $\;AE\;$ é igual em área ao quadrado de lado $\;EF.\;$
  2. Como $\;EF=EB, \;$ o retângulo $\;CFGK\;$ acrescentado do quadrado de lado $\;AE\;$ também é igual ao quadrado de lado $\;EB\;$
  3. Como o ângulo $\;E\hat{B} A\;$ é ângulo do quadrado $\;ACDB\;$, reto, pelo Teorema de Pitágoras (47.1), o quadrado de lado $\;AB\;$ acrescentado do quadrado de lado $\;AE\;$ é igual ao quadrado de lado $\;EB\;$
  4. Removendo o mesmo quadrado de lado $\;AE\;$ às duas figuras construídas iguais ao quadrado de lado $\;BE,\;$ ou de lado $\;EF\;$, ficamos a saber que o retângulo de lados $\;FC, \;FA=AH\;$ é igual ao quadrado de lado $\;AB\;$<\li>
  5. O retângulo $\;FCKG\;$ é o retângulo $\;FC, \;FA\;$, por ser $\;AF=FG\;$ é igual em área ao quadrado de lado $\;AB\;$
  6. Se removermos $\;ACKH\;$
    • ao retângulo $\;FCKH\;$ sobra-nos o quadrado de lado $\;AH\;$
    • ao quadrado $\;ACDB\;$ sobra-nos $\;HKDB,\;$ (de lados iguais a $\;AB\;$ e $\;HB\;$)
    Ou seja, como $\;FCKG\;$ e $\;ACDB\;$ são iguais em área, então os restos $\;FAHG\;$ e $\;HKDB\;$ são iguais em área. □
Fica assim provado que o ponto $\;H\;$ de $\;AB\;$ determinado conforme construção acima feita, divide $\;AB\;$ em duas partes $\;AH\;$ e $\;HB\;$ tais que o retângulo do todo por uma das partes é igual em área ao quadrado da outra parte: $$ AB \times HB = AH^2 $$ $$\mbox{ou}\;\;\;\frac{AB}{AH}=\frac{AH}{HB} \;\;\;\mbox{ou}\;\;\; \frac{AH}{HB}=\frac{AB}{AH} $$


    Livro I
    PROP. XXXVI. TEOR.
    Os paralelogramos, que estão postos sôbre bases iguais, e entre as mesmas paralelas, saão iguais
    PROP. X. PROB.
    Dividir em duas partes iguais uma linha reta de um comprimento dado.
    POSTULADO I
    Pede-se, como cousa possíve, que se tire de um ponto qualquer para outro qualquer ponto uma linha reta.
    PROP. III. PROB.
    Dadas duas linhas retas desiguais, cortar da linha maior uma parte igual à linha menor.
    POST III
    (Pede-se, como cousa possíve,)E que com qualquer centro e qualquer intervlao se descreva um círculo.
    PROP. XLVII. TEOR.
    Em todo o triângulo retângulo o quadrado feito sôbre o lado oposto ao ângulo reto, é igual aos quadrados formados sôbre os outros lados, que fazem o mesmo ângulo reto
    AXIOMA III
    E se de cousas iguais se tirarem outras iguais, os restos serão iguais .......................................
    Livro II
    PROP.VI. PROB
    Se uma linha reta fôr dividida em duas partes iguais, e em direitura com ela se puser outra reta, será o retângulo compreendido pela reta tôda e mais a adjunta, e pela mesma adjunta juntamente com o quadrado da metade da primeiro igual ao quadrado da reta, que se compõe da mesma metade, e da outra reta adjunta.


  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

21.3.15

elementos: segundo exemplo de álgebra geométrica (Livro II, Prop. VI)


Na entrada anterior, apresentámos os passos sequenciais de uma construção feita a partir de um segmento de reta $\;AB,\;$ do seu ponto $\;C\;$ que o dividia em duas partes iguais e de um outro $\;D\;$ que o dividia em duas partes desiguais, para demonstrar que $$AD\times BD + CD^2 = BC^2$$ usando somente a igualdade de áreas e o método corta e cola. E continuamos com

Livro II - PROP. VI. TEOR.

Sendo uma reta $\;AB,\;$ e nela o ponto $\;C\;$ que divide o segmento $\;AB\;$ em duas partes iguais e um ponto $\;D\;$ tal que $\;AD = AB+BD,\;$ então $$AD \times BD + CB^2 = CD^2 ,$$ isto é, o retângulo de lados iguais a $\;AB\;$ e $\;BD\;$ acrescentado do quadrado de lado igual a $\;CB\;$ é igual ao quadrado de lado igual a $\;CD \;$.


© geometrias. 21 de Março 2015, Criado com GeoGebra

Se precisar, clique nos botões "□ -mostar/ocultar" para ver realce de figuras importantes na demonstração

Passos da construção e da prova
  1. (46.1) - Construímos o quadrado de lado $\;CD,\;$ $CEFD \;$ e tiramos $\;DE\;$.
  2. (31.1) -
    • Por $\;B\;$ tiramos uma paralela a $\;CE\;$ ou a $\;DF\;$ -$\; BHG\;$ - em que $\;G\;$ e $\;H\;$ são pontos de $\;EF\;$ e de $\;DE,\;$ respetivamente.
    • Em seguida, por $\;H\;$ tiramos uma paralela a $\;AD\;$ ou a $\;EF \;$ - $\;LHM\;$ - em que $\;L \;$ e $\;M\;$ são pontos de $\;CE\;$ e de $\;DF,\;$ respetivamente.
    • e, finalmente, por $\;A\;$ tiramos uma paralela a $\;CL\;$ ou a $\; DM\;$ - $\;AK\;$ - sendo $\;K\;$ um ponto da reta $\;LM\;$
  3. (36.1) - Por ser $\;AC=CB, \; AKLC\;$ e $\;CLHB\;$ são iguais em área (equivalentes)
  4. (43.1) - $\;CLHC\;$ e $\;HGFM\;$ são iguais em área por serem complementos dos quadrados $\;BHMD\;$ e $\;LEGC\;$ na diagonal do quadrado $\;CEFD\;$. E assim $\;AKLC\;$ e $\;HGFM\;$ são iguais em área o que nos permite concluir que $\; AKMD\;$ é igual em área ao gnomon $\;CLHGFD\;$
  5. (Cor 4.2.) - $\;DM=DB\;$ e, por isso, $\;AKMD\;$ de lados $\;AD\;$ e $\;MD \;$ é um retângulo de lados iguais a $\;AD\;$ e $\;DB\;$
  6. O retângulo de lados $\;AD, DB\;$ - $\;AKMD \;$- acrescentado do quadrado de lado $\;BC \;$- $\;LEGH\;$ - é igual em área ao gonomon $\;CMG\;$ - $\;CLHGFD\;$ - acrescentado do quadrado de lado igual a $\;BC\;$ - $\;LEGH,\;$ e por isso, obviamente iguais em área ao quadrado $\;CEFG \;$ de lado igual a $\;BC\;$ □


Livro I
PROP. XXXI. PROB.
De um ponto dado conduzir uma linha reta paralela a outra linha reta dada
PROP. XXXVI. TEOR.
Os paralelogramos, que estão postos sôbre bases iguais, e entre as mesmas paralelas, saão iguais
PROP. XLIII. TEOR.
Em qualquer paralelogramo os complementos dos paralelogramos, que existem ao redor da diagonal, são iguais entre si
.......................................
Livro II
PROP.IV. PROB
Se uma reta fôr cortada em duas partes quaisquer, será o quadrado da tôda igual aos quadrados das partes, juntamente com o retângulo das mesmas partes tomados duas vezes.
COROL.
Disto se segue que os paralelogramos, que existem na diagonal de um quadrado são também quadrados.


  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

18.3.15

Um primeiro exemplo de proposição de álgebra geométrica, usando áreas (o corta e cola)


No Livro II de "Os Elementos", apresentam-se resultados que estabelecem aparentes relações algébricas (álgebra geométrica), recorrendo somente à noção de igualdade (equivalência) de áreas (conteúdos) e às operações de que já descrevemos a base axiomática e a que chamamos de "corta e cola" (acrescentar ou remover figuras a outras figuras). Para além dos exemplos do Livro I, - Prop. XXXV, XXXVII, XLVII, XLVIII - já abordados (enunciados e demonstrações transcritas) incluindo construções dinâmicas de apoio a partir das originais, vamos agora tomar um ou outro exemplo do Livro II para serem usados mais adiante em construções exemplares da forma genial como Euclides elaborou o seu pensamento geométrico. Vamos passar a usar expressões algébricas, como poderíamos ter usado no Teorema de Pitágoras das últimas entradas, $$\;BC^2= AC^2 + AB^2\;$$ em vez de escrever que, de um triângulo $\;ABC\;$ retângulo em $\;A\;$, o quadrado de lado $\;BC\;$ (oposto a $\;Â\;$) é equivalente à soma dos quadrados de lados $\;AB\;$ e $\;AC\;$.

PROP. V. TEOR. Livro II

Se $\;AB\;$ for dividido em duas partes iguais por $\;C\;$ e em duas partes desiguais por $\;D\;$, o retângulo de lados $\;AD, BD\;$ acrescentado ao quadrado de lado $\;CD\;$ e igual ao quadrado de lado $\;BC\;$ - metade de $\;AB\;$.
$$AD\times BD + CD^2 = BC^2$$


© geometrias. 18 de Março 2015, Criado com GeoGebra

Se precisar, clique nos botões "□ -mostar/ocultar" para ver realce de figuras importantes na demonstração

Passos da construção e demonstração:
  1. Usando a PROP. XLVI PROB. do Livro I (36.1), construímos o quadrado de lado $\;BC\;$ - $\;[BCEF]\;$
  2. Usando o Postulado I, tiramos a reta $\;BE\;$
  3. Usando (31.1),
    • por $\;D\;$ tiramos uma paralela a $\;CE\;$ (ou a $\;BF\;$) que interseta $\;BE\;$ em $\;H\;$ e $\;EF\;$ em $\;G\;$;
    • por $\;H\;$ tiramos uma paralela a $\;CB\;$ (ou $\;EF\;$) que interseta $\;CE\;$ em $\;L\;$ e $\;BF\;$ em $\;M\;$;
    • por $\;A\;$ tiramos uma paralela a $\;CL\;$ (ou a $\;BM\;$ que interseta a reta $\;LM\;$ em $\;K\;$
  4. Por (43.1), Os paralelogramos $\;[DCLH],\; [MHGF]\;$ são iguais em conteúdo (ou área) por serem complementos no paralelogramo quadrado $\;[BCEF]\;$ dos dois paralelogramos (quadrados) $\;[BDHM], \; [CHLE]\;$ que existem ao longo da diagonal $\;BE\;$
  5. Se acrescentarmos a cada um dos complementos $\;[DCLH],\; [MHGF]\;$ iguais em área, o mesmo $\;[DHMB]\;$ obtemos dois retângulos $\;[BCLM], \;[BDGF]\;$ iguais em área
  6. Por (36.1), os paralelogramos (retângulos) $\;[CAKL]\;$ e $\;[BCLM]\;$ que têm bases iguais - $\;AC=CB|, \;$ por hipótese - e estão entre as mesmas paralelas - $\;AB \parallel KM. \;$ por construção, - são iguais em conteúdo (em área);
  7. Sendo $\;[AKLC],\; [CLMB]\;$ iguais em área e, como antes tínhamos visto, $\; [CLMB]\;$ é igual em área a $\;[BDGF],\;$ então temos $\;[AKLC],\;[BDGF]\;$ iguais em área.
  8. Podemos concluir que o quadrado de lado $\;BC,\; \;[BCEF]\;$ é igual em área ao gnomon (ver definição 2.2 abaixo) $\;[CMG] = [BCLHGFM]\;$ acrescentado de $\;[HLEG],\;$ quadrado de lado igual a $\;CD\;$
    ou ao retângulo $\;[AKHD]\;$ acrescentado do mesmo quadrado de lado $\;CD\;$, já que o gnomon referido é $\;[GDGFB]\;$ (ou $\;[AKHD]\;$ igual em área) acrescentado de $\;[CLHD]\;$ □

$$AD \times DB +CD^2 = CB^2$$

Livro I
PROP. XLVI. PROB.
Sôbre uma linha reta dada descrever um quadado
PROP. XXXI. PROB.
De um ponto dado conduzir uma linha reta paralela a outra linha reta dada
PROP. XXXVI. TEOR.
Os paralelogramos, que estão postos sôbre bases iguais, e entre as mesmas paralelas, são iguais
PROP. XLIII. TEOR.
Em qualquer paralelogramo os complementos dos paralelogramos, que existem ao redor da diagonal, são iguais entre si
PROP. XLI. TEOR.
Se um paralelogramo e um triângulo estiverem sôbre a mesma base, e entre as mesmas paralelas, o paralelogramo será o dôbro do triângulo
................................
Livro II
DEFINIÇÕES:
I
Todo o paralelogramo retângulo se considera compreendido por duas linhas retas, que formam o ângulo reto.
II
Em todo o paralelogramo $\;[BCEF]\;$ a figura $\;[BCLHGFB],\;$ que resulta de um paralelogramo daqueles (por exemplo, o de diagonal $\;BH\;$), que existem na diagonal $\;BE\;$ do paralelogramo maior, juntamente com os dois complementos (de diagonais $\;CH\;$ e $\;HF\;$, chama-se gnômon. Dêste modo o paralelogramo $\;HB ,\;$ juntamente com os complementos, $\;CH, \;HF\;$ fazem o gnômon que por brevidade, nota-se com as letras $\;CMG,\;$ ou $\;LDC,\;$ que estão postas nos vértices dos ângulos opostos dos paralelogramos, que formam o gnômon.


  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

5.3.15

Elementos: O recíproco do Teorema de Pitágoras (por Euclides)


Transcrevemos ainda de "Os Elementos" o enunciado e demonstração do recíproco do Teorema de Pitágoras, última proposição do Livro I. Muitas discussões sobre a introdução (ou não) em aulas do ensino básico acabaram sempre (ou quase) em derrotas de quem tal defendia. A derrota sente-se logo ao apresentar oralmente a demonstração que naturalmente utiliza vários resultados anteriormente provados, incluíndo o mais próximo teorema da sequência (o próprio teorema de Pitágoras).

RECÍPROCO DO TEOREMA DE PITÁGORAS
PROP. XLVIII. TEOR.

Se o quadrado feito sôbre um lado de um triângulo fôr igual aos quadrados dos outros dois lados, o ângulo compreendido por êstes dois lados será reto .


© geometrias. 5 de Março 2015, Criado com GeoGebra

Fazendo variar o valor de $\;n\;$ (no selector no centro ao fundo da janela de construção) verá o desenvolvimento da figura relativa à demonstração.

Seja o quadrado feito sôbre o lado BC do triângulo ABC igual aos quadrados feitos sôbre os lados BA, AC. Digo que o ângulo BAC é reto.

Levante-se do ponto A sôbre AC a perpendicular AD (*Pr. 11.1.), e ponha- se AD = BA, e tire-se DC. Sendo DA = AB, será o quadrado sôbre DA igual ao quadrado sôbre AB. Ajunte_se-lhes o quadrado de AC. Os quadrados de DA, AC serão iguais aos quadrados de BA, AC. Mas o quadrado de DC é igual aos quadrados de DA, AC, por ser o ângulo DAC reto (**Pr. 47.1. ), e o quadrado de BC se supõe igual aos quadrados de BA, AC. Logo, o quadrado de DC será igual ao quadrado de BC. Logo, será DC = CB. Sendo pois DA = AB, e AC comum, as duas DA, AC serão iguais às duas BA, AC. Mas é a base DC = BC outra base. Logo, será o ângulo DAC = BAC (***Pr. 8.1.). Mas o ângulo DAC é reto. Logo, também o ângulo BAC será reto. □

*PROP. XI. PROB.
De um ponto dado em uma linha reta dada levantar uma perpendicular sôbre a mesma reta dada.
**PROP. XLVII. TEOR.
Em todo o triângulo retângulo o quadrado feito sôbre o lado oposto ao ângulo reto, é igual aos quadrados formados sôbre os outros lados, que fazem o mesmo ângulo reto
***PROP. VIII. TEOR.
Se dois triângulos tiverem dois lados iguais a dois lados, cada um a cada um, e as bases também são iguais; os ângulos, compreendidos pelos lados iguais, serão também iguais


  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