Tangent over Secant Plus One

Theorem

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