Определять
как 2-мерный метрическое пространство из постоянная кривизна
. Так, например,
это Евклидова плоскость,
это поверхность единичная сфера, и
это гиперболическая плоскость.
Позволять
быть метрическое пространство. Позволять
быть треугольник в
, с вершинами
,
и
. А треугольник сравнения
в
за
это треугольник в
с вершинами
,
и
такой, что
,
и
.
Такой треугольник уникален с точностью до изометрия.
В внутренний угол из
в
называется угол сравнения между
и
в
. Это четко определено при условии
и
оба отличаются от
.
Рекомендации