Tangent over Secant Plus One

Theorem

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

Proof
$$ $$ $$ $$ $$ $$ $$ $$