Definition:Cotangent/Analysis
From ProofWiki
Definition
Real Function
Let $x \in \R$ be a real number.
The real function $\cot x$ is defined as:
- $\cot x = \dfrac {\cos x} {\sin x} = \dfrac 1 {\tan x}$
where:
The definition is valid for all $x \in \R$ such that $\sin x \ne 0$.
Complex Function
Let $z \in \C$ be a complex number.
The complex function $\cot z$ is defined as:
- $\cot z = \dfrac {\cos z} {\sin z} = \dfrac 1 {\tan z}$
where:
The definition is valid for all $z \in \C$ such that $\cos z \ne 0$.