Tangens/Kotangens/Ableitung/Fakt

Die Tangensfunktion

$\mathbb {R} \setminus {\left({\frac {\pi }{2}}+\mathbb {Z} \pi \right)}\longrightarrow \mathbb {R} ,\,x\longmapsto \tan x,$

ist differenzierbar mit

${}\tan \!'(x)={\frac {1}{\cos ^{2}x}}\,$

und die Kotangensfunktion

$\mathbb {R} \setminus \mathbb {Z} \pi \longrightarrow \mathbb {R} ,\,x\longmapsto \cot x,$

ist differenzierbar mit

${}\cot \!'(x)=-{\frac {1}{\sin ^{2}x}}\,.$

Zum Beweis, Alternativen Beweis erstellen