  In this paper we describe trigonometry on the de Sitter surface. For that a
characterization of geodesics is given, leading to various types of triangles.
We define lengths and angles of these. Then, transferring the concept of polar
triangles from spherical geometry into the Minkowski space, we relate
hyperbolic with de Sitter triangles such that the proof of the hyperbolic law
of cosines for angles becomes much clearer and easier than it is traditionally.
Furthermore, polar triangles turn out to be a powerful tool for describing de
Sitter trigonometry.
