Les deux inventeurs de la géometrie non-euclidienne n'ont pu deduire les formules trigonométriques du triangle rectangle dans leur plan qu'en se servant des figures spatiales. Liebmann était le premier qui, en appliquant les fonctions hyperboliques, a pu effectuer cette déduction d'une maniére purement planimétriques.