Шаблон:Распространение радиоволн ВЧ/Реализация/encompassing aperture t::unify/Алгоритм: различия между версиями
| Строка 14: | Строка 14: | ||
Пусть далее <math>\cos \gamma=\frac{\vec{c}_1\cdot\vec{c}_2}{\left|\vec{c}_1\right|\cdot\left|\vec{c}_2\right|}</math>, где <math>\gamma</math> - угол между <math>\vec{c}_1</math> и <math>\vec{c}_2</math>. | Пусть далее <math>\cos \gamma=\frac{\vec{c}_1\cdot\vec{c}_2}{\left|\vec{c}_1\right|\cdot\left|\vec{c}_2\right|}</math>, где <math>\gamma</math> - угол между <math>\vec{c}_1</math> и <math>\vec{c}_2</math>. | ||
Два особых случая: | |||
:<math>\Omega_1\subseteq\Omega_2\Leftrightarrow\gamma+\alpha_1\leq\alpha_2</math> и | |||
:<math>\Omega_2\subseteq\Omega_1\Leftrightarrow\gamma+\alpha_2\leq\alpha_1</math>. | |||
Поэтому: | |||
:<math>\gamma+\alpha_1\leq\alpha_2\Rightarrow\Omega_{12}\equiv\Omega_2</math>, иначе | |||
:<math>\gamma+\alpha_2\leq\alpha_1\Rightarrow\Omega_{12}\equiv\Omega_1</math>. | |||
Далее по тексту предполагается, что <math>\Omega_1\nsubseteq\Omega_2\land\Omega_2\nsubseteq\Omega_1</math>. Следовательно <math>\gamma\ne0</math>. | |||
Существует три случая. | Существует три случая. | ||
| Строка 69: | Строка 79: | ||
Во '''втором случае''' <math>\vec{c}_1\nparallel\vec{c}_2</math>, однако <math>\vec{c'}_1\|\vec{c'}_2</math> (то есть <math>\alpha_1 + \gamma + \alpha_2 \equiv \pi</math>). | Во '''втором случае''' <math>\vec{c}_1\nparallel\vec{c}_2</math>, однако <math>\vec{c'}_1\|\vec{c'}_2</math> (то есть <math>\alpha_1 + \gamma + \alpha_2 \equiv \pi</math>). | ||
Вследствие того, что <math>\vec{c'}_1\|\vec{c'}_2</math>, | |||
:<math>0<\alpha_1,\alpha_2<\frac{\pi}{2}</math> и | |||
:<math>0<\alpha_1+\alpha_2<\pi</math>. | |||
Действительно, если бы <math>\alpha_1\equiv 0\Rightarrow\alpha_2=\pi-\alpha_1=\pi\Rightarrow\Omega_1\subset\Omega_2</math>, что противоречило бы ограничению <math>\Omega_1\nsubseteq\Omega_2</math>, которое обосновано выше. | |||
Далее, <math>\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</math>. ''Противоречие'' ограничению, приведенному выше. | |||
Аналогично доказывается ограничение <math>0<\alpha_2<\frac{\pi}{2}</math>. | |||
[[Файл:encompassing_aperture_t_c1s_par_c2s.svg|thumb| | [[Файл:encompassing_aperture_t_c1s_par_c2s.svg|thumb| | ||
Версия 18:04, 1 декабря 2018
Пусть объединяются два сектора сферы, релизуемые классом классом encompassing_aperture_t - и , где - вектор направления на центральную точку Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): i -го сектора (возвращаемый методом encompassing_aperture_t::central_point), а Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \alpha_i} - соответствующий ангулярный радиус (возвращаемый методом encompassing_aperture_t::radius).
В результате объединения создается новый сектор Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \Omega_{12}=\left\langle\vec{c}_{12}, \alpha_{12}\right\rangle = \Omega_1\cup\Omega_2} .
Вектора Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \vec{c}_i} могут быть либо нулевыми либо единичными. Сектор с нулевым вектором направления считается нейтральным по операции объединения, т.е. Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \left\langle\vec{0}, \alpha_1\right\rangle\cup\Omega=\Omega\cup\left\langle\vec{0}, \alpha_2\right\rangle = \Omega} .
Далее рассматривается случай, в котором Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \left|\vec{c}_1\right|=\left|\vec{c}_2\right|=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 \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 \gamma} - угол между Невозможно разобрать выражение (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 \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 \vec{c}_2} бесконечно, вследствие чего количество возможных секторов минимальной площади, объединяющих Невозможно разобрать выражение (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'}_{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} (то есть Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \alpha_1 + \gamma + \alpha_2 \equiv \pi} ).
Вследствие того, что Невозможно разобрать выражение (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 0<\alpha_1,\alpha_2<\frac{\pi}{2}} и
- Невозможно разобрать выражение (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\equiv 0\Rightarrow\alpha_2=\pi-\alpha_1=\pi\Rightarrow\Omega_1\subset\Omega_2} , что противоречило бы ограничению Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \Omega_1\nsubseteq\Omega_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<\alpha_2<\frac{\pi}{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}_{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 \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}} .
Пусть Невозможно разобрать выражение (MathML с запасными SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\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|}} , Невозможно разобрать выражение (Ошибка преобразования. Сервер («https://wikimedia.org/api/rest_») сообщил: «Cannot get mml. Server problem.»): {\displaystyle \alpha _{12}={\frac {\pi }{2}}} .