Шаблон:Распространение радиоволн ВЧ/Реализация/encompassing aperture t::unify/Алгоритм: различия между версиями

Материал из CAMaaS preliminary wiki
Перейти к навигации Перейти к поиску
м
 
Строка 134: Строка 134:
В '''третьем случае''' предполагается, что <math>\vec{c}_1\nparallel\vec{c}_2</math>, и <math>\vec{c'}_1\nparallel\vec{c'}_2</math>.
В '''третьем случае''' предполагается, что <math>\vec{c}_1\nparallel\vec{c}_2</math>, и <math>\vec{c'}_1\nparallel\vec{c'}_2</math>.


Вследствие этого
[[Файл:encompassing_aperture_t_unify_extra.svg|thumb|
Объединение секторов, у которых <math>\vec{c}_1\nparallel\vec{c}_2</math>, и <math>\vec{c'}_1\nparallel\vec{c'}_2</math> (''третий случай'').|400px]]
 
Пусть <math>\delta=\alpha_1+\gamma+\alpha_2</math>. Здесь <math>\delta>0</math> и <math>\delta\ne\pi</math>, поскольку это - ситуации, описанные выше.
 
Тогда сектор <math>\Omega_{12}</math> может быть задан парой <math>\vec{c}_{12}=\left(-1\right)^s \tau\left(\vec{c'}_1+\vec{c'}_2\right)</math> и <math>\alpha_{12}=\frac{\delta}{2}</math>. <math>\tau</math> - скаляр, нормализующий <math>\vec{c}_{12}</math>. Знак вектора-направления на центральную точку определяется тем, является ли угол <math>\delta</math> выпуклым, т.е.
:<math>s=\left[\begin{matrix}
0\Leftrightarrow\delta<\pi \\
1\Leftrightarrow\delta>\pi
\end{matrix}\right.</math>.
 
Тогда для окончательного решения необходимо найти <math>\vec{c'}_1</math> и <math>\vec{c'}_2</math>. Для этого выразим <math>\vec{c'}_1</math> в базисе <math>\vec{c}_1</math> и <math>\vec{c'}_2</math> - в базисе <math>\vec{c}_2</math>.
 
Рассмотрим вектора <math>\vec{c}_1</math> и <math>\vec{c'}_1</math> и угол <math>\alpha_1</math>. Если <math>\alpha_1\equiv 0</math>, то <math>\vec{c'}_1=\vec{c}_1</math>, поэтому в базисе <math>\left\langle\vec{c}_1,\vec{c}_2\right\rangle</math> он будет равен <math>\begin{pmatrix}1 & 0 & 0\end{pmatrix}^T</math>.
 
Далее рассмотрим случай, когда <math>\alpha_1\ne 0</math>. Направленные отрезки <math>\vec{c}_1</math>, <math>\vec{c'}_1</math> и <math>\vec{c}_2</math>, с началом в точке пересечения <math>\vec{c'}_1</math> и сферы до точки пересечения с <math>\vec{c}_1</math>, будут образовывать треугольник, стороны которого соотносятся друг с другом как
:<math>\frac{\left|\vec{c'}_{1}\right|}{\sin\gamma}=\frac{1}{\sin\gamma}=\frac{\vec{c'}_{1x}}{\sin\left(\pi-\alpha_1-\gamma\right)}=\frac{\vec{c'}_{1x}}{\sin\left(\alpha_1+\gamma\right)}=\frac{\vec{c'}_{1y}}{\sin\alpha_1}</math>.
 
Поэтому <math>\vec{c'}_1=\frac{1}{\sin\gamma}\begin{pmatrix}\vec{c}_1 & \vec{c}_2\end{pmatrix}\begin{pmatrix}\sin\left(\alpha_1 + \gamma\right) \\ \sin\alpha_1\end{pmatrix}</math>. Заметим, что поскольку <math>\gamma>0</math> это равенство выполняется также и для случая <math>\alpha_1\equiv 0</math>.
 
Также отметим, что аналогичные рассуждения справедливы и для <math>\vec{c'}_2</math>.
 
Далее, пусть <math>\tau'=\frac{1}{\sin\gamma}</math>, и
:<math>\vec{c''}_1=\begin{pmatrix}\vec{c}_1 & \vec{c}_2\end{pmatrix}\begin{pmatrix}\sin\left(\alpha_1 + \gamma\right) \\ \sin\alpha_1\end{pmatrix}</math>, и
:<math>\vec{c''}_2\begin{pmatrix}\vec{c}_1 & \vec{c}_2\end{pmatrix}\begin{pmatrix}\sin\alpha_2 \\ \sin\left(\alpha_2 + \gamma\right)\end{pmatrix}</math>.
 
Тогда <math>\vec{c'}_1=\tau'\vec{c''}_1</math> и <math>\vec{c'}_2=\tau'\vec{c''}_2</math>, и
:<math>\vec{c}_{12}=\left(-1\right)^s \frac{\tau'\left(\vec{c''}_1+\vec{c''}_2\right)}{\left|\tau'\left(\vec{c''}_1+\vec{c''}_2\right)\right|}=\left(-1\right)^s \frac{\left(\vec{c''}_1+\vec{c''}_2\right)}{\left|\left(\vec{c''}_1+\vec{c''}_2\right)\right|}</math>, и
:<math>\alpha_{12}=\frac{\delta}{2}</math>.

Текущая версия на 22:10, 1 декабря 2018

Пусть объединяются два сектора сферы, релизуемые классом классом encompassing_aperture_t - и , где - вектор направления на центральную точку -го сектора (возвращаемый методом encompassing_aperture_t::central_point), а - соответствующий ангулярный радиус (возвращаемый методом encompassing_aperture_t::radius). Сектор, у которого ангулярный радиус равен охватывает сферу полностью независимо от вектора .

В результате объединения создается новый сектор .

Вектора могут быть либо нулевыми либо единичными. Сектор с нулевым вектором направления считается нейтральным по операции объединения, т.е. .

Далее рассматривается случай, в котором .

Поскольку направленные отрезки и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_2} исходят из одной точки - центра сферы, оба отрезка принадлежат одной плоскости, причем эта плоскость является диаметральным сечением сферы. Поэтому задача поиска объединяющего сектора, то есть вектора Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_{12}} и ангулярного радиуса Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \alpha_{12}} , становится двумерной.

Диаметральное сечение сферы, которому принадлежат вектора Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_2} . Если Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_1\nparallel\vec{c'}_2} , то вектор Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_{12}} , задающий направление на центральную точку объединяющего сектора, будет являться нормализованной суммой векторов Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_1} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_2} , если Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \alpha_{12}<\frac{\pi}{2}} и противоположен этой сумме, если Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \alpha_{12}>\frac{\pi}{2}} .

Пусть далее Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \cos \gamma=\frac{\vec{c}_1\cdot\vec{c}_2}{\left|\vec{c}_1\right|\cdot\left|\vec{c}_2\right|}} , где - угол между Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_2} .

