Problem #503
Metadata not filled yet
503
Prove the identity \(\tan x + \frac{1}{\tan x} = \frac{1}{\sin x \cos x}\).