Дайте несколько независимых доказательств теоремы о синусовом и косинусовом законах (например, через векторы, через комплексные числа, через проекты) и проанализируйте, в каких задачах каждый подход даёт наилучшие преимущества
Обозначения: стороны a=BCa=BCa=BC, b=CAb=CAb=CA, c=ABc=ABc=AB; углы напротив соответствующих сторон A,B,CA,B,CA,B,C. 1) Теорема синусов — доказательство через описанную окружность (классическое) - Если RRR — радиус описанной окружности, то хорда длины aaa соответствует центральному углу 2A2A2A, значит a=2RsinA.
a=2R\sin A. a=2RsinA.
Аналогично b=2RsinB, c=2RsinCb=2R\sin B,\; c=2R\sin Cb=2RsinB,c=2RsinC. Отсюда asinA=bsinB=csinC=2R.
\frac{a}{\sin A}=\frac{b}{\sin B}=\frac{c}{\sin C}=2R. sinAa=sinBb=sinCc=2R. Краткое альтернативное замечание: используя площадь S=12bcsinAS=\tfrac12 bc\sin AS=21bcsinA и формулу S=abc4RS=\tfrac{abc}{4R}S=4Rabc получается то же равенство. 2) Теорема косинусов — доказательство через скалярное произведение (векторы) - Представим стороны как векторы: пусть b⃗=CA→\vec b=\overrightarrow{CA}b=CA, c⃗=BA→\vec c=\overrightarrow{BA}c=BA. Тогда BC→=b⃗−c⃗,
\overrightarrow{BC}=\vec b-\vec c, BC=b−c,
и квадрат длины a2=∣b⃗−c⃗∣2=∣b⃗∣2+∣c⃗∣2−2b⃗⋅c⃗=b2+c2−2bccosA.
a^2=|\vec b-\vec c|^2=|\vec b|^2+|\vec c|^2-2\vec b\cdot\vec c=b^2+c^2-2bc\cos A. a2=∣b−c∣2=∣b∣2+∣c∣2−2b⋅c=b2+c2−2bccosA.
Это и есть закон косинусов. 3) Теорема косинусов — доказательство через проекции (геометрически) - Бросим перпендикуляр из точки CCC на ABABAB в точке DDD. Тогда проекция CD=hCD=hCD=h, проекции AD=x, DB=a−xAD=x,\; DB=a-xAD=x,DB=a−x. Имеем c2=x2+h2,b2=(a−x)2+h2.
c^2=x^2+h^2,\qquad b^2=(a-x)^2+h^2. c2=x2+h2,b2=(a−x)2+h2.
Вычитая, получаем c2−b2=x2−(a−x)2=2ax−a2c^2-b^2= x^2-(a-x)^2=2ax-a^2c2−b2=x2−(a−x)2=2ax−a2, откуда x=c2−b2+a22ax=\tfrac{c^2-b^2+a^2}{2a}x=2ac2−b2+a2. Подставляя в c2=x2+h2c^2=x^2+h^2c2=x2+h2 и упрощая, выводим a2=b2+c2−2bccosA.
a^2=b^2+c^2-2bc\cos A. a2=b2+c2−2bccosA.
(При этом x=bcosAx=b\cos Ax=bcosA, что даёт более короткий путь: раскрыть (bcosA−c)2+(bsinA)2(b\cos A-c)^2+(b\sin A)^2(bcosA−c)2+(bsinA)2.) 4) Теорема синусов и косинусов — доказательство на комплексной плоскости (через поворот) - Поставим AAA в начало: zA=0z_A=0zA=0, положим zB=cz_B=czB=c (реальное), zC=beiAz_C=b e^{iA}zC=beiA. Тогда a2=∣zB−zC∣2=(c−beiA)(c−be−iA)=b2+c2−2bccosA,
a^2=|z_B-z_C|^2=(c-be^{iA})(c-be^{-iA})=b^2+c^2-2bc\cos A, a2=∣zB−zC∣2=(c−beiA)(c−be−iA)=b2+c2−2bccosA,
получаем закон косинусов. Для закона синусов: если вершины лежат на окружности радиуса RRR, то хорда между углами с разностью аргументов θ\thetaθ имеет длину 2Rsin(θ/2)2R\sin(\theta/2)2Rsin(θ/2), т.е. a=2RsinAa=2R\sin Aa=2RsinA. 5) Теорема синусов — доказательство через площадь - Площадь SSS равна одновременно S=12bcsinA=12casinB=12absinCS=\tfrac12 bc\sin A=\tfrac12 ca\sin B=\tfrac12 ab\sin CS=21bcsinA=21casinB=21absinC. Деление этих выражений даёт asinA=bsinB=csinC.
\frac{a}{\sin A}=\frac{b}{\sin B}=\frac{c}{\sin C}. sinAa=sinBb=sinCc. Краткий анализ преимуществ подходов - Описанная окружность / вписанные углы (синусы): лучше для чисто синтетических задач, где задействована окружность, углы и соотношения хорд; даёт лёгкое выражение через RRR. - Площадная формула (синусы): удобна при задачах с площадями, когда известны высоты или требуется соотнести стороны и углы через SSS. - Вектор / скалярное произведение (косинусы): наиболее естествен для аналитических и многомерных обобщений, хорошо работает в задачах с координатами, векторными равенствами и при доказательстве неравенств. - Проекции / координаты: удобны при вычислениях конкретных чисел, при разбиении на прямоугольные треугольники, при задачах на длины проекций и при построении геометрических алгоритмов. - Комплексные числа / повороты: эффективны, когда важны ориентация, повороты или удобны множества экспонент; хороши для компактных алгебраических выводов и для задач с симметриями и преобразованиями плоскости. Вывод: выбирайте метод по характеру задачи — синтетический (окружность/площадь) для чистой геометрии, векторный или координатный для вычислений/обобщений, комплексный для задач с поворотами и компактными алгебраическими преобразованиями.
1) Теорема синусов — доказательство через описанную окружность (классическое)
- Если RRR — радиус описанной окружности, то хорда длины aaa соответствует центральному углу 2A2A2A, значит
a=2RsinA. a=2R\sin A.
a=2RsinA. Аналогично b=2RsinB, c=2RsinCb=2R\sin B,\; c=2R\sin Cb=2RsinB,c=2RsinC. Отсюда
asinA=bsinB=csinC=2R. \frac{a}{\sin A}=\frac{b}{\sin B}=\frac{c}{\sin C}=2R.
sinAa =sinBb =sinCc =2R.
Краткое альтернативное замечание: используя площадь S=12bcsinAS=\tfrac12 bc\sin AS=21 bcsinA и формулу S=abc4RS=\tfrac{abc}{4R}S=4Rabc получается то же равенство.
2) Теорема косинусов — доказательство через скалярное произведение (векторы)
- Представим стороны как векторы: пусть b⃗=CA→\vec b=\overrightarrow{CA}b=CA, c⃗=BA→\vec c=\overrightarrow{BA}c=BA. Тогда
BC→=b⃗−c⃗, \overrightarrow{BC}=\vec b-\vec c,
BC=b−c, и квадрат длины
a2=∣b⃗−c⃗∣2=∣b⃗∣2+∣c⃗∣2−2b⃗⋅c⃗=b2+c2−2bccosA. a^2=|\vec b-\vec c|^2=|\vec b|^2+|\vec c|^2-2\vec b\cdot\vec c=b^2+c^2-2bc\cos A.
a2=∣b−c∣2=∣b∣2+∣c∣2−2b⋅c=b2+c2−2bccosA. Это и есть закон косинусов.
3) Теорема косинусов — доказательство через проекции (геометрически)
- Бросим перпендикуляр из точки CCC на ABABAB в точке DDD. Тогда проекция CD=hCD=hCD=h, проекции AD=x, DB=a−xAD=x,\; DB=a-xAD=x,DB=a−x. Имеем
c2=x2+h2,b2=(a−x)2+h2. c^2=x^2+h^2,\qquad b^2=(a-x)^2+h^2.
c2=x2+h2,b2=(a−x)2+h2. Вычитая, получаем c2−b2=x2−(a−x)2=2ax−a2c^2-b^2= x^2-(a-x)^2=2ax-a^2c2−b2=x2−(a−x)2=2ax−a2, откуда x=c2−b2+a22ax=\tfrac{c^2-b^2+a^2}{2a}x=2ac2−b2+a2 . Подставляя в c2=x2+h2c^2=x^2+h^2c2=x2+h2 и упрощая, выводим
a2=b2+c2−2bccosA. a^2=b^2+c^2-2bc\cos A.
a2=b2+c2−2bccosA. (При этом x=bcosAx=b\cos Ax=bcosA, что даёт более короткий путь: раскрыть (bcosA−c)2+(bsinA)2(b\cos A-c)^2+(b\sin A)^2(bcosA−c)2+(bsinA)2.)
4) Теорема синусов и косинусов — доказательство на комплексной плоскости (через поворот)
- Поставим AAA в начало: zA=0z_A=0zA =0, положим zB=cz_B=czB =c (реальное), zC=beiAz_C=b e^{iA}zC =beiA. Тогда
a2=∣zB−zC∣2=(c−beiA)(c−be−iA)=b2+c2−2bccosA, a^2=|z_B-z_C|^2=(c-be^{iA})(c-be^{-iA})=b^2+c^2-2bc\cos A,
a2=∣zB −zC ∣2=(c−beiA)(c−be−iA)=b2+c2−2bccosA, получаем закон косинусов. Для закона синусов: если вершины лежат на окружности радиуса RRR, то хорда между углами с разностью аргументов θ\thetaθ имеет длину 2Rsin(θ/2)2R\sin(\theta/2)2Rsin(θ/2), т.е. a=2RsinAa=2R\sin Aa=2RsinA.
5) Теорема синусов — доказательство через площадь
- Площадь SSS равна одновременно S=12bcsinA=12casinB=12absinCS=\tfrac12 bc\sin A=\tfrac12 ca\sin B=\tfrac12 ab\sin CS=21 bcsinA=21 casinB=21 absinC. Деление этих выражений даёт
asinA=bsinB=csinC. \frac{a}{\sin A}=\frac{b}{\sin B}=\frac{c}{\sin C}.
sinAa =sinBb =sinCc .
Краткий анализ преимуществ подходов
- Описанная окружность / вписанные углы (синусы): лучше для чисто синтетических задач, где задействована окружность, углы и соотношения хорд; даёт лёгкое выражение через RRR.
- Площадная формула (синусы): удобна при задачах с площадями, когда известны высоты или требуется соотнести стороны и углы через SSS.
- Вектор / скалярное произведение (косинусы): наиболее естествен для аналитических и многомерных обобщений, хорошо работает в задачах с координатами, векторными равенствами и при доказательстве неравенств.
- Проекции / координаты: удобны при вычислениях конкретных чисел, при разбиении на прямоугольные треугольники, при задачах на длины проекций и при построении геометрических алгоритмов.
- Комплексные числа / повороты: эффективны, когда важны ориентация, повороты или удобны множества экспонент; хороши для компактных алгебраических выводов и для задач с симметриями и преобразованиями плоскости.
Вывод: выбирайте метод по характеру задачи — синтетический (окружность/площадь) для чистой геометрии, векторный или координатный для вычислений/обобщений, комплексный для задач с поворотами и компактными алгебраическими преобразованиями.