回転クォータニオンを天下りではなく発見的に導入し、共役・積・ロドリゲス公式まで直感的に説明します。