Mathematics · Livro 1 · Grades 1–9

Matemática do ensino fundamental

Matemática do ensino fundamental · Grades 1–9

68O teorema de Tales

Como se mede a altura de uma pirâmide sem escalá-la? Tales de Mileto comparou a sombra dela com a sombra de uma vara. O teorema dele — as retas paralelas cortam segmentos em pedaços proporcionais — é o coração matemático das maquetes, dos mapas e das ampliações, e um dos teoremas mais antigos a ter nome próprio.

68.1 O teorema

Teorema 68.1 (Tales)

Sejam duas retas que se encontram num ponto AA. Tome MM sobre a primeira reta e NN sobre a segunda, com BB mais adiante na primeira e CC mais adiante na segunda. Se as retas (MN)(MN) e (BC)(BC) são paralelas, então os triângulos AMNAMN e ABCABC têm lados proporcionais:

AMAB=ANAC=MNBC.\frac{AM}{AB} = \frac{AN}{AC} = \frac{MN}{BC}.

Demonstração. Admitido neste nível.

As duas configurações de Tales: triângulos encaixados (à esquerda) e a “borboleta”, em que M e N ficam do outro lado de A (à direita). Nas duas, (MN) (BC) e as três razões são iguais. As duas configurações de Tales: triângulos encaixados (à esquerda) e a “borboleta”, em que M e N ficam do outro lado de A (à direita). Nas duas, (MN) (BC) e as três razões são iguais.
As duas configurações de Tales: triângulos encaixados (à esquerda) e a “borboleta”, em que MM e NN ficam do outro lado de AA (à direita). Nas duas, (MN)(BC)(MN) \parallel (BC) e as três razões são iguais.

Método 68.2 (Calcular um comprimento com Tales)

  1. Identifique o ponto AA em que as duas retas se cruzam e as duas retas paralelas; nomeie os dois triângulos;
  2. escreva as três razões iguais, sempre “triângulo pequeno sobre triângulo grande”;
  3. guarde a igualdade das duas razões que envolvem os três comprimentos conhecidos e o desconhecido;
  4. resolva a proporção obtida multiplicando em cruz.

Exemplo 68.3

Na configuração da esquerda, acima, suponha AM=3AM = 3, AB=5AB = 5, AN=2.4AN = 2.4 e MN=3.3MN = 3.3, e vamos calcular ACAC e BCBC. Tales dá

AMAB=ANAC=MNBC,isto eˊ,35=2.4AC=3.3BC.\frac{AM}{AB} = \frac{AN}{AC} = \frac{MN}{BC}, \qquad\text{isto é,}\qquad \frac35 = \frac{2.4}{AC} = \frac{3.3}{BC}.

De 35=2.4AC\frac35 = \frac{2.4}{AC}, multiplicando em cruz: 3×AC=5×2.4=123 \times AC = 5 \times 2.4 = 12, então AC=4AC = 4. De 35=3.3BC\frac35 = \frac{3.3}{BC}: 3×BC=16.53 \times BC = 16.5, então BC=5.5BC = 5.5.

Exemplo 68.4 (Tales na vida real)

Uma vara vertical de 11 m de altura projeta uma sombra de 1.51.5 m, enquanto uma árvore projeta uma sombra de 1212 m no mesmo instante. Os raios de sol são paralelos, então o triângulo da vara com a sombra dela e o da árvore com a sombra dela estão em configuração de Tales:

altura da aˊrvore1=121.5,enta˜o a aˊrvore tem 8 m de altura.\frac{\text{altura da árvore}}{1} = \frac{12}{1.5}, \qquad\text{então a árvore tem } 8 \text{ m de altura.}

68.2 A recíproca

Teorema 68.5 (Recíproca de Tales)

Com os pontos posicionados como no Teorema 68.1 (MM sobre (AB)(AB), NN sobre (AC)(AC), na mesma ordem nas duas retas): se

AMAB=ANAC,\frac{AM}{AB} = \frac{AN}{AC},

então as retas (MN)(MN) e (BC)(BC) são paralelas.

Demonstração. Admitido neste nível.

Método 68.6 (Demonstrar ou refutar o paralelismo)

  1. Calcule separadamente as duas razões AMAB\dfrac{AM}{AB} e ANAC\dfrac{AN}{AC} (como frações, não como arredondamentos);
  2. se elas forem iguais e os pontos estiverem na mesma ordem nas duas retas, as retas são paralelas (recíproca de Tales);
  3. se forem diferentes, as retas não são paralelas — porque, se fossem, o teorema de Tales obrigaria as razões a serem iguais.

