Правая часть уравнения должна быть неотрицательной:
![sin2x \geq 0 sin2x \geq 0](https://tex.z-dn.net/?f=sin2x+%5Cgeq+0)
![2\pi k \leq 2x \leq \pi+2\pi k;k \in Z 2\pi k \leq 2x \leq \pi+2\pi k;k \in Z](https://tex.z-dn.net/?f=2%5Cpi+k+%5Cleq+2x+%5Cleq+%5Cpi%2B2%5Cpi+k%3Bk+%5Cin+Z)
![\pi k \leq x \leq \frac{\pi}{2}+\pi k;k \in Z \pi k \leq x \leq \frac{\pi}{2}+\pi k;k \in Z](https://tex.z-dn.net/?f=%5Cpi+k+%5Cleq+x+%5Cleq+%5Cfrac%7B%5Cpi%7D%7B2%7D%2B%5Cpi+k%3Bk+%5Cin+Z)
То есть первая и третья четверти,где синус и косинус одного знака.
Очевидно,что модуль их суммы будет больше единицы всегда(неравенство треугольника,где в качестве третьей стороны выступает радиус единичной окружности)
Рассмотрим выражение под модулем:
![cosx+sinx cosx+sinx](https://tex.z-dn.net/?f=cosx%2Bsinx)
Попробуем найти максимум такой функции
![cos^2x+sin^2x=1 cos^2x+sin^2x=1](https://tex.z-dn.net/?f=cos%5E2x%2Bsin%5E2x%3D1)
![cos^2x+2sinxcosx+sin^2x=1+2sinxcosx cos^2x+2sinxcosx+sin^2x=1+2sinxcosx](https://tex.z-dn.net/?f=cos%5E2x%2B2sinxcosx%2Bsin%5E2x%3D1%2B2sinxcosx)
![(cosx+sinx)^2=1+sin2x (cosx+sinx)^2=1+sin2x](https://tex.z-dn.net/?f=%28cosx%2Bsinx%29%5E2%3D1%2Bsin2x)
Очевидно,что левая часть принимает наибольшее значение,когда таковое принимает правая.
Правая часть принимает наибольшее значение при
![sin2x=1 sin2x=1](https://tex.z-dn.net/?f=sin2x%3D1)
![x=\frac{\pi}{4}+\pi k,k \in Z x=\frac{\pi}{4}+\pi k,k \in Z](https://tex.z-dn.net/?f=x%3D%5Cfrac%7B%5Cpi%7D%7B4%7D%2B%5Cpi+k%2Ck+%5Cin+Z)
![max|cosx+sinx|=\sqrt{2} max|cosx+sinx|=\sqrt{2}](https://tex.z-dn.net/?f=max%7Ccosx%2Bsinx%7C%3D%5Csqrt%7B2%7D)
![max(\sqrt{2}sin2x})=\sqrt{2} max(\sqrt{2}sin2x})=\sqrt{2}](https://tex.z-dn.net/?f=max%28%5Csqrt%7B2%7Dsin2x%7D%29%3D%5Csqrt%7B2%7D)
Разделим обе части уравнения на ![\sqrt{2} \sqrt{2}](https://tex.z-dn.net/?f=%5Csqrt%7B2%7D)
![|\frac{\sqrt{2}}{2}cosx+\frac{\sqrt{2}}{2}sinx|=sin2x |\frac{\sqrt{2}}{2}cosx+\frac{\sqrt{2}}{2}sinx|=sin2x](https://tex.z-dn.net/?f=%7C%5Cfrac%7B%5Csqrt%7B2%7D%7D%7B2%7Dcosx%2B%5Cfrac%7B%5Csqrt%7B2%7D%7D%7B2%7Dsinx%7C%3Dsin2x)
![|sin(x+\frac{\pi}{4})|=sin2x |sin(x+\frac{\pi}{4})|=sin2x](https://tex.z-dn.net/?f=%7Csin%28x%2B%5Cfrac%7B%5Cpi%7D%7B4%7D%29%7C%3Dsin2x)
Очевидно,что синус в первой четверти(для третьей аналогично,так как модуль) больше тогда,когда больше аргумент.
Рассмотрим аргументы обоих синусов на полуинтервале:
![x \in [0;\frac{\pi}{4}) x \in [0;\frac{\pi}{4})](https://tex.z-dn.net/?f=x+%5Cin+%5B0%3B%5Cfrac%7B%5Cpi%7D%7B4%7D%29)
x+x" alt="x+\frac{\pi}{4}>x+x" align="absmiddle" class="latex-formula">
Значит:
sin2x" alt="|sin(x+\frac{\pi}{4})|>sin2x" align="absmiddle" class="latex-formula">
Рассмотрим аргументы обоих синусов на полуинтервале:
На этом промежутке происходит переход во вторую четверть,где с точностью до наоборот синус большего аргумента имеет меньшее значение.
![x \in (\frac{\pi}{4};\frac{\pi}{2}] x \in (\frac{\pi}{4};\frac{\pi}{2}]](https://tex.z-dn.net/?f=x+%5Cin+%28%5Cfrac%7B%5Cpi%7D%7B4%7D%3B%5Cfrac%7B%5Cpi%7D%7B2%7D%5D)
![x+\frac{\pi}{4}<x+x x+\frac{\pi}{4}<x+x](https://tex.z-dn.net/?f=x%2B%5Cfrac%7B%5Cpi%7D%7B4%7D%3Cx%2Bx)
Значит:
sin2x" alt="|sin(x+\frac{\pi}{4})|>sin2x" align="absmiddle" class="latex-formula">
Очевидно,что единственным решением уравнения является:
![x=\frac{\pi}{4}+\pi k,k \in Z x=\frac{\pi}{4}+\pi k,k \in Z](https://tex.z-dn.net/?f=x%3D%5Cfrac%7B%5Cpi%7D%7B4%7D%2B%5Cpi+k%2Ck+%5Cin+Z)