I am writing a physics paper relating the motion of objects using Loedel diagrams and standard trigonometry.
In one section, I am able to demonstrate a relationship between two related angles of motion; however, a universal proof of this relationship eludes me.
It will be vastly better to present a simple mathematical proof of this relationship, rather than examples that demonstrate it to be true.
Thus, I am seeking help for the following:
Prove that for any angle $\theta$ with a value $0<\theta<90$:
$$tan(\theta) = cot((90-\theta)/2)-1/cos(\theta)$$
I am grateful for any help.
With $$\sqrt{2}\sin(\dfrac{\pi}{4}-x)=\cos x-\sin x$$ $$\sqrt{2}\cos(\dfrac{\pi}{4}-x)=\cos x+\sin x$$ for easy calculation let $\dfrac{\theta}{2}=x$ then \begin{align} \cot\dfrac{90-\theta}{2}-\dfrac{1}{\cos\theta} &= \dfrac{\sqrt{2}\cos(\dfrac{\pi}{4}-\dfrac{\theta}{2})}{\sqrt{2}\sin(\dfrac{\pi}{4}-\dfrac{\theta}{2})}-\dfrac{1}{\cos\theta} \\ &= \dfrac{\cos x+\sin x}{\cos x-\sin x}-\dfrac{1}{\cos2x} \\ &= \dfrac{\cos x+\sin x}{\cos x-\sin x}-\dfrac{1}{\cos^2x-\sin^2x} \\ &= \dfrac{2\sin x\cos x}{\cos^2x-\sin^2x} \\ &= \dfrac{\sin2x}{\cos2x} \\ &= \tan2x \\ &= \tan\theta \end{align}