Два особых случая:

Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \Omega_1\subseteq\Omega_2\Leftrightarrow\gamma+\alpha_1\leq\alpha_2} и
Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \Omega_2\subseteq\Omega_1\Leftrightarrow\gamma+\alpha_2\leq\alpha_1} .

Поэтому:

Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \gamma+\alpha_1\leq\alpha_2\Rightarrow\Omega_{12}\equiv\Omega_2} , иначе
Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \gamma+\alpha_2\leq\alpha_1\Rightarrow\Omega_{12}\equiv\Omega_1} .

Далее по тексту предполагается, что Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \Omega_1\nsubseteq\Omega_2\land\Omega_2\nsubseteq\Omega_1} . Следовательно Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \gamma\ne0} .

Существует три случая.

Объединение секторов, у которых Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1\|\vec{c}_2} (первый случай).

Рассмотрим первый случай, когда Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1\|\vec{c}_2} (то есть Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \cos \gamma\equiv-1} ). Поскольку длины всех векторов равны единице, Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_2=-\vec{c}_1} , а количество плоскостей, которым одновременно могут принадлежать Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1} и бесконечно, вследствие чего количество возможных секторов минимальной площади, объединяющих Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \Omega_1} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \Omega_2} , также бесконечно и зависит от того на какой из плоскостей будут принадлежать выбранные Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_1} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_2} ; и этот выбор будет сводится к выбору диаметральной плоскости, проходящей через Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1} .

Этот выбор можно сделать, если задать произвольный вектор Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_n} , перпендикулярный Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1} .

В описываемой реализации

Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_n=\left[\begin{matrix} \begin{pmatrix}1 & 0 & 0\end{pmatrix}^T\Leftrightarrow \vec{c}_{1x}\equiv 0 \\ \frac{\begin{pmatrix}-\frac{\vec{c}_{1y}}{\vec{c}_{1x}} & 1 & 0\end{pmatrix}^T}{\left|\begin{pmatrix}-\frac{\vec{c}_{1y}}{\vec{c}_{1x}} & 1 & 0\end{pmatrix}^T\right|}\Leftrightarrow \vec{c}_{1x}\ne 0 \end{matrix}\right.} .

