Кейс на тригонометрию: упростите выражение sin(arctan(x)) + cos(arcsin(x/(1+x^2))) и обсудите, какие преобразования безопасны с точки зрения областей определения и ветвей обратных функций
Ответ: 1) Выражение упрощается так: sin(arctanx)=x1+x2,cos (arcsinx1+x2)=1−(x1+x2)2=1+x2+x41+x2.
\sin(\arctan x)=\frac{x}{\sqrt{1+x^{2}}}, \qquad \cos\!\big(\arcsin\frac{x}{1+x^{2}}\big)=\sqrt{1-\left(\frac{x}{1+x^{2}}\right)^{2}} =\frac{\sqrt{1+x^{2}+x^{4}}}{1+x^{2}}. sin(arctanx)=1+x2x,cos(arcsin1+x2x)=1−(1+x2x)2=1+x21+x2+x4. Следовательно sin(arctanx)+cos (arcsinx1+x2)=x1+x2+1+x2+x41+x2.
\sin(\arctan x)+\cos\!\big(\arcsin\frac{x}{1+x^{2}}\big) =\frac{x}{\sqrt{1+x^{2}}}+\frac{\sqrt{1+x^{2}+x^{4}}}{1+x^{2}}. sin(arctanx)+cos(arcsin1+x2x)=1+x2x+1+x21+x2+x4. 2) Области определения и ветви (какие преобразования безопасны): - Для всех реальных xxx аргумент x1+x2\dfrac{x}{1+x^{2}}1+x2x принадлежит [−1/2,1/2][-1/2,1/2][−1/2,1/2], поэтому arcsin(x1+x2)\arcsin\big(\dfrac{x}{1+x^{2}}\big)arcsin(1+x2x) определён для любых xxx. Значит исходное выражение определено на R\mathbb RR. - При переходе sin(arctanx)→x1+x2\sin(\arctan x)\to \dfrac{x}{\sqrt{1+x^{2}}}sin(arctanx)→1+x2x нет неоднозначности знака, потому что arctanx∈(−π2,π2)\arctan x\in(-\tfrac{\pi}{2},\tfrac{\pi}{2})arctanx∈(−2π,2π) и косинус этой ветви положителен. - При переходе cos(arcsinu)→1−u2\cos(\arcsin u)\to\sqrt{1-u^{2}}cos(arcsinu)→1−u2 допустимо только если под arcsin\arcsinarcsin понимается главная ветвь в [−π2,π2][-\tfrac{\pi}{2},\tfrac{\pi}{2}][−2π,2π]; тогда cos≥0\cos\ge0cos≥0 и берётся положительный корень. Если бы аргумент обратной функции мог выйти за этот интервал, следовало бы учитывать знак cos\coscos и возможное ±\pm±. - Нельзя в общем заменять arcsin(siny)\arcsin(\sin y)arcsin(siny) на yyy или arctan(tany)\arctan(\tan y)arctan(tany) на yyy без проверки, что yyy лежит в соответствующем основном интервале ([−π2,π2][-\tfrac{\pi}{2},\tfrac{\pi}{2}][−2π,2π] для arcsin\arcsinarcsin, (−π2,π2)(-\tfrac{\pi}{2},\tfrac{\pi}{2})(−2π,2π) для arctan\arctanarctan). Такие тождества верны только на этих интервалах. Итого: упрощение выше корректно для всех x∈Rx\in\mathbb Rx∈R при использовании главных ветвей обратных тригонометрических функций.
1) Выражение упрощается так:
sin(arctanx)=x1+x2,cos (arcsinx1+x2)=1−(x1+x2)2=1+x2+x41+x2. \sin(\arctan x)=\frac{x}{\sqrt{1+x^{2}}},
\qquad
\cos\!\big(\arcsin\frac{x}{1+x^{2}}\big)=\sqrt{1-\left(\frac{x}{1+x^{2}}\right)^{2}}
=\frac{\sqrt{1+x^{2}+x^{4}}}{1+x^{2}}.
sin(arctanx)=1+x2 x ,cos(arcsin1+x2x )=1−(1+x2x )2 =1+x21+x2+x4 .
Следовательно
sin(arctanx)+cos (arcsinx1+x2)=x1+x2+1+x2+x41+x2. \sin(\arctan x)+\cos\!\big(\arcsin\frac{x}{1+x^{2}}\big)
=\frac{x}{\sqrt{1+x^{2}}}+\frac{\sqrt{1+x^{2}+x^{4}}}{1+x^{2}}.
sin(arctanx)+cos(arcsin1+x2x )=1+x2 x +1+x21+x2+x4 .
2) Области определения и ветви (какие преобразования безопасны):
- Для всех реальных xxx аргумент x1+x2\dfrac{x}{1+x^{2}}1+x2x принадлежит [−1/2,1/2][-1/2,1/2][−1/2,1/2], поэтому arcsin(x1+x2)\arcsin\big(\dfrac{x}{1+x^{2}}\big)arcsin(1+x2x ) определён для любых xxx. Значит исходное выражение определено на R\mathbb RR.
- При переходе sin(arctanx)→x1+x2\sin(\arctan x)\to \dfrac{x}{\sqrt{1+x^{2}}}sin(arctanx)→1+x2 x нет неоднозначности знака, потому что arctanx∈(−π2,π2)\arctan x\in(-\tfrac{\pi}{2},\tfrac{\pi}{2})arctanx∈(−2π ,2π ) и косинус этой ветви положителен.
- При переходе cos(arcsinu)→1−u2\cos(\arcsin u)\to\sqrt{1-u^{2}}cos(arcsinu)→1−u2 допустимо только если под arcsin\arcsinarcsin понимается главная ветвь в [−π2,π2][-\tfrac{\pi}{2},\tfrac{\pi}{2}][−2π ,2π ]; тогда cos≥0\cos\ge0cos≥0 и берётся положительный корень. Если бы аргумент обратной функции мог выйти за этот интервал, следовало бы учитывать знак cos\coscos и возможное ±\pm±.
- Нельзя в общем заменять arcsin(siny)\arcsin(\sin y)arcsin(siny) на yyy или arctan(tany)\arctan(\tan y)arctan(tany) на yyy без проверки, что yyy лежит в соответствующем основном интервале ([−π2,π2][-\tfrac{\pi}{2},\tfrac{\pi}{2}][−2π ,2π ] для arcsin\arcsinarcsin, (−π2,π2)(-\tfrac{\pi}{2},\tfrac{\pi}{2})(−2π ,2π ) для arctan\arctanarctan). Такие тождества верны только на этих интервалах.
Итого: упрощение выше корректно для всех x∈Rx\in\mathbb Rx∈R при использовании главных ветвей обратных тригонометрических функций.