elementos: média e extrema razão (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} $$


  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