旋转平面

旋转面、旋转平面（英语：plane of rotation），是一个用于描述空间旋转的抽像概念。

十维以下的旋转平面数量如下表所示：

维数	零	一	二	三	四	五	六	七	八	九	十
旋转平面	0	0	1	1	2	2	3	3	4	4	5

旋转平面主要用作描述四维空间及以上的旋转，将高维旋转分解为简单的几何代数描述。 ^[1]

数学上，旋转平面可用多种方式描述。可用平面和旋转角度来描述，可用克利福德代数的二重向量来描述。旋转平面又与旋转矩阵的特征值和特征向量有关。

已隐藏部分未翻译内容，欢迎参与翻译。

In three dimensions（英语：three dimensions） it is an alternative to the axis of rotation（英语：Rotation around a fixed axis）, but unlike the axis of rotation it can be used in other dimensions, such as two（英语：two dimensions）, four（英语：Four-dimensional space） or more dimensions.

旋转平面在二维和三维中使用不多，因为在二维中只有一个平面（因此，识别旋转平面是微不足道的并且很少这样做），而在三维中旋转轴具有相同的目的，并且是更成熟的方法。

Planes of rotation are not used much in two（英语：two dimension） and 三维空间s, as in two dimensions there is only one plane (so, identifying the plane of rotation is trivial and rarely done), while in three dimensions the axis of rotation serves the same purpose and is the more established approach. The main use for them is in describing more complex rotations in higher dimensions（英语：higher dimensions）, where they can be used to break down the rotations into simpler parts. This can be done using geometric algebra（英语：geometric algebra）, with the planes of rotations associated with simple bivectors（英语：Bivector#Simple bivectors） in the algebra.^[1]

定义

平面

本文所有平面都通过原点（即包含零向量。）

For this article, all planes are planes through the origin, that is they contain the zero vector（英语：zero vector）. Such a plane in <span class="ilh-all " data-orig-title="'"`UNIQ--templatestyles-00000015-QINU`"' $n$ -dimensional space" data-lang-code="en" data-lang-name="英语" data-foreign-title="n-dimensional space">[[: $n$ -dimensional space| $n$ -dimensional space]]（英语：n-dimensional space） is a two-dimensional linear subspace（英语：linear subspace） of the space. It is completely specified by any two non-zero and non-parallel vectors that lie in the plane, that is by any two vectors $a$ and $b$ , such that

\mathbf {a} \wedge \mathbf {b} \neq 0,

where $\land$ is the exterior product from exterior algebra（英语：exterior algebra） or geometric algebra（英语：geometric algebra） (in three dimensions the cross product（英语：cross product） can be used). More precisely, the quantity $a \land b$ is the bivector associated with the plane specified by $a$ and $b$ , and has magnitude $| a | | b | sin φ$ , where $φ$ is the angle between the vectors; hence the requirement that the vectors be nonzero and nonparallel.^[2]

If the bivector $a \land b$ is written $B$ , then the condition that a point lies on the plane associated with $B$ is simply^[3]

\mathbf {x} \wedge \mathbf {B} =0.

This is true in all dimensions, and can be taken as the definition on the plane. In particular, from the properties of the exterior product it is satisfied by both $a$ and $b$ , and so by any vector of the form

\mathbf {c} =\lambda \mathbf {a} +\mu \mathbf {b} ,

with $λ$ and $μ$ real numbers. As $λ$ and $μ$ range over all real numbers, $c$ ranges over the whole plane, so this can be taken as another definition of the plane.

旋转平面

A plane of rotation for a particular rotation is a plane that is mapped（英语：Linear map） to itself by the rotation. The plane is not fixed, but all vectors in the plane are mapped to other vectors in the same plane by the rotation. This transformation of the plane to itself is always a rotation about the origin, through an angle which is the angle of rotation（英语：angle of rotation） for the plane.

Every rotation except for the identity（英语：Identity element） rotation (with matrix the identity matrix（英语：identity matrix）) has at least one plane of rotation, and up to

\left\lfloor {\frac {n}{2}}\right\rfloor

planes of rotation, where $n$ is the dimension.

