1. Teorema de Tales
Antes de escrever uma proporção, precisamos saber quais pontos e quais segmentos ocupam a mesma posição nas duas transversais.
Se duas retas são transversais de um feixe de retas paralelas, então a razão entre dois segmentos de uma delas é igual à razão entre os respectivos segmentos correspondentes da outra.
Primeiro: quem corresponde a quem?
A e A′, B e B′, C e C′, D e D′ são pontos correspondentes. Cada par está sobre a mesma reta paralela do feixe.
AB e A′B′, CD e C′D′ são segmentos correspondentes. Cada par fica limitado pelas mesmas duas paralelas.
- A e A′ estão na primeira paralela; B e B′, na segunda.
- Por isso, AB e A′B′ ocupam a mesma faixa do feixe.
- C e C′ estão na terceira paralela; D e D′, na quarta.
- Por isso, CD e C′D′ ocupam outra mesma faixa do feixe.
Depois: o que o teorema afirma?
Na transversal t, comparamos AB com CD. Na transversal u, repetimos exatamente a mesma ordem: A′B′ com C′D′.
Em palavras: a relação entre AB e CD é igual à relação entre seus correspondentes A′B′ e C′D′.
2. Como montar as razões sem trocar a ordem
Não comece pela fórmula. Primeiro leia os segmentos em voz baixa e localize seus correspondentes.
- Escolha dois segmentos da primeira transversal: AB e CD.
- Localize o correspondente de AB: é A′B′.
- Localize o correspondente de CD: é C′D′.
- Repita na segunda transversal a mesma ordem usada na primeira.
3. Demonstração do Teorema de Tales
Vamos provar por que a proporção funciona. O livro separa a demonstração em dois casos: quando existe uma unidade comum exata e quando essa unidade comum não existe.
1º caso: segmentos comensuráveis
Comensuráveis quer dizer que conseguimos escolher um pequeno segmento x que cabe um número inteiro de vezes tanto em AB quanto em CD. É como usar uma régua cuja unidade mede exatamente os dois segmentos, sem deixar sobra.
Passo 1 - escolher e contar a unidade comum
Suponha que x caiba p vezes em AB e q vezes em CD. Então AB é formado por p cópias de x, enquanto CD é formado por q cópias de x.
Passo 2 - obter a razão na primeira transversal
Ao dividir AB por CD, a mesma unidade x aparece em cima e embaixo e pode ser simplificada.
Passo 3 - levar as divisões até a segunda transversal
Pelos pontos que dividem AB e CD, traçamos novas paralelas ao feixe. Essas paralelas auxiliares também cortam a transversal u.
Elas dividem A′B′ em p partes iguais de medida x′ e C′D′ em q partes iguais da mesma medida x′. A quantidade de partes é preservada porque as divisões são produzidas pelas mesmas paralelas.
Passo 4 - obter a razão na segunda transversal
Dividindo um pelo outro, x′ também é simplificado:
Passo 5 - comparar os dois resultados
A primeira razão e a segunda razão resultam no mesmo número. Portanto, elas são iguais entre si.
2º caso: segmentos incomensuráveis
Incomensuráveis quer dizer que nenhuma unidade mede AB e CD exatamente um número inteiro de vezes. Nesse caso, aproximamos AB por unidades cada vez menores.
Passo 1 - dividir CD exatamente
Escolha uma unidade y que caiba n vezes em CD. Assim, CD = n·y.
Passo 2 - aproximar AB com a mesma unidade
Suponha que y caiba m vezes em AB e que ainda sobre um pedaço menor que y. Então AB é maior que m·y, mas menor que (m+1)·y.
Passo 3 - transformar os comprimentos em limites para a razão
Como CD = n·y, dividimos os três membros por n·y:
Passo 4 - repetir a construção na outra transversal
As mesmas paralelas produzem n partes de medida y′ em C′D′. Em A′B′ cabem m dessas partes e sobra menos de uma. Por isso, a razão correspondente fica entre os mesmos limites.
Passo 5 - tornar a aproximação cada vez mais precisa
Escolhendo y cada vez menor, o número n aumenta. A distância entre o limite inferior e o limite superior é cada vez menor. As duas razões permanecem presas entre os mesmos limites, que se aproximam até determinar um único número.
4. Exemplo guiado
Em duas transversais, AB corresponde a A′B′ e BC corresponde a B′C′. Se AB = 4, BC = 6 e A′B′ = 10, encontre B′C′.
Multiplicando em cruz: 4x = 60. Logo, x = 15.