Тогда на плоскости, которой одновременно принадлежат Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1} , Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_1} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_2} , будет однозначно определен вектор Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_{12}} , отстоящий на одинаковом угловом расстоянии от векторов Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_1} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_2} и, поэтому, параллельный вектору Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_{12}} центральной точки сектора-объединения.

Для нахождения вектора Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_{12}} достаточно выразить его в базисе Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \left\langle\vec{c}_1,\vec{c}_n\right\rangle} и осуществить переход к мировой системе координат входной модели. Как видно из рисунка, в указанном базисе вектор Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_{12}} имеет координаты

Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \begin{pmatrix} \left|\vec{c}_1\right|\cdot\cos \left(\frac{\pi}{2} - \beta\right)\cos \left(\frac{\pi}{2}-\left(\alpha_1 + \beta\right)\right) \\ \left|\vec{c}_1\right|\cdot\cos \left(\frac{\pi}{2} - \beta\right)\sin \left(\frac{\pi}{2}-\left(\alpha_1 + \beta\right)\right) \end{pmatrix} = \begin{pmatrix} \cos \left(\frac{\pi}{2} - \beta\right)\cos \left(\frac{\pi}{2}-\left(\alpha_1 + \beta\right)\right) \\ \cos \left(\frac{\pi}{2} - \beta\right)\sin \left(\frac{\pi}{2}-\left(\alpha_1 + \beta\right)\right) \end{pmatrix}} ,

причем Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \beta=\frac{\pi-\left(\alpha_1 + \alpha_2\right)}{2}=\frac{\pi}{2}-\frac{\alpha_1 + \alpha_2}{2}} .

Тогда в мировых координатах

Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_{12}=\begin{pmatrix}\vec{c}_1 & \vec{c}_n\end{pmatrix} \begin{pmatrix} \cos \left(\frac{\pi}{2} - \frac{\alpha_1 + \alpha_2}{2}\right)\cos \left(\frac{\pi}{2}+\frac{\alpha_1 - \alpha_2}{2}\right) \\ \cos \left(\frac{\pi}{2} - \frac{\alpha_1 + \alpha_2}{2}\right)\sin \left(\frac{\pi}{2}+\frac{\alpha_1 - \alpha_2}{2}\right) \end{pmatrix} = \cos \left(\frac{\pi}{2} - \frac{\alpha_1 + \alpha_2}{2}\right)\begin{pmatrix}\vec{c}_1 & \vec{c}_n\end{pmatrix} \begin{pmatrix} -\sin \frac{\alpha_1 - \alpha_2}{2} \\ \cos \frac{\alpha_1 - \alpha_2}{2} \end{pmatrix}} .

Пусть Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \tau=-\cos \left(\frac{\pi}{2} - \frac{\alpha_1 + \alpha_2}{2}\right)} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c''}_{12} = \begin{pmatrix}\vec{c}_1 & \vec{c}_n\end{pmatrix} \begin{pmatrix} \sin \frac{\alpha_1 - \alpha_2}{2} \\ \cos \frac{\alpha_1 - \alpha_2}{2} \end{pmatrix}} .

Тогда Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_{12} = -\tau\vec{c''}_{12}} .

Отсюда

Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_{12} = -\frac{\vec{c'}_{12}}{\left|\vec{c'}_{12}\right|}=\frac{\tau\vec{c''}_{12}}{\left|-\tau\vec{c''}_{12}\right|}=\frac{\vec{c''}_{12}}{\left|\vec{c''}_{12}\right|}} ,

а ангулярный радиус будет равен

Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \alpha_{12}=\pi - \beta = \frac{\pi + \alpha_1 + \alpha_2}{2}} .

Во втором случае Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1\nparallel\vec{c}_2} , однако Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_1\|\vec{c'}_2} (то есть Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. Server problem.»): {\displaystyle \alpha _{1}+\gamma +\alpha _{2}\equiv \pi } ).

Лемма

Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle 0\le\alpha_1,\alpha_2<\frac{\pi}{2}} .

