Quadratura de um pentágono dado

---

Nas últimas entradas, fizemos construções de triângulo equivalente a polígono dado e também de construção de paralelogramo equivalente a um triângulo. Podemos assim dizer que, com régua e compasso, podemos construir paralelogramo (mesmo com um certo lado e um certo ângulo) equivalente a um qualquer polígono. Como um retângulo é um paralelogramo de ângulos retos, podemos construir um retângulo equivalente a um polígono dado e, como já tratámos da construção de um quadrado equivalente a retângulo dado, podemos construir um quadrado equivalente a um qualquer polígono. Deixamos aqui as referências das nossas entradas que trataram desse problema:

1. 
   18.3.15
   Um primeiro exemplo de proposição de álgebra geométrica, usando áreas (o corta e cola)
   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
2. 
   21.3.15
   elementos: segundo exemplo de álgebra geométrica (Livro II, Prop. VI)
   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 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.
3. 
   26.3.15
   Elementos: média e extrema razão; álgebra geométrica (Prop. XI do Livro II)
   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
4. 
   4.4.15
   Elementos: potência de um ponto (Livro III, PROP. XXXVI. TEOR.)
   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.
5. 
   11.4.15
   Retas tiradas de um ponto para um círculo: igualdade de áreas de retângulos (secantes) e quadrados (tangentes)
   Livro III - PROP. XXXVII. TEOR.
   Se de um ponto qualquer fora de um círculo se tirarem duas retas, das quais uma corte o círculo, e a outra chegue somente até a circunferência; e se o retângulo compreendido pela reta inteira que corta o círculo e pela parte dela que fica entre o dito ponto e a parte convexa da circunferência, fôr igual ao quadrado da reta incidente sôbre a circunferência, será a reta incidente tangente do círculo

Por isso, nesta entrada de hoje não há qualquer novidade. Só não resistimos a publicar uma construção do triângulo equivalente a um pentágono muito mais elegante que qualquer das que apresentámos antes e ir até ao ponto de fazer a quadratura do pentágono (determinar um quadrado igual em área (ou equivalente) a um pentágono dado).

Avaliará se valeu a pena.

Fazendo variar os valores de $\;\fbox{n}\;$ no cursor do topo à esquerda, pode seguir os passos da resolução.

©geometrias, 5 maio 2016, Criado com GeoGebra

$\fbox{n=0}\;\;\;\;$ Para além do cursor $\;\fbox{n=0,1, 2,3,4,5, 6},\;$ temos o pentágono $\;[ABCDE].\;$

$\fbox{n=1}\;\;\;\;$ Prolongamos $\;AE\;$ Traçamos $\;AC\;$ e uma paralela a esta tirada por $\;B\;$ que vai intersectar $\;AE\;$ em $\;F.\;$ Do $\\ \; \;\;\;\;\;\;\;\;\;\;\;\;$ outro lado, traçamos $\;CE\;$ e a paralela a ela tirada por $\;D\;$ que intersecta $\;AE\;$ em $\;G.\;$
$\fbox{n=2}\;\;\;\;$ Os triângulos $\;[ABC]\;$ e $\;[AFC]\;$ são iguais em área e pela mesma razão são iguais em área os triângulos $\\\;\;\;\;\;\;\;\;\;\;\; \;[CDE]\;$ e $\;[CGE].$

$\;\;\;\;\;\;\;\;\;\;\;\; \mathfrak{area}[ABCD]=\mathfrak{area}[ABC]+\mathfrak{area}[ACE]+\mathfrak{area}[CDE]\\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\; =\mathfrak{area}[AFC]+\mathfrak{area}[ACE]+\mathfrak{area}[CGE]\\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\; =\mathfrak{area}[FCG] $

$\fbox{n=3}\;\;\;\;$ Como já vimos em anteriores entradas, o triângulo $\;[FCG]\;$ tem área igual ao paralelogramo retângulo
$\;\;\;\;\;\;\;\;\;\;\;\;\; [GHIM]\;$ por ser $\;M\;$ o ponto médio de $\;FG\;$ ou $\;FG= 2 \times MG\;$ e $\;HI\;$ incidir em $\;C\;$

$\fbox{n=4}\;\;\;\;$ O lado do quadrado equivalente ao retângulo $\;[GHIM]\;$ é o meio proporcional $\;x\;$ na proporção cujos extremos $\\ \; \;\;\;\;\;\;\;\;\;\;\;\;$ são as dimensões do retângulo: $$x^2 =GA \times GH \Longleftrightarrow \frac{MG}{x} =\frac{x}{GH}....................\mbox{Euclides (300 AC) Elelemntos VI.13}$$ $ \; \;\;\;\;\;\;\;\;\;\;\;\;$Bastará acrescentar ao lado $\;MG\;$ do retângulo o outro lado $\;GH.\;$ Assim: Com centro em $\;G\;$ e a passar por$\\ \; \;\;\;\;\;\;\;\;\;\;\;\;H,\;$ traçamos a circunferência que determina $\; J\;$ na sua intersecção com a reta $\;FG\;$

$\fbox{n=5}\;\;\;\;$ $MJ =MG+GH$ é o diâmetro da circunferência que intersecta a reta $\;GH\;$ no ponto $\;L\;$ e Thales (600 AC) $\\ \; \;\;\;\;\;\;\;\;\;\;\;\;$descobriu e provou que o ângulo inscrito numa semicircunferência $\; [MLJ] \;$ é retângulo em $\;L\;$ - 1º Teorema $\\ \; \;\;\;\;\;\;\;\;\;\;\;\;$(de Thales (?)) - e, $\;GL\;$ é o meio proporcional que procuramos.

$\fbox{n=6}\;\;\;\;$ O quadrado $\;[GLRQ]\;$ é um belo representante dos quadrados equivalentes ao pentágono $\;[ABCDE]\;\;\; \square $

---

1. EUCLID’S ELEMENTS OF GEOMETRY The Greek text of J.L. Heiberg (1883–1885) from Euclidis Elementa, edidit et Latine interpretatus est I.L. Heiberg, in aedibus B.G. Teubneri, 1883–1885 edited, and provided with a modern English translation, by Richard Fitzpatrick
   
2. David Joyce. Euclide's Elements
3. George E. Martins. Geometric Constructions Springer. New York; 1997
4. Robin Hartshorne. Geometry: Euclid and beyond Springer. New York: 2002
5. Howard Eves. Fundamentals of Modern Elementary Geometry Jones and Bartlett Publishers, Boston: 1991.