Pobegailo
.pdfИз этоего равенства следует, что
r |
σ +r |
σ |
2 |
+ r |
σ |
3 |
=U*σ |
U |
(3.40) |
1k |
1 2k |
|
3k |
|
k |
|
|
для k {1, 2, 3}. Полученные равенства (3.40) определяют соответствие между специальными унитарными матрицами из группы SU (2) и собственно ортогональными матрицами из группы SO(3, R).
Опишем структуру собственно ортогональной матрицы R, используя параметры Кэли – Клейна. Выражения для элементов матрицы R могут быть найдены из равенств (3.40). Для того чтобы разрешить равенства (3.40) относительно элементов матрицы R, найдем преобразования спин матриц Паули посредством специальных унитарных матриц, представленных через параметры Кэли – Клейна. Используя равенства (3.35) и (3.36), эти преобразования могут быть записаны следующим образом:
U*σkU = (q0 I − q1iσ1 − q2iσ2 − q3iσ3 )σk (q0 I + q1iσ1 + q2iσ2 + q3iσ3 )
для k {1, 2, 3}. Вычислим эти выражения, используя равенства (3.33), получим
U σ1U = (q02 + q12 − q22 − q32 )σ1 + 2(q1q2 + q0q3 )σ2 + 2(q1q3 − q0q2 )σ3, U σ2U = 2(q1q2 − q0q3 )σ1 +(q02 − q12 + q22 − q32 )σ2 + 2(q2q3 +q0q1)σ3, U σ3U = 2(q1q3 + q0q2 )σ1 + 2(q2q3 −q0q1)σ2 +(q02 − q12 − q22 + q32 )σ3.
Сравнение полученных равенств с равенствами (3.40) показывает, что элементы ортогональной матрицы R определяются через параметры Кэли – Клейна следующим образом:
q2 |
+ q2 |
− q2 |
− q2 |
2(q q + q q ) |
2(q q − q q ) |
|
|
|
||||||||
|
0 |
|
1 |
2 |
3 |
1 |
2 |
0 |
3 |
1 |
3 |
0 |
2 |
|
|
|
R = |
2(q1q2 −q0q3 ) |
q02 − q12 + q22 − q32 |
2(q2q3 + q0q1) |
|
. |
(3.41) |
||||||||||
|
2(q q +q q ) |
2(q q − q q ) |
q2 −q2 − q2 + q2 |
|
|
|||||||||||
|
|
1 |
3 |
0 |
2 |
2 |
3 |
0 |
1 |
0 |
1 |
2 |
|
|
|
|
|
|
|
3 |
|
Учитывая равенство (3.34), диагональные элементы матрицы R могут быть упрощены следующим образом:
|
2(q2 |
+ q2 ) −1 2(q q +q q ) 2(q q − q q ) |
|
|||||||||||
|
0 |
|
1 |
|
1 |
2 |
0 |
3 |
1 |
3 |
0 |
2 |
|
|
R = 2(q1q2 |
−q0q3 ) |
2(q02 + q22 ) −1 |
2(q2q3 + q0q1) . |
(3.42) |
||||||||||
2(q q +q q ) 2(q q − q q ) 2(q2 + q2 ) −1 |
|
|
||||||||||||
|
1 |
3 |
0 |
2 |
2 |
3 |
0 |
1 |
0 |
|
3 |
|
|
|
|
|
|
|
|
Таким образом, структура произвольной собственно ортогональной матрицы из группы SO(3, R) через параметры Кэли – Клейна задается выраже-
ниями (3.41) и (3.42). Используя эти выражения, определим отображение g : SU (2) → SO(3, R) .
80
Из этого определения видно, что
g(U ) = g(−U )
для любой матрицы U SU (2). Следовательно, любой поворот может
бытьпредставлен одной издвух специальных унитарных матриц U или –U. Теорема 1. Отображение g является гомоморфизмом из группы SU (2)
в группу SO(3, R), т. е. для произвольных матриц U,V SU (2) выполняется тождество
g(UV ) = g(V )g(U ).
Доказательство. Рассмотрим произвольные матрицы U и V из группы SU (2). Предположим, что
g(U ) = R, g(V ) = Q.
Теперь, используя равенства (3.40), найдем выражения для описания действий композиции матриц UV на спин матрицы Паули. Получим
(V U )σk (UV ) =V (r1kσ1 + r2kσ2 + r3kσ3 )V =
=r1kV σ1V + r2kV σ2V + r3kV σ3V =
=r1k (q11σ1 + q21σ2 + q31σ3 ) + r2k (q12σ1 + q22σ2 + q32σ3 ) +
+r3k (q13σ1 +q23σ2 +q33σ3 ) = (q11r1k + q12r2k + q13r3k )σ1 +
+(q21r1k +q22r2k + q23r3k )σ2 +(q31r1k + q32r2k + q33r3k )σ3
для k {1, 2, 3}. Из равенства следует, что
g(UV ) =
q11r11
=q21r11q31r11
+q12r21 + q13r31
+q22r21 + q23r31
+q32r21 + q33r31
q11r12 + q12r22 + q13r32 r12q21 + r22q22 + r32q23 q31r12 + q32r22 + q33r32
q11r13 r13q21 q31r13
+q12r23 + q13r33
+r23q22 + r33q23 =
+q32r23 + q33r33
q11 |
q12 |
q13 |
r11 |
= q |
q |
q |
r |
21 |
22 |
23 |
21 |
q |
q |
q |
r |
31 |
32 |
33 |
31 |
r12 |
r13 |
|
|
r |
r |
|
= QR = g(V )g(U ). |
22 |
23 |
|
|
r |
r |
|
|
32 |
33 |
|
|
Таким образом, получили, что
g(UV ) = g(V )g(U ),
т. е. отображение g является гомоморфизмом из группы SU (2) в группу
SO(3, R).
Теорема доказана.
81
Пример 1. Рассмотрим параметры Кэли – Клейна
q = |
2 |
, q = − |
2 |
, q = − |
2 |
, q = −1 |
, |
|
|
|
|
||||||
0 |
2 |
1 |
2 |
2 |
2 |
3 |
2 |
|
|
|
|
|
|
которые были получены в примере из раздела 3.9. Используя формулу (3.42), найдем собственно ортогональную матрицу R, которая определяется этими параметрами Кэли – Клейна. Получим
|
|
1/ 4 |
1/ 4 − 2 / 2 |
2 / 4 +1/ 2 |
|
|
R = |
|
|
1/ 4 |
2 / 4 −1/ 2 |
|
. |
|
|
|
||||
1/ 4 + 2 / 2 |
|
|||||
|
|
2 / 4 −1/ 2 |
2 / 4 +1/ 2 |
1/ 2 |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
Рассмотрим обратную проблему, как получить параметры Кэли – Клейна из заданной матрицы R SO(3, R). Первый шаг к решению этой проблемы состоит в определении максимального числа
|
q |
= max{4q2 |
, 4q2 |
, 4q2 |
, 4q2}, |
|
||
|
max |
|
0 |
1 |
2 |
|
3 |
|
где |
|
|
|
|
|
|
|
|
4q2 |
=1+ r +r + r , 4q2 |
=1+ r −r − r , |
||||||
0 |
11 |
22 |
33 |
1 |
|
11 |
22 |
33 |
4q2 |
=1− r +r − r , 4q2 |
=1− r − r + r . |
||||||
2 |
11 |
22 |
33 |
3 |
|
11 |
22 |
33 |
Такой выбор числа qmax обеспечивает более точное вычисление квад-
ратного корня из этого числа для нахождения значений параметров Кэли – Клейна. После этого параметры Кэли – Клейна могут быть определены следующим образом. Если
|
|
|
|
|
|
|
|
|
q |
= 4q2 |
, |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
max |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
то |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
= ± |
|
qmax |
, |
q |
= |
r23 − r32 |
|
, |
q |
= |
|
r31 − r13 |
, |
q |
= |
|
r12 − r21 |
. |
|||||
|
|
|
|
|
|
|
||||||||||||||||||
0 |
|
|
2 |
|
|
1 |
|
|
4q0 |
|
2 |
|
|
|
4q0 |
|
3 |
|
|
4q0 |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Если |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
= 4q2 |
, |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
max |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
то |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
= ± |
|
qmax |
, |
q |
= |
r12 +r21 |
, |
q |
= |
r13 +r31 |
|
, |
q |
= |
r23 − r32 |
. |
|||||||
|
|
|
|
|
||||||||||||||||||||
1 |
|
|
2 |
|
|
2 |
|
|
4q1 |
|
3 |
|
|
|
4q1 |
|
0 |
|
|
4q1 |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
82
Если
|
|
|
|
|
|
|
|
q |
= 4q2 |
, |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
max |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
то |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
= ± |
|
qmax |
, |
q |
= |
|
r23 + r32 |
, |
q |
= |
|
r31 −r13 |
|
, |
q |
= |
|
r12 + r21 |
. |
||||
|
|
|
|
|
|
|
|
|
||||||||||||||||
2 |
|
|
2 |
|
3 |
|
|
4q2 |
|
0 |
|
|
|
4q2 |
|
|
1 |
|
|
4q2 |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
И, наконец, если |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
q |
= 4q2 |
, |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
max |
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
то |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
= ± |
|
qmax |
, |
q |
= |
r12 − r21 |
|
, |
q |
= |
r13 + r31 |
|
, |
q |
= |
r23 + r32 |
. |
||||||
|
|
|
|
|
||||||||||||||||||||
3 |
|
|
2 |
|
0 |
|
|
4q3 |
|
1 |
|
|
|
4q3 |
|
|
2 |
|
|
4q3 |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теперь определим отображение
h : SO(3, R) → SU (2),
используя приведенные выражения для вычисления параметров Кэли – Клейна. Из этого определения видно, что
h(R) = −h(R).
Это значит, что отображение h отображает любую матрицу из группы SO(3, R) в две матрицы из группы SU (2), связанные последним соотношением.
Теорема 2. Отображение h является гомоморфизмом из группы SO(3, R) в группу SU (2).
Доказательство. Эта теорема может быть доказана аналогично теореме 1.
Пример 2. Рассмотрим собственно ортогональную матрицу
|
|
1/ 4 |
1/ 4 − 2 / 2 |
2 / 4 +1/ 2 |
|
|
R = |
|
|
1/ 4 |
2 / 4 −1/ 2 |
|
. |
|
|
|
||||
1/ 4 + 2 / 2 |
|
|||||
|
|
2 / 4 −1/ 2 |
2 / 4 +1/ 2 |
1/ 2 |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
Найдем из этой матрицы параметры Кэли – Клейна. Так как
qmax = 4q02 =1+ r11 + r22 + r33 = 2,
83
то получим
|
|
|
|
|
|
q |
= |
|
qmax |
|
= |
2 |
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
0 |
2 |
|
2 |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
q |
= |
r23 − r32 |
= − |
1 |
, |
q |
= |
r31 − r13 |
= − |
1 |
, q = |
r12 −r21 |
= −1 . |
||||
|
|
|
|
|
|||||||||||||
1 |
|
4q0 |
2 2 |
|
2 |
|
|
4q0 |
2 2 |
3 |
4q0 |
2 |
|||||
|
|
|
|
|
|
|
3.11. Представление поворотов единичными кватернионами
Рассмотрим такой произвольный кватернион
P = p0 + p,
который удовлетворяет условию
P = −P.
Из этого условия следует, что должно выполняться равенство p0 − p = −p0 − p,
которое в свою очередь эквивалентно равенству p0 = 0.
Следовательно, кватернион P имеет следующую структуру:
P = p1i + p2 j + p3k = p.
То есть кватернион P имеет только векторную часть. Такие кватернионы называются векторными кватернионами или просто векторами. Теперь возьмем произвольный единичный кватернион
Q = q0 +q |
|
и рассмотрим следующее преобразование: |
|
P = QPQ |
(3.43) |
векторного кватерниона P. Это равенство может быть переписано, используя векторные операции следующим образом:
P= QPQ = (q0 +q) p(q0 −q) =
=(q0 +q)( p q +q0 p − p ×q) =
=q0 ( p q) −q (q0 p − p ×q) +q0 (q0 p − p ×q) +( p q)q +q ×(q0 p − p ×q) =
=q02 p − q0 ( p ×q) +( p q)q + q0 (q × p) −q ×( p ×q) =
=q02 p + 2q0 (q × p) +( p q)q +( p ×q) ×q.
84
В результате получили следующее векторное выражение:
P = q |
2 p +2q (q × p) +( p q)q +( p ×q) ×q |
(3.44) |
0 |
0 |
|
для преобразования, заданного формулой (3.43). Отсюда следует, что
кватернион P также является вектором, который будет обозначаться следующим образом:
p = P.
Кроме того, так как
N (P) = N(QPQ ) = N (Q)N(P)N(Q ) = N (P),
учитывая, что Q и Q являются единичными кватернионами, то преобразование, заданное формулой (3.43), сохраняет норму кватерниона и, следовательно, длину векторов. В результате можно сделать вывод, что формула (3.43) описывает некоторый поворот вектора в евклидовом век-
торном пространстве R3 или поворот точки в евклидовом аффинном пространстве E3, координаты которой задаются вектором p.
3.12. Гомоморфизм между группой SO(3, R) и группой единичных кватернионов
Перепишем формулу (3.44), используя матричную нотацию. Для этой цели введем следующие матрицы:
|
0 −q |
q |
|
|
|
q 2 |
q q |
q q |
|
|
|
|
1 |
1 2 |
1 3 |
|
|||||
K = |
|
3 |
2 |
|
|
|
q q q 2 |
|
. |
|
q |
0 |
−q |
, |
M = |
q q |
|||||
|
3 |
|
1 |
|
|
|
2 1 |
2 |
2 3 |
|
−q |
q |
0 |
|
|
|
|
q3q2 |
2 |
|
|
|
2 |
1 |
|
|
|
|
q3q1 |
q3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Используя эти обозначения и принимая во внимание, что q × p = Kp, ( p q)q = (qqT ) p = Mp,
формула (3.44) может быть преобразована следующим образом:
P= q02 p + 2q0 (q × p) +( p q)q +( p ×q) ×q =
=q02 p + 2q0 (q × p) +( p q)q +( p q)q −(q q) p =
=q02 p + 2q0 (q × p) + 2(qqT ) p −(q q) p =
=q02 Ip +2q0 Kp + 2Mp −(q q)Ip =
=(q02 I + 2q0 K + 2M −(q q)I ) p.
85
Введем следующую матрицу:
|
|
|
|
|
|
R = q |
2 I + 2q K +2M −(q q)I. |
|
|
|
|
|
(3.45) |
||||||
|
|
|
|
|
|
0 |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
Из выражения (3.45) следует, что матрица R имеет следующуюструктуру: |
|||||||||||||||||||
q |
2 + q |
2 − q 2 |
− q 2 |
2(q q − q q ) |
|
2(q q + q q ) |
|
|
|
||||||||||
|
0 |
1 |
2 |
|
3 |
1 |
2 |
0 |
3 |
|
1 |
3 |
0 |
2 |
|
|
|
||
R = |
|
2(q1q2 |
+ q0q3 ) |
q02 − q12 + q2 |
2 −q32 |
|
2(q2q3 −q0q1) |
|
. |
(3.46) |
|||||||||
|
|
2(q q − q q ) |
|
2(q q + q q ) |
q 2 −q 2 − q 2 + q |
2 |
|
|
|||||||||||
|
|
1 |
3 |
0 |
2 |
|
2 |
3 |
|
0 |
1 |
0 |
1 |
|
2 |
3 |
|
|
|
|
|
|
|
|
|
|
|
Используя это обозначение, равенство (3.44) может быть переписано следующим образом:
p = Rp.
Заметим, что матрица R является собственной ортогональной матрицей, т. е. принадлежит группе SO(3, R), так как преобразование, представляе-
мое этой матрицей сохраняет длину векторов и определитель матрицы равен единице. Из выражений для элементов матрицы R следует, что она может быть получена из любого из единичных кватернионов Q или −Q.
Следовательно, кватернионы Q и (−Q) представляют один и тот же по-
ворот.
Используя формулу (3.46), определим отображение g : HU 4 → SO(3, R),
где через HU 4 обозначим группу единичных кватернионов. Из этого определения видно, что
g(Q) = g(−Q)
для любого единичного кватерниона Q HU 4. Следовательно, любой поворот может быть представлен одним из двух единичных кватернионов Q или –Q.
Теорема. Отображение g является гомоморфизмом из группы единичных кватернионов HU 4 в группу собственно ортогональных матриц SO(3, R) , т. е. для произвольных единичных кватернионов P, Q HU 4 выполняется тождество
g(PQ) = g(P)g(Q).
Доказательство. Доказательство этой теоремы следует из формулы (3.45), которая описывает матричное представление поворота, соответствующего как единичному кватерниону, так и собственно ортогональной матрице.
86
Рассмотрим обратную задачу. Пусть задана собственно ортогональная матрица R. Нужно найти кватернион, соответствующий этой матрице. Координаты такого кватерниона можно найти аналогично параметрам Кэли – Клейна, как это было описано в разделе 3.7. Можно также показать, что формулы для нахождения координат кватерниона из собственно ортогональной матрицы задают гомоморфизм из группы собственно ортогональных матриц SO(3, R) в группу единичных кватернионов.
Пример. Рассмотрим единичный кватернион
Q = 22 + 42 i + 42 j + 12 k
и, используя формулу (3.46), найдем собственно ортогональную матрицу R, соответствующую этому единичному кватерниону. Получим
|
|
1/ 4 |
1/ 4 − 2 / 2 |
2 / 4 +1/ 2 |
|
|
R = |
|
|
1/ 4 |
2 / 4 −1/ 2 |
|
. |
|
|
|
||||
1/ 4 + 2 / 2 |
|
|||||
|
|
2 / 4 −1/ 2 |
2 / 4 +1/ 2 |
1/ 2 |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
3.13. Геометрический смысл единичных кватернионов
Определим геометрический смысл единичного кватерниона. Для этой цели рассмотрим произвольный единичный кватернион
Q = cos ϕ2 +sin ϕ2 n,
где
n = n1i + n2 j +n3k
обозначает единичный вектор. Используя эти обозначения, координаты единичного кватерниона Q могут быть определены следующим образом:
q |
= cos |
ϕ |
, |
q = sin |
ϕn , |
q |
= sin |
ϕn , |
q |
= sin |
ϕn . |
|||
0 |
|
2 |
|
1 |
2 |
1 |
2 |
|
2 |
2 |
3 |
|
2 |
3 |
Теперь подставим эти значения в выражения элементов собственно ортогональной матрицы R, структура которой задана формулой (3.46). Принимая во внимание, что координаты вектора n удовлетворяют условию
n12 + n22 +n32 =1,
87
получим следующие выражения для диагональных элементов матрицы R:
r11 = cos2 ϕ2 +sin2 ϕ2 (n12 − n22 − n32 ) =
=cos2 ϕ2 +sin2 ϕ2 (2n12 −1) = cos2 ϕ2 −sin2 ϕ2 + 2n12 sin2 ϕ2 =
=cos ϕ+ n12 (1 − cos ϕ) = n12 +(1− n12 )cos ϕ
ианалогично
r |
= n |
2 +(1− n 2 )cosϕ, |
r |
= n |
2 +(1− n 2 )cosϕ. |
22 |
2 |
2 |
33 |
3 |
3 |
Далее, используя тригонометрические тождества, получим следующие выражения для недиагональных элементов матрицы R:
r |
= 2sin2 ϕn n |
− 2n sin |
ϕcos |
ϕ |
= n n (1− cos ϕ) − n sin ϕ, |
|||||
12 |
|
2 |
1 |
2 |
3 |
2 |
2 |
1 |
2 |
3 |
r |
= 2sin |
2 ϕn n |
+ 2n sin |
ϕcos |
ϕ |
= n n (1− cos ϕ) + n sin ϕ |
||||
21 |
|
2 |
1 |
2 |
3 |
2 |
2 |
1 |
2 |
3 |
и аналогично
r13 = n1n3 (1−cosϕ) + n2 sin ϕ, r31 = n3n1(1− cosϕ) − n2 sin ϕ, r23 = n2n3 (1− cosϕ) − n1 sin ϕ, r32 = n3n2 (1−cosϕ) + n1 sin ϕ.
В результате получили, что собственно ортогональная матрица R имеет следующую структуру:
|
|
n 2 +(1− n 2 )cos ϕ |
n n (1−cosϕ) − n sin ϕ |
n n (1−cosϕ) +n sin ϕ |
|||||||
|
|
1 |
1 |
1 |
2 |
3 |
1 |
3 |
|
2 |
|
R = n1n2 (1−cosϕ) +n3 sin ϕ |
|
n2 |
2 +(1−n22 )cosϕ |
n2n3 (1−cosϕ) −n1 sin ϕ . |
|||||||
n n (1−cosϕ) −n sin ϕ |
n n (1−cosϕ) + n sin ϕ |
|
n 2 +(1− n 2 )cosϕ |
|
|||||||
|
3 |
1 |
2 |
3 |
2 |
1 |
|
3 |
3 |
|
|
|
|
|
|
||||||||
Видно, что структура матрицы R совпадает |
со |
структурой |
матрицы |
||||||||
R(n,ϕ), |
которая была рассмотрена в разделе 3.3. |
Следовательно, |
еди- |
ничный кватернион
Q = cos ϕ2 +sin ϕ2 n
представляет поворот вокруг оси n на угол ϕ.
Теперь определим геометрический смысл произведения двух единичных кватернионов. Для этой цели рассмотрим преобразование произвольного вектора p последовательно двумя единичными кватернионами Q1 и Q2. Получим
p = Q2Q1 pQ1 Q2 = (Q2Q1) p(Q2Q1) .
88
Из этого равенства следует, что произведение единичных кватернионов (Q2Q1) соответствует композиции поворотов, которые представляются
единичными кватернионами Q1 и Q2. Так как произведение единичных
кватернионов также является единичным кватернионом, то представление композиции поворотов через кватернионы дает простой способ определения оси и угла поворота, который является результатом этой композиции. Для определения этих параметров результирующего поворота рассмотрим два единичных кватерниона
Q = cos |
ϕ1 |
+sin |
ϕ1 n , |
Q = cos |
ϕ2 |
+sin |
ϕ2 |
n |
|
1 |
2 |
|
2 |
1 |
2 |
2 |
|
2 |
2 |
и, используя формулу (2.2), найдем произведение кватернионов Q1 и Q2. Получим
Q2Q1 = (cos ϕ22 cos ϕ21 −sin ϕ22 sin ϕ21 n2 n1) +
+(cos ϕ22 sin ϕ21 n1 +cos ϕ21 sin ϕ22 n2 +sin ϕ22 sin ϕ21 n2 × n1).
Отсюда следует, что если
Q = Q2Q1 = cos ϕ2 +sin ϕ2 n,
то
cos ϕ2 = cos ϕ22 cos ϕ21 −sin ϕ22 sin ϕ21 n2 n1,
sin ϕ2 n = cos ϕ22 sin ϕ21 n1 +cos ϕ21 sin ϕ22 n2 +sin ϕ22 sin ϕ21 n2 × n1.
Из этих формул легко можно найти угол φ и ось n результирующего поворота.
Пример. Рассмотрим единичный кватернион
Q = cos π |
+sin |
πn, |
||||
|
|
4 |
|
|
4 |
|
где |
|
|
|
|
|
|
n = |
1 i + |
1 j + |
|
2 |
k. |
|
|
2 |
|||||
|
2 |
2 |
|
|
|
Очевидно, что единичный кватернион Q описывает поворот вокруг оси n
на угол π2 . Найдем собственно ортогональную матрицу R, соответст-
89