Закон Морри

Для углов в градусах cos(20)*cos(40)*cos(80) равно 1/8

Закон Морри — это особое тригонометрическое тождество . Свое название он получил от физика Ричарда Фейнмана , который называл это тождество этим именем. Фейнман выбрал это название, потому что узнал его в детстве от мальчика по имени Морри Джейкобс и впоследствии запомнил его на всю жизнь. [1]

Идентичность и обобщение

потому что ( 20 ) потому что ( 40 ) потому что ( 80 ) = 1 8 . {\displaystyle \cos(20^{\circ })\cdot \cos(40^{\circ })\cdot \cos(80^{\circ })={\frac {1}{8}}.}

Это частный случай более общей идентичности

2 н к = 0 н 1 потому что ( 2 к α ) = грех ( 2 н α ) грех ( α ) {\displaystyle 2^{n}\cdot \prod _{k=0}^{n-1}\cos(2^{k}\alpha )={\frac {\sin(2^{n}\alpha )}{\sin(\alpha )}}}

при n = 3 и α = 20° и тот факт, что

грех ( 160 ) грех ( 20 ) = грех ( 180 20 ) грех ( 20 ) = 1 , {\displaystyle {\frac {\sin(160^{\circ })}{\sin(20^{\circ })}} = {\frac {\sin(180^{\circ }-20^{\circ })}{\sin(20^{\circ })}}=1,}

с

грех ( 180 х ) = грех ( х ) . {\displaystyle \sin(180^{\circ }-x)=\sin(x).}

Похожие идентичности

Аналогичное тождество справедливо и для синусоидальной функции:

грех ( 20 ) грех ( 40 ) грех ( 80 ) = 3 8 . {\displaystyle \sin(20^{\circ })\cdot \sin(40^{\circ })\cdot \sin(80^{\circ })={\frac {\sqrt {3}}{8}}.}

Более того, разделив второе тождество на первое, получаем следующее тождество:

загар ( 20 ) загар ( 40 ) загар ( 80 ) = 3 = загар ( 60 ) . {\displaystyle \tan(20^{\circ})\cdot \tan(40^{\circ})\cdot \tan(80^{\circ})={\sqrt {3}}=\tan(60^{\circ }).}

Доказательство

Геометрическое доказательство закона Морри

Правильный девятиугольник с центром описанной окружности . Вычисление углов: А Б С Д Э Ф Г ЧАС я {\displaystyle ABCDEFGHI} О {\displaystyle О}
40 = 360 9 70 = 180 40 2 α = 180 90 70 = 20 β = 180 90 ( 70 α ) = 40 γ = 140 β α = 80 {\displaystyle {\begin{aligned}40^{\circ }&={\frac {360^{\circ }}{9}}\\70^{\circ }&={\frac {180^{\circ }-40^{\circ }}{2}} \\\alpha &=180^{\circ }-90^{\circ }-70^{\circ }=20^{\circ }\\\beta &=180^{\circ }-90^{\circ }-(70^{\circ }-\alpha )=40^{\circ }\\\gamma &=140^{\circ }-\beta -\alpha =80^{\circ }\end{aligned}}}

Рассмотрим правильный девятиугольник со стороной длиной и пусть будет серединой , серединой и серединой . Внутренние углы девятиугольника равны и, кроме того , и (см. рисунок). Применяем определение косинуса в прямоугольных треугольниках , и затем получаем доказательство закона Морри: [2] А Б С Д Э Ф Г ЧАС я {\displaystyle ABCDEFGHI} 1 {\displaystyle 1} М {\displaystyle М} А Б {\displaystyle AB} Л {\displaystyle L} Б Ф {\displaystyle БФ} Дж. {\displaystyle J} Б Д {\displaystyle БД} 140 {\displaystyle 140^{\circ}} γ = Ф Б М = 80 {\displaystyle \gamma =\angle FBM=80^{\circ }} β = Д Б Ф = 40 {\displaystyle \beta =\angle DBF=40^{\circ }} α = С Б Д = 20 {\displaystyle \альфа =\угол CBD=20^{\circ }} Б Ф М {\displaystyle \треугольник БФМ} Б Д Л {\displaystyle \треугольник BDL} Б С Дж. {\displaystyle \треугольник BCJ}

