Проанализируйте следующее тождество: sin^2 x + cos^2 x = 1. Представьте неочевидные способы преобразования выражения (например, через комплексные показатели, через геометрическую интерпретацию), приведите контрпримеры, где формулировки при обобщении на другие функции могут ввести в заблуждение
Короткий анализ и нетривиальные преобразования тождества. Геометрически (единичная окружность) - Точка на единичной окружности с углом xxx имеет координаты (cosx, sinx)(\cos x,\;\sin x)(cosx,sinx). По теореме Пифагора cos2x+sin2x=1. \cos^2 x+\sin^2 x=1. cos2x+sin2x=1. Через комплексные показатели (Эйлер) - eix=cosx+isinxe^{ix}=\cos x+i\sin xeix=cosx+isinx. Умножая на сопряжённое: eixe−ix=(cosx+isinx)(cosx−isinx)=cos2x+sin2x=1. e^{ix}e^{-ix}=(\cos x+i\sin x)(\cos x-i\sin x)=\cos^2 x+\sin^2 x=1. eixe−ix=(cosx+isinx)(cosx−isinx)=cos2x+sin2x=1.
Это показывает также, что тождество верно для комплексных xxx (как равенство целых функций). Через ряд Тейлора - Разложив sinx\sin xsinx и cosx\cos xcosx в степенные ряды и сложив соответствующие степени x2kx^{2k}x2k, все члены с ненулевой степенью взаимно уничтожаются, остаётся 1: cos2x+sin2x≡1 (в виде рядов). \cos^2 x+\sin^2 x \equiv 1 \ (\text{в виде рядов}). cos2x+sin2x≡1(ввидерядов). Через систему ОДУ и инвариант нормы - У пары функций f=cosx, g=sinxf=\cos x,\;g=\sin xf=cosx,g=sinx выполняется система f′=−g,g′=f. f'=-g,\qquad g'=f. f′=−g,g′=f.
Отсюда ddx(f2+g2)=2ff′+2gg′=0\dfrac{d}{dx}(f^2+g^2)=2ff'+2gg'=0dxd(f2+g2)=2ff′+2gg′=0, значит f2+g2f^2+g^2f2+g2 — константа; подставив x=0x=0x=0 получаем 1. Через матричный подход (группа вращений) - Матрица вращения R(x)=(cosx−sinxsinxcosx) R(x)=\begin{pmatrix}\cos x & -\sin x\\[4pt]\sin x & \cos x\end{pmatrix}R(x)=(cosxsinx−sinxcosx)
ортогональна: R(x)TR(x)=IR(x)^TR(x)=IR(x)TR(x)=I. Столбец (cosx,sinx)T(\cos x,\sin x)^T(cosx,sinx)T имеет норму 1, т.е. cos2x+sin2x=1. \cos^2 x+\sin^2 x=1. cos2x+sin2x=1. Другие полезные преобразования - Полусуммы/двойной угол: cos2x=1+cos2x2,sin2x=1−cos2x2, \cos^2 x=\tfrac{1+\cos 2x}{2},\qquad \sin^2 x=\tfrac{1-\cos 2x}{2},cos2x=21+cos2x,sin2x=21−cos2x,
сумма даёт 1. - В терминах модуля комплексного числа: cos2x+sin2x=∣cosx+isinx∣2=1. \cos^2 x+\sin^2 x=|\cos x+i\sin x|^2=1. cos2x+sin2x=∣cosx+isinx∣2=1. Контрпримеры и ловушки при обобщениях - Гиперболические функции: здесь знак меняется: cosh2x−sinh2x=1, \cosh^2 x-\sinh^2 x=1,cosh2x−sinh2x=1,
поэтому простое подменение sin↦sinh, cos↦cosh\sin\mapsto\sinh,\;\cos\mapsto\coshsin↦sinh,cos↦cosh вводит в заблуждение. - Деление на ноль при выводе для тангенса/секанса: из исходного деления на cos2x\cos^2 xcos2x получают 1+tan2x=sec2x, 1+\tan^2 x=\sec^2 x,1+tan2x=sec2x,
но это тождество имеет смысл только там, где cosx≠0\cos x\neq0cosx=0. - Квадрирование при решении уравнений даёт посторонние решения. Пример: из sinx=cosx\sin x=\cos xsinx=cosx после квадрирования получаем tan2x=1\tan^2 x=1tan2x=1, т.е. tanx=±1\tan x=\pm1tanx=±1, что добавляет решения с tanx=−1\tan x=-1tanx=−1, тогда как оригинал требует именно tanx=1\tan x=1tanx=1. - Общая система ОДУ даёт константу, но не обязательно единицу: если f′=−g, g′=ff'=-g,\;g'=ff′=−g,g′=f, то f2+g2f^2+g^2f2+g2 — константа CCC. При других начальных условиях получим C≠1C\neq1C=1. Пример: f(x)=2cosx,g(x)=2sinx f(x)=2\cos x,\quad g(x)=2\sin x f(x)=2cosx,g(x)=2sinx
удовлетворяют той же системе, но f2+g2=4f^2+g^2=4f2+g2=4. - Тождество f2+g2=1f^2+g^2=1f2+g2=1 не определяет единственной пары функций: если для каждой точки существует угол θ(x)\theta(x)θ(x), то любые f(x)=cosθ(x),g(x)=sinθ(x) f(x)=\cos\theta(x),\quad g(x)=\sin\theta(x)f(x)=cosθ(x),g(x)=sinθ(x)
удовлетворяют тождеству — фаза может быть произвольной функцией. Краткое смысловое резюме - cos2x+sin2x=1 \cos^2 x+\sin^2 x=1cos2x+sin2x=1 — выражение сохранения евклидовой нормы для вектоpа (cosx,sinx)(\cos x,\sin x)(cosx,sinx), эквивалентное модулю eixe^{ix}eix равному 1 и свойству матриц вращения. При обобщениях важно следить за знакомами (гиперболические функции), областями определения (деление на cosx\cos xcosx) и потерей информации при операциях вроде квадрирования.
Геометрически (единичная окружность)
- Точка на единичной окружности с углом xxx имеет координаты (cosx, sinx)(\cos x,\;\sin x)(cosx,sinx). По теореме Пифагора
cos2x+sin2x=1. \cos^2 x+\sin^2 x=1. cos2x+sin2x=1.
Через комплексные показатели (Эйлер)
- eix=cosx+isinxe^{ix}=\cos x+i\sin xeix=cosx+isinx. Умножая на сопряжённое:
eixe−ix=(cosx+isinx)(cosx−isinx)=cos2x+sin2x=1. e^{ix}e^{-ix}=(\cos x+i\sin x)(\cos x-i\sin x)=\cos^2 x+\sin^2 x=1. eixe−ix=(cosx+isinx)(cosx−isinx)=cos2x+sin2x=1. Это показывает также, что тождество верно для комплексных xxx (как равенство целых функций).
Через ряд Тейлора
- Разложив sinx\sin xsinx и cosx\cos xcosx в степенные ряды и сложив соответствующие степени x2kx^{2k}x2k, все члены с ненулевой степенью взаимно уничтожаются, остаётся 1:
cos2x+sin2x≡1 (в виде рядов). \cos^2 x+\sin^2 x \equiv 1 \ (\text{в виде рядов}). cos2x+sin2x≡1 (в виде рядов).
Через систему ОДУ и инвариант нормы
- У пары функций f=cosx, g=sinxf=\cos x,\;g=\sin xf=cosx,g=sinx выполняется система
f′=−g,g′=f. f'=-g,\qquad g'=f. f′=−g,g′=f. Отсюда ddx(f2+g2)=2ff′+2gg′=0\dfrac{d}{dx}(f^2+g^2)=2ff'+2gg'=0dxd (f2+g2)=2ff′+2gg′=0, значит f2+g2f^2+g^2f2+g2 — константа; подставив x=0x=0x=0 получаем 1.
Через матричный подход (группа вращений)
- Матрица вращения
R(x)=(cosx−sinxsinxcosx) R(x)=\begin{pmatrix}\cos x & -\sin x\\[4pt]\sin x & \cos x\end{pmatrix}R(x)=(cosxsinx −sinxcosx ) ортогональна: R(x)TR(x)=IR(x)^TR(x)=IR(x)TR(x)=I. Столбец (cosx,sinx)T(\cos x,\sin x)^T(cosx,sinx)T имеет норму 1, т.е.
cos2x+sin2x=1. \cos^2 x+\sin^2 x=1. cos2x+sin2x=1.
Другие полезные преобразования
- Полусуммы/двойной угол:
cos2x=1+cos2x2,sin2x=1−cos2x2, \cos^2 x=\tfrac{1+\cos 2x}{2},\qquad \sin^2 x=\tfrac{1-\cos 2x}{2},cos2x=21+cos2x ,sin2x=21−cos2x , сумма даёт 1.
- В терминах модуля комплексного числа:
cos2x+sin2x=∣cosx+isinx∣2=1. \cos^2 x+\sin^2 x=|\cos x+i\sin x|^2=1. cos2x+sin2x=∣cosx+isinx∣2=1.
Контрпримеры и ловушки при обобщениях
- Гиперболические функции: здесь знак меняется:
cosh2x−sinh2x=1, \cosh^2 x-\sinh^2 x=1,cosh2x−sinh2x=1, поэтому простое подменение sin↦sinh, cos↦cosh\sin\mapsto\sinh,\;\cos\mapsto\coshsin↦sinh,cos↦cosh вводит в заблуждение.
- Деление на ноль при выводе для тангенса/секанса: из исходного деления на cos2x\cos^2 xcos2x получают
1+tan2x=sec2x, 1+\tan^2 x=\sec^2 x,1+tan2x=sec2x, но это тождество имеет смысл только там, где cosx≠0\cos x\neq0cosx=0.
- Квадрирование при решении уравнений даёт посторонние решения. Пример:
из sinx=cosx\sin x=\cos xsinx=cosx после квадрирования получаем tan2x=1\tan^2 x=1tan2x=1, т.е. tanx=±1\tan x=\pm1tanx=±1, что добавляет решения с tanx=−1\tan x=-1tanx=−1, тогда как оригинал требует именно tanx=1\tan x=1tanx=1.
- Общая система ОДУ даёт константу, но не обязательно единицу: если f′=−g, g′=ff'=-g,\;g'=ff′=−g,g′=f, то f2+g2f^2+g^2f2+g2 — константа CCC. При других начальных условиях получим C≠1C\neq1C=1. Пример:
f(x)=2cosx,g(x)=2sinx f(x)=2\cos x,\quad g(x)=2\sin x f(x)=2cosx,g(x)=2sinx удовлетворяют той же системе, но f2+g2=4f^2+g^2=4f2+g2=4.
- Тождество f2+g2=1f^2+g^2=1f2+g2=1 не определяет единственной пары функций: если для каждой точки существует угол θ(x)\theta(x)θ(x), то любые
f(x)=cosθ(x),g(x)=sinθ(x) f(x)=\cos\theta(x),\quad g(x)=\sin\theta(x)f(x)=cosθ(x),g(x)=sinθ(x) удовлетворяют тождеству — фаза может быть произвольной функцией.
Краткое смысловое резюме
- cos2x+sin2x=1 \cos^2 x+\sin^2 x=1cos2x+sin2x=1 — выражение сохранения евклидовой нормы для вектоpа (cosx,sinx)(\cos x,\sin x)(cosx,sinx), эквивалентное модулю eixe^{ix}eix равному 1 и свойству матриц вращения. При обобщениях важно следить за знакомами (гиперболические функции), областями определения (деление на cosx\cos xcosx) и потерей информации при операциях вроде квадрирования.