Rette nel disco di Poincarè

Il disco di Poincarè è un modello di geometria non euclidea iperbolica. Esso è costituito da un cerchio di raggio 1 privato della circonferenza. Le rette iperboliche sono, per definizione, gli archi di circonferenza che incontrano ad angolo retto la circonferenza tratteggiata. Dati due punti distinti Ae B esiste esattamente una retta per essi.