论文标题
关于本杰明·奥林德·罗德里格斯（1795-1851）的工作
On the Work of Benjamin Olinde Rodrigues (1795-1851) -- in particuler, on Expression of Spatial Motions
论文作者
论文摘要
这是第22届数学史研讨会论文集的翻译，2011年Tsuda University，关于本杰明·奥林德·罗德里格斯（Benjamin Olinde Rodrigues）和他的生活。他的厨师是1840年在欧几里得运动组上的工作。他发明了罗德里格（Rodrigues）旋转的表达，并为两种旋转的产物提供了明确的计算公式，这可能被认为是汉密尔顿（Hamilton）之前对Quaternion产品规则的发现。我们在1938年的《罗德里格斯公式》（Rodrigues Formula）的书中遵循了E. Cartan的新证明，该书被错误地称为Euler-Olind-Rodrigues公式。我们添加了有关四季度应用的附录注释的重要部分。 Rodrigues表达中旋转的描述和一个有趣的紧凑型公式，用于旋转的时间导数，适用于许多目的。
This is a translation of Proceedings of 22 th Symposium on History of Mathematics, Tsuda University 2011, on the work of Benjamin Olinde Rodrigues and on his life. His chef-d'oeuvre is the work on Euclidean motion group in 1840. He invented Rodrigues expression of rotation and give explicit calculation formula for product of two rotations, which might be considered as a discovery of quaternion product rule ahead of Hamilton. We follow a new proof of E. Cartan in his book on spineurs in 1938 for Rodrigues formula, which was called as Euler-Olind-Rodrigues formula mistakenly. We add as Appendix important parts of Lecture Note on applications of quaternion. Description of rotation in Rodrigues expression and an interesting compact formula for time derivative of rotation, applicable in many purposes.
