Tangent and cotangent/Monotonicity behavior/Fact
The
real tangent function induces a bijective, strictly increasing function
and the real cotangent function induces a bijective strictly decreasing function
real tangent function induces a bijective, strictly increasing function
and the real cotangent function induces a bijective strictly decreasing function