Tangent over Secant Plus One

Theorem

 * $\dfrac {\tan x} {\sec x + 1} = \dfrac {\sec x - 1} {\tan x}$