Exemplo 68.7

Na reta 1, AM=4AM = 4 e AB=10AB = 10; na reta 2, AN=6AN = 6 e AC=15AC = 15. Então

AMAB=410=25,ANAC=615=25:\frac{AM}{AB} = \frac{4}{10} = \frac25, \qquad \frac{AN}{AC} = \frac{6}{15} = \frac25 :

razões iguais, mesma ordem: (MN)(BC)(MN) \parallel (BC).

Com AC=14AC = 14 em vez disso: 614=3725\frac{6}{14} = \frac37 \neq \frac25, então as retas não são paralelas.

68.3 Ampliação e redução

Definição 68.8 (Mudar a escala de uma figura)

Ampliar ou reduzir uma figura pelo fator de escala k>0k > 0 é multiplicar todos os comprimentos dela por kk: uma ampliação quando k>1k > 1, uma redução quando k<1k < 1. Na configuração de Tales, o triângulo AMNAMN é a redução de ABCABC pelo fator k=AMABk = \frac{AM}{AB}.

Proposição 68.9 (Efeito sobre ângulos e áreas)

Mudar a escala pelo fator kk preserva os ângulos e a forma das figuras, multiplica todo comprimento por kk e multiplica toda área por k2k^2.

Demonstração. Admitido neste nível.

Dobrar os comprimentos (k = 2) multiplica a área por k2 = 4: quatro cópias do retângulo pequeno ladrilham o grande.
Dobrar os comprimentos (k=2k = 2) multiplica a área por k2=4k^2 = 4: quatro cópias do retângulo pequeno ladrilham o grande.

Exemplo 68.10

Uma foto de 10×1510 \times 15 cm é ampliada com fator de escala k=3k = 3: a cópia mede 30×4530 \times 45 cm. A área dela passa de 150150 cm2^2 para 150×9=1350150 \times 9 = 1350 cm2^299 vezes maior, e não 33.

68.4 Exercícios

Exercício 68.1

As retas (MN)(MN) e (BC)(BC) são paralelas, com MM sobre [AB][AB] e NN sobre [AC][AC]; AM=2AM = 2, AB=6AB = 6, AN=3AN = 3, BC=9BC = 9. Calcule ACAC e MNMN.

Solução

Solução de Exercício 68.1.

Tales: AMAB=ANAC=MNBC\dfrac{AM}{AB} = \dfrac{AN}{AC} = \dfrac{MN}{BC}, isto é, 26=13\dfrac26 = \dfrac13. Então 3AC=13\dfrac{3}{AC} = \dfrac13AC=9AC = 9, e MN9=13\dfrac{MN}{9} = \dfrac13MN=3MN = 3.

Exercício 68.2

Mesma configuração: AM=5AM = 5, MB=3MB = 3 (atenção: MBMB, e não ABAB!), AN=4AN = 4. Calcule ACAC.

Solução

Solução de Exercício 68.2.

Primeiro ache AB=AM+MB=5+3=8AB = AM + MB = 5 + 3 = 8. Depois, AMAB=ANAC\dfrac{AM}{AB} = \dfrac{AN}{AC}58=4AC\dfrac58 = \dfrac{4}{AC}, então 5×AC=325 \times AC = 32 e AC=6.4AC = 6.4.

Exercício 68.3

Numa configuração borboleta, AA está entre MM e BB e entre NN e CC, com (MN)(BC)(MN) \parallel (BC); AM=3AM = 3, AB=7.5AB = 7.5, AN=2AN = 2, MN=2.6MN = 2.6. Calcule ACAC e BCBC.

Solução

Solução de Exercício 68.3.

A borboleta funciona exatamente como a configuração encaixada: AMAB=ANAC=MNBC\dfrac{AM}{AB} = \dfrac{AN}{AC} = \dfrac{MN}{BC}, isto é, 37.5=25\dfrac{3}{7.5} = \dfrac25. Então 2AC=25\dfrac{2}{AC} = \dfrac25AC=5AC = 5, e 2.6BC=25\dfrac{2.6}{BC} = \dfrac25BC=2.6×52=6.5BC = \dfrac{2.6 \times 5}{2} = 6.5.

