Gauss's formulas relate the sides and opposite angles of a spherical triangle. Let a spherical triangle have
sides ,
, and with , ,
and
the corresponding opposite angles. Then
(1)
(2)
(3)
(4)
These formulas are also known as Delambre's analogies (Smart 1960, p. 22).