十维以下的旋转平面数量如下表所示：

维数	零	一	二	三	四	五	六	七	八	九	十
旋转平面	0	0	1	1	2	2	3	3	4	4	5

When a rotation has multiple planes of rotation they are always orthogonal（英语：orthogonal） to each other, with only the origin in common. This is a stronger condition than to say the planes are at right angle（英语：right angle）s; it instead means that the planes have no nonzero vectors in common, and that every vector in one plane is orthogonal to every vector in the other plane. This can only happen in four or more dimensions. In two dimensions there is only one plane, while in three dimensions all planes have at least one nonzero vector in common, along their line of intersection（英语：Plane (geometry)#Line of intersection between two planes）.^[4]

In more than three dimensions planes of rotation are not always unique. For example the negative of the identity matrix（英语：identity matrix） in four dimensions (the central inversion（英语：Inversion in a point）),

{\begin{pmatrix}-1&0&0&0\\0&-1&0&0\\0&0&-1&0\\0&0&0&-1\end{pmatrix}},

describes a rotation in four dimensions in which every plane through the origin is a plane of rotation through an angle $π$ , so any pair of orthogonal planes generates the rotation. But for a general rotation it is at least theoretically possible to identify a unique set of orthogonal planes, in each of which points are rotated through an angle, so the set of planes and angles fully characterise the rotation.^[5]

二维

在二维空间只有一个旋转平面，即空间本身的平面。在笛卡尔坐标系是笛卡尔平面，在复数是复平面。因此，任何旋转都是整个平面空间的旋转，仅原点保持固定。完全由带符号的旋转角度指定，例如在 -π 到 π 的范围内。因此若角度为θ，复平面的旋转则由以下欧拉公式给出：

e^{i\theta }=\cos {\theta }+i\sin {\theta },\,

笛卡尔平面的旋转则由以下旋转矩阵给出^[6]：