Exercício 68.4

MM está sobre [AB][AB] com AM=6AM = 6, AB=8AB = 8; NN está sobre [AC][AC] com AN=9AN = 9, AC=12AC = 12. As retas (MN)(MN) e (BC)(BC) são paralelas?

Solução

Solução de Exercício 68.4.

AMAB=68=34\dfrac{AM}{AB} = \dfrac68 = \dfrac34 e ANAC=912=34\dfrac{AN}{AC} = \dfrac{9}{12} = \dfrac34: razões iguais, pontos na mesma ordem, então (MN)(BC)(MN) \parallel (BC) pela recíproca de Tales.

Exercício 68.5 ★★

Como acima, com AM=4AM = 4, AB=6AB = 6, AN=5AN = 5, AC=8AC = 8. As retas (MN)(MN) e (BC)(BC) são paralelas? Justifique com cuidado.

Solução

Solução de Exercício 68.5.

AMAB=46=23\dfrac{AM}{AB} = \dfrac46 = \dfrac23 e ANAC=58\dfrac{AN}{AC} = \dfrac58. Conferindo com denominador comum: 23=1624\dfrac23 = \dfrac{16}{24} e 58=1524\dfrac58 = \dfrac{15}{24}: as razões diferem. Se as retas fossem paralelas, o teorema de Tales obrigaria as razões a serem iguais — então (MN)(MN) e (BC)(BC) não são paralelas.

Exercício 68.6 ★★

Uma pessoa de 1.81.8 m de altura está a 22 m da base de um poste de iluminação; a sombra dela mede 33 m. Trace a configuração de Tales formada pelo poste, pela pessoa e pela ponta da sombra, e calcule a altura do poste.

Solução

Solução de Exercício 68.6.

Seja SS a ponta da sombra, PP o alto da cabeça da pessoa e LL o alto do poste. A pessoa (1.81.8 m à distância 33 m de SS) e o poste (altura hh à distância 3+2=53 + 2 = 5 m de SS) são dois segmentos verticais paralelos cortados pelo raio de luz (SL)(SL): Tales a partir do ponto SS

1.8h=35,enta˜oh=1.8×53=3 m.\frac{1.8}{h} = \frac{3}{5}, \qquad\text{então}\quad h = \frac{1.8 \times 5}{3} = 3 \text{ m}.

Exercício 68.7 ★★

Um mapa tem escala 1:250001 : 25\,000 (os comprimentos no mapa são os comprimentos reais multiplicados por k=125000k = \frac{1}{25000}).

  1. Dois povoados distam 6.86.8 cm um do outro no mapa. Qual é a distância real, em km?
  2. Uma floresta tem área de 88 cm2^2 no mapa. Qual é a área real dela, em km2^2?
Solução

Solução de Exercício 68.7.

1. Distância real: 6.8×25000=1700006.8 \times 25\,000 = 170\,000 cm =1.7= 1.7 km.

2. As áreas mudam pelo fator k2k^2: área real =8×250002= 8 \times 25\,000^2 cm2^2 =8×6.25×108= 8 \times 6.25 \times 10^8 cm2^2 =5×109= 5 \times 10^9 cm2^2. Como 11 km2=1010^2 = 10^{10} cm2^2, isso dá 0.50.5 km2^2.

Exercício 68.8 ★★

O triângulo ABCABC tem AB=12AB = 12, AC=15AC = 15, BC=18BC = 18. O ponto MM sobre [AB][AB] satisfaz AM=8AM = 8, e a reta que passa por MM paralelamente a (BC)(BC) corta [AC][AC] em NN.

  1. Calcule ANAN e MNMN.
  2. Qual é o fator de escala de ABCABC para AMNAMN? Compare os perímetros dos dois triângulos.
Solução

Solução de Exercício 68.8.

1. A razão é AMAB=812=23\dfrac{AM}{AB} = \dfrac{8}{12} = \dfrac23. Tales: AN=23×15=10AN = \frac23 \times 15 = 10 e MN=23×18=12MN = \frac23 \times 18 = 12.

2. O fator de escala é k=23k = \frac23. Perímetros: ABCABC tem 12+15+18=4512 + 15 + 18 = 45, e AMNAMN tem 8+10+12=30=23×458 + 10 + 12 = 30 = \frac23 \times 45: o perímetro também muda pelo fator kk, como todo comprimento.

