Tangent and cotangent/Monotonicity behavior/Fact/Proof/Exercise

Show that the real tangent function induces a bijective, strictly increasing function

and that the real cotangent function induces a bijective strictly decreasing function