Mathematics · Livro 1 · Grades 1–9

Matemática do ensino fundamental

Matemática do ensino fundamental · Grades 1–9

58O teorema de Pitágoras

O teorema mais famoso de toda a matemática relaciona os três lados de um triângulo retângulo. Com ele, tornam-se calculáveis comprimentos que nenhuma régua conseguiria medir diretamente: diagonais, distâncias, alturas. É também o nosso primeiro grande encontro com a diferença entre um teorema e a recíproca dele.

58.1 O teorema

Teorema 58.1 (Pitágoras)

Se um triângulo ABCABC é retângulo em AA, então

BC2=AB2+AC2:BC^2 = AB^2 + AC^2 :

o quadrado da hipotenusa (o lado oposto ao ângulo reto) é igual à soma dos quadrados dos outros dois lados.

Ideia da demonstração. Quatro cópias do triângulo, dispostas dentro de um quadrado grande de lado AB+ACAB + AC, deixam descoberto um quadrado inclinado construído sobre a hipotenusa: comparar as áreas dá a igualdade. A conta detalhada é proposta no Exercício 58.11; o teorema também cai do produto escalar, estudado no volume do ensino médio.

O teorema como afirmação sobre áreas: o quadrado construído sobre a hipotenusa (25) tem exatamente a mesma área dos outros dois quadrados juntos (16 + 9). Aqui os lados são 3, 4, 5.
O teorema como afirmação sobre áreas: o quadrado construído sobre a hipotenusa (2525) tem exatamente a mesma área dos outros dois quadrados juntos (16+916 + 9). Aqui os lados são 33, 44, 55.

Método 58.2 (Calcular um comprimento)

Num triângulo retângulo em que dois lados são conhecidos:

  1. identifique a hipotenusa (oposta ao ângulo reto — sempre o lado mais longo);
  2. escreva a igualdade do Teorema 58.1 com os valores conhecidos;
  3. isole o quadrado que falta: some os quadrados se a hipotenusa for desconhecida, subtraia se um cateto for desconhecido;
  4. extraia a raiz quadrada, exatamente ou com calculadora, e confira que a hipotenusa saiu como o maior lado.

Exemplo 58.3 (Encontrar a hipotenusa)

Um triângulo retângulo tem catetos 66 e 88. Hipotenusa cc:

c2=62+82=36+64=100,c=100=10.c^2 = 6^2 + 8^2 = 36 + 64 = 100, \qquad c = \sqrt{100} = 10 .

(O número 100\sqrt{100}, a raiz quadrada de 100100, é o número positivo cujo quadrado é 100100; as raízes quadradas ganham um capítulo inteiro no Capítulo 65.)

Exemplo 58.4 (Encontrar um cateto)

Uma escada de 55 m se apoia numa parede, com o pé a 1.41.4 m da parede. Altura alcançada hh: a escada é a hipotenusa, então

h2=521.42=251.96=23.04,h=23.04=4.8 m.h^2 = 5^2 - 1.4^2 = 25 - 1.96 = 23.04, \qquad h = \sqrt{23.04} = 4.8 \text{ m}.

Subtraia, não some: a incógnita aqui é um cateto.

58.2 A recíproca

Teorema 58.5 (Recíproca de Pitágoras)

Se, num triângulo ABCABC, os lados satisfazem BC2=AB2+AC2BC^2 = AB^2 + AC^2, então o triângulo é retângulo em AA.

Demonstração. Admitido neste nível.

Método 58.6 (Testar um ângulo reto)

Dados os três lados de um triângulo:

  1. calcule separadamente o quadrado do lado mais longo e a soma dos quadrados dos outros dois;
  2. se os dois resultados forem iguais, o triângulo é retângulo (recíproca), no vértice oposto ao lado mais longo;
  3. se forem diferentes, ele não é retângulo — porque o teorema de Pitágoras obrigaria a igualdade.

Exemplo 58.7

