Найдите все решения уравнения sin x = x/2 на действительной оси; обсудите, какие методы (графические, аналитические, численные) применимы и почему число решений и их нахождение зависят от выбранного подхода
Решение. Уравнение sinx=x2\sin x=\dfrac{x}{2}sinx=2x
не решается элементарно (трансцендентно). Рассмотрим функцию f(x)=sinx−x2.\;f(x)=\sin x-\dfrac{x}{2}.f(x)=sinx−2x. 1) Ограничение по модулю: sinx∈[−1,1]\sin x\in[-1,1]sinx∈[−1,1] => из уравнения следует x2∈[−1,1]\dfrac{x}{2}\in[-1,1]2x∈[−1,1], т.е. все корни лежат в интервале [−2,2][-2,2][−2,2]. 2) Симметрия: и sinx\sin xsinx, и x2\dfrac{x}{2}2x — нечетные, значит fff — нечетная, поэтому корни симметричны относительно нуля. Если есть положительный корень aaa, то −a-a−a тоже корень; ноль тоже проверяется: f(0)=0f(0)=0f(0)=0. 3) Число и расположение корней на [0,2][0,2][0,2]. Производная f′(x)=cosx−12\;f'(x)=\cos x-\dfrac12f′(x)=cosx−21
обнуляется при cosx=12\cos x=\dfrac12cosx=21, т.е. при x=π3x=\dfrac{\pi}{3}x=3π (в указанном отрезке единственная критическая точка). На (0,π3)(0,\tfrac{\pi}{3})(0,3π)f′>0f'>0f′>0, на (π3,2](\tfrac{\pi}{3},2](3π,2]f′<0f'<0f′<0. Значения: f(0)=0,f (π3)=32−π6>0,f(2)=sin2−1≈−0.0907<0.
f(0)=0,\qquad f\!\Big(\frac{\pi}{3}\Big)=\frac{\sqrt3}{2}-\frac{\pi}{6}>0,\qquad f(2)=\sin2-1\approx-0.0907<0. f(0)=0,f(3π)=23−6π>0,f(2)=sin2−1≈−0.0907<0.
По непрерывности и виду производной на [0,2][0,2][0,2] следует: кроме корня x=0x=0x=0 существует ровно один положительный корень в интервале (π3,2)(\tfrac{\pi}{3},2)(3π,2); симметрично — ровно один отрицательный в (−2,−π3)(-2,-\tfrac{\pi}{3})(−2,−3π). Итого ровно три действительных корня. 4) Численные приближения (например, методом Ньютона или бисекции) дают x=0,x≈±1.895494221 (около 1.89549).
x=0,\qquad x\approx\pm 1.895494221\ (\text{около }1.89549). x=0,x≈±1.895494221(около1.89549). Методы и замечания: - Графический метод: наглядно показывает пересечения y=sinxy=\sin xy=sinx и y=x/2y=x/2y=x/2 и даёт оценку числа корней, но может пропустить корень при низком разрешении. - Аналитические рассуждения (ограничение по модулю, нечётность, анализ производной) позволяют строго вывести количество корней и их локализацию, но не дают явной формулы для корней. - Численные методы (бисекция, секущая, Ньютон) дают высокоточную аппроксимацию корней; требуется выбор начальных приближений/интервалов — от этого зависит, какие корни будут найдены (Ньютон может не схватить нужный корень при неудачном старте или замедляться, если f′f'f′ близко к нулю). Вывод: на действительной оси уравнение имеет ровно три решения x=0, x≈±1.895494221\;x=0,\;x\approx\pm1.895494221x=0,x≈±1.895494221.
sinx=x2\sin x=\dfrac{x}{2}sinx=2x не решается элементарно (трансцендентно). Рассмотрим функцию
f(x)=sinx−x2.\;f(x)=\sin x-\dfrac{x}{2}.f(x)=sinx−2x .
1) Ограничение по модулю: sinx∈[−1,1]\sin x\in[-1,1]sinx∈[−1,1] => из уравнения следует x2∈[−1,1]\dfrac{x}{2}\in[-1,1]2x ∈[−1,1], т.е. все корни лежат в интервале [−2,2][-2,2][−2,2].
2) Симметрия: и sinx\sin xsinx, и x2\dfrac{x}{2}2x — нечетные, значит fff — нечетная, поэтому корни симметричны относительно нуля. Если есть положительный корень aaa, то −a-a−a тоже корень; ноль тоже проверяется: f(0)=0f(0)=0f(0)=0.
3) Число и расположение корней на [0,2][0,2][0,2]. Производная
f′(x)=cosx−12\;f'(x)=\cos x-\dfrac12f′(x)=cosx−21 обнуляется при cosx=12\cos x=\dfrac12cosx=21 , т.е. при x=π3x=\dfrac{\pi}{3}x=3π (в указанном отрезке единственная критическая точка). На (0,π3)(0,\tfrac{\pi}{3})(0,3π ) f′>0f'>0f′>0, на (π3,2](\tfrac{\pi}{3},2](3π ,2] f′<0f'<0f′<0. Значения:
f(0)=0,f (π3)=32−π6>0,f(2)=sin2−1≈−0.0907<0. f(0)=0,\qquad f\!\Big(\frac{\pi}{3}\Big)=\frac{\sqrt3}{2}-\frac{\pi}{6}>0,\qquad f(2)=\sin2-1\approx-0.0907<0.
f(0)=0,f(3π )=23 −6π >0,f(2)=sin2−1≈−0.0907<0. По непрерывности и виду производной на [0,2][0,2][0,2] следует: кроме корня x=0x=0x=0 существует ровно один положительный корень в интервале (π3,2)(\tfrac{\pi}{3},2)(3π ,2); симметрично — ровно один отрицательный в (−2,−π3)(-2,-\tfrac{\pi}{3})(−2,−3π ). Итого ровно три действительных корня.
4) Численные приближения (например, методом Ньютона или бисекции) дают
x=0,x≈±1.895494221 (около 1.89549). x=0,\qquad x\approx\pm 1.895494221\ (\text{около }1.89549).
x=0,x≈±1.895494221 (около 1.89549).
Методы и замечания:
- Графический метод: наглядно показывает пересечения y=sinxy=\sin xy=sinx и y=x/2y=x/2y=x/2 и даёт оценку числа корней, но может пропустить корень при низком разрешении.
- Аналитические рассуждения (ограничение по модулю, нечётность, анализ производной) позволяют строго вывести количество корней и их локализацию, но не дают явной формулы для корней.
- Численные методы (бисекция, секущая, Ньютон) дают высокоточную аппроксимацию корней; требуется выбор начальных приближений/интервалов — от этого зависит, какие корни будут найдены (Ньютон может не схватить нужный корень при неудачном старте или замедляться, если f′f'f′ близко к нулю).
Вывод: на действительной оси уравнение имеет ровно три решения x=0, x≈±1.895494221\;x=0,\;x\approx\pm1.895494221x=0,x≈±1.895494221.