<s>[INST] How to prove that $\frac{\cos(x)-\cos(2x)}{\sin(x)+\sin(2x)} = \frac{1-\cos(x)}{\sin(x)}$ in a simpler way. EDIT: Preferably a LHS = RHS proof, where you work on one side only then yield the other side.
My way is as follows:

Prove: $\frac{\cos(x)-\cos(2x)}{\sin(x)+\sin(2x)} = \frac{1-\cos(x)}{\sin(x)}$

I use the fact that $\cos(2x)=2\cos^2(x)-1,  \sin(2x)=2\sin(x)\cos(x)$
(1) LHS = $\frac{\cos(x)-2\cos^2(x)+1}{\sin(x)(1+2\cos(x))}$
(2) Thus it would suffice to simply prove that $\frac{\cos(x)-2\cos^2(x)+1}{1+2\cos(x)}=1-\cos(x)$
(3) Then I just used simple algebra by letting $u = \cos(x)$ then factorising and simplifying.
(4) Since that equals $1-\cos(x)$ then the LHS = $\frac{1-\cos(x)}{\sin(x)} = $ RHS.
Firstly, on the practice exam, we pretty much only had maximum 2-2.5 minutes to prove this, and this took me some trial and error figuring out which double angle formula to use for cos(2x).
This probably took me 5 minutes just experimenting, and on the final exam there is no way I can spend that long.
What is the better way to do this?
EDIT: I also proved it by multiplying the numerator and denominator by $1-\cos(x)$, since I saw it on the RHS. This worked a lot better, but is that a legitimate proof?
 [/INST] $$\frac{\cos x-\cos2x}{\sin x+\sin 2x } = \frac{1-\cos x }{\sin x}\iff \sin x\cos x-\sin x\cos2x=\sin x-\sin x\cos x+$$
$$+\sin2x-\sin2x\cos x\iff \color{red}{\sin x\cos 2x}+\sin x+\sin2x-\color{red}{\sin2x\cos x}-2\sin x\cos x=0\iff$$
$$\color{red}{\sin(-x)}+\sin x=0$$
and we're done by the double implications all through (and assuming the first expression is well defined, of course)
Check all the cancellations are correct and check all the trigonometric identities used above.
Another way: We begin with the left side, again: assuming it is well defined
$$\frac{\cos x-\cos2x}{\sin x+\sin2x}\stackrel{\cos2x=2\cos^2x-1\\\sin2x=2\sin x\cos x}=\frac{\cos x-2\cos^2x+1}{\sin x(1+2\cos x)}\stackrel{-2t^2+t+1=-(2t+1)(t-1)}=$$
$$=\require{cancel}-\frac{\cancel{(2\cos x+1)}(\cos x-1)}{\sin x\cancel{(1+2\cos x)}}\stackrel{\cdot\frac{\cos x+1}{\cos x+1}}=-\frac{\overbrace{(\cos^2x-1)}^{=-\sin^2x}}{\sin x(\cos x+1)}=$$
$$=-\frac{(-\sin x)}{(\cos x+1)}=\frac{\sin x}{\cos x+1}$$
Finally, we show that last right side equals the right side of the original equation:
$$\frac{\sin x}{\cos x+1}\cdot\frac{\cos x-1}{\cos x-1}=\frac{\sin x(\cos x-1)}{\underbrace{\cos^2x-1}_{=-\sin^2x}}=-\frac{\cos x-1}{\sin x}=\frac{1-\cos x}{\sin x}$$
</s>