Lados 55, 1212, 1313: quadrado do lado mais longo, 132=16913^2 = 169; soma dos outros quadrados, 52+122=25+144=1695^2 + 12^2 = 25 + 144 = 169. Iguais: retângulo (no vértice oposto ao lado 1313).

Lados 66, 77, 99: 92=819^2 = 81, mas 62+72=85816^2 + 7^2 = 85 \neq 81: não é triângulo retângulo (é “quase” um — quem decide são os números, e não o olho).

Observação 58.8 (Teorema e recíproca)

O teorema e a recíproca dele dizem coisas diferentes: o teorema usa um ângulo reto para calcular comprimentos; a recíproca usa comprimentos para demonstrar um ângulo reto. Os construtores usam a recíproca há milênios: uma corda com nós a 33, 44, 55 unidades, bem esticada, dá um ângulo reto perfeito.

Exemplo 58.9 (Diagonal de um quadrado)

A diagonal de um quadrado de lado 11 é a hipotenusa de um triângulo retângulo de catetos 11 e 11:

d2=12+12=2,d^2 = 1^2 + 1^2 = 2 ,

então d=21.414d = \sqrt2 \approx 1.414 — um número que não é uma fração, como o volume do ensino médio vai demonstrar. Para um quadrado de lado cc, a diagonal é c2c\sqrt2.

58.3 Exercícios

Exercício 58.1

Em cada triângulo retângulo, calcule a hipotenusa: catetos 99 e 1212; catetos 55 e 1212; catetos 88 e 1515.

Solução

Solução de Exercício 58.1.

81+144=225=15\sqrt{81 + 144} = \sqrt{225} = 15; 25+144=169=13\sqrt{25 + 144} = \sqrt{169} = 13; 64+225=289=17\sqrt{64 + 225} = \sqrt{289} = 17.

Exercício 58.2

Um triângulo retângulo tem hipotenusa 2525 e um cateto 77. Calcule o outro cateto.

Solução

Solução de Exercício 58.2.

Cateto2=25272=62549=576^2 = 25^2 - 7^2 = 625 - 49 = 576, então o cateto é 576=24\sqrt{576} = 24.

Exercício 58.3

Calcule a diagonal de um retângulo de lados 1212 cm e 99 cm; e a diagonal de um quadrado de lado 55 cm (valor exato com raiz quadrada e depois arredondado ao mm).

Solução

Solução de Exercício 58.3.

Retângulo: 122+92=144+81=225=15\sqrt{12^2 + 9^2} = \sqrt{144 + 81} = \sqrt{225} = 15 cm.

Quadrado: d=527.1d = 5\sqrt2 \approx 7.1 cm (Exemplo 58.9).

Exercício 58.4

Que triângulos são retângulos? Justifique com o Método 58.6:

(20, 21, 29);(7, 8, 11);(1.5, 2, 2.5).(20,\ 21,\ 29); \qquad (7,\ 8,\ 11); \qquad (1.5,\ 2,\ 2.5).
Solução

Solução de Exercício 58.4.

(20,21,29)(20, 21, 29): 292=84129^2 = 841 e 202+212=400+441=84120^2 + 21^2 = 400 + 441 = 841: retângulo.

(7,8,11)(7, 8, 11): 12149+64=113121 \neq 49 + 64 = 113: não é retângulo.

(1.5,2,2.5)(1.5, 2, 2.5): 6.25=2.25+46.25 = 2.25 + 4: retângulo (é o (3,4,5)(3,4,5) dividido ao meio).

Exercício 58.5

Um portão é reforçado por uma tábua na diagonal. O portão tem 33 m de largura e 1.61.6 m de altura: que comprimento tem a tábua?

Solução

Solução de Exercício 58.5.

Tábua =32+1.62=9+2.56=11.56=3.4= \sqrt{3^2 + 1.6^2} = \sqrt{9 + 2.56} = \sqrt{11.56} = 3.4 m.

Exercício 58.6