{\begin{pmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{pmatrix}}.

三维

三维空间可以有无数个旋转平面，但当旋转平面有了一个，就不能第二个旋转平面。

三维任何旋转都总是只有一个固定的轴，即旋转轴。

这可以用如下矩阵来描述（旋转角度为θ）： ${\begin{pmatrix}\cos \theta &-\sin \theta &0\\\sin \theta &\cos \theta &0\\0&0&1\end{pmatrix}}.$

另一例子是地球自转。自转轴是北极至南极的连线，自转平面穿过北半球和南半球之间的赤道平面。

其它例子包括陀螺仪、飞轮等机械装置，通常沿旋转平面储存大量旋转动能。

已隐藏部分未翻译内容，欢迎参与翻译。

In three-dimensional space（英语：three-dimensional space） there are an infinite number of planes of rotation, only one of which is involved in any given rotation. That is, for a general rotation there is precisely one plane which is associated with it or which the rotation takes place in. The only exception is the trivial rotation, corresponding to the identity matrix, in which no rotation takes place.

In any rotation in three dimensions there is always a fixed axis, the axis of rotation. The rotation can be described by giving this axis, with the angle through which the rotation turns about it; this is the axis angle（英语：axis angle） representation of a rotation. The plane of rotation is the plane orthogonal to this axis, so the axis is a surface normal（英语：surface normal） of the plane. The rotation then rotates this plane through the same angle as it rotates around the axis, that is everything in the plane rotates by the same angle about the origin.

One example is shown in the diagram, where the rotation takes place about the $z$ -axis. The plane of rotation is the $xy$ -plane, so everything in that plane it kept in the plane by the rotation. This could be described by a matrix like the following, with the rotation being through an angle $θ$ (about the axis or in the plane):

{\begin{pmatrix}\cos \theta &-\sin \theta &0\\\sin \theta &\cos \theta &0\\0&0&1\end{pmatrix}}.

The Earth showing its axis and plane of rotation, both inclined（英语：axial tilt） relative to the plane and perpendicular of 地球轨道

Another example is the 地球自转. The axis of rotation is the line joining the North Pole and 南极 and the plane of rotation is the plane through the equator（英语：equator） between the Northern（英语：Northern Hemisphere） and Southern（英语：Southern Hemisphere） Hemispheres. Other examples include mechanical devices like a gyroscope（英语：gyroscope） or flywheel（英语：flywheel） which store rotational energy（英语：rotational energy） in mass usually along the plane of rotation.

在任何三维旋转中，旋转平面都是唯一定义的。它与旋转角度一起完整地描述了旋转。或者，在连续旋转的物体中，旋转特性（例如旋转速率）可以用旋转平面来描述。

In any three dimensional rotation the plane of rotation is uniquely defined. Together with the angle of rotation it fully describes the rotation. Or in a continuously rotating object the rotational properties such as the rate of rotation can be described in terms of the plane of rotation. It is perpendicular to, and so is defined by and defines, an axis of rotation, so any description of a rotation in terms of a plane of rotation can be described in terms of an axis of rotation, and vice versa. But unlike the axis of rotation the plane generalises into other, in particular higher, dimensions.^[7]

四维

一般四维旋转（英语：Rotations in 4-dimensional Euclidean space）只有一个固定点，即原点。因此，四个维度没有旋转轴。但是四维空间可以使用旋转平面，并且在四个维度中的每个非平凡旋转都可以有一至两个旋转平面。

简单旋转

仅具有一个旋转平面的旋转是简单旋转（英语：SO(4)#Simple rotations）。

简单旋转有一个固定的平面，因此点在旋转时不会改变其与该平面的距离。旋转平面与该平面正交，可以说旋转发生在该平面内。

例如，下列矩阵固定 xy 平面：此平面中的点且仅在该平面中的点保持不变。旋转平面是 zw 平面，该平面上的点旋转角度 θ。一般点仅在 zw 平面内旋转，即仅更改其 z 和 w 座标来绕 xy 平面旋转。

{\begin{pmatrix}1&0&0&0\\0&1&0&0\\0&0&\cos \theta &-\sin \theta \\0&0&\sin \theta &\cos \theta \end{pmatrix}}

在二维和三维，所有旋转都是简单旋转，因为只有一个旋转平面。只有在四维以上才存在不是简单旋转的旋转。在四维也存在双重旋转和等斜旋转。

双重旋转

双旋转（英语：SO(4)#Double rotations）有两个旋转平面，没有固定平面，唯一的固定点是原点。旋转发生在两旋转平面中。这些平面是正交的，也就是说，它们没有共同的向量，因此一个平面中的每个向量都与另一个平面中的每个向量成直角。两个旋转平面跨越四维空间，因此空间中的每个点都可以由两个点指定，每个平面上一个。

双旋转有两个旋转角度，每个旋转平面一个。双重旋转有两个平面和两个非零角度α、β（如果任一角度为零，则是简单旋转）。第一个平面的旋转α点，第二个平面的旋转β点。所有其他点都旋转α和β之间的角度，因此在某种意义上是αβ共同决定了旋转量。对于一般的双旋转，旋转平面和角度是唯一的，并且给定一般的旋转，它们可以被计算。例如，xy 平面中的 α 和 zw 平面中的 β 的旋转由矩阵给出

{\begin{pmatrix}\cos \alpha &-\sin \alpha &0&0\\\sin \alpha &\cos \alpha &0&0\\0&0&\cos \beta &-\sin \beta \\0&0&\sin \beta &\cos \beta \end{pmatrix}}.

等斜旋转

双旋转的一个特殊情况是角度相等，即 α = β ≠ 0。

例如，在等斜旋转（英语：SO(4)#Isoclinic rotations）中所有非零点都会旋转相同的角度 α。最重要的是，旋转平面不是唯一标识的。相反，有无数对正交平面可以被视为旋转平面。例如可以任意一点，它旋转所在的平面以及与其正交的平面可以当作两个旋转平面。^[8]

高维

旋转平面数量公式： $\left\lfloor {\frac {n}{2}}\right\rfloor$

已隐藏部分未翻译内容，欢迎参与翻译。

因此，超过四个维度，复杂性会迅速增加，并且如上所述对旋转进行分类变得过于复杂而不实用，但可以进行一些观察。

简单旋转可以在所有维度上被识别为仅具有一个旋转平面的旋转。 n 维的简单旋转围绕会与旋转平面正交的 (n − 2) 维子空间（即距其固定距离）发生。

A general rotation is not simple, and has the maximum number of planes of rotation as given above. In the general case the angles of rotations in these planes are distinct and the planes are uniquely defined. If any of the angles are the same then the planes are not unique, as in four dimensions with an isoclinic rotation.

In even dimensions ( $n = 2, 4, 6...$ ) there are up to $.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}n/2$ planes of rotation span the space, so a general rotation rotates all points except the origin which is the only fixed point. In odd dimensions ( $n = 3, 5, 7, ...$ ) there are $n - 1 / 2$ planes and angles of rotation, the same as the even dimension one lower. These do not span the space, but leave a line which does not rotate – like the axis of rotation（英语：Rotation around a fixed axis） in three dimensions, except rotations do not take place about this line but in multiple planes orthogonal to it.^[1]