Действительно, допустим Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \alpha_1\ge\frac{\pi}{2}\Rightarrow\pi-\gamma-\alpha_2\ge\frac{\pi}{2}\Rightarrow\frac{\pi}{2}\ge\gamma+\alpha_2\Rightarrow\alpha_1\ge\gamma+\alpha_2\Rightarrow\Omega_2\subseteq\Omega_1} .

Противоречие ограничению, приведенному выше.

Аналогично доказывается ограничение Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle 0\le\alpha_2<\frac{\pi}{2}} .

Лемма Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \alpha_1} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \alpha_2} не могут быть одновременно равны нулю. Иначе имел бы место случай 1 выше.

Следствие

Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle 0<\alpha_1+\alpha_2<\pi} .


Поскольку один из ангулярных радиусов обязательно ненулевой, примем ограничение Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \alpha_1>0} (тогда Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \alpha_2\ge 0} ).

Объединение секторов, у которых Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_1\|\vec{c'}_2} (второй случай).

Решение задачи объединения сводится к поиску вектора Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_{12}} , перпендикулярного Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_1}Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_2} ), лежащего в плоскости Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_2} , имеющего острый угол одновременно с Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1} и с Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_2} и нормализованного.

Поскольку вектора Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_2} линейно-независимы, их можно использовать в качестве базиса для поиска вектора, сонаправленного с Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_{12}} , следующим образом.

Опустим перпендикуляр от конца одного из векторов, например Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1} , на вектор Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_{12}} , перперндикулярный Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_1} и образующий острый угол с Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1} . Обозначим вектор, связанный с направленным отрезком, который исходит от центра сферы к точке пересечения Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_{12}} и проведенного перпендикуляра, как Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_{12}} . Такой вектор очевидно будет сонаправлен с , а его длина будет равна

Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \left|\vec{c'}_{12}\right|=\left|\vec{c}_1\right|\sin \alpha_1=\sin \alpha_1} ;
Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_{12} = \tau\vec{c'}_{12}} .

Обозначим как Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_{12,\left\langle\vec{c}_1,\vec{c}_2\right\rangle,x}} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_{12,\left\langle\vec{c}_1,\vec{c}_2\right\rangle,y}} соответственно проекции вектора Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_{12}} на Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_2} а равно координаты вектора Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_{12}} в базисе Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \left\langle\vec{c}_1,\vec{c}_2\right\rangle} . Из теоремы синусов следует, что

Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \frac{\sin \left(\alpha_1+\alpha_2\right)}{\left|\vec{c'}_{12}\right|}= \frac{\sin \left(\alpha_1+\alpha_2\right)}{\sin \alpha_1}= \frac{\sin \left(\frac{\pi}{2} - \alpha_2\right)}{\left|\vec{c'}_{12,\left\langle\vec{c}_1,\vec{c}_2\right\rangle,x}\right|}= \frac{\cos \alpha_2}{\left|\vec{c'}_{12,\left\langle\vec{c}_1,\vec{c}_2\right\rangle,x}\right|}= \frac{\sin \left(\frac{\pi}{2} - \alpha_1\right)}{\left|\vec{c'}_{12,\left\langle\vec{c}_1,\vec{c}_2\right\rangle,y}\right|}= \frac{\cos \alpha_1}{\left|\vec{c'}_{12,\left\langle\vec{c}_1,\vec{c}_2\right\rangle,y}\right|}} .

Тогда в базисе Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \left\langle\vec{c}_1,\vec{c}_2\right\rangle} вектор Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_{12}} будет равен:

Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_{12}=\frac{\sin \alpha_1}{\sin \left(\alpha_1+\alpha_2\right)}\begin{pmatrix}\vec{c}_1 & \vec{c}_2\end{pmatrix} \begin{pmatrix} \cos\alpha_2 \\ \cos\alpha_1 \end{pmatrix}} .

Пусть Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. Server problem.»): {\displaystyle \tau '={\frac {\sin \left(\alpha _{1}+\alpha _{2}\right)}{\sin \alpha _{1}}}} , и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c''}_{12}=\tau'\vec{c'}_{12}=\begin{pmatrix}\vec{c}_1 & \vec{c}_2\end{pmatrix} \begin{pmatrix} \cos\alpha_2 \\ \cos\alpha_1 \end{pmatrix}} .

Таким образом, во втором случае Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_{12}=\frac{\tau'\vec{c''}_{12}}{\left|\tau'\vec{c''}_{12}\right|}=\frac{\vec{c''}_{12}}{\left|\vec{c''}_{12}\right|}} , Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \alpha_{12}=\frac{\pi}{2}} .

