Um dos resultados, apresentado como exemplo, é muito potente. É uma generalização do Teorema de Pitágoras (atribuída a Pappus) de que pouco se fala. Trabalha com figuras decompostas em figuras equivalentes de vários modos que é o que fazemos com o Teorema de Pitágoras. Só que este resultado se aplica a qualquer triângulo e o T. de Pitágoras aparece como um caso particular para os triângulos rectângulos.
Considere-se um triângulo ABC, qualquer. Sobre dois dos seus lados, construam-se dois paralelogramos - [AA1B1B], q na figura - e [AA2C2C], r. Os pontos a verde A,B, C, B1 e C2 são livres. Pode movê-los livremente.
O interessante é que, para cada par (q, r) de paralelogramos sobre os lados de um dos lados AC e AB de um triângulo qualquer, há um terceiro paralelogramo sobre BC que tem área igual à soma das áreas de q e r.
Que paralelogramo é esse?
Basta clicar no botão Construir? para acompanhar a construção de um tal terceiro paralelogramo.
Se clicou em Construir?, pode ver as dependências e mesmo adivinhar o que é preciso fazer e por que ordem para determinar o paralelogramo [CC3B3B] que tem área igual a q+r.
Preciso é determinar o ponto P, intersecção das rectas A1B1 e A2C2. E o paralelogramo [CC3B3B] é tal que A1B3= PA, sendo A1B3 e PA paralelos.
Clicar sobre o botão Demonstrar? confirmará, vendo, que o paralelogramo [BSPA] é obviamente equivalente a [BB3RQ] já que BB3=RQ=BS=PA e a altura relativa a RQ e PA é a distância entre duas mesmas paralelas. E é claro que q é equivalente a [BSPA].
Do mesmo modo, r é equivalente a [ACTP] e a [QRC3C].