数学性质

The examples given above were chosen to be clear and simple examples of rotations, with planes generally parallel to the coordinate axes in three and four dimensions. But this is not generally the case: planes are not usually parallel to the axes, and the matrices cannot simply be written down. In all dimensions the rotations are fully described by the planes of rotation and their associated angles, so it is useful to be able to determine them, or at least find ways to describe them mathematically.

反射

Two different reflections in two dimensions generating a rotation.

Every simple rotation can be generated by two reflections. Reflections can be specified in $n$ dimensions by giving an $(n - 1)$ -dimensional subspace to reflect in, so a two-dimensional reflection is in a line, a three-dimensional reflection is in a plane, and so on. But this becomes increasingly difficult to apply in higher dimensions, so it is better to use vectors instead, as follows.

A reflection in $n$ dimensions is specified by a vector perpendicular to the $(n - 1)$ -dimensional subspace. To generate simple rotations only reflections that fix the origin are needed, so the vector does not have a position, just direction. It does also not matter which way it is facing: it can be replaced with its negative without changing the result. Similarly unit vector（英语：unit vector）s can be used to simplify the calculations.

So the reflection in a $(n - 1)$ -dimensional space is given by the unit vector perpendicular to it, $m$ , thus:

\mathbf {x} '=-\mathbf {mxm} \,

where the product is the geometric product from geometric algebra（英语：geometric algebra）.

If $x'$ is reflected in another, distinct, $(n - 1)$ -dimensional space, described by a unit vector $n$ perpendicular to it, the result is

\mathbf {x} ''=-\mathbf {nx} '\mathbf {n} =-\mathbf {n} (-\mathbf {mxm} )\mathbf {n} =\mathbf {nmxmn}

This is a simple rotation in $n$ dimensions, through twice the angle between the subspaces, which is also the angle between the vectors m and $n$ . It can be checked using geometric algebra that this is a rotation, and that it rotates all vectors as expected.

The quantity $mn$ is a rotor（英语：rotor (mathematics)）, and $nm$ is its inverse as

(\mathbf {mn} )(\mathbf {nm} )=\mathbf {mnnm} =\mathbf {mm} =1

So the rotation can be written

\mathbf {x} ''=R\mathbf {x} R^{-1}

where $R = mn$ is the rotor.

The plane of rotation is the plane containing $m$ and $n$ , which must be distinct otherwise the reflections are the same and no rotation takes place. As either vector can be replaced by its negative the angle between them can always be acute, or at most $π$ /2. The rotation is through twice the angle between the vectors, up to $π$ or a half-turn. The sense of the rotation is to rotate from $m$ towards $n$ : the geometric product is not commutative（英语：commutative） so the product $nm$ is the inverse rotation, with sense from $n$ to $m$ .

Conversely all simple rotations can be generated this way, with two reflections, by two unit vectors in the plane of rotation separated by half the desired angle of rotation. These can be composed to produce more general rotations, using up to $n$ reflections if the dimension $n$ is even, $n - 2$ if $n$ is odd, by choosing pairs of reflections given by two vectors in each plane of rotation.^[9]^[10]

二重向量

