text: В 1798 году Лежандр доказал, что если размеры сферического треугольника малы по сравнению с радиусом сферы, то при решении тригонометрических задач можно применять формулы плоской тригонометрии, вычтя при этом из каждого угла треть сферического избытка.