Um triângulo isósceles tem dois lados de 1010 cm e base de 1212 cm. A altura dele o divide em dois triângulos retângulos: calcule essa altura e depois a área do triângulo.

Solução

Solução de Exercício 58.6.

A altura cai no ponto médio da base (triângulo isósceles), então cada meio triângulo tem hipotenusa 1010 e um cateto 66: h=10036=64=8h = \sqrt{100 - 36} = \sqrt{64} = 8 cm. Área: 12×82=48\frac{12 \times 8}{2} = 48 cm2^2.

Exercício 58.7 ★★

A tela de uma televisão é um retângulo 16:916{:}9 medindo 88.588.5 cm por 49.849.8 cm. As telas são vendidas pela diagonal, em polegadas (11 polegada =2.54= 2.54 cm). Calcule a diagonal em cm e depois em polegadas (arredonde à polegada mais próxima).

Solução

Solução de Exercício 58.7.

Diagonal: 88.52+49.82=7832.25+2480.04=10312.29101.5\sqrt{88.5^2 + 49.8^2} = \sqrt{7832.25 + 2480.04} = \sqrt{10312.29} \approx 101.5 cm. Em polegadas: 101.5÷2.5440101.5 \div 2.54 \approx 40 polegadas.

Exercício 58.8 ★★

Um barco navega 2424 km para leste e depois 1010 km para o norte. A que distância ele está do ponto de partida (em linha reta)? Faça antes o desenho da situação.

Solução

Solução de Exercício 58.8.

Os dois catetos são 2424 km e 1010 km: 242+102=576+100=676=26\sqrt{24^2 + 10^2} = \sqrt{576 + 100} = \sqrt{676} = 26 km.

Exercício 58.9 ★★

Uma escada de 2.52.5 m tem de alcançar o parapeito de uma janela a 2.42.4 m do chão. A que distância da parede o pé dela tem de ser posto? A resposta é compatível com a recomendação de segurança (pé a cerca de um quarto do comprimento da escada, a partir da parede)?

Solução

Solução de Exercício 58.9.

Distância do pé: 2.522.42=6.255.76=0.49=0.7\sqrt{2.5^2 - 2.4^2} = \sqrt{6.25 - 5.76} = \sqrt{0.49} = 0.7 m. Um quarto da escada é 2.5÷40.62.5 \div 4 \approx 0.6 m: os 0.70.7 m encontrados ficam perto da colocação recomendada — aceitável.

Exercício 58.10 ★★

Num plano cartesiano, marque A(1,2)A(1, 2) e B(5,5)B(5, 5) e trace o triângulo retângulo de catetos paralelos aos eixos cuja hipotenusa é [AB][AB]. Calcule ABAB. (Essa construção, para dois pontos quaisquer, vira a fórmula da distância da geometria analítica, no volume do ensino médio.)

Solução

Solução de Exercício 58.10.

Os catetos medem 51=45 - 1 = 4 (horizontal) e 52=35 - 2 = 3 (vertical), então

AB=42+32=25=5.AB = \sqrt{4^2 + 3^2} = \sqrt{25} = 5 .

Exercício 58.11 ★★★

Quatro cópias de um triângulo retângulo de catetos aa, bb e hipotenusa cc são colocadas nos cantos de um quadrado de lado a+ba + b, deixando descoberto no meio um quadrado inclinado de lado cc.

  1. Expresse a área do quadrado grande de duas maneiras: diretamente e como (quatro triângulos) ++ (quadrado inclinado).
  2. Desenvolva (a+b)2(a + b)^2 (veja o Teorema 57.1) e deduza c2=a2+b2c^2 = a^2 + b^2: você demonstrou o teorema de Pitágoras.
Solução

Solução de Exercício 58.11.

1. Diretamente: (a+b)2(a + b)^2. Em peças: quatro triângulos de área ab2\frac{ab}{2} cada um, mais o quadrado inclinado c2c^2:

(a+b)2=4×ab2+c2=2ab+c2.(a + b)^2 = 4 \times \frac{ab}{2} + c^2 = 2ab + c^2 .