二重向量s are quantities from geometric algebra（英语：geometric algebra）, clifford algebra（英语：clifford algebra） and the exterior algebra（英语：exterior algebra）, which generalise the idea of vectors into two dimensions. As vectors are to lines, so are bivectors to planes. So every plane (in any dimension) can be associated with a bivector, and every simple bivector（英语：Bivector#Simple bivectors） is associated with a plane. This makes them a good fit for describing planes of rotation.

Every rotation plane in a rotation has a simple bivector associated with it. This is parallel to the plane and has magnitude equal to the angle of rotation in the plane. These bivectors are summed to produce a single, generally non-simple, bivector for the whole rotation. This can generate a rotor（英语：Rotor (mathematics)） through the exponential map（英语：exponential function）, which can be used to rotate an object.

Bivectors are related to rotors through the exponential map (which applied to bivectors generates rotors and rotations using 棣莫弗公式). In particular given any bivector $B$ the rotor associated with it is

R_{\mathbf {B} }=e^{\frac {\mathbf {B} }{2}}.

This is a simple rotation if the bivector is simple, a more general rotation otherwise. When squared,

{R_{\mathbf {B} }}^{2}=e^{\frac {\mathbf {B} }{2}}e^{\frac {\mathbf {B} }{2}}=e^{\mathbf {B} },

it gives a rotor that rotates through twice the angle. If $B$ is simple then this is the same rotation as is generated by two reflections, as the product $mn$ gives a rotation through twice the angle between the vectors. These can be equated,

\mathbf {mn} =e^{\mathbf {B} },

from which it follows that the bivector associated with the plane of rotation containing $m$ and $n$ that rotates $m$ to $n$ is

\mathbf {B} =\log(\mathbf {mn} ).

This is a simple bivector, associated with the simple rotation described. More general rotations in four or more dimensions are associated with sums of simple bivectors, one for each plane of rotation, calculated as above.

Examples include the two rotations in four dimensions given above. The simple rotation in the $zw$ -plane by an angle $θ$ has bivector $e 34 θ$ , a simple bivector. The double rotation by $α$ and $β$ in the $xy$ -plane and $zw$ -planes has bivector $e 12 α + e 34 β$ , the sum of two simple bivectors $e 12 α$ and $e 34 β$ which are parallel to the two planes of rotation and have magnitudes equal to the angles of rotation.

Given a rotor the bivector associated with it can be recovered by taking the logarithm of the rotor, which can then be split into simple bivectors to determine the planes of rotation, although in practice for all but the simplest of cases this may be impractical. But given the simple bivectors geometric algebra is a useful tool for studying planes of rotation using algebra like the above.^[1]^[11]

特征值和特征平面

The planes of rotations for a particular rotation using the eigenvalue（英语：eigenvalue）s. Given a general rotation matrix in $n$ dimensions its characteristic equation（英语：secular equation） has either one (in odd dimensions) or zero (in even dimensions) real roots. The other roots are in complex conjugate pairs, exactly

\left\lfloor {\frac {n}{2}}\right\rfloor ,

such pairs. These correspond to the planes of rotation, the eigenplane（英语：eigenplane）s of the matrix, which can be calculated using algebraic techniques. In addition argument（英语：argument (complex analysis)）s of the complex roots are the magnitudes of the bivectors associated with the planes of rotations. The form of the characteristic equation is related to the planes, making it possible to relate its algebraic properties like repeated roots to the bivectors, where repeated bivector magnitudes have particular geometric interpretations.^[1]^[12]

另见

吉文斯旋转
Quaternions（英语：Quaternions）
Rotation group SO(3)（英语：Rotation group SO(3)）
Rotations in 4-dimensional Euclidean space（英语：Rotations in 4-dimensional Euclidean space）
SO(3)上的卡
六自由度

注

