text: Площадь гиперболического треугольника равна его дефекту, умноженному на квадрат R: ( π − A − B − C ) R 2 . {\displaystyle (\pi -A-B-C)R^{2}{}{}.\!} Эта теорема, впервые доказанная Иоганном Генрихом Ламбертом, связана с теоремой Жирара в сферической геометрии.