Tamién Johann Heinrich Lambert atopó delles fórmules interesantes referentes a lo que güei llamaríamos triángulos de la xeometría hiperbólica, probando que la suma de los ángulos ye siempres menor que 180º (o π radianes), la fórmula de Lambert establecía que pa unu d'estos triángulos cumplíase: