<s>[INST] Solving $\cos x+\sin x-1=0$ How does one solve this equation?

$$\cos {x}+\sin {x}-1=0$$

I have no idea how to start it.
Can anyone give me some hints? Is there an identity for $\cos{x}+\sin{x}$?
Thanks in advance!
 [/INST] Given $$\color{blue}{\cos x+\sin x-1=0} $$$$\cos x+\sin x=1 $$ Divide both sides by $\color{blue}{\sqrt{2}}$ we get $$\frac{1}{\sqrt{2}}\cos x+ \frac{1}{\sqrt{2}}\sin x=\frac{1}{\sqrt{2}}$$ $$\cos x\cos\frac{\pi}{4}+\sin x\sin\frac{\pi}{4}=\cos\frac{\pi}{4}$$ Using formula $\color{purple}{\cos A\cos B+\sin A\sin B=\cos(A-B)}$, we get $$\color{green}{\cos\left(x-\frac{\pi}{4}\right)=\cos\frac{\pi}{4}}$$ As there is no information about the unknown value $x$ hence writing the general solutions as follows $$x-\frac{\pi}{4}=2n\pi\pm \frac{\pi}{4}$$$$x=2n\pi\pm \frac{\pi}{4}+\frac{\pi}{4}$$$$ \color{}{x=2n\pi} \quad \text{Or}\quad \color{}{x=2n\pi+\frac{\pi}{2}} $$
$$\color{blue}{x\in\{2n\pi\}\cup\{2n\pi+\frac{\pi}{2}\}}$$ Where, $\color{}{n \space \text{is any integer}}$ i.e. $\ n=0, \pm1, \pm2,\pm3, \ldots$ 
</s>