Exercício 68.9 ★★★

Seja ABCDABCD um trapézio com (AB)(CD)(AB) \parallel (CD), AB=4AB = 4 e CD=6CD = 6, cujas diagonais [AC][AC] e [BD][BD] se encontram em OO. Usando Tales na configuração borboleta em torno de OO, calcule a razão OAOC\dfrac{OA}{OC} e mostre que OO corta as duas diagonais na mesma razão.

Solução

Solução de Exercício 68.9.

Em torno de OO, as retas (AC)(AC) e (BD)(BD) se cruzam, e (AB)(CD)(AB) \parallel (CD): configuração borboleta com os triângulos OABOAB e OCDOCD. Tales dá

OAOC=OBOD=ABCD=46=23.\frac{OA}{OC} = \frac{OB}{OD} = \frac{AB}{CD} = \frac46 = \frac23 .

Então OAOC=23\dfrac{OA}{OC} = \dfrac23, e a igualdade OAOC=OBOD\dfrac{OA}{OC} = \dfrac{OB}{OD} diz precisamente que OO corta as duas diagonais na mesma razão.

68.5 Problema: a régua sem marcação, a câmara escura e as três médias de um trapézio

Problema 68.1

Problema de fim de semana — Tales em ação: dividir um segmento qualquer em partes iguais, medir o Sol com uma caixa de sapatos e um trapézio em que as três médias famosas se encontram

O teorema de Tales é a matemática dos raios: raios de sol, raios de luz por um furinho, feixes de retas que saem de um vértice. Este problema o usa de três maneiras — como ferramenta de construção (dividir um segmento de comprimento qualquer, até mesmo 2\sqrt2, em partes perfeitamente iguais), como instrumento de medida (o diâmetro do Sol, com uma caixa de sapatos e uma moeda) e como lupa sobre o trapézio do Exercício 68.9, em que as médias aritmética, geométrica e harmônica desta série aparecem todas numa figura só.

Parte I — Dividir com uma régua sem marcação.

  1. Trace um segmento [AB][AB] de 77 cm. Para cortá-lo em três partes iguais com compasso e régua sem marcação: trace uma semirreta qualquer a partir de AA (que não passe por BB); marque nela três aberturas iguais de compasso, obtendo os pontos P1P_1, P2P_2, P3P_3; ligue P3P_3 a BB; trace as paralelas a (P3B)(P_3 B) que passam por P1P_1 e por P2P_2. Execute a construção e marque onde as paralelas cortam [AB][AB].
  2. Justifique com o Teorema 68.1 que os dois pontos marcados cortam [AB][AB] exatamente nos terços dele.
  3. Adapte o método para dividir um segmento em 55 partes iguais e depois para construir 35\frac35 de um segmento dado.
  4. Construa o ponto MM de [AB][AB] com AMMB=23\frac{AM}{MB} = \frac23 (isto é, MM a 25\frac25 do caminho a partir de AA). Quantos passos iguais na semirreta, e que ponto se liga a BB?
  5. Por que essa construção é melhor do que medir com uma régua graduada? Considere um segmento de comprimento 2\sqrt2 (a diagonal de um quadrado de lado 11, irracional pelo Problema 65.1): o que a medição daria, e o que Tales dá?

Parte II — A câmara escura de furinho. Fure com um alfinete uma face de uma caixa fechada: na face oposta, aparece uma imagem do mundo de cabeça para baixo. Um ponto do objeto, o furinho e o ponto da imagem ficam alinhados — a luz viaja em linha reta — então o objeto (altura HH, à distância DD na frente do furo) e a imagem dele (altura hh, na parede do fundo, à profundidade dd atrás do furo) ficam na configuração borboleta de Tales.

  1. Deduza a fórmula do furinho, h=H×dDh = H \times \frac dD, de Tales na borboleta em torno do furo.
  2. Uma árvore de 1212 m fica a 3030 m de uma caixa de sapatos de 2020 cm de profundidade. Que altura tem a imagem dela, e em que posição?
  3. Aponte a caixa para o Sol: a d=1d = 1 m atrás do furinho, a imagem do Sol é um disco de cerca de 99 mm de diâmetro. Dada a distância do Sol, D=1.5×1011D = 1.5 \times 10^{11} m, calcule o diâmetro dele em notação científica (a notação do Problema 63.1 em ação). Compare com o valor verdadeiro, 1.39×1091.39 \times 10^9 m.
  4. A Lua: diâmetro 3.5×1063.5 \times 10^6 m, distância 3.8×1083.8 \times 10^8 m. Calcule a razão diaˆmetrodistaˆncia\frac{\text{diâmetro}}{\text{distância}} para a Lua e para o Sol. Que coincidência de sorte os dois números revelam — e que acontecimento espetacular ela torna possível?
  5. Em uma ou duas frases: por que a imagem do furinho fica de cabeça para baixo, e por que alargar o furo deixa a imagem mais clara, porém mais borrada?