1 = | А Б | = 2 | М Б | = 2 | Б Ф | потому что ( γ ) = 2 2 | Б Л | потому что ( γ ) = 2 2 | Б Д | потому что ( γ ) потому что ( β ) = 2 3 | Б Дж. | потому что ( γ ) потому что ( β ) = 2 3 | Б С | потому что ( γ ) потому что ( β ) потому что ( α ) = 2 3 1 потому что ( γ ) потому что ( β ) потому что ( α ) = 8 потому что ( 80 ) потому что ( 40 ) потому что ( 20 ) {\displaystyle {\begin{aligned}1&=|AB|\\&=2\cdot |MB|\\&=2\cdot |BF|\cdot \cos(\gamma )\\&=2^{2}|BL|\cos(\gamma )\\&=2^{2}\cdot |BD|\cdot \cos(\gamma )\cdot \cos(\beta )\\&=2^{3}\cdot |BJ|\cdot \cos(\gamma )\cdot \cos(\beta )\\&=2^{3}\cdot |BC|\cdot \cos(\gamma )\cdot \cos(\beta )\cdot \cos(\alpha )\\&=2^{3}\cdot 1\cdot \cos(\gamma )\cdot \cos(\beta )\cdot \cos(\alpha )\\&=8\cdot \cos(80^{\circ })\cdot \cos(40^{\circ })\cdot \cos(20^{\circ })\end{выровнено}}}

Алгебраическое доказательство обобщенного тождества

Вспомним формулу двойного угла для синусоидальной функции.

грех ( 2 α ) = 2 грех ( α ) потому что ( α ) . {\ displaystyle \ грех (2 \ альфа) = 2 \ грех (\ альфа) \ соз (\ альфа).}

Решить для потому что ( α ) {\displaystyle \cos(\альфа)}

потому что ( α ) = грех ( 2 α ) 2 грех ( α ) . {\displaystyle \cos(\alpha )={\frac {\sin(2\alpha )}{2\sin(\alpha )}}.}

Из этого следует, что:

потому что ( 2 α ) = грех ( 4 α ) 2 грех ( 2 α ) потому что ( 4 α ) = грех ( 8 α ) 2 грех ( 4 α ) потому что ( 2 н 1 α ) = грех ( 2 н α ) 2 грех ( 2 н 1 α ) . {\displaystyle {\begin{align}\cos(2\alpha)&={\frac {\sin(4\alpha)}{2\sin(2\alpha)}}\\[6pt]\cos(4\alpha)&={\frac {\sin(8\alpha)}{2\sin(4\alpha)}}\\&\,\,\,\vdots \\\cos \left(2^{n-1}\alpha \right)&={\frac {\sin \left(2^{n}\alpha \right)}{2\sin \left(2^{n-1}\alpha \right)}}.\end{align}}}

Перемножение всех этих выражений дает:

потому что ( α ) потому что ( 2 α ) потому что ( 4 α ) потому что ( 2 н 1 α ) = грех ( 2 α ) 2 грех ( α ) грех ( 4 α ) 2 грех ( 2 α ) грех ( 8 α ) 2 грех ( 4 α ) грех ( 2 н α ) 2 грех ( 2 н 1 α ) . {\displaystyle \cos(\alpha )\cos(2\alpha )\cos(4\alpha )\cdots \cos \left(2^{n-1}\alpha \right)={\frac {\sin(2\alpha )}{2\sin(\alpha )}}\cdot {\frac {\sin(4\alpha )}{2\sin(2\alpha )}}\cdot {\frac {\sin(8\alpha )}{2\sin(4\alpha )}}\cdots {\frac {\sin \left(2^{n}\alpha \right)}{2\sin \left(2^{n-1}\alpha \right)}}.}

Промежуточные числители и знаменатели сокращаются, оставляя только первый знаменатель, степень 2 и последний числитель. Обратите внимание, что в обеих частях выражения n членов. Таким образом,

k = 0 n 1 cos ( 2 k α ) = sin ( 2 n α ) 2 n sin ( α ) , {\displaystyle \prod _{k=0}^{n-1}\cos \left(2^{k}\alpha \right)={\frac {\sin \left(2^{n}\alpha \right)}{2^{n}\sin(\alpha )}},}

что эквивалентно обобщению закона Морри.

Смотрите также

Ссылки

  1. ^ WA Beyer, JD Louck и D. Zeilberger , Обобщение курьёза, который Фейнман помнил всю свою жизнь , Math. Mag. 69, 43–44, 1996. (JSTOR)
  2. ^ Сэмюэл Г. Морено, Эстер М. Гарсия-Кабальеро: «Геометрическое доказательство закона Морри». В: American Mathematical Monthly , т. 122, № 2 (февраль 2015 г.), стр. 168 (JSTOR)

Дальнейшее чтение

  • Глен Ван Бруммелен: Тригонометрия: Очень краткое введение . Oxford University Press, 2020, ISBN  9780192545466 , стр. 79–83
  • Эрнест К. Андерсон: Закон Морри и экспериментальная математика . В: Журнал развлекательной математики , 1998
Retrieved from "https://en.wikipedia.org/w/index.php?title=Morrie%27s_law&oldid=1237377438"