![image](https://tex.z-dn.net/?f=%7CSinx%7C%3DSinxCosx+%5C+%5C+%5C+%5Cforall+x+%5Cin+%5C%7B%5Cpi+k+%3Ak+%5Cin+%5Cmathbb%7BZ%7D%5C%7D+%5C+%5C+%5C+0%3D0+%5C%5C%0A%5Cforall+x+%5Cnotin+%5C%7B%5Cpi+k+%3Ak+%5Cin+%5Cmathbb%7BZ%7D%5C%7D+%5C+%5C+%5C+%7C+%5Cpm1%7C%3D%5Cpm1%5Ccdot+Cosx+%5C+%5C+%5C+%3D%3E+%5C+%5C+%5C+Cosx%3D%5Cpm1+%5C%5C%0ACosx%3D1+%5C+%5C+%5C+%3D%3E+%5C+%5C+%5C+x%5Cin%5C%7B2%5Cpi+k%3Ak+%5Cin+%5Cmathbb%7BZ%7D%5C%7D+%5C%5C%0ACosx%3D-1+%5C+%5C+%5C+%3D%3E+%5C+%5C+%5C+x+%5Cin+%5C%7B%5Cpi%2B2%5Cpi+k%3Ak+%5Cin+%5Cmathbb%7BZ%7D%5C%7D+%5C%5C%0A%3D%3E+%5C+x%5Cin%5C%7B%5Cpi+k%3Ak%5Cin+%5Cmathbb%7BZ%7D%5C%7D)
\ \ \ Cosx=\pm1 \\
Cosx=1 \ \ \ => \ \ \ x\in\{2\pi k:k \in \mathbb{Z}\} \\
Cosx=-1 \ \ \ => \ \ \ x \in \{\pi+2\pi k:k \in \mathbb{Z}\} \\
=> \ x\in\{\pi k:k\in \mathbb{Z}\}" alt="|Sinx|=SinxCosx \ \ \ \forall x \in \{\pi k :k \in \mathbb{Z}\} \ \ \ 0=0 \\
\forall x \notin \{\pi k :k \in \mathbb{Z}\} \ \ \ | \pm1|=\pm1\cdot Cosx \ \ \ => \ \ \ Cosx=\pm1 \\
Cosx=1 \ \ \ => \ \ \ x\in\{2\pi k:k \in \mathbb{Z}\} \\
Cosx=-1 \ \ \ => \ \ \ x \in \{\pi+2\pi k:k \in \mathbb{Z}\} \\
=> \ x\in\{\pi k:k\in \mathbb{Z}\}" align="absmiddle" class="latex-formula">
Уравнение разделил на два этапа:
1) Все значения
![x x](https://tex.z-dn.net/?f=x)
, для которых
![Sinx=0 Sinx=0](https://tex.z-dn.net/?f=Sinx%3D0)
(тривиальный ответ)
2) Остальные значения
Суть первого этапа в том, чтоб исключить деление на нуль когда будем сокращать на
![Sinx Sinx](https://tex.z-dn.net/?f=Sinx)
. Во втором этапе мы исключили все
![Sinx=0 Sinx=0](https://tex.z-dn.net/?f=Sinx%3D0)
и потому имеем право на это выражение поделить.
![Im(Sinx) \in [-1,1] Im(Sinx) \in [-1,1]](https://tex.z-dn.net/?f=Im%28Sinx%29+%5Cin+%5B-1%2C1%5D)
, следовательно для разных
![x x](https://tex.z-dn.net/?f=x)
синус может получать как положительные, так и отрицательные значения, потому после сокращения остаётся
![\pm 1 \pm 1](https://tex.z-dn.net/?f=%5Cpm+1)
.
Второй вариант решения: построить график
![f(x)=|Sinx| f(x)=|Sinx|](https://tex.z-dn.net/?f=f%28x%29%3D%7CSinx%7C)
,
![\ \ g(x)=\frac{Sin2x}{2} \ \ g(x)=\frac{Sin2x}{2}](https://tex.z-dn.net/?f=%5C+%5C+g%28x%29%3D%5Cfrac%7BSin2x%7D%7B2%7D)
. Общий период у функций:
![\pi \pi](https://tex.z-dn.net/?f=%5Cpi)
, пересечение происходит только в
![0 0](https://tex.z-dn.net/?f=0)
и
![\pi \pi](https://tex.z-dn.net/?f=%5Cpi)
.
На промежутке
![(0,\pi) (0,\pi)](https://tex.z-dn.net/?f=%280%2C%5Cpi%29)
пересечений нет, потому как:
1)
![max\{Sinx:x\in (0,\frac{\pi}{2})\}=1, \ \ \ max\{\frac{Sin2x}{2}:x\in(0,\frac{\pi}{2})\}=\frac{1}{2} max\{Sinx:x\in (0,\frac{\pi}{2})\}=1, \ \ \ max\{\frac{Sin2x}{2}:x\in(0,\frac{\pi}{2})\}=\frac{1}{2}](https://tex.z-dn.net/?f=max%5C%7BSinx%3Ax%5Cin+%280%2C%5Cfrac%7B%5Cpi%7D%7B2%7D%29%5C%7D%3D1%2C+%5C+%5C+%5C+max%5C%7B%5Cfrac%7BSin2x%7D%7B2%7D%3Ax%5Cin%280%2C%5Cfrac%7B%5Cpi%7D%7B2%7D%29%5C%7D%3D%5Cfrac%7B1%7D%7B2%7D)
, оба множества на данном отрезке -
невыпуклые, следовательно - пересечений на
![(0,\frac{\pi}{2}) (0,\frac{\pi}{2})](https://tex.z-dn.net/?f=%280%2C%5Cfrac%7B%5Cpi%7D%7B2%7D%29)
быть не может.
2) на промежутке
![(\frac{\pi}{2},\pi) (\frac{\pi}{2},\pi)](https://tex.z-dn.net/?f=%28%5Cfrac%7B%5Cpi%7D%7B2%7D%2C%5Cpi%29)
функция
![g g](https://tex.z-dn.net/?f=g)
получает только отрицательные значения, потому - пересечение с положительной функцией невозможно.
Намного проще это всё нарисовать.
![f f](https://tex.z-dn.net/?f=f)
- выглядит как обычная синусоида, только все её части, проходящие ниже нуля зеркально копируются на положительную сторону.
![g g](https://tex.z-dn.net/?f=g)
- синусоида, "сжата" по горизонтали в 2 раза (потому
![Sin2x Sin2x](https://tex.z-dn.net/?f=Sin2x)
) и "сжата" по вертикали до
![[-\frac{1}{2},\frac{1}{2}] [-\frac{1}{2},\frac{1}{2}]](https://tex.z-dn.net/?f=%5B-%5Cfrac%7B1%7D%7B2%7D%2C%5Cfrac%7B1%7D%7B2%7D%5D)
(потому, что
![\frac{1}{2}\cdot Sin2x \frac{1}{2}\cdot Sin2x](https://tex.z-dn.net/?f=%5Cfrac%7B1%7D%7B2%7D%5Ccdot+Sin2x)
).