13.9.06

Um velho problema de Puig Adam

Em 3 de Janeiro de 2005, entre os problemas de Puig Adam apareceu o seguinte:

Demonstrar que a recta que une o vértice A de um triângulo [ABC] com o incentro I corta a circunferência circunscrita (centrada em O) num ponto P equidistante de B, de I e de C.


No último mês, recebemos uma proposta de demonstração que agradecemos. Estudamos todas as contribuições à medida do que sabemos e das nossas disponibilidade, mas só publicamos o que achamos correcto. Algumas vezes enganamo-nos ou publicamos contributos mesmo sem concordar com a escrita quando isso serve para clarificar uma ou outra abordagem e o que é correcto e mais elegante pode ficar evidenciado na controvérsia que possa estabelecer-se.
No caso presente, pareceu-nos mais acertado submeter à apreciação pública uma demonstração feita pela casa






Por ser AP a bissectriz do ângulo BÂC, os arcos BP e PC são iguais (duplos de ângulos inscritos iguasi) e as correspondentes cordas BP e CP têm comprimento igual: |BP|=|PC|.

O ângulo PBI (inscrito na circunferência de centro O) é metade do arco PCK(= arco PC+arco CK).
O ângulo PÎB (com vértice no interior da mesma circunferência) é metade da soma dos arcos BP e AK.
Como AP é bissectriz do ângulo BAC, o arco BP é igual ao arco PC. E por BI ser bissectriz do ângulo ABC o arco AK é igual ao arco CK. Assim: arco PK=arco PC +arco CK = arco BP +arco AK e logo os ângulos PBI e PIB são iguais.
No triângulo [PBI], isósceles, aos ângulos iguais (PBI=PIB) opõem-se lados iguais (|PI|=|BP|).

|PI|=|BP|=|PC|.
A construção reconstruída agora:


[A.A.F.]

18.8.06

Um problema de férias

Clicando sobre o enunciado, pode aceder ao exercício interactivo correspondente.

Por construção, determinar a recta tirada por um ponto dado que é equidistante de duas circunferências dadas
Para além da resolução geométrica, tem interesse tentar a demonstração e estudar as condições de possibilidade do problema.
Ficamos à espera. Já encontrámos (Arsélio e Aurélio) o tal problema (ou parecido) que me afligiu no Geometriagon e lá está resolvido por mais que um processo (por mais que uma forma de demonstrar o resultado associado....).
Quando o reencontrar me lembrar disso, prometo vir aqui dar a referência na grande LISTA.

[AM]