Подробный ответ:
1) Вспомогательные формулы
Для любых допустимых (там, где выражения определены) используем стандартные тождества:
- Чётность/периодичность:
- Дополнительные углы (сдвиг на π2\frac{\pi}{2} и 3π2\frac{3\pi}{2}):
sin (3π2+t)=−cost,cos (3π2+t)=sint,\sin\!\left(\tfrac{3\pi}{2}+t\right)=-\cos t,\qquad \cos\!\left(\tfrac{3\pi}{2}+t\right)=\sin t, tg (π2+t)=−ctgt,tg (3π2+t)=−ctgt.\tan\!\left(\tfrac{\pi}{2}+t\right)=-\cot t,\qquad \tan\!\left(\tfrac{3\pi}{2}+t\right)=-\cot t.
- Связь tg\tan и ctg\cot:
tgt=sintcost,ctgt=costsint,tgtctgt=tg2t=sin2tcos2t.\tan t=\frac{\sin t}{\cos t},\qquad \cot t=\frac{\cos t}{\sin t},\qquad \frac{\tan t}{\cot t}=\tan^2 t=\frac{\sin^2 t}{\cos^2 t}.
Краткие обоснования (по окружности единичного радиуса/по формулам сложения):
сдвиг на π\pi меняет знак косинуса и сохраняет знак тангенса; сдвиг на π2\frac{\pi}{2} меняет синус на косинус (и наоборот) с учётом знаков; тангенс — π\pi-периодичен, котангенс — тоже.
2) Область определения
Во всех выражениях встречаются деления на cos\cos, sin\sin, tg\tan, ctg\cot. Чтобы не было деления на ноль, нужны одновременно
sint≠0иcost≠0,\sin t\neq 0 \quad\text{и}\quad \cos t\neq 0,
то есть
t≠π2k,k∈Z.t\neq \frac{\pi}{2}k,\quad k\in\mathbb{Z}.
(Именно в этих точках хотя бы одна из tgt\tan t или ctgt\cot t не определена, либо какой-то знаменатель обнуляется.) Далее считаем tt лежащим в этой области — там, где обе стороны тождеств определены.
а)
Доказать:
tg(π−t)cos(π+t)⋅sin (3π2+t)tg (3π2+t)=tg2t.\frac{\operatorname{tg}(\pi — t)}{\cos (\pi + t)} \cdot \frac{\sin \!\left( \frac{3 \pi}{2} + t \right)}{\operatorname{tg} \!\left( \frac{3 \pi}{2} + t \right)} = \operatorname{tg}^2 t.
Шаг 1. Нормализуем сдвиги углов
Подставляем из п.1:
tg(π−t)=−tgt,cos(π+t)=−cost,\operatorname{tg}(\pi-t)=-\operatorname{tg}t,\quad \cos(\pi+t)=-\cos t, sin (3π2+t)=−cost,tg (3π2+t)=−ctgt.\sin\!\left(\tfrac{3\pi}{2}+t\right)=-\cos t,\quad \operatorname{tg}\!\left(\tfrac{3\pi}{2}+t\right)=-\operatorname{ctg}t.
Тогда левая часть (ЛЧ) равна
ЛЧ=−tgt−cost⋅−cost−ctgt.\mathrm{ЛЧ}= \frac{-\operatorname{tg}t}{-\cos t}\cdot \frac{-\cos t}{-\operatorname{ctg}t}.
Шаг 2. Сокращаем и группируем знаки
Две пары минусов в числителях/знаменателях сокращаются:
ЛЧ=tgtcost⋅costctgt.\mathrm{ЛЧ}= \frac{\operatorname{tg}t}{\cos t}\cdot \frac{\cos t}{\operatorname{ctg}t}.
Сразу видно сокращение cost\cos t:
ЛЧ=tgtctgt.\mathrm{ЛЧ}= \frac{\operatorname{tg}t}{\operatorname{ctg}t}.
Шаг 3. Переход к sin\sin и cos\cos (или к взаимности ctg\cot)
1-й способ:
tgtctgt=sintcostcostsint=sin2tcos2t=tg2t.\frac{\operatorname{tg}t}{\operatorname{ctg}t} =\frac{\dfrac{\sin t}{\cos t}}{\dfrac{\cos t}{\sin t}} =\frac{\sin^2 t}{\cos^2 t} =\operatorname{tg}^2 t.
2-й способ (короткий): ctgt=1tgt\operatorname{ctg}t=\dfrac{1}{\operatorname{tg}t} (когда обе определены), поэтому
tgtctgt=tgt⋅tgt=tg2t.\frac{\operatorname{tg}t}{\operatorname{ctg}t} =\operatorname{tg}t\cdot\operatorname{tg}t =\operatorname{tg}^2 t.
Итак, ЛЧ=tg2t\mathrm{ЛЧ}=\operatorname{tg}^2 t, что совпадает с правой частью (ПЧ). Тождество доказано.
б)
Доказать:
sin(π−t)tg(π+t)⋅ctg (π2−t)tg (π2+t)⋅cos(2π−t)sin(−t)=sint.\frac{\sin (\pi — t)}{\operatorname{tg} (\pi + t)} \cdot \frac{\operatorname{ctg} \!\left( \frac{\pi}{2} — t \right)}{\operatorname{tg} \!\left( \frac{\pi}{2} + t \right)} \cdot \frac{\cos (2 \pi — t)}{\sin (-t)} = \sin t.
Шаг 1. Нормализуем сдвиги углов
Подставляем из п.1:
sin(π−t)=sint,tg(π+t)=tgt,\sin(\pi-t)=\sin t,\quad \operatorname{tg}(\pi+t)=\operatorname{tg}t, ctg (π2−t)=tgt,tg (π2+t)=−ctgt,\operatorname{ctg}\!\left(\tfrac{\pi}{2}-t\right)=\operatorname{tg}t,\quad \operatorname{tg}\!\left(\tfrac{\pi}{2}+t\right)=-\operatorname{ctg}t, cos(2π−t)=cost,sin(−t)=−sint.\cos(2\pi-t)=\cos t,\quad \sin(-t)=-\sin t.
Тогда левая часть равна
ЛЧ=sinttgt⋅tgt−ctgt⋅cost−sint.\mathrm{ЛЧ}= \frac{\sin t}{\operatorname{tg}t}\cdot \frac{\operatorname{tg}t}{-\operatorname{ctg}t}\cdot \frac{\cos t}{-\sin t}.
Шаг 2. Разберём знаки и упростим дроби
Две «минус»-скобки дают «плюс»:
ЛЧ=(sinttgt)⋅(tgtctgt)⋅(costsint).\mathrm{ЛЧ}= \left(\frac{\sin t}{\operatorname{tg}t}\right)\cdot \left(\frac{\operatorname{tg}t}{\operatorname{ctg}t}\right)\cdot \left(\frac{\cos t}{\sin t}\right).
Шаг 3. Последовательные сокращения
- В первом множителе sinttgt=sintsintcost=cost\displaystyle \frac{\sin t}{\operatorname{tg}t} =\frac{\sin t}{\frac{\sin t}{\cos t}}=\cos t (так как sint≠0\sin t\neq 0 в области определения).
- Третий множитель costsint=ctgt\displaystyle \frac{\cos t}{\sin t}=\operatorname{ctg}t.
Поэтому
ЛЧ=cost⋅(tgtctgt)⋅ctgt=cost⋅tgt=cost⋅sintcost=sint.\mathrm{ЛЧ}= \cos t\cdot \left(\frac{\operatorname{tg}t}{\operatorname{ctg}t}\right)\cdot \operatorname{ctg}t =\cos t\cdot \operatorname{tg}t =\cos t\cdot \frac{\sin t}{\cos t} =\sin t.
(Альтернативно, можно сначала перемножить первый и второй множители:
sinttgt⋅tgtctgt=sintctgt=sintcostsint=sin2tcost\displaystyle \frac{\sin t}{\operatorname{tg}t}\cdot \frac{\operatorname{tg}t}{\operatorname{ctg}t} =\frac{\sin t}{\operatorname{ctg}t} =\frac{\sin t}{\frac{\cos t}{\sin t}} =\frac{\sin^2 t}{\cos t},
а затем умножить на costsint\frac{\cos t}{\sin t} и получить sint\sin t.)
Получили ЛЧ=sint=ПЧ\mathrm{ЛЧ}=\sin t=\mathrm{ПЧ}. Тождество доказано.