Задача-кейс: требуется решить систему тригонометрических уравнений sin(x) + sin(2x) = 0 и cos(x) + cos(2x) = 1 одновременно. Предложите стратегию решения и укажите тонкости, связанные со вспомогательными тождествами
Краткая стратегия решения и тонкости. 1) Преобразовать первое уравнение через удвоенный аргумент или сумму в произведение: sinx+sin2x=sinx(1+2cosx)=0
\sin x+\sin 2x=\sin x(1+2\cos x)=0 sinx+sin2x=sinx(1+2cosx)=0
(или 2sin3x2cosx2=0 \;2\sin\frac{3x}{2}\cos\frac{x}{2}=0\;2sin23xcos2x=0, эквивалентно). Отсюда sinx=0илиcosx=−12.
\sin x=0\quad\text{или}\quad \cos x=-\tfrac12. sinx=0илиcosx=−21. 2) Преобразовать второе уравнение через формулу для cos2x\cos 2xcos2x: cosx+cos2x=cosx+2cos2x−1=1⇒2cos2x+cosx−2=0.
\cos x+\cos 2x=\cos x+2\cos^2 x-1=1\quad\Rightarrow\quad 2\cos^2 x+\cos x-2=0. cosx+cos2x=cosx+2cos2x−1=1⇒2cos2x+cosx−2=0.
Корни квадратного уравнения: cosx=−1±174≈0.7808 или ≈−1.2808.
\cos x=\frac{-1\pm\sqrt{17}}{4}\approx 0.7808\ \text{или}\ \approx -1.2808. cosx=4−1±17≈0.7808или≈−1.2808.
Второй корень вне отрезка [−1,1][-1,1][−1,1], поэтому единственно возможное значение с точки зрения этого уравнения — cosx≈0.7808\cos x\approx0.7808cosx≈0.7808. 3) Пересечение условий. Первое уравнение допускает только sinx=0\sin x=0sinx=0 (т.е. x=kπx=k\pix=kπ) или cosx=−12\cos x=-\tfrac12cosx=−21. Ни одно из этих значений не совпадает с cosx≈0.7808\cos x\approx0.7808cosx≈0.7808, а cosx=−12\cos x=-\tfrac12cosx=−21 не удовлетворяет второму уравнению (при cosx=−12\cos x=-\tfrac12cosx=−21 получаем cosx+cos2x=−1≠1\cos x+\cos2x=-1\neq1cosx+cos2x=−1=1), а при sinx=0\sin x=0sinx=0cosx+cos2x\cos x+\cos2xcosx+cos2x даёт 222 или 000, тоже не 111. Поэтому совместных решений нет. Альтернативный быстрый вывод без подробной подстановки: из системы имеем (sinx+sin2x)2+(cosx+cos2x)2=02+12=1,
(\sin x+\sin2x)^2+(\cos x+\cos2x)^2=0^2+1^2=1, (sinx+sin2x)2+(cosx+cos2x)2=02+12=1,
а левая часть равна 2+2cos(x−2x)=2+2cosx2+2\cos(x-2x)=2+2\cos x2+2cos(x−2x)=2+2cosx. Получаем cosx=−12\cos x=-\tfrac12cosx=−21. Подстановка этого значения в исходную систему даёт противоречие (cosx+cos2x=−1≠1\cos x+\cos2x=-1\neq1cosx+cos2x=−1=1), следовательно решений нет. Тонкости и предостережения: - При факторизации и делении нельзя делить на выражения, которые могут быть нулём — все случаи нулей нужно рассматривать отдельно (мы это сделали: sinx=0\sin x=0sinx=0 и cosx=−12\cos x=-\tfrac12cosx=−21). - При переходе к алгебраическим уравнениям по cosx\cos xcosx проверяйте, попадают ли корни в [−1,1][-1,1][−1,1]. - При возведении в квадрат или использовании норм (как в альтернативном шаге) проверяйте, не вводятся ли дополнительные (возможные) решения; здесь квадратирование давало лишь обязательное условие, которое всё равно противоречиво при проверке.
1) Преобразовать первое уравнение через удвоенный аргумент или сумму в произведение:
sinx+sin2x=sinx(1+2cosx)=0 \sin x+\sin 2x=\sin x(1+2\cos x)=0
sinx+sin2x=sinx(1+2cosx)=0 (или 2sin3x2cosx2=0 \;2\sin\frac{3x}{2}\cos\frac{x}{2}=0\;2sin23x cos2x =0, эквивалентно). Отсюда
sinx=0илиcosx=−12. \sin x=0\quad\text{или}\quad \cos x=-\tfrac12.
sinx=0илиcosx=−21 .
2) Преобразовать второе уравнение через формулу для cos2x\cos 2xcos2x:
cosx+cos2x=cosx+2cos2x−1=1⇒2cos2x+cosx−2=0. \cos x+\cos 2x=\cos x+2\cos^2 x-1=1\quad\Rightarrow\quad 2\cos^2 x+\cos x-2=0.
cosx+cos2x=cosx+2cos2x−1=1⇒2cos2x+cosx−2=0. Корни квадратного уравнения:
cosx=−1±174≈0.7808 или ≈−1.2808. \cos x=\frac{-1\pm\sqrt{17}}{4}\approx 0.7808\ \text{или}\ \approx -1.2808.
cosx=4−1±17 ≈0.7808 или ≈−1.2808. Второй корень вне отрезка [−1,1][-1,1][−1,1], поэтому единственно возможное значение с точки зрения этого уравнения — cosx≈0.7808\cos x\approx0.7808cosx≈0.7808.
3) Пересечение условий. Первое уравнение допускает только sinx=0\sin x=0sinx=0 (т.е. x=kπx=k\pix=kπ) или cosx=−12\cos x=-\tfrac12cosx=−21 . Ни одно из этих значений не совпадает с cosx≈0.7808\cos x\approx0.7808cosx≈0.7808, а cosx=−12\cos x=-\tfrac12cosx=−21 не удовлетворяет второму уравнению (при cosx=−12\cos x=-\tfrac12cosx=−21 получаем cosx+cos2x=−1≠1\cos x+\cos2x=-1\neq1cosx+cos2x=−1=1), а при sinx=0\sin x=0sinx=0 cosx+cos2x\cos x+\cos2xcosx+cos2x даёт 222 или 000, тоже не 111. Поэтому совместных решений нет.
Альтернативный быстрый вывод без подробной подстановки: из системы имеем
(sinx+sin2x)2+(cosx+cos2x)2=02+12=1, (\sin x+\sin2x)^2+(\cos x+\cos2x)^2=0^2+1^2=1,
(sinx+sin2x)2+(cosx+cos2x)2=02+12=1, а левая часть равна 2+2cos(x−2x)=2+2cosx2+2\cos(x-2x)=2+2\cos x2+2cos(x−2x)=2+2cosx. Получаем cosx=−12\cos x=-\tfrac12cosx=−21 . Подстановка этого значения в исходную систему даёт противоречие (cosx+cos2x=−1≠1\cos x+\cos2x=-1\neq1cosx+cos2x=−1=1), следовательно решений нет.
Тонкости и предостережения:
- При факторизации и делении нельзя делить на выражения, которые могут быть нулём — все случаи нулей нужно рассматривать отдельно (мы это сделали: sinx=0\sin x=0sinx=0 и cosx=−12\cos x=-\tfrac12cosx=−21 ).
- При переходе к алгебраическим уравнениям по cosx\cos xcosx проверяйте, попадают ли корни в [−1,1][-1,1][−1,1].
- При возведении в квадрат или использовании норм (как в альтернативном шаге) проверяйте, не вводятся ли дополнительные (возможные) решения; здесь квадратирование давало лишь обязательное условие, которое всё равно противоречиво при проверке.