Aula por Brendon Borck
Agora que já sabemos razão cruzada, vamos ao principal: o que aconteceria se ela fosse constante? Melhor: se ela tivesse módulo ? Dizemos que é uma quádrupla harmônica quando e as propriedades que vimos anteriormente conseguem ser aplicadas com maior facilidade, já que podemos encontrar elas naturalmente em várias configurações (as bissetrizes interna e externa com seus lados adjacentes é um dos maiores exemplos). Analisando a razão em si obtemos uma igualdade de segmentos, que podemos usufruir da mesma forma:
Por questão de nomenclatura, utilizando o exemplo acima, dizemos que é conjugado harmônico de em relação ao segmento e agora estamos prontos para alguns lemas e conceitos importantes.
O feixe harmônico, também chamado de lápis, acontece de maneira análoga ao apresentado anteriormente (uma quádrupla harmônica não deixa de ser uma razão cruzada), ou seja, qualquer reta que o corta gera quatro pontos com a razão em questão. Porém, a construção dele com régua é o mais interessante e conveniente para muitas questões:
Podemos encontrar o conjugado harmônico do ponto em relação ao segmento da seguinte maneira: traçamos três retas a partir desses pontos com encontro em , depois basta traçarmos dois segmentos e com interseção em . Pronto: Chame de o ponto que corta a reta e temos que .
A prova pode ser feita aplicando diretamente o teorema de Ceva e Menelaus, que caso não seja de conhecimento do leitor segue abaixo:
Teorema de Ceva:
Dado um triângulo , construa as cevianas , e , a partir disso é possível afirmar que elas se encontram num ponto se, e somente se:
Prova: Utilize as áreas dos triângulos formados.
Teorema de Menelaus:
Dados um triângulo e uma reta , chame de , e os pontos que ela corta os lados , e , respectivamente. a partir disso é possível afirmar que:
Prova: Utilize semelhança de triângulos em relação a reta .
Essa construção já nos permite associar cevianas diretamente com quádruplas harmônicas e consequentemente alguns pontos notáveis, mas há uma exceção que não podemos deixar de comentar e serve para testarmos os conceitos ensinados na introdução deste artigo: e se o ponto do exemplo fosse ponto médio de ? O leitor familiarizado com a geometria deve ter conseguido notar que não há opção: a reta será paralela à , uma maneira mais didática de vermos isso seria aplicando diretamente o teorema de Ceva seguido do teorema de Tales. Como estamos no plano projetivo não há motivo para desespero: duas retas paralelas encontram-se num dos pontos do infinito (o específico a esse feixe de paralelas) e este será o conjugado harmônico de , digamos que . Por convenção: nesse caso.
Para finalizar as técnicas, já vimos as associações entre triângulos e quádruplas harmônicas, mas através de quadriláteros elas manifestam-se também? Sim e a resposta ainda é de extrema utilidade. Assim como abordado no tópico sobre razão cruzada não são somente pontos colineares que a geram, no caso em questão seremos introduzidos aos quadriláteros harmônicos.
A definição pode ser feita da seguinte maneira: Dados quatro pontos concíclicos , chamamos sua união de quadrilátero harmônico caso haja a seguinte razão:
Visto isso, podemos introduzir nosso primeiro lema:
Lema: Seja um ponto fora de uma circunferência e , tangentes a ela. Chame de e dois pontos que pertencem à e que são colineares com . A partir disso podemos afirmar que é um quadrilátero harmônico e se , então .
Prova: Iremos utilizar alguns conceitos elementares da Geometria, precisamente semelhança de triângulos:
(caso A.A):
(caso A.A):
Como e são tangentes à , pelo teorema do Bico e temos o que precisávamos:
Para finalizarmos a prova basta utilizarmos perspectiva em , já que sabemos agora que é quadrilátero harmônico:
Note que ao tomarmos perspectiva em precisamos considerar a reta , nesse caso determinamos que ela representa a tangente de em relação à . Lembre-se disso em problemas que envolvem feixes e circunferências.
Por fim, vamos a um problema técnico para testar o que foi aprendido na sessão e mostrar como quádruplas harmônicas aliadas ao conceito de perspectiva podem ser destruidoras:
Problema: Sejam pontos num círculo e um ponto fora do círculo. Considere que e são tangentes à , que os pontos são colineares e . Prove que bissecta .
Solução: Chame de o ponto que corta . Pelo lema o quadrilátero é harmônico, a partir disso use perspectiva em :
Aparece o ponto do infinito na razão já que e sabemos que seu conjugado harmônico é o ponto médio do segmento em questão, então e bissecta .