^ ^1.0 ^1.1 ^1.2 ^1.3 ^1.4 Lounesto (2001) pp. 222–223
^ Lounesto (2001) p. 38
^ Hestenes (1999) p. 48
^ Lounesto (2001) p. 222
^ Lounesto (2001) p.87
^ Lounesto (2001) pp.27–28
^ Hestenes (1999) pp 280–284
^ Lounesto (2001) pp. 83–89
^ Lounesto (2001) p. 57–58
^ Hestenes (1999) p. 278–280
^ Dorst, Doran, Lasenby (2002) pp. 79–89
^ Dorst, Doran, Lasenby (2002) pp. 145–154

参考

Hestenes, David. New Foundations for Classical Mechanics 2nd. Kluwer（英语：Kluwer）. 1999. ISBN 0-7923-5302-1.
Lounesto, Pertti. Clifford algebras and spinors. Cambridge: Cambridge University Press. 2001. ISBN 978-0-521-00551-7. ^{[失效链接]}
Dorst, Leo; Doran, Chris; Lasenby, Joan. Applications of geometric algebra in computer science and engineering. Birkhäuser（英语：Birkhäuser Verlag）. 2002. ISBN 0-8176-4267-6.

[LounestoCh17-1] 1.0 ^1.1 ^1.2 ^1.3 ^1.4 Lounesto (2001) pp. 222–223

[2] Lounesto (2001) p. 38

[3] Hestenes (1999) p. 48

[4] Lounesto (2001) p. 222

[5] Lounesto (2001) p.87

[6] Lounesto (2001) pp.27–28

[7] Hestenes (1999) pp 280–284

[8] Lounesto (2001) pp. 83–89

[9] Lounesto (2001) p. 57–58

[10] Hestenes (1999) p. 278–280

[11] Dorst, Doran, Lasenby (2002) pp. 79–89

[12] Dorst, Doran, Lasenby (2002) pp. 145–154

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

查论编维度
数字维度	负维零维一维二维三维四维五维六维七维八维九维维度（多维空间）
空间维度	向量空间的维数欧几里得空间仿射空间射影空间自由模流形代数簇的维数（英语：Dimension of an algebraic variety）时空
其它维度	克鲁尔维数拓扑维数归纳维数豪斯多夫维数计盒维数分形维数自由度
多胞形	超平面超曲面超方形 N维球面长菱体（英语：Hyperrectangle）超半方形正轴形单纯形类五边形形类二十面体形超金字塔（英语：Hyperpyramid）
形状组成	极小面顶点边面胞 ... 维峰维脊维面体（极大面）
参见	超空间余维数内射维度、投射维度与同调维度正图形列表
分类、

查论编几何学术语
点	顶点交点中点角同界角极值点最值点临界点驻点鞍点
直线和曲线	线段射线直线切线（主）法线副法线曲线圆锥曲线双曲线抛物线正弦曲线蚌线蜗线螺线（阿基米德螺线、等角螺线……）摆线（最速降线问题）悬链线曳物线渐开线渐屈线渐近线测地线边周界弦弧矢垂直平分线代数曲线椭圆曲线超椭圆星形线三尖瓣线方圆形勒洛三角形
平面图形	圆（广义圆）椭圆扇形弓形环形多边形三角形四边形五边形六边形多边形正多边形梯形平行四边形菱形矩形正方形鹞形卵形线梭形星形五角星六角星
立体图形	多面体正多面体四面体长方体立方体平行六面体棱柱反棱柱棱锥棱台圆柱体圆锥圆台椭球（长球体、扁球体）球体球缺球冠球台准线母线
曲面	二次曲面旋转曲面抛物面双曲面马鞍面球面椭球面类球面环面莫比乌斯带流形黎曼曲面
高维空间	超平面超面超曲面胞多胞形超球体超方形超立方体克莱因瓶四维柱体柱
图形关系	相似全等对称平行垂直相交相切相离镜像旋转反演截面缩放
三角形关系	相似三角形全等三角形
量	距离长度周长弧长高度面积表面积体积容积角度曲率挠率离心率凹凸性有向曲面可展曲面直纹曲面
作图	尺直尺三角尺圆规尺规作图二刻尺作图
分支	平面几何立体几何三角学解析几何微分几何拓扑学图论折纸数学欧几里得几何非欧几里得几何（双曲几何、球面几何……）分形
理论	定理公理定义数学证明
分类主题共享资源专题