Duality between hyperbolic and de Sitter geometry

We study the trigonometry on the de Sitter surface. Since this surface carries a metric of Lorentzian signature, care has to be taken when defining lengths and angles. We provide trigonometric formulae for triangles of all causality types. This is basically achieved by transferring the concept of polar triangles from spherical geometry into the Minkowski space. As a byproduct, we obtain a new simple proof of the hyperbolic law of cosines for angles.