Die folgenden Formeln folgen nach längeren Termumformungen aus
, gelten also allgemein für drei beliebige Winkel
,
und
mit der Eigenschaft
, solange die in den Formeln vorkommenden Funktionen wohldefiniert sind (letzteres betrifft nur die Formeln, in denen Tangens und Kotangens vorkommen).