Construções hiperbólicas interativas: relações métricas e bilhares

Este trabalho explora a geometria do plano hiperbólico e, mais geralmente, de planos neutros, por meio de construções com retas e circunferências executadas no disco de Poincaré através do software GeoGebra. Verificam-se no plano hiperbólico os Teoremas de Ceva e de Euler, além de relações métricas associadas a baricentros e ortocentros. A técnica usual de se dobrar e desdobrar trajetórias de bilhar, em regiões poligonais, é estabelecida no plano neutro, motivada pelo traçado de poligonais minimizantes como, por exemplo, no problema de Fagnano. Essa ferramenta viabiliza descrições de bilhares em faixas e parcialmente em triângulos acutângulos, mostrando como suas propriedades se relacionam com o plano ser euclidiano ou hiperbólico. É feita uma demonstração elementar de uma propriedade de unicidade da trajetória órtica em triângulos hiperbólicos acutângulos, e são apresentadas provas completas acerca de triângulos órticos em planos neutros.