2. Desenvolvendo o lado esquerdo: (a+b)2=a2+2ab+b2(a+b)^2 = a^2 + 2ab + b^2. Então

a2+2ab+b2=2ab+c2a2+b2=c2.a^2 + 2ab + b^2 = 2ab + c^2 \quad\Longrightarrow\quad a^2 + b^2 = c^2 . \qed

58.4 Problema: ternos pitagóricos

Problema 58.1

Problema de fim de semana — triângulos retângulos de lados inteiros e a identidade (m2n2)2+(2mn)2=(m2+n2)2(m^2 - n^2)^2 + (2mn)^2 = (m^2 + n^2)^2 que gera todos eles

Um terno pitagórico é um terno de números inteiros (a,b,c)(a, b, c) com

a2+b2=c2,a^2 + b^2 = c^2 ,

como o (3,4,5)(3, 4, 5) dos construtores. Uma tábua de argila babilônica catalogou ternos enormes — (4601, 4800, 6649)(4601,\ 4800,\ 6649) entre eles — mais de mil anos antes de Pitágoras. Este problema caça ternos e depois constrói a máquina que os produz: uma identidade algébrica saída diretamente do Capítulo 57, posta a serviço da geometria.

Parte I — Caçando ternos.

  1. Confira que (5,12,13)(5, 12, 13), (8,15,17)(8, 15, 17) e (20,21,29)(20, 21, 29) são ternos pitagóricos. O que a Teorema 58.5 diz sobre triângulos com esses comprimentos de lado?
  2. Explique por que uma corda esticada com doze segmentos iguais, disposta como um triângulo de lados de 33, 44 e 55 segmentos, dá aos construtores um ângulo reto perfeito.
  3. Mostre que, se (a,b,c)(a, b, c) é um terno pitagórico, então (ka,kb,kc)(ka, kb, kc) também é, para todo número inteiro k1k \geq 1. Deduza três ternos novos a partir de (3,4,5)(3, 4, 5).
  4. Os múltiplos de (3,4,5)(3, 4, 5) são os ternos (3k,4k,5k)(3k, 4k, 5k). Mostre que (5,12,13)(5, 12, 13) não é um deles.
  5. Explique por que as questões 3 e 4, juntas, demonstram que multiplicar (3,4,5)(3, 4, 5) por escalas nunca produz todos os ternos pitagóricos: é preciso outra máquina.

Parte II — A máquina. Tome dois números inteiros m>n1m > n \geq 1 e forme os três números

a=m2n2,b=2mn,c=m2+n2.a = m^2 - n^2, \qquad b = 2mn, \qquad c = m^2 + n^2 .
  1. Usando os produtos notáveis do Problema 57.1 (escreva A=m2A = m^2 e B=n2B = n^2), desenvolva a2a^2 e b2b^2 e demonstre que

    (m2n2)2+(2mn)2=(m2+n2)2:\left(m^2 - n^2\right)^2 + (2mn)^2 = \left(m^2 + n^2\right)^2 :

    a máquina sempre entrega um terno pitagórico.

  2. Rode a máquina com (m,n)=(2,1)(m, n) = (2, 1), (3,1)(3, 1), (3,2)(3, 2), (4,1)(4, 1) e (4,3)(4, 3) e apresente os cinco ternos numa tabela.
  3. Um terno da sua tabela é uma cópia ampliada de outro menor. Qual, e de qual?
  4. Encontre (m,n)(m, n) para os quais a máquina entrega o terno (20,21,29)(20, 21, 29) da questão 1 (catetos em qualquer ordem).
  5. Encontre mm e nn com m2+n2=100m^2 + n^2 = 100 e deduza um terno pitagórico cuja hipotenusa seja 100100.