В третьем случае предполагается, что Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1\nparallel\vec{c}_2} , и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_1\nparallel\vec{c'}_2} .

Объединение секторов, у которых Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1\nparallel\vec{c}_2} , и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_1\nparallel\vec{c'}_2} (третий случай).

Пусть Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. Server problem.»): {\displaystyle \delta =\alpha _{1}+\gamma +\alpha _{2}} . Здесь Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \delta>0} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \delta\ne\pi} , поскольку это - ситуации, описанные выше.

Тогда сектор Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \Omega_{12}} может быть задан парой Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_{12}=\left(-1\right)^s \tau\left(\vec{c'}_1+\vec{c'}_2\right)} и Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. Server problem.»): {\displaystyle \alpha _{12}={\frac {\delta }{2}}} . Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \tau} - скаляр, нормализующий Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_{12}} . Знак вектора-направления на центральную точку определяется тем, является ли угол Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \delta} выпуклым, т.е.

Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle s=\left[\begin{matrix} 0\Leftrightarrow\delta<\pi \\ 1\Leftrightarrow\delta>\pi \end{matrix}\right.} .

Тогда для окончательного решения необходимо найти и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_2} . Для этого выразим Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_1} в базисе Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_2} - в базисе .

Рассмотрим вектора Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_1} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_1} и угол Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \alpha_1} . Если Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \alpha_1\equiv 0} , то Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. Server problem.»): {\displaystyle {\vec {c'}}_{1}={\vec {c}}_{1}} , поэтому в базисе Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \left\langle\vec{c}_1,\vec{c}_2\right\rangle} он будет равен Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. Server problem.»): {\displaystyle {\begin{pmatrix}1&0&0\end{pmatrix}}^{T}} .

Далее рассмотрим случай, когда Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \alpha_1\ne 0} . Направленные отрезки , Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_1} и , с началом в точке пересечения Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_1} и сферы до точки пересечения с , будут образовывать треугольник, стороны которого соотносятся друг с другом как

Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \frac{\left|\vec{c'}_{1}\right|}{\sin\gamma}=\frac{1}{\sin\gamma}=\frac{\vec{c'}_{1x}}{\sin\left(\pi-\alpha_1-\gamma\right)}=\frac{\vec{c'}_{1x}}{\sin\left(\alpha_1+\gamma\right)}=\frac{\vec{c'}_{1y}}{\sin\alpha_1}} .

Поэтому Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. Server problem.»): {\displaystyle {\vec {c'}}_{1}={\frac {1}{\sin \gamma }}{\begin{pmatrix}{\vec {c}}_{1}&{\vec {c}}_{2}\end{pmatrix}}{\begin{pmatrix}\sin \left(\alpha _{1}+\gamma \right)\\\sin \alpha _{1}\end{pmatrix}}} . Заметим, что поскольку Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \gamma>0} это равенство выполняется также и для случая Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. Server problem.»): {\displaystyle \alpha _{1}\equiv 0} .

Также отметим, что аналогичные рассуждения справедливы и для Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_2} .

Далее, пусть Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. Server problem.»): {\displaystyle \tau '={\frac {1}{\sin \gamma }}} , и

Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. Server problem.»): {\displaystyle {\vec {c''}}_{1}={\begin{pmatrix}{\vec {c}}_{1}&{\vec {c}}_{2}\end{pmatrix}}{\begin{pmatrix}\sin \left(\alpha _{1}+\gamma \right)\\\sin \alpha _{1}\end{pmatrix}}} , и
Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c''}_2\begin{pmatrix}\vec{c}_1 & \vec{c}_2\end{pmatrix}\begin{pmatrix}\sin\alpha_2 \\ \sin\left(\alpha_2 + \gamma\right)\end{pmatrix}} .

Тогда Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. Server problem.»): {\displaystyle {\vec {c'}}_{1}=\tau '{\vec {c''}}_{1}} и Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c'}_2=\tau'\vec{c''}_2} , и

Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. Server problem.»): {\displaystyle {\vec {c}}_{12}=\left(-1\right)^{s}{\frac {\tau '\left({\vec {c''}}_{1}+{\vec {c''}}_{2}\right)}{\left|\tau '\left({\vec {c''}}_{1}+{\vec {c''}}_{2}\right)\right|}}=\left(-1\right)^{s}{\frac {\left({\vec {c''}}_{1}+{\vec {c''}}_{2}\right)}{\left|\left({\vec {c''}}_{1}+{\vec {c''}}_{2}\right)\right|}}} , и
Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \alpha_{12}=\frac{\delta}{2}} .