【１】虚数乗法

　ｎ倍角公式を，ガウス整数ｍ＋ｎｉに拡張しても成り立つためには

　　ｓｌ（（ｍ＋ｎｉ）ｚ）＝ｓｌ（ｍｚ＋ｉｎｚ）＝｛ｓｌ（ｍｚ）ｓｌ’（ｉｎｚ）＋ｓｌ（ｉｎｚ）ｓｌ’（ｍｚ）｝／｛１＋ｓｌ^2（ｍｚ）ｓｌ^2（ｎｉｚ）｝＝

＝｛ｓｌ（ｍｚ）ｓｌ’（ｎｚ）＋ｉｓｌ（ｎｚ）ｓｌ’（ｍｚ）｝／｛１−ｓｌ^2（ｍｚ）ｓｌ^2（ｎｚ）｝

と定義する．

　とくに，ｍ＝１，ｎ＝±１のとき

　　ｓｌ（（１＋ｉ）ｚ）＝｛（１＋ｉ）ｓｌ（ｚ）ｓｌ’（ｚ）｝／｛１−ｓｌ^4（ｚ）｝

　　ｓｌ（（１−ｉ）ｚ）＝｛（１−ｉ）ｓｌ（ｚ）ｓｌ’（ｚ）｝／｛１−ｓｌ^4（ｚ）｝

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　α＝ｍ＋ｎｉについて，ｍ＋ｎが奇数のとき，Ｎα＝ｍ^2＋ｎ^2も奇数となる．ｍ＋ｎが奇数のとき，αは奇であという．αが奇でないとき，

　　α＝（１＋ｉ）β

と書ける．

［１］β＝ｍ＋ｎｉが奇のとき，ｓｌ（βｚ）＝０はＮβ個の解をもつ．

［２］ｓｌ（βｚ）＝ｉ^kｓｌ（ｚ）Ｐβ（ｓｌ^4（ｚ））／Ｑβ（ｓｌ^4（ｚ））　　ｋ＝０，１，２，３

が成り立つ．

［３］Ｐβ（ｕ），Ｑβ（ｕ）の次数は

　　（Ｎβ−１）／４＝（ｍ^2＋ｎ^2−１）／４

である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［雑感］

　ガウスによれば，レムニスケートのｎ等分方程式は，次数ｎ^2の方程式に帰着されるとある．言明［３］はその虚数乗法版である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