Магия математики. Как найти x и зачем это нужно

Ну а теперь собственно тождество – столь же полезное, сколь и красивое. Доказательство может показаться несколько запутанным, поэтому можете смело его пропускать (хотя я все же советую вам в нем разобраться – оно ляжет в основу доказательства других тождеств).

Теорема: Для любых углов A и B

cos(A – B) = cosAcosB+ sinAsinB

Доказательство: На единичной окружности, центром которой является точка O, расположены точки P (cos A, sin A) и Q (cos B, sin B). Предположим, что длина отрезка PQ равна с. Что можно сказать о ней?

В треугольнике OPQ отрезки OP и OQ являются радиусами единичной окружности, а значит, их длина равна 1, а ∠POQ может быть измерен как A – B. Следовательно, согласно закону косинусов,

c² = 1² + 1² – 2(1)(1) cos (A – B) = 2 – 2 cos (A – B)

С другой стороны, формула расстояния приводит нас к уравнению

c² = (x₂ –x₁)² + (y₂ –y₁)²

поэтому расстояние c от точки P = (cos A, sin A) до точки Q = (cos B, sin B) соответствует

c² = (cosB – cos A)² + (sin B – sin A)² = cos² B – 2 cos A cos B + cos² A + sin² B – 2 sin A sin B + sin² A = 2 – 2 cos A cos B – 2 sin A sin B

где последнее представление основывается на уравнениях cos² B + sin² B = 1 и cos² A + sin² A = 1.

Соединив эти уравнения для c², получаем

2 – 2 cos (A – B) = 2 – 2 cosAcosB – 2 sin A sin B

Вычтем из обеих частей 2, разделим их на –2 и получим

cos (A – B) = cosAcosB+ sinAsinB

что и требовалось доказать.◻

Отступление

Формула для cos (A – B) основывается на законе косинусов и исходит из того, что 0° < A – B < 180°. Но ту же теорему можно доказать и выйдя за рамки подобных ограничений. Если переместить треугольник POQ по часовой стрелке на B градусов, мы получим конгруэнтный ему треугольник P'OQ', в котором Q' будет располагаться на оси x в координатах (1, 0).

Так как ∠P'OQ' = A – B, P' = (cos (A – B), sin (A – B)). Согласно формуле расстояния для P'Q' будет верно следующее:

c² = (cos (A – B) – 1)² + (sin (A – B) – 0)² = cos² (A – B) – 2 cos (A – B) + 1 + sin² (A – B) = 2 – 2 cos (A – B)

Из этого можно заключить, что c² = 2 – 2 cos (A – B), при этом нам не нужны ни теорема косинусов, ни предположение об угле A – B. Ну а дальнейшее доказательство можно скопировать с предыдущего.

Обратите внимание, что при A = 90° формула для cos (A – B) утверждает следующее:

cos (90° –B) = cos 90° cosB+ sin 90° sinB= sinB

Происходит это на том основании, что cos 90° = 0, а sin 90° = 1. Если в этом уравнении заменить B на 90° – B, получим

cosB= cos 90° cos (90° –B) + sin 90° sin (90° –B) = sin (90° –B)

Мы уже доказали правдивость этих утверждений на примере B как острого угла. Однако алгебра позволяет нам пойти дальше и подтвердить их для любого значения B. Так, если заменить B на – B, мы придем к

cos (A+B) = cosAcos (–B) + sinAsin (–B) = cosAcosB – sin A sin B

так как cos (–B) = cos B, а sin (–B) = –sin B. Если предположить, что B = A, у нас получится формула функций двойного угла:

cos (2A) = cos²A – sin² A

А так как cos² A = 1 – sin² A и sin² A = 1 – cos² A, мы также можем утверждать, что

cos (2A) = 1 – 2 sin² A и cos (2A) = 2 cos²A – 1

Из этого тождества косинусов проистекает аналогичное тождество синусов, например,

sin (A+B) = cos (90 – (A+B) = cos ((90 –A) –B) = cos (90 –A) cosB+ sin (90 –A) sinB= sinAcosB+ cosAsinB

B = A приводит нас к формуле функций двойного угла для синусов –

sin (2A) = 2 sinAcosA

а замена B на – B – к

sin (A – B) = sinAcosB – cos A sin B

Давайте соберем в одну таблицу все тождества, которые мы успели вывести в этой главе:

Повторюсь: использовать буквы A и B вы не обязаны, сгодятся и любые другие (скажем, cos (2u) = cos²u – sin²u или sin (2θ) = 2 sin θ cos θ).