Det hyperboliska parallellpostulatet

(Se bild 18.) Låt P vara en punkt utanför en rät linje AB och PQ normalen från P mot linjen. Då finns en spetsig vinkel Π(PQ) med följande egenskap: De räta linjerna PX och PY, vilka bildar vinkeln Π(PQ) med normalen PQ, skär inte linjen AB. Varje linje PZ, som bildar en mindre vinkel än Π(PQ) med normalen, skär linjen AB i någon punkt.

Linjerna PX och PY kallas

• Författare:
• Thomas Erlandsson