Parte III — Famílias e um final de paridade.

  1. Rode a máquina com m=n+1m = n + 1. Mostre que o cateto ímpar é 2n+12n + 1, o cateto par é 2n2+2n2n^2 + 2n e a hipotenusa é 2n2+2n+12n^2 + 2n + 1 — de modo que a hipotenusa e o cateto par diferem exatamente por 11. Escreva os ternos para n=1,2,3,4n = 1, 2, 3, 4.
  2. Deduza que todo número ímpar 3,5,7,9,3, 5, 7, 9, \dots é lado de algum triângulo retângulo de lados inteiros e dê um terno que contenha 1111.
  3. Os números pares também funcionam: rode a máquina com n=1n = 1 e produza um terno que contenha 1414. Depois obtenha o mesmo terno uma segunda vez, ampliando um da sua tabela da questão 7.
  4. Mostre que o quadrado de um número par é par e que o quadrado de um número ímpar é ímpar. (Escreva o número como 2k2k ou 2k+12k + 1 e use um produto notável.)
  5. Conclua o final de paridade: não existe terno pitagórico com os três números ímpares — em todo triângulo retângulo de lados inteiros, pelo menos um lado é par.
Solução

Solução de Problema 58.1.

1. 52+122=25+144=169=1325^2 + 12^2 = 25 + 144 = 169 = 13^2; 82+152=64+225=289=1728^2 + 15^2 = 64 + 225 = 289 = 17^2; 202+212=400+441=841=29220^2 + 21^2 = 400 + 441 = 841 = 29^2. Os três são ternos e, pela Teorema 58.5, um triângulo com esses comprimentos de lado é retângulo, com o ângulo reto de frente para o lado mais longo.

2. A corda forma um triângulo de lados 33, 44, 55 (em segmentos), e 32+42=25=523^2 + 4^2 = 25 = 5^2: pela recíproca (Teorema 58.5), o ângulo entre os lados de 33 e 44 segmentos é exatamente reto — sem transferidor nenhum, só com nós.

3. Se a2+b2=c2a^2 + b^2 = c^2, então

(ka)2+(kb)2=k2a2+k2b2=k2(a2+b2)=k2c2=(kc)2.(ka)^2 + (kb)^2 = k^2 a^2 + k^2 b^2 = k^2\left(a^2 + b^2\right) = k^2 c^2 = (kc)^2 .

A partir de (3,4,5)(3, 4, 5): por exemplo, (6,8,10)(6, 8, 10), (9,12,15)(9, 12, 15) e (30,40,50)(30, 40, 50).

4. Um múltiplo (3k,4k,5k)(3k, 4k, 5k) com 55 como menor número exigiria 3k=53k = 5, e nenhum número inteiro kk satisfaz isso (k=1k = 133 e k=2k = 266). Logo (5,12,13)(5, 12, 13) não é múltiplo de (3,4,5)(3, 4, 5).

5. A questão 3 mostra que a ampliação produz apenas os ternos (3k,4k,5k)(3k, 4k, 5k); a questão 4 exibe um terno legítimo que não tem essa forma. Então a família de todos os ternos pitagóricos é estritamente maior que a dos múltiplos de (3,4,5)(3, 4, 5): produzi-los exige algo novo.

6. Escreva A=m2A = m^2 e B=n2B = n^2. Pelos produtos notáveis (Problema 57.1):

a2=(AB)2=A22AB+B2,b2=(2mn)2=4m2n2=4AB.a^2 = (A - B)^2 = A^2 - 2AB + B^2, \qquad b^2 = (2mn)^2 = 4m^2n^2 = 4AB .

Somando:

a2+b2=A22AB+B2+4AB=A2+2AB+B2=(A+B)2=(m2+n2)2=c2.a^2 + b^2 = A^2 - 2AB + B^2 + 4AB = A^2 + 2AB + B^2 = (A + B)^2 = \left(m^2 + n^2\right)^2 = c^2 .

7.

(m,n)(m, n)m2n2m^2 - n^22mn2mnm2+n2m^2 + n^2
(2,1)(2, 1)334455
(3,1)(3, 1)88661010
(3,2)(3, 2)5512121313
(4,1)(4, 1)1515881717
(4,3)(4, 3)7724242525

