Trekant på hyperbelgraf og normallinjer med CAS
Lest inn av KI og ikke kontrollert manuelt enda — kan inneholde feil.
Funksjonen er gitt ved
har hjørnene , og på grafen til , der er tre parametere.

Vis at linjen gjennom som står normalt på linjen gjennom og , er gitt ved
På samme måte kan vi vise at linjen gjennom som står normalt på linjen gjennom og , er gitt ved
Linjene og skjærer hverandre i et punkt . Bruk CAS til å vise at alltid vil ligge på grafen til .