Parte III — O trapézio das três médias. ABCDABCD é o trapézio do Exercício 68.9: (AB)(CD)(AB) \parallel (CD), AB=4AB = 4, CD=6CD = 6, com as diagonais se cruzando em OO e OAOC=OBOD=46=23\frac{OA}{OC} = \frac{OB}{OD} = \frac{4}{6} = \frac23.

  1. Treino de borboleta: duas retas se cruzam em OO com (MN)(PQ)(MN) \parallel (PQ) em posição de borboleta; OM=3OM = 3, OP=7.5OP = 7.5, MN=4MN = 4 e OQ=6OQ = 6. Calcule PQPQ e ONON.
  2. Explique como Tales, aplicado com razão 12\frac12, contém o teorema dos pontos médios do Teorema 59.1 como caso particular.
  3. Trace a paralela às bases que passa por OO; ela encontra [AD][AD] em EE. Trabalhando no triângulo ACDACD (note que AOAC=25\frac{AO}{AC} = \frac25), calcule EOEO.
  4. Pela conta espelhada no triângulo BDCBDC, o pedaço OFOF (com FF sobre [BC][BC]) tem o mesmo comprimento. Conclua que

    EF=2×4×64+6=4.8:EF = 2 \times \frac{4 \times 6}{4 + 6} = 4.8 :

    a paralela que passa pelo cruzamento das diagonais mede a média harmônica das bases — a média da ida e volta do Problema 61.1, reaparecendo na geometria pura.

  5. O grande final: calcule as três médias clássicas das bases 44 e 66 — aritmética 4+62\frac{4+6}{2}, geométrica 4×6\sqrt{4 \times 6}, harmônica 2×4×64+6\frac{2 \times 4 \times 6}{4 + 6} — e ordene-as. Cada uma mora no trapézio: a média aritmética é a base média, que liga os pontos médios dos lados oblíquos (Problema 53.1); a média harmônica é o seu segmento EFEF; e a média geométrica é a paralela que corta o trapézio em dois trapézios semelhantes (confira o valor dela com a calculadora; a demonstração é um belo desafio extra). Onde a desigualdade entre as três foi demonstrada neste livro (Problema 60.1, Problema 61.1)?
Solução

Solução de Problema 68.1.

1. A construção produz dois pontos sobre [AB][AB]; chame-os de M1M_1 (vindo de P1P_1) e M2M_2 (vindo de P2P_2).

2. No triângulo AP3BA P_3 B, as paralelas a (P3B)(P_3 B) que passam por P1P_1 e por P2P_2 cortam os lados proporcionalmente (Teorema 68.1):

AM1AB=AP1AP3=13,AM2AB=AP2AP3=23.\frac{A M_1}{AB} = \frac{A P_1}{A P_3} = \frac13, \qquad \frac{A M_2}{AB} = \frac{A P_2}{A P_3} = \frac23 .

O compasso fez AP1A P_1, P1P2P_1 P_2, P2P3P_2 P_3 iguais, então as razões são exatamente terços — seja qual for o ângulo da semirreta e a abertura de compasso escolhida.

3. Para quintos: marque cinco aberturas iguais, ligue o quinto ponto a BB e trace quatro paralelas. Para 35\frac35 de um segmento: mesma figura, e tome o ponto cortado pela paralela que passa por P3P_3: ele fica a 35\frac{3}{5} de [AB][AB] a partir de AA.

4. AMMB=23\frac{AM}{MB} = \frac23 significa AM=25ABAM = \frac25 AB: cinco passos iguais na semirreta, ligue P5P_5 a BB, e a paralela que passa por P2P_2 marca MM.

