0. Functions

An inverse tangent identity

b. Prove that tan⁻¹ x + tan⁻¹ x(1/x) = π/2, for x > 0.

Verify the identity sec⁻¹ x = cos⁻¹ (1/x), for x ≠ 0.