8. (8,6,10)(8, 6, 10) é o dobro de (4,3,5)(4, 3, 5) — ou seja, do (3,4,5)(3, 4, 5) dos construtores. A máquina às vezes redescobre um terno antigo disfarçado.

9. Precisamos de m2n2=21m^2 - n^2 = 21 e 2mn=202mn = 20, ou seja, mn=10mn = 10: tentando m=5m = 5 e n=2n = 2, dá 254=2125 - 4 = 21 e 2×10=202 \times 10 = 20, com hipotenusa 25+4=2925 + 4 = 29. A máquina entrega (21,20,29)(21, 20, 29) para (m,n)=(5,2)(m, n) = (5, 2).

10. m=8m = 8 e n=6n = 6 dão m2+n2=64+36=100m^2 + n^2 = 64 + 36 = 100. O terno é

(6436, 2×48, 100)=(28, 96, 100),\left(64 - 36,\ 2 \times 48,\ 100\right) = (28,\ 96,\ 100),

e de fato 282+962=784+9216=10000=100228^2 + 96^2 = 784 + 9216 = 10\,000 = 100^2.

11. Com m=n+1m = n + 1:

m2n2=(n+1)2n2=2n+1m^2 - n^2 = (n + 1)^2 - n^2 = 2n + 1

(diferença de quadrados consecutivos, Problema 57.1); 2mn=2n(n+1)=2n2+2n2mn = 2n(n + 1) = 2n^2 + 2n; e m2+n2=n2+n2+2n+1=2n2+2n+1m^2 + n^2 = n^2 + n^2 + 2n + 1 = 2n^2 + 2n + 1. A hipotenusa ultrapassa o cateto par exatamente por 11. Para n=1,2,3,4n = 1, 2, 3, 4:

(3,4,5),(5,12,13),(7,24,25),(9,40,41).(3, 4, 5), \quad (5, 12, 13), \quad (7, 24, 25), \quad (9, 40, 41) .

12. Todo número ímpar de 33 em diante é 2n+12n + 1 para algum n1n \geq 1, e a questão 11 fornece um terno cujo cateto ímpar é exatamente 2n+12n + 1. Para 11=2×5+111 = 2 \times 5 + 1, tome n=5n = 5:

(11, 60, 61),112+602=121+3600=3721=612.(11,\ 60,\ 61), \qquad 11^2 + 60^2 = 121 + 3600 = 3721 = 61^2 .

13. Com n=1n = 1, a máquina dá (m21, 2m, m2+1)\left(m^2 - 1,\ 2m,\ m^2 + 1\right), cujo cateto par 2m2m pode ser qualquer número par a partir de 44. Para 14=2×714 = 2 \times 7, tome m=7m = 7: o terno (48,14,50)(48, 14, 50). O mesmo terno aparece dobrando (7,24,25)(7, 24, 25) da tabela da questão 7: (14,48,50)(14, 48, 50) — os mesmos três números.

14. Um número par é 2k2k, e (2k)2=4k2(2k)^2 = 4k^2 é par (múltiplo de 44, portanto par). Um número ímpar é 2k+12k + 1, e o primeiro produto notável dá

(2k+1)2=4k2+4k+1=2(2k2+2k)+1,(2k + 1)^2 = 4k^2 + 4k + 1 = 2\left(2k^2 + 2k\right) + 1 ,

um número par mais 11: ímpar.

15. Suponha que aa, bb, cc fossem todos ímpares. Pela questão 14, a2a^2 e b2b^2 são ímpares, então a2+b2a^2 + b^2 é uma soma de dois números ímpares: par. Mas c2c^2 seria ímpar. A igualdade a2+b2=c2a^2 + b^2 = c^2 fica, então, impossível. Logo, em todo terno pitagórico, pelo menos um dos três números é par — como cada linha da tabela da questão 7 confirma.