Final notes about the construction Euler's rotation theorem



euler s original drawing


euler points out o can found intersecting perpendicular bisector of aa angle bisector of ∠αao, construction might easier in practice. proposed intersection of 2 planes:



the symmetry plane of angle ∠αaa (which passes through center c of sphere), and
the symmetry plane of arc aa (which passes through c).


proposition. these 2 planes intersect in diameter. diameter 1 looking for.


proof. let call o either of endpoints (there two) of diameter on sphere surface. since αa mapped on aa , triangles have same angles, follows triangle oαa transported onto triangle oaa. therefore point o has remain fixed under movement.


corollaries. shows rotation of sphere can seen 2 consecutive reflections 2 planes described above. points in mirror plane invariant under reflection, , hence points on intersection (a line: axis of rotation) invariant under both reflections, , hence under rotation.

another simple way find rotation axis considering plane on points α, a, lie. rotation axis orthogonal plane, , passes through center c of sphere.


given rigid body movement leaves axis invariant rotation, proves arbitrary composition of rotations equivalent single rotation around new axis.







Comments

Popular posts from this blog

CACHEbox ApplianSys

Kinship systems Apache

Western Apache Apache