5. Medir 2=1.41421\sqrt2 = 1.41421\ldots cm só usa uma quantidade finita de casas decimais: qualquer “terço” medido é uma aproximação. A construção de Tales não lê número nenhum: ela entrega o ponto exato em 23\frac{\sqrt2}{3} — partes iguais de um segmento que régua alguma consegue sequer exprimir (Problema 65.1).

6. O alto do objeto, o furo e a parte de baixo da imagem estão alinhados, e o mesmo vale para a base do objeto e o alto da imagem: duas retas que se cruzam no furo, com o objeto e a parede da imagem paralelos. Tales na borboleta:

hH=dD,enta˜oh=H×dD.\frac{h}{H} = \frac{d}{D}, \qquad\text{então}\qquad h = H \times \frac dD .

7. h=12×0.2030=0.08h = 12 \times \frac{0.20}{30} = 0.08 m =8= 8 cm — de cabeça para baixo (os raios se cruzam no furo).

8. H=h×Dd=9×103×1.5×10111=1.35×109H = h \times \frac Dd = 9 \times 10^{-3} \times \frac{1.5 \times 10^{11}}{1} = 1.35 \times 10^{9} m. Valor verdadeiro 1.39×1091.39 \times 10^9 m: uma caixa de sapatos mede o Sol com poucos por cento de erro.

9. Lua: 3.5×1063.8×1080.0092\frac{3.5 \times 10^6}{3.8 \times 10^8} \approx 0.0092. Sol: 1.39×1091.5×10110.0093\frac{1.39 \times 10^9}{1.5 \times 10^{11}} \approx 0.0093. As duas razões — os tamanhos aparentes no céu — são quase idênticas: a Lua consegue cobrir o Sol exatamente, borda a borda. Esse acaso cósmico é o eclipse solar total.

10. Todo raio precisa passar pelo único furo, então os raios que vêm do alto do objeto seguem para baixo e os que vêm da base seguem para cima: a imagem fica invertida. Alargar o furo deixa passar um feixe inteiro de cópias levemente deslocadas da imagem, que se sobrepõem: mais clara, porém borrada.

11. PQMN=OPOM=7.53=2.5\frac{PQ}{MN} = \frac{OP}{OM} = \frac{7.5}{3} = 2.5, então PQ=10PQ = 10; e ONOQ=OMOP=12.5\frac{ON}{OQ} = \frac{OM}{OP} = \frac{1}{2.5}, então ON=62.5=2.4ON = \frac{6}{2.5} = 2.4.

12. Se a paralela passa pelo ponto médio de um lado, a razão de Tales é 12\frac12, então ela corta o segundo lado no ponto médio dele, e o segmento paralelo mede a metade da base: precisamente o Teorema 59.1. Tales é o teorema dos pontos médios libertado da razão 12\frac12.

13. No triângulo ACDACD, a reta (EO)(EO) é paralela à base (CD)(CD), com AOAC=OAOA+OC=44+6=25\frac{AO}{AC} = \frac{OA}{OA + OC} = \frac{4}{4 + 6} = \frac25. Tales: EODC=AOAC=25\frac{EO}{DC} = \frac{AO}{AC} = \frac25, então EO=25×6=2.4EO = \frac25 \times 6 = 2.4.

14. No triângulo BDCBDC, do mesmo modo, BOBD=25\frac{BO}{BD} = \frac25 e OF=25×6=2.4OF = \frac25 \times 6 = 2.4. Logo,

EF=EO+OF=4.8=2×4×64+6:EF = EO + OF = 4.8 = \frac{2 \times 4 \times 6}{4 + 6} :

a média harmônica das bases — a média das idas e voltas (Problema 61.1), desenhada num trapézio.

15. Aritmética: 55; geométrica: 244.90\sqrt{24} \approx 4.90; harmônica: 4.84.8. Ordem: 4.8<4.90<54.8 < 4.90\ldots < 5, isto é, harmônica << geométrica << aritmética — com igualdade só para bases iguais. Na figura: a base média mede 55, a paralela pelo cruzamento das diagonais mede 4.84.8 e o corte de semelhança mede 24\sqrt{24}, todas empilhadas entre as bases nessa ordem. As desigualdades foram demonstradas no Problema 60.1 (geométrica \leq aritmética, pelo círculo e pela identidade) e no Problema 61.1 (harmônica \leq aritmética); harmônica \leq geométrica sai combinando as duas (H×A=G2H \times A = G^2, também demonstrado ali).