複素数を巡って-美杉セミナー’95蟹江幸博

三重大学教育学部

はじめに複素数に関連した話をという三重県高校数学研究会の会長である中条先生からの要請で、２題の話を考えてみました。
高校生向けの美杉セミナーでの話は、対象がどうしても高校１、２年生ということで、微積分を原則として使えませんので、複素数を使った解析幾何の話をすることにしました。お引き受けした当座は、もう少し翔んだ話にしようかと思っていました。つまり、リーマンの写像定理の具体例として扇形や色々な多角形を単位円に等角に写したり、モ
ジュラー群の基本領域で出来る球面の上の模様を見せたりすれば、人工的でない綺麗な図がたくさん出てきて喜んでもらえるだろうかと思い、少しは準備もしたのです。
しかし、やはり２時間しかない講演で、複素数の導入から始めなけ
ればならないとあっては、そのような構想は現実的ではないと思い、あ
きらめました。
その代わり、初等幾何の部分だけでもすべてを納得の行くように解説したいと思って準備しましたが、なかなかまとまる迄にならないう
ちにセミナーの日が来てしまいました。準備した原稿が物足りないと思っていたのですが、実際にはそのとき準備したものの半分ほどしか話せませんでした。
第１節はその時のレジュメの気になった所を更に敷衍したものですので、これを改めて高校生に話すとすれば、４倍ほどの時間はかかるかもしれません。三重大学の数学教育の大学院生に、証明も付け、関連事項も説明しながら講義してみましたが、その倍ほどの時間が掛かっ1

てしまいました。適当に演習問題を付け加えて１年のコースに組むとか、幾つかの証明を演習問題に逃げれば、逃げ方によって、２時間２
コマから８コマくらいの連続講演には出来ると思いますが、１コマというのはやはり時間が足らなさそうです。
第２節は、高校の先生を対象とする、県の総合教育センターでの２時間弱の講演のためのレジュメに補筆したものです。最初は丁寧に話していましたが、段々と話しているうちにリズム感が出て、準備したものは大体話すことが出来ました。レジュメを配布してあったこともあって、適当な省略はしましたが、聴いてくださった先生方には、数学のシャワーを浴びたという感じではなかったでしょうか？シャワーの水温が多少高かったかも知れませんが。年に一度くらい、数学に接したという感じを持っていただけたらそれで良いのではないかと思います。
講演をお引き受けした春には、実は何のお話をしたら良いのかまる
で分かりませんでした。センターからのご依頼の電話をお聞きしていて、講演すべき趣旨が一向に分からず、冗談ではなく、「数学の話をしても良いのですか？」と聞き返したくらいです。数学の話でなければ断るというつもりはなかったのですが、数学教育の話をする場合ならもう少し内容についての注文を付けてもらわないと却って困るなと、感じて質問をしたのです。
そのときの質問のご返事は、実は僕にはよく分からないものでした。
数学の話をしても良いのか、悪いのか、分からないままお引き受けしてしまいました。センターの方でもあまりはっきりしていないようなニュアンスが感じられ、問い詰めるようなことになっても僕を推薦してくださった方に悪いような気がしてしまって、お引き受けしたのです。
次回の電話までにははっきりするだろうと思いましたが、やはり心配で、推薦して下さった高校の先生に連絡をしてみました。これもまた要領を得ない返事で、適当にやってくれれば良い、というものでした。
「適当」に、とは、「どのようにも」ということではない筈ですが、下駄を預けられた当方は「途方に暮れる」、ということになってしまいました。
「時が解決してくれる」と、問題を放り出して置きました。何処かで誰かが決めてくれればそれでもいいし、そうでなければ僕が何かで覚悟すれば良いだけのことだと思うことにしました。
その後も、センターの方や高校の先生方と話す機会のあったときに2

訊ねてみましたが結局要領を得ず、引き受けてしまった以上、自分で決めるほかないようでした。察するところ、本当に「適当に」することが望まれていたような気がします。
題材を決めたきっかけは二つで、一つはもちろん中条先生の「複素数」に関係してという美杉セミナーへの注文ですが、もう一つは僕の専門にも関係があります。
僕は大学時代から色々な分野に興味があるのですが、トポロジストと呼ばれるほどにはトポロジーを知らず、表現論屋と呼ばれるほどにはリー群を知らず、力学系屋と呼ばれるほどには古典力学を知らず、数理物理学者と言われるほどには素粒子論を知りません。体についても、実数以外の体には、感性を持っていないと言った方が良いくらいです。
弦模型と言われる素粒子論の理論の数学的定式化の一つに共形場理論というものがありますが、それにかかわりをもつ数学が近ごろの僕のテーマです。
理論に対称性があればあるほど、理論は詳細に規定され美しいものが得られます。そのため共形場理論を記述する体は、複素数体になります。しかし、共形場理論も複素射影直線（実数体上では射影平面と同じもの）上で展開する限りそんなに複素数に関する感性は必要ありません。そのため、理論がジーナス（示性数）の高い複素直線（実数体上では向きのある曲面）の上に移行した行ったときに取り残されてしまいました。
１９９５年７月に関係した研究集会があり、そこで、若い研究者の養成のためのコースに紛れ込んで、リーマン面のモジュライの話を聞きました。関数論ではリーマン面と言うものが代数幾何では（複素）直線と言うのです。モジュライとはその同型類の空間のことで、元々はリーマン面の変形の理論を記述する場として用意されたものですが、穴開き空間の共形場理論はこの上で展開されるということになります。
今更ということもありますが、それなりに面白いのです。重要なものだから、モジュライに関する専門家の書いた本は何冊かあるのです
が、素人が、というかユーザーの立場で書いた本も面白いかもしれな
いと言う話になって、具体的で実用的な本を書いたらどうだと、冗談交じりにけしかける人がいました。
「歳を取ると、きっかけがないと働かない」と、少しその気になってみることにしました。けしかけた人は忘れているかもしれません。
ま、そのため迂遠な話ではありますが、楕円関数を勉強しているう

3

ちに、ごく初歩の部分なら高校の数学を知っていれば理解できるように話せるのではないと思うようになりました。三角関数の見直しという視点で押し通して、もっとも簡単な楕円関数であるレムニスケート・
サイン関数の話をしてみることにしました。
実際に分かるものになるかどうか、高校の先生方に実験台になって頂くことにしようと思ったら、とても気が楽になって、内容について思い悩むことはなくなりました。
さて、実験の結果はどうだったのでしょうか？

目次
1

複素数と幾何 (美杉セミナー’95 のレジュメ)
1.1 いろいろな数 . . . . . . . . . . . . . . . . . . . . . . .
1.2 複素数の定義 . . . . . . . . . . . . . . . . . . . . . . .
1.3 平面の変換と複素数の演算 . . . . . . . . . . . . . . . .
1.4 直線を複素数で表す . . . . . . . . . . . . . . . . . . .
1.5 オイラーの公式、角を複素数で表すために . . . . . . .
1.6 角の等分線 . . . . . . . . . . . . . . . . . . . . . . . .
1.7 色々な三角形 . . . . . . . . . . . . . . . . . . . . . . .
1.8 色々な四角形 . . . . . . . . . . . . . . . . . . . . . . .
1.9 三角形の５心を複素数で表す。 . . . . . . . . . . . . .
1.10 円を複素数で表す。 . . . . . . . . . . . . . . . . . . . .
1.11 曲線を複素数で表す。 . . . . . . . . . . . . . . . . . .
1.12 １次分数変換 . . . . . . . . . . . . . . . . . . . . . . .

5
5
6
8
11
14
18
19
21
22
23
25
26

2

楕円関数へ
2.1 レムニスケート曲線 . . . . . . . . . . . . . . . . . . .
2.2 三角関数の場合 . . . . . . . . . . . . . . . . . . . . . .
2.3 指数関数の場合 . . . . . . . . . . . . . . . . . . . . . .
2.4 レムニスケート関数 . . . . . . . . . . . . . . . . . . .
2.5 レムニスケート関数の２重周期性 . . . . . . . . . . . .
2.6 ヤコービの楕円関数 . . . . . . . . . . . . . . . . . . .

30
30
34
38
41
47
49

3

終わりに

52

4

複素数と幾何 (美杉セミナー’95 のレジュメ)

1

複素数の重要性も理論の美しさも、代数閉体であるという代数的な部分ばかりでなく、正則性を支える解析の部分がそれ以上に強調されるべきなのだが、高校１、２年を対象とする講演では微積分を使うことはできない。せめて初等幾何で、複素数での記述の簡潔さや美しさを鑑賞してもらいたい。

1.1

いろいろな数

数といってもいろいろあって、複素数というのはまことに程良い位置にある。四則演算がそれなりに可能な「数の体系」を挙げて、程の良さを味わって貰うことにする。
数の世界の深さと広がりの一端だけでも味わってほしかっただけだが、この 1.1 小節はすこぶるペダンティックになってしまった。それも遊び。
体とか、環とか、群とか、半群とかいう言葉は、どんな演算がありどんな性質を満たすかということを表している1 。

N : 自然数の全体（加法についても、乗法についても半群）
Z: 整数環（整数の全体；加法については群、乗法については半群）
Q: 有理数体（整数比の分数の全体）
R: 実数体（数直線の点に対応）可換連続な順序位相体
C: 複素数体（平面の点に対応）可換連続な位相体
H: 四元数体（４次元の空間の点に対応）非可換連続な位相体
注意ここで「連続」というのは、数学的にきちんと言うなら、「離散でなく、局所コンパクトでハウスドルフなもの」ということだが、厳
密な定義は大学で数学を勉強する時に。
ここでは、複素数 C が特別なものでないことが分かればいい。と言って、このような数の体系が幾らでもあるというものでもない。ポント1

大学でこれらの言葉を習う人は沢山いないかもしれないが、それでもこれはあったほうがいい教養。もちろんなくても生きるのには何の支障もない。

5

リャーギンの「連続群論」[20] には、『連続で、連結な位相体は、 R, C, H
以外にはない』という定理が証明されている。
この短い話の中では、複素数 C は集合としては平面 R2 と同じものであり、複素数の演算、操作、関数などにより、平面の図形がどのように写され、変形されるかを見てみることにしよう。

1.2

複素数の定義実数 R は分かっているものとして、複素数 C の形式的な定義から始めよう。
複素数 z ∈ C とは、二つの実数 x, y ∈ R に対して、z = x + iy√と書かれるもののことで、i = −1 は 虚数単位 と呼ばれるあるシンボルと考えておく。i2 = −1 を満たす実数はないのだから、ともかく iは実数ではない。
二つの複素数 z1 = x1 + iy1 と z2 = x2 + iy2 が等しいとは、x1 = x2
かつ y1 = y2 の時と定める。
だから、複素数 z = x + iy は、平面 R2 の点 (x, y) と同一視することが出来、平面の点に四則演算を定義したものとして、複素数を考えることが出来る。何故そんなことを考えなければならないのかという疑問に対しては、今はまだ、虚数単位 i は実数ではないからとだけ答えておこう。
実数 R は、R + i0 として、複素数 C の一部だと考えることが出来る
が、これは実数直線 R を平面 R2 の中では x 軸と考えていることにあたる。
演算を以下のように定義した後では、平面 R2 は複素平面 C と呼ぶことになるが、そのとき、x 軸は 実軸、y 軸は 虚軸 という。虚軸上の数を 純虚数 と言う。
二つの複素数 z1 = x1 + iy1 と z2 = x2 + iy2 に対して、
加法： z1 + z2 = (x1 + x2 ) + i(y1 + y2 )減法： z1 − z2 = (x1 − x2 ) + i(y1 − y2 )乗法： z1 z2 = (x1 x2 − y1 y2 ) + i(x1 y2 + x2 y1 )

6

除法：

z1
x1 x2 + y1 y2
x2 y1 − x1 y2
=
+i
2
2
z2
x2 + y2x22 + y22
(ただし、z2 ̸= 0 つまり x22 + y22 ̸= 0)と定めれば、0, 1 をそれぞれ加法、乗法の単位元として、体の公理を満たすことが分かる。つまりそれぞれの、結合法則、交換法則、単位元の存在、逆元の存在、そして分配法則を満たすのである。
複素数 z = x + iy に対して、 x を z の 実部、y を z の 虚部 と言い、x = ℜ(z), y = ℑ(z) と書く。このとき、 ℑ(z) = 0 である複素数 zが実数であり、ℜ(z) = 0 である z が純虚数である。
z̄ = x − iy を z = x + iy の 共役 複素数と言う。これを使えば、 zが実数であることは z̄ = z 、純虚数であることは z̄ = −z で与えられることになる。

ℑ(z)
6

z2 q

qz = x + iy

- ℜ(z)qz1 = z1z2qqz̄ = x − iy

更に、実部と虚部は共役複素数を用いてℜ(z) =z + z̄
,2ℑ(z) =z − z̄
2iと表すことが出来る。また、z̄¯ = z, z1 ± z2 = z1 ± z2 , z1 z2 = z¯1 z¯2 ,

(

z1
z2

)

=

z¯1
(z2 ̸= 0)z¯2であることもすぐに分かる。
z z̄ を考えると、 z z̄ = z̄ z̄¯ = z̄z = z z̄ だから、実数である。実部 xと虚部 y を使って計算すると z z̄ = x2 + y 2 となり、z ̸= 0 である限
り、正の実数になる。この平方根は、原点 0 と点 z との距離を表して7おり、 |z| と書き、z の絶対値と呼ぶ。つまり、

|z| =

√
√
z z̄ = x2 + y 2である。覚えにくい割り算の定義式も、共役複素数を使ってみれば

z1
z1 z¯2z1 z¯2==z2
z2 z¯2|z2 |2となって、分かり易いものになる。

1.3

平面の変換と複素数の演算

複素数の加減法はベクトルの平行移動にあたっている。
→
ベクトル OA= (a, b) に対する平行移動は、α = a + ib (a, b ∈ R) を加えることで実現される。
→→→−→
OP = (x, y)
OP ± OA= (x ± a, y ± b)66?

z = x + iy?

−→z ± α = (x + a) ± i(y + b)

これを図に描いてみれば、

ℑ(z)
6

*
α

7

z  -α  


z−α 

z+α

  
  
AK
  
A
* α

A 

 
-ℜ(z)
A
`
`
Q
B Q`````
```
B Q

* w+α
Q
B
Q α
Q
s
B
B -α  w

BN

w−α

のようになる。

8また、z をその絶対値 |z| で割れば、つまり、zの絶対値は 1 と|z|

なり、単位円周S 1 = {(x, y); x2 + y 2 = 1} = {z; |z| = 1}
上の点となる。円周 S 1 の点は、 x 軸 (実軸) からの角 θ によって指定され、この時実部 x と虚部 y は

x = cos θ,

y = sin θと表現される。θ は、 1 = (1, 0) から z = (x, y) までの、円周 S 1 上の弧の長さとして表しておくのが都合が良い。角度の単位にラジアンを用いるのである2 。
また θ は、 2π の整数倍を除いて定まるが、通常は [0, 2π) か、[−π, π)かのどちらかにとることが多い。もちろん議論していく際必要があればどんなに大きな値でも構わないが、いつでも 2π の整数倍ずらして考えていても良い。また、 θ は複素数 z の 偏角(argument) と呼ばれ、
θ = arg z と表す。
こうすれば、複素数 z はその絶対値 r = |z| と偏角 θ = arg z を用いて、
z = x + iy = r(cos θ + i sin θ)と表される。これを複素数 z の 極形式 と言う (平面の点 (x, y) の極座
標表示 x = r cos θ, y = r sin θ に対応するもの)。

ℑ(z)6r sin θ
r 



 θ


3 z = r(cos θ + i sin θ)






r cos θ2

- ℜ(z)

この講の中では微積分の話をしないが、知っている人のために、言っておくことにすると、ラジアンを単位にすると sin x の微分が cos x になるが、度数法で量ると2π
sin x の微分は
cos x になるから、不便だというのである。
3609さて、極形式を使えば、複素数の積と商に簡明な意味がつく。極形式で、 zj = rj (cos θj + i sin θj ) (j = 1, 2) とおけば、

z1 z2 = r1 r2 (cos θ1 cos θ2 − sin θ1 sin θ2 + i(cos θ1 sin θ2 + sin θ1 cos θ2 ))= r1 r2 (cos(θ1 + θ2 ) + i sin(θ1 + θ2 ))となる。つまり、複素数の積は絶対値は積、偏角は和になるのである。
同様に、商もz1
r1= (cos(θ1 − θ2 ) + i sin(θ1 − θ2 ))z2
r2となり、商は絶対値の商、偏角の差となるのである。
z を掛けることは、偏角 θ = arg z の回転をし、絶対値 r = |z| の倍率の（全方向への）拡大縮小をすることになる。
また、共役複素数をとるという操作は、実軸に関する折り返し（鏡映）であり、極形式で表せば、z̄ = r(cos θ − i sin θ) = r(cos(−θ) + i sin(−θ))となり、偏角の符号を変えるという操作になる。
こうして、加減乗除と共役をとるという操作によって、平面の合同
変換はすべて実現されることになる。平面の合同変換と全方向への拡大縮小ができるが出来るということは、つまり平面の相似変換は複素数の操作で出来るということである。
相似変換以外の変形を与える複素変数の関数（複素数値の）を考えたいのだが、その前に、２次元のベクトルで出来ることが複素数で出来るのかを見ておこう。
→
内積 については、 (z1 , z2 ) = z1 z2 とおけば、ベクトル OPj (j = 1, 2)の二つの積が、実部と虚部に現れる (ここに、点 Pj は複素数 zj が表す平面の点)。つまり、(z1 , z2 ) = (x1 x2 +y1 y2 )+i(x1 y2 −x2 y1 ) = r1 r2 (cos(θ2 −θ1 )+i sin(θ2 −θ1 ))→→となり、実部はベクトル OP1 と OP2 の普通の内積 (各ベクトルの長さ→→とそのなす角の余弦の積) であり、虚部はベクトル OP1 と OP2 の作る
平行四辺形の（符号付きの）面積である。

10

平面 R2 をベクトルの空間と見たときの一般的な写像は、２行２列の行列を掛けることで得られる１次変換であるが、これには平行移動は含まれないものの、回転、折り返し、拡大縮小は含まれている。
更に、この拡大縮小は、２つの方向に対して別々の率で行うことが出来、その倍率も 0 であることを許している。その時、平面はある直線につぶれもするし、１点（原点）につぶれもする。もっとも、１点につぶれるのは、複素数でも 0 を掛けることに当たっている。
この２つの方向に対する別々の率での拡大縮小は、実は複素数の世界には馴染まない。
複素数の世界には等角性という見事な秩序がある。その秩序に従いながらも豊かで多様な現象を見ることが出来る。
色々な平面図形を複素数で表わすことを考えよう。
「複素数で」ということは、「実部虚部に戻らないで」ということ、つまり直接に複素数の複素数としての演算や性質だけを用いて表すというつもりである。
一言でいうなら z = x + iy の言葉で書き、 x, y は使わずに済ますということである。
x, y を使った式で表すのが解析幾何であった。この節は、複素数を使って解析幾何を書き直してみようということである。幾何のままやるのが易しいことも、解析幾何が易しいこともあるけれど、複素数を使っての幾何が易しいこともあって、それはそれで面白いこともあるというのがテーマである。

1.4

直線を複素数で表す

まず、原点 0 を始点とするベクトルとして α と β がα
平行 α ∥ β ⇐⇒ ∈ R ⇐⇒ αβ̄ = ᾱββα
垂直 α ⊥ β ⇐⇒ ∈ iR ⇐⇒ αβ̄ + ᾱβ = 0
β「平行」は、原点と β を結ぶ直線は、実数 t をパラメータとして、z = tβ と書けるということを直接表しており、t が実数であることを表す式 t = t̄ を利用して、t を消去すれば得られる。
「垂直」も同様で、原点を通り β に垂直な直線は、実数 t をパラメータとして、z = itβ と書けるということであり、it が純虚数であることを表す式 it + it = 0 を利用すれば良い。

11

始点を原点 0 から一般の点 γ にするのは、座標変換をするだけのことで、すべての変数を −γ すれば良いから、
線分 αγ と βγ が平行 ⇐⇒ (α − γ) ∥ (β − γ)⇐⇒ (α − γ)(β̄ − γ̄) = (ᾱ − γ̄)(β − γ)
これは α, β, γ が共線（一直線上にある）ということ。
線分 αγ と βγ が垂直 ⇐⇒ (α − γ) ⊥ (β − γ)⇐⇒ (α − γ)(β̄ − γ̄) + (ᾱ − γ̄)(β − γ) = 0⇐⇒ |α − β|2 = |β − γ|2 + |α − γ|2
これは α, β, γ が直角三角形をなすということ。
となる3 。
これらのことを使えば、パラメータ表示された直線は、複素数の言葉で方程式として表されることになる。
色々な方法で与えられた 直線の方程式 を挙げてみることにしよう。
始めの２つは、x, y 平面上の直線としての一般形と Hesse の標準系に対応する方程式としてあげてあるが、他のものは、幾何的な意味を素直に複素数で表現したものになっている。 x, y 平面上の直線として表すことは、簡単な演習問題である。

1. 一般形 (ax + by + c = 0, a, b, c ∈ R)
α = a + ib ∈ C と置くとき
αz̄ + ᾱz + 2c = 0 ⇐⇒ ℜ(αz̄) = c
2. Hesse の標準形 (x cos θ + y sin θ = p ; 原点からその直線へおろした垂線の長さが p > 0 で傾きの角度が θ)
π = p(cos θ + i sin θ) = peiθ はこの垂線の足であり、これはピタゴラスの定理の別証明になっているわけではない。|α| が原点と点 αとの距離であること、ひいては |α − β| が線分 αβ の長さであるとする定義そのものの中に、ピタゴラスの定理が既に潜んでいるのである。つまり、ピタゴラスの定理が成り立つ世界に最初からいるのである。
312e−iθ z + eiθ z̄ = 2pπ̄z + πz̄ = 2|π|2

一般形 αz̄ + ᾱz + 2c = 0 との対応を考えれば、|c|cα
π = − ᾱc , p = |α|, eiθ = − |cα|となり、垂線の足 π が一般形の係数からこんなも簡単な式で書ccαき下せる。もちろん、 π = − = − 2 と書いてみれば、実数ᾱ|α|での計算と全く同じことであるのだが。

ca
cb
|c|
π=− 2
−i 2
,
p= √ 2
2
2
a +b
a +b
a + b2ℑeiθ
−i(cα − cᾱ)α − ᾱ
2bbtan θ =
=
=
=
=
iθ
ℜe
cα + cᾱα + ᾱ
2aa
3. 原点と点 α ̸= 0 を通る直線

αz̄ = ᾱz

4. ２点 α ̸= β を通る直線(z − α) ∥ (z − β)

平行 (z, αβ が共線)

(α − β)(z̄ − β̄) = (ᾱ − β̄)(z − β)(β − α)z̄ − (β̄ − ᾱ)z = β ᾱ − αβ̄
5. ２点 α(̸= 0) と 0 との垂直２等分線|z − α| = |z|
z
z̄
+
= 1
α ᾱ
α = 2peiθ とおけば、このままHesse の標準形
z̄
z
+
= 1
iθ
2pe
2pe−iθ

13

6. ２点 α と β (α ̸= β) との垂直２等分線|z − α| = |z − β|(β − α)z̄ + (β̄ − ᾱ)z = β β̄ − αᾱ
7. ̸ α0β の２等分線
0と

α
β
+
を結ぶ直線 ⇔ 0 とα|β| + β|α| を結ぶ直線|α| |β|(ᾱ|β| + β̄|α|)z = (α|β| + β|α|)z̄

とくに、|α| = |β| の時は、0 と α + β を結ぶ直線ということにな
り、方程式は(ᾱ + β̄)z = (α + β)z̄
である。

1.5

オイラーの公式、角を複素数で表すためにオイラーの名で呼ばれる公式は幾つかあるが、複素数の導入の何処かで必ず触れればならず、といって、それには何かしらの予備知識が必要となるため、誰もが述べ方に苦慮するのが、オイラーの公式 I

eiθ = cos θ + i sin θである4 。θ = π での値だけを見れば、

eiπ + 1 = 0

オイラーの公式 IIとなる。こちらの方が、特別な数 e, π, 1 が虚数 i を使うことによって結び付いている、という言い方によって、有名かもしれない。
しかし、この特別な値でだけの式を、それだけで説明するということは出来ない。eiπ の値をどのように与えるかという問題がある。
複素変数 z の複素数値の指数関数 ez があって、その z = iπ での値と思うことも出来るし、純虚数 iθ を変数とする指数函数 eiθ の θ = π での値と思うことも出来るし、単独に eiπ での値を定義しても良い。
4

前節 1.4 の Hesse の標準形のところでスペースの節約のためにこの公式を既に使っている。

14

定義しても良いのだが、その手間は本質的には何も変わらない。つまり、単独に eiπ での値を定義するとして、それを単に −1 と置くだけ
なら、そこには何の神秘もない。実変数の関数として非常に重要な指数函数 ex が複素領域に 自然に 拡張され、その特殊な値として特別な数が関係しあう所に神秘が感じられるのである。
だから、オイラーの公式はスローガンとしての公式 II、数学的実質としての公式 I と考えておけばよいだろう。
オイラーの公式の理解の仕方は色々あるだろうけれど、複素数 z に対してその偏角 θ = arg z を z の関数として直接的に表すための手段だという観点がある。
角を複素数で表すといっても、偏角は極形式を通して複素数と結び付いているのだから、特別なことが出来るわけではない。
複素数 z の極形式で何が言えるか、考えてみよう。偏角 θ は、原点 0
から点 z を見込む方向を実軸の正の方向から測った角であった。
極形式を使うと便利なことは何だっただろう。極形式で、zj =rj (cos θj + i sin θj ) (j = 1, 2) とおけば、

z1 z2 = r1 r2 (cos(θ1 + θ2 ) + i sin(θ1 + θ2 ))z1
r1=(cos(θ1 − θ2 ) + i sin(θ1 − θ2 ))z2r2であった。角のことだけ考えたいので、絶対値 |z| は 1 で考えることにし、さらに θ1 = θ2 = θ とおけば、z = cos θ + i sin θ に対し、

z 2 = (cos θ + i sin θ)2 = cos 2θ + i sin 2θ
となる。さらには、数学的帰納法により、すべての自然数 n に対して、

z n = (cos θ + i sin θ)n = cos nθ + i sin nθ (ドモアヴルの公式)になることが分かる。n = 0 のときは z 0 = 1 = cos 0 + i sin 0 であり、負巾に対しても、z −n =

1= cos(0 − nθ) + i sin(0 − nθ) = cos(−nθ) + i sin(−nθ)
znであり、すべての整数 n, m に対してz m z n = cos(m + n)θ + i sin(m + n)θ
15

であることが分かる。
何とか複素変数 z の指数関数 ez を持ち出さずにオイラーの公式 I を納得してもらおうと、公式 I の右辺が θ の指数関数であることの風景を色んな角度から眺めてみようとしたのだが、結局は積の公式そのもの
より説得力が増すわけではないようだ。積の公式だけからやり直そう。
恒等的に 0 でない実関数 y = f (x) が連続で、指数法則 f (x1 + x2 ) =f (x1 )f (x2 ) を満たせば、f (x) = ax , (a = f (1)) であった。また、x が実数なら、a が複素数でも指数関数 ax を考えるのは難しいことではない。
そこで、f (θ) = cos θ + i sin θ を実変数 θ の関数と考え、さらに実関数ではないものの、実関数が二つならんでいるだけだから「同じことだ」と思うことにすれば、積の公式は f (θ1 )f (θ2 ) = f (θ1 + θ2 ) を意味しており、
f (θ) = f (1)θ = (cos 1 + i sin 1)θ
となると思って良いだろう5 。
まだオイラーの公式にならない。cos 1 + i sin 1 = ei となってくれる必要がある。
ここで少しだけ、微分の知識を使わせてもらうことにしよう。三角関数と指数関数の微分公式(ex )′ = ex(sin x)′ = cos x(ax )′ = ax log a (a ̸= 0)(cos x)′ = − sin xだけを使わせてもらう。f (θ) = aθ として a = f (1) を求めることにす
れば、θ で微分して、d θ
a = f ′ (θ) = (cos θ)′ + i(sin θ)′dθ= − sin θ + i cos θ= i(cos θ + i sin θ) = if (θ) = iaθが得られる。それゆえ、上の２つ目の微分公式から

i = log a = log(cos 1 + i sin 1)が得られる。従って、

ei = a = cos 1 + i sin 15

証明するには大学以降の数学が必要で、ここでは納得して貰うことだけを考え
ている。

16

となる。
実関数での議論がどれほど複素関数でも通用するかは慎重にならな
くてはいけないが、こういう形式的な部分はできる限り同様になっている6 。
対数微分を知っていれば、そしてそれに抵抗がなければ次のようにしても良い。

df ′ (θ)log f (θ) =
=i
dθ
f (θ)
log f (θ) = iθ + C
θ = 0 での値を比較して、C = 0 が分かり、
log f (θ) = iθf (θ) = eiθとなるのである。
オイラーの公式を使えば、極形式を使った計算が簡単に出来る。どうしても納得しないという人は、sin θ, cos θ を使ってやっても構わない
し、それでも同じ結論が得られる。一つ一つの式が長くなるだけのことである。便利だから使う。それだけで良いことです。
さて、オイラーの公式を使えば、偏角 θ は z の関数として書けてしまう。z = |z|eiθ なのだから

θ=

z
1
log
i
|z|

である。偏角は、定義から、z だけで値は確定していたのではなかった。つまり、2π の整数倍を除いてしか決まらなかったのだった。そう、
複素関数としての対数 log z は１価の関数ではなく、多価の関数になるのである7 。
6

なっているように定義するのだし、それでもならないときは、ならないことを調べることに意義が出てくる、ということで納得してもらうことにしよう。
7関数は本来１価のもので、多価のものは関数ではないのではないかと思うのは正しいのだが、自然がこうなっているものは仕方がない。しかし、やはり多価であるのは気持ちが悪く、１価であると考えたいとすることで、（独立変）数の棲む場として空間概念を広げることが、リーマンが 多様体 を発明する動機であった。

17

多価関数がいやなら、初等幾何に応用する範囲では、

z
= eiθ
|z|
となる θ が偏角だと思っていれば良い。

1.6

角の等分線

複素数 α = reiθ の偏角 θ は、0, 1, α の表す点をそれぞれ O, P, A と書
けば、̸ P OA のことである。O から A 方向への半直線は teiθ (t ≥ 0)と表される。同様に偏角 2θ の点のなす半直線は te2iθ (t ≥ 0) と表さ
θ
れ、偏角 ϕ = の点のなす半直線は teiϕ (t ≥ 0) と表されることに2なる。後者は ̸ P OA の２等分線だから、このパラメータ表示は方程式(ᾱ + |α|)z = (α + |α|)z̄ と一致する筈である。
確かめてみよう。角のことだから、|α| = 1 としておく。γ = eiϕ とおけば、α = γ 2 であり、パラメータ表示は z = tγ である。方程式(ᾱ + 1)z = (α + 1)z̄ の方は、原点と α + 1 を結ぶ直線で、これは菱形の対角線だから、頂角を２等分している筈である。
パラメータ表示 z = tγ から t を消去すれば、 z = αz̄ となる。A を実軸に関して折り返した点を A′ (ᾱ) とすれば、 z̄ は ̸ P OA′ の２等分線上にあり、その二つの２等分線のなす角が元の角 θ = ̸ P OA になるということを表している。
6

>
A 


r





1





θ

r

P
PP θ
O ZZ
P
PP
P
Z
PP
Z
PP
q
Z
Z
Z
ZA
r ′
Z
Z
Z
~

-

そして、 (ᾱ + 1)z = (α + 1)z̄ と z = αz̄ が同じ式であることは、ᾱ = α−1 (なぜなら αᾱ = 1 ) を使えばすぐに分かることである。

18

αを (ᾱ + 1)z = (α + 1)z̄ に代入すれば、|α|
1.4 節で得た公式 (ᾱ + |α|)z = (α + |α|)z̄ が導かれる。
角の辺の一方が x 軸でないときには、一方の辺を x 軸の正の方向に回せば良い。やってみよう。̸ AOB の２等分線を考える。α, β を極形式で
α = reiθ1 , β = seiθ2 と表しておく。全体に α−1 = r−1 e−iθ1 を掛ければ、A は P に、 B は βα−1 = sr−1 ei(θ2 −θ1 ) になり、 z も zα−1 となる。これを、(ᾱ+|α|)z = (α+|α|)z̄ に代入すれば、(ᾱ|β|+β̄|α|)z = (α|β|+β|α|)z̄が得られる8 。
また、 |α| ̸= 1 のときは、

̸

P OA の３等分線、ひいては n 等分線もパラメータ表示で良いなら、2θ
易しい。z = tei n (t ≥ 0) とすればよい。方程式で書いても、z = α n z̄と書けはするが、n 乗根をとらないといけない。もっとも、絶対値の部分は無視してよく、偏角を n で割ればいいので同じことなのだが。

1.7

色々な三角形

さて、いよいよ幾何をやってみることにする。
平面の点 A(x, y) は、複素数 α = x + iy で表せば良い。線分 AB は、複素数の組みで αβ と表せば良いだろう。三角形 ABC は、複素数の３つ組みを使って三角形 αβγ と書いても誤解を産むことはないだろう。
ほかも同様に、点に対応して複素数を並べておけば、幾何の方で分かっている限り間違うことはないだろう。
さて、三角形を扱うのだが、繁雑になるだけなので、頂点の一つは原点 0 にあるとしておく。
必要ならば、座標を平行移動すれば良い。
考えてみれば、この座標変換こそが解析幾何の利点なのであった。初
等幾何で簡単に分かる事柄を解析幾何に置き換えると大抵は面倒になるばかりで、御利益がとんと分からない、といった気分を味わった人も多いだろう。
それはその通りなのである。そのかわり、初等幾何で簡単に分からないことが、解析幾何を使えば解決されたり見通しが付いたりすることがある。それが利点である。
このとき当然のことだが、z は角だけ回して ze−iθ1 として代入しても同じ式が得られる。確かめるのはよい演習問題である。
8

19

しかし、残念なことは「そういうことがある」というだけで、いつもそうなるというわけではないということだ。
しかし、問題解決の方法は沢山知っておいて悪いことはない。そして、面白いと感じることの出来ることが一つでもあれば良いのじゃな
いだろうか。もちろん沢山あればもっと良い。感性のあるなしでも、意
味合いが違ってくる。
複素数でやりきるという試みをしたことがなかったからか、僕にはこれがとても新鮮で面白かった。
幾何に戻ろう。
解析幾何は図形の問題を代数的な式の変形で解決しようとするものであった。多くの場合、却って繁雑になるが、座標変換によって、簡単な表式が得られ、計算も容易で、証明の見通しよくなることがある。
しかし、うまい座標変換をとってやる必要があって、これは一種、初等幾何での補助線の発見のようなスリルと感動があるものである。
座標変換で、一番簡単なのは平行移動で、それだけでも随分状況が易しくなることがある。
一般に三角形 αβγ を考えるとき、一つの頂点 γ を原点 0 に移動させると、他の頂点 α, β はそれぞれ α−γ, β −γ に移る。対応する点を ABCと表すとき、例えば辺 AB = AC は元々|α − β| = |α − γ| と表されるが、C を原点に置けば |α − β| = |α| と表せばよい。AC = BC なら|α| = |β| と表せばよい。
名前を知っている三角形のリストと、それを複素数でどのように表すかと挙げておく。
三角形 0αβ は二等辺三角形 ⇐⇒ |α| = |β| または、|α| = |α − β| または |α − β| = |β|正三角形 ⇐⇒ |α| = |β| = |α − β|直角三角形 (̸ 0 を直角とする) ⇐⇒ αβ̄ + ᾱβ = 0
直角二等辺三角形 (̸ 0 を直角とする) ⇐⇒ α = ±iβ ⇐⇒ α2 + β 2 = 0
２等辺三角形の等辺はどの対でも良いのだけれど、それで何かを示
そうとすれば、表式が簡単な方が良い。例として、「２等辺三角形の底角は等しい」
ことを示してみよう。

20まず等しい辺は OA = OB としよう。必要なら、回転させてもいい
し、等辺に挟まれる頂点を原点に移動しても良い。
|α| = |β| としたことになった。
両辺を２乗して、αᾱ = β β̄ 。その両辺から αβ̄ を引いて αβ̄ で割れば、

α−ββ̄ − ᾱ
=
α
β̄
α−β
β−α
arg
= − argαβとなり、̸ OBA = ̸ OAB が示されたことになる。

1.8

色々な四角形

四角形 0αγβ は台形 ⇐⇒ α∥γ − β またはβ∥γ − α⇐⇒ α(γ̄ − β̄) = ᾱ(γ − β) またはβ(γ̄ − ᾱ) = β̄(γ − α)
平行四辺形 ⇐⇒

α = γ − β ⇐⇒ γ = α + β ⇐⇒ |α| = |γ − β| かつ |γ − α| = |β|
菱形 ⇐⇒ γ = α + β かつ |α| = |β|長方形 ⇐⇒ γ = α + β かつαβ̄ + ᾱβ = 0
正方形 ⇐⇒ γ = α + β かつα = ±iβ6:γ


β


K
T

 T
T


T



βT− α

T


T


T


X
0 XXXXX T 
XX
T α
z

-

21

四角形では、γ は対角線であり、β − α はもう一つの対角線である。
α+β
平行四辺形のときは、γ = α + β であり、は２つの対角線の中2点であり、「平行四辺形の対角線は互いに他を２等分する」のである。
菱形の場合は更に、(α + β)(β̄ − ᾱ) + (ᾱ + β̄)(β − α) = 2αᾱ − 2β β̄ == 2(|α|2 − |β|2 ) = 0 となるから、対角線は直交することになる。さらに、 0 と α + β を結ぶ直線は ̸ α0β の２等分線だから、「菱形の対角
線は頂角を２等分し、もう一つの対角線を垂直２等分する」ことが分かる。
この時 △0αβ を考えれば２等辺三角形で、「２等辺三角形の頂角の２等分線は底辺に垂直であり、交点は底辺の中点である」という事実を表している。

三角形の５心を複素数で表す。

1.9

三角形 αβγ の５心を表してみよう。△αβγ の
内心

α|β − γ| + β|γ − α| + γ|α − β||β − γ| + |γ − α| + |α − β|

外心 z⇐⇒ |z − α| = |z − β| = |z − γ|⇐⇒ z =

重心(α − β)γγ̄ + (β − γ)αᾱ + (γ − α)β β̄(α − β)γ̄ + (β − γ)ᾱ + (γ − α)β̄

α+β+γ
3

垂心 (外心を 0 とする座標では) H = α + β + γ
傍心 ３つあるが、 γ = 0 として ̸ α0β の２等分線上にあるものを求めると
α|β| + β|α||β| + |α| − |α − β|
内心と傍心を示すためには角の２等分線の方程式を２つ書いて解けば良く、外心のためには２つの辺の垂直２等分線の方程式を解けば良い。
定義方程式はそれぞれもう一つずつあるのだが解の形を見れば α, β, γ22に関して対称で、もう１つの方程式の解にもなっていることが分かる。
傍心についても同様である。
α|β| + β|α|内心の式でも γ = 0 とすれば、となって、傍心|β| + |α| + |α − β|の式とは符号が一つしか違わない9 。
垂心の証明。外心を 0 にすれば、 |α| = |β| = |γ| となるから、例えば、 H − α = β + γ は β − γ に垂直であり、各頂点と H を結ぶ直線
は対辺に垂直であることが分かる。
原点がどこにあっても重心の式は変わらないのだから、重心が外心と垂心を 1 : 2 に内分することも同時に示せたことになる。

△αβγ が正三角形のとき、傍心以外の４心が一致することが知られているが、これを示してみよう。
内心の場合、すべての辺の長さ |β − γ|, |γ − α|, |α − β| が同じなら
α+β+γ
ば、重心
に一致することは式からすぐに分かる。
3√−1 + i 3
また、外心を 0 にする座標では、1 の原始３乗根 ω =
に対
2
2
10
2
して、β = ωα, γ = ω α となっており 、 α+β +γ = (1+ω +ω )α = 0となるから、重心も垂心も外心 0 と一致する。

1.10

円を複素数で表す。

1. 円 (α を中心、 ρ > 0 を半径とする円)|z − α| = ρz z̄ − αz̄ − ᾱz + αᾱ = ρ2z z̄ − αz̄ − ᾱz + c = 0 (ただし ρ2 = αᾱ − c > 0)
2. 円または直線 ( α = a + ib ∈ C, d, c ∈ R に対して)
dz z̄ + αz̄ + ᾱz + c = 0 (ただしαᾱ > dc)
d = 0 のとき

直線

91.4 節の結果を使えば、それほど面倒な計算ではない。
外心を 0 にする座標では３頂点はある定円の上にあり、各辺を見込む角は等し
く、従って、120◦ になるということを表しただけである。 ω = cos 120◦ + i sin 120◦
である。
10

23

√
αᾱ − dcα
円、中心 − 、半径d|d|d ̸= 0 のとき

3. アポロニウスの円（２定点 α, β からの距離の比が一定 (c)）|z − α|=c(c > 0)|z − β|(1 − c2 )z z̄ + (αᾱ − c2 β β̄) = (α − c2 β)z̄ + (ᾱ − c2 β̄)zc = 1 のときは垂直２等分線

4. ２点 (α, β) を見込む角が一定 (θ(̸= 0, ±π))（同じ弧を見込む円周角は等しい）z−α= θ (一定)z−β(z − α)|z − β|= eiθ(z − β)|z − α|arg

両辺を２乗すると(z − α)(z̄ − β̄)= e2iθ
(z − β)(z̄ − ᾱ)
これを展開すると(e−iθ − eiθ )z z̄ + (e−iθ β − eiθ α)z̄ + (eiθ ᾱ − e−iθ β̄)z = eiθ ᾱβ − e−iθ αβ̄
となり、中心がeiθ β − e−iθ α|β − α|
で 半径が
の円になる
iθ
−iθ
e −e
2 sin θ円周角 θ だけで図形を定めようとすると、幾何的には、円にならず、線分 αβ に関して対称な２つの円弧ということになる。しかし、 arg
は角を測る向きも指定出来るので、角の正負を考慮にいれると、その→z−α
うちの片方だけが得られる。つまり、 {z ∈ C; arg= θ} は 0β か
z−β→
ら 0α の向きに測った角が θ であるような円弧ということになる。これを円にしようと思えば、弦 αβ に関して反対側の弧の上にある点も考えて、Cθ (α, β) = {z ∈ C; argz−α= θまたはθ − π}z−β24とすればよい。θ を [0, π) で動かせば、 θ = 0 を除いて（この時は α, βを通る直線に対応している）、Cθ (α, β) は α と β を通る円のすべてを表すことになる。
α と β を固定して 0 ≤ c ≤ ∞ を動かしてアポロニウスの円群
Ac (α, β) と一緒に、平面 C 上に図示すれば、互いに直交する円群になり、円の網 とか シュタイナーの円 とか呼ばれるものになる。
また、２点 γ, δ が Cθ (α, β) に属すれば、γ−α γ−βδ−α δ−β= ±eiθ =γ−β γ−αδ−β δ−α(α − γ)(β − δ)(α − γ)(β − δ)= ±(α − δ)(β − γ)(α − δ)(β − γ)となり、４点 α, β, γ, δ が共円である（同一円周上にある）ための条
件は 非調和比(α − γ)(β − δ)(α, β, γ, δ) =(α − δ)(β − γ)が実数であることになる。
４点のうちの一つ (たとえば δ ) が無限遠点 ∞ のとき、この条件は
β(α − γ)( ∞− 1)α−γ(α, β, γ, ∞) = α=∈R( ∞ − 1)(β − γ)β−γとなるが、これは α, β, γ の共線条件である。
この意味でも、直線は無限遠点 ∞ を通る円のことであると考えておいた方が良いことがあることが分かるだろう。

1.11曲線を複素数で表す。

２つの異なる点 α, β を固定して考える。しかし、 α = c, β = −c (c >0) と標準的な場所にとっておくことができる。複素数の加減乗除で運動が実現されているので、α と β の中点が原点になるように平行移
動し、次に arg α = 0 となるように回転するのは、簡単な座標変換である。

25

1. 楕円 (点 α と β に焦点を持つ)|z − α| + |z − β| = |z − c| + |z + c| = 2a (a > c > 0)c2 (z 2 + z̄ 2 ) + 2(c2 − 2a2 )z z̄ = 4a2 (c2 − a2 )x2 y 2+ 2 = 1 (ここで b2 = a2 − c2 )a2b
2. 双曲線 (点 α と β に焦点を持つ)|z − α| − |z − β| = |z − c| − |z + c| = ±2a (a ∈ R, |a| < c)c2 (z 2 + z̄ 2 ) + 2(c2 − 2a2 )z z̄ = 4a2 (c2 − a2 )x2 y 2− 2 = 1 (ここで b2 = c2 − a2 )a2b
3. レムニスケート (２定点からの距離の積が一定で、２点の中点を通るもの)|z − c||z + c| = c2
r2 = 2c2 cos 2θ

1.12

１次分数変換a, b, c, d ∈ C に対して
az + bcz + dの形の C 平面の変換を１次分数変換という。この変換は、円または直線は、円または直線に写し、またこうした変換として特徴づけられる。
このことを、円-円対応 と言うことがある。
ew + f
二つの１次分数変換の合成を考えてみる。u =との合成を
gw + h
計算してみると、また１次分数変換になり、
w = ϕ(z) =az + b+few + fcz+du ==az + bgw + h+hgcz + de(az + b) + f (cz + d)(ea + f c)z + (eb + f d)==g(az + b) + h(cz + d)
(ga + hc)z + (gb + hd)e26となって、係数の行列の積と対応していることが分かる。
(

e f
g h
(

そこで、A =

)(

a b
c d

a b
c d

)

(

=

ea + f c eb + f d
ga + hc gb + hd

)

)

に対して、

ϕA (z) =az + bcz + dと置く。すると、 B = λA (λ ̸= 0) に対しては ϕB (z) = ϕA (z) となり、１次分数変換 ϕA (z) が逆変換を持つためには行列 A が正則であることが必要十分になることはすぐに分かるだろう。そして、そのとき

z = ϕ−1
A (w) = ϕA−1 (w) =dw − b−cw + aとなる。以下、対応する行列 A は正則、つまり、 det A = ad − bc ̸= 0であると仮定しよう。
すべての z ∈ C に対して値をとらせるために、分母 cz +d が 0 となる
とき、つまり z = − dc の時の値は ∞ としておこう (同時には az + b = 0とはならない)。逆に ∞ での値は

ϕA (∞) =a + zbad |z=∞ =cc+ zと考えることができる。つまり、１次分数変換は複素平面 C の変換というよりリーマン球面 Cˆ = C ∪ {∞} の変換と考える方が良い。リーマン球面 Cˆ は図形としては普通の３次元空間の中の単位球面 S 2 と思って良いが、そこに複素構造（つまり、代数的にも解析的にも複素数が棲んでいることを保証するようなこと）を同時に考えておくのである。
さて、１次分数変換は、 Cˆ の変換として、どのようなものだろうか。
特別な値 1, 0, ∞ に対しては、

ϕ(1) =a+bba, ϕ(0) = , ϕ(∞) =
c+d
d
c

となる。

27

例えば、 ϕ(∞) = ∞ という条件は、 c = 0 ということになり、このとき A の正則性から、 a, d ̸= 0 だから、 ϕ はabϕ(z) = z +ddとなり、平面 C の相似変換になる。またそれ以外では必ず、無限遠点a∞ は平面の点 に写り、無限遠点 ∞ に写る平面の点 − dc があることcになる。
また、互いに等しくない３点 β, γ, δ がそれぞれ 1, 0, ∞ に写されるという条件を書けば、

aβ + baβ + b⇐⇒=1cβ + dcβ + daγ + b0 = ϕ(γ) =⇐⇒ aγ + b = 0
cγ + daδ + b∞ = ϕ(δ) =⇐⇒ cδ + d = 0cδ + d1 = ϕ(β) =となって、このような１次分数変換は存在する。このとき、点 α は ϕ
によってϕ(α) =

aα−γ
α−γ
β−δ
aα + b==×cα + d
c α−δ
α−δ
β−γ

つまり、非調和比 (α, β, γ, δ) に写される。これが非調和比の定義だと言っても良い。
また、３点が写される先を決めたら１次分数変換は一意的に決まってしまうことも意味している。

ϕ(β) = 1, ϕ(γ) = 0, ϕ(δ) = ∞ =⇒ ϕ(z) = (z, β, γ, δ)
さらに、１次分数変換が非調和比を変えないことも分かる。実際、
ϕ(z) を１次分数変換、 β, γ, δ を互いに異なる (Cˆ の) ３点とする。ψ(z)を ψ(z) = (z, β, γ, δ) で定まる１次分数変換とすると、ψ ◦ ϕ−1 は点ϕ(β), ϕ(γ), ϕ(δ) をそれぞれ 1, 0, ∞ に写すことになる。したがって、(ϕ(α), ϕ(β), ϕ(γ), ϕ(δ)) = (ψ ◦ ϕ−1 )(ϕ(α)) = ψ(α) = (α, β, γ, δ)
となる。

28

普通の証明は、１次分数変換が、平行移動 (z 7→ z + β)、回転相似
1(z 7→ αz)、反転 (z 7→ ) の３種の変換の合成であること
zϕ(z) =

az + bbc − ad 1a=+cz + dccz + d cを示して、それぞれの変換で非調和比が変わらないことを示すのだが、計算を定義に押し込めたこの形の証明が気に入っている。
そして、これだけから、１次分数変換が円円対応であることが分かる。実際、 z が β, γ, δ で定まる円上にある条件は (z, β, γ, δ) ∈ R であり、従って、１次分数変換 ϕ での像 w = ϕ(z) は ϕ(β), ϕ(γ), ϕ(δ) で定まる円上にあることになる。

29

2

楕円関数へ

こちらの話は高校の先生が対象なので、微積分を使った話にしてみた。レムニスート曲線の弧長からレムニスケートサイン関数 s(z) を複素関数として定義し、楕円関数の特徴である２重周期性を示すことが目標である。２時間の講演では無理があることは分かっていたが、挑戦してみることにした。
曲線の弧長の逆関数としてある区間上の関数 s(x) を定義し、実軸全体に拡張し、加法定理を示し、純虚数での値を定め、加法定理で複素平面上に拡張し、正則であることを示し、その零点と特異点を調べるという順序である。
その際、天下りの定義ではなく、高校数学との関りを重視し、三角関数や指数関数での対応物をよく見ることによって、出来る限り必然性を示そうという試みをしてみた。

2.1

レムニスケート曲線

前節で考えたレムニスケート曲線を考えてみよう。２定点からの距
離の積が一定で２点の中点を通る曲線は、中点を原点とし、２点を x軸上におけば、|z − c||z + c| = c2と書ける。両辺を２乗すれば、z 2 z̄ 2 − c2 (z 2 + z̄ 2 ) = 0 ⇐⇒ |z|4 = 2c2 ℜ(z 2 )となり、極形式で表せば、

r2 (r2 − 2c2 cos 2θ) = 0
r2 = 2c2 cos 2θ
√となる。実軸との交点は、 0, ± 2c であり、 c は曲線全体を相似に拡大縮小するだけなので、交点が 0, ±1 になるように正規化する。つま√ −1り、 c = 2 とおく。
以下、レムニスケート曲線を
r2 = cos 2θ ≥ 0
30

π
π
ま
の形で考えよう。θ の存在する範囲は、 mod2π で、− ≤ θ ≤44π
π
たは π − ≤ θ ≤ π + である。概形は次の図のようになる。
4
4
6



r



-

θ

レムニスケート曲線

cos 2θ が偶関数で、周期 π の周期関数だから、曲線は x 軸対称であり、かつ原点対称である。したがって、第１象限で曲線を調べておけば良い。
0 ≤ θ ≤ π4 で考える。 θ で微分すると、
drsin 2θ
=−≤0dθrであって、 0 となるのは θ = 0 の時だけだから、この範囲で r は θ の
１価の減小関数であり、従って、θ = θ(r) も r(0 ≤ r ≤ 1) の１価減小π関数である。さらに、 θ(0) = , θ(1) = 0 である。
4
ここで、曲線の弧長を量ってみよう。弧長は次の積分で求められる。
∫

∫ √

√

(dx)2 + (dy)2 =
∫ √

=

1+(
∫

√

(dr)2 + r2 (dθ)2 =

dy 2
) dx
dx

1 + r2 (

dθ 2
) dr
dr

従って、 0 からの弧長 ℓ(s) は、
∫ s

√

r2
dr
sin2 2θ
0
√
∫ s
r4
dr
=
1+
1 − cos2 2θ
0
1 + r2ℓ(s) =

∫ s

=

√

1+
0

r4
dr =
1 − r4
31

∫ s

dr
√
0
1 − r4

となる。端の値は、∫ 1ℓ(0) = 0,ℓ(1) = ω =dr√
0
1 − r4である。ω の具体的な値が ω = 1.3110 · · · であることは、今はあまり重要ではない。 また

dℓ
1
=√
>0
ds
1 − s4(0 ≤ s < 1)だから、 ℓ(s) は 0 ≤ s ≤ 1 で単調で、したがって逆関数がとれて、それを s = s(ℓ) と書こう。これを R 全体に、ひいては C 全体に拡張した関数をレムニスケート・サイン関数 s(x) と呼ぶ。複素変数の複素数値関数 s(ℓ) をきちんと定義しその性質を調べるのがこの話の目的である。
s(ℓ) は楕円関数の一種である。楕円関数の理論は１９世紀数学史のハイライトの一つで、俳優達の名もオイラー、ガウス、アーベル、ヤコービ、ワイエルシュトラス、クライン、ポアンカレなど挙げ尽くすことが出来ない。
行き詰まった楕円積分の研究が、逆関数である楕円関数を考えること
で決定的な進歩を遂げたと、高校生のころ E.T. ベルの数学者列伝 [19]を読んで興奮したものだった。楕円積分も楕円関数も何も分かっていなかったのだけれど。閑話休題。
変数が弧長という意味を持つことを忘れて、 x と書くことにすると、
s(x) について分かっていることは、

√
ds
1
1
=
=
= 1 − s4
1
dx
dx
√
ds
1 − s4(0 ≤ x ≤ ω)であることと、 s(0) = 0, s(ω) = 1 であることだけである。これだけから出発することにする。
s(x) をまず実数 R に拡張してみよう。レムニスケート曲線の全長は4ω だから、周期 4ω の周期関数にすることは出来るはずで、0 ≤ x ≤ 4ωでの値を決めれば良い。
s(x) (0 ≤ x ≤ ω) のグラフの概形は sin x (0 ≤ x ≤ π2 ) に似ている。レ
ムニスケート曲線が実軸対称であることを用いれば、s(0) = 0, s(ω) = 1

32

を留めて、グラフを実軸の回りにまわせば良いから、ω ≤ x ≤ 2ω の範囲では、

s(x) = s(2ω − x)(ω ≤ x ≤ 2ω)とおけば良いだろう。
s(2ω) = 0 となっているから、このあと周期 2ω の周期関数にしても良いのだが、 x が原点からの距離だったことを思えばそうするべきなのかもしれないが、そうしたことを忘れ、素敵な関数を作るという気持ちになろう。
x = 2ω での左微分を見てみる。
√
dsds(2ω) = −(0) = − 1 − s4 (0) = −1
dx −
dx +

ds
が連続でなくなってしまう。
dx
ここは sin x のグラフを見習って、負の値になってよいことにする。2ω
だけ戻って値を負にするか、原点対称で全長が 4ω であることを使って値を負にするかで、である。周期を 2ω にすると、導関数

s(x) = −s(x − 2ω),s(x) = −s(4ω − x)(2ω ≤ x ≤ 4ω)の二通りの定義の仕方があるようだが、 ω ≤ x ≤ 2ω での定義から同じ値になることが分かる。
あとは、周期 4ω の周期関数にしてしまえば、無限回連続微分可能な実関数であるレムニスケート・サイン関数 s(x) が得られるのである。
継ぎ目の点 {nω; n ∈ Z} でも、各導関数が連続につながっていることを確かめることが出来るということである。
6y = s(x) のグラフ

−2ω

0

2ω

33

-

4ω

これを複素関数に拡張するのには、更に準備がいる。
まず、レムニスケート・サイン関数の、すぐに分かる関数等式を挙げておこう。

(1)s(x + 4ω) = s(x)(2)

s(x ± 2ω) = −s(x)(3)s(−x) = −s(x)(4)

s(x + ω) = s(ω − x)

証明は、 s(x) の [0, 4ω] 上での定義から、まず [0, 4ω] の上で成り立つことを示し、一般の x に対しては、 4ω 周期性を使って、[0, 4ω] の場合に帰着させれば良い。
加法定理を述べたいのだが、そのためにはレムニスケート・コサイ
ン関数 c(x) を定義しないといけない。三角関数の場合に倣うならば、
c(x) = s(ω − x) とすることになるが、それで良いのだろうか。三角関数の場合を思い出してみよう。

2.2

三角関数の場合

sin x も弧長の逆関数と考えることが出来る。もちろん問題にすべき
曲線は単位円 S 1 = {z ∈ Z; |z| = 1} = {(x, y) ∈ R2 ; x2 + y 2 = 1} である。
1 = (1, 0) からの弧長を y(= sin θ) で量ったもの弧度法（ラジアン）
での角度 θ であり、
∫ y√

√

0

∫ y
dx
1 + ( )2 dy =
dy
0

0

∫ y
y2
dy
√
1+
dy =
2
1−y
1 − y20θ = θ(y) =

∫ y√

=

1+

y2
dy
x2

∫ 1
π
dy
√
=
である。分かっている値は θ(0) = 0, θ(1) =だけで
2
1 − y2
0
ある。
π
dθ
1
π
0 ≤ y < では=√
> 0 で単調増加だから、0 ≤ y ≤
2
2
dy
2
1−y
では逆関数が存在し、y = sin θ の定義はこの逆関数であるとするので34ある。もちろん前小節と同様に実数全体 R には次のように拡張する。

sin θ = − sin(2π − θ)π≤ θ ≤ π)2
(π ≤ θ ≤ 2π)

sin θ = sin(θ ± 2nπ)(n ∈ Z)sin θ = sin(π − θ)(

すると、前小節と同じようにして、(5)sin(θ + 2π) = sin(θ)(6)

sin(θ ± π) = − sin(θ)(7)

sin(−θ) = − sin(θ)ππ
sin(θ + ) = sin( − θ)
2
2

(8)

が得られる。
πsin θ の導関数を cos θ とおくと、0 ≤ θ ≤ では2

cos θ =√
d sin θ11==
= 1 − y2 =
1
dθ
dθ
√
1 − y2dy√

1 − sin2 θ

であり、√
d cos θd 1 − sin2 θ−2 sin θ d sin θ== √= − sin θdθdθ
2 1 − sin2 θ dθである。

d sin θ= cos θ が連続になるように R 全体に定義さdθ
れているので、cos θ も R 全体で定義され、sin θ 自身導関数

sin2 θ + cos2 θ = 1,

d sin θd cos θ= cos θ,= − sin θdθdθが成り立っていると思って良い。
分かっている値は、0 ≤ θ ≤ 2π では

3ππ= 1, sin π = 0, sin= −1, sin 2π = 0,22π3π
cos 0 = 1, cos = 0, cos π = −1, cos= 0, cos 2π = 122
sin 0 = 0, sin

35

である。
さて、三角関数の種々の性質は加法定理

sin(θ + ϕ) = sin θ cos ϕ + cos θ sin ϕcos(θ + ϕ) = cos θ cos ϕ − sin θ sin ϕから得られるが、高校数学ではなかなかすっきりした証明がない。
ほんの少し多変数の微積分を使わせてもらえば、簡単な証明がある。
使う事実は次のものだけである。
∂p∂p「２変数の関数 p(x, y) が=を満たせば、p は x + y の関数で
∂x
∂y
ある。」
実際、u = x + y, v = x − y という変数変換をしたものを h(u, v) =p(x, y) とおけば、∂h∂p ∂x ∂p ∂y
1 ∂p ∂p
=
+
= (
−
)=0
∂v
∂x ∂v ∂y ∂v
2 ∂x ∂yであり、h は v に関して一定となって、u = x + y だけの関数となる。
サイン関数の加法定理の右辺を h(θ, ϕ) = sin θ cos ϕ + cos θ sin ϕ とおき、偏微分してみると、∂h= cos θ cos ϕ − sin θ sin ϕ∂θ∂h= − sin θ sin ϕ + cos θ cos ϕ∂ϕで等しくなり、

sin θ cos ϕ + cos θ sin ϕ = h(θ + ϕ)となる。ここで ϕ = 0 を代入すれば、

sin θ = sin θ × 1 + cos θ × 0 = h(θ + 0) = h(θ)
となって証明は終わる。
コサインの加法定理はサインと同じようにしても証明出来るが、サインの加法定理からも得られる。

36

π
と置けば、
2
π
π
π
sin(θ + ) = sin θ cos + cos θ sin
2
2
2= sin θ × 0 + cos θ × 1 = cos θ

まず、サインの加法定理で、ϕ =(9)が得られ、また式 (7) から、cos θ が偶関数であることも分かる。また、
π
サインの加法定理で ϕ に ϕ + を代入すれば、コサインの加法定理が2得られるのである。
さらに、式 (9) から c = cos θ = sin( π2 − θ) に対して、

(10)

∫ c
π
dt
√
−θ =
2
0
1 − t2
∫ c
∫ 1
∫ c
dt
dt
dt
π
√
√
√
=
−
−
θ =
2
2
2
0
0
0
1−t
1−t
1 − t2
∫ 1
dt
√
θ =
c
1 − t2となり、この逆関数として cos θ を定義することも出来る。
なお、加法定理をうまく用いて、解ける代数方程式に持ち込むことで幾つかのサイン・コサインの特殊値が求められる。
例えば、 θ = π3 での値 y = sin π3 > 0 を求めたいとする。x = cos π3 =√1 − y 2 > 0 とおき、分かっている π での値を x, y で表すことにすると、

0 = sin π = sin 3θ = sin 2θ cos θ + cos 2θ sin θ= 2 sin2 θ cos θ + (cos2 θ − sin2 θ) sin θ= 2x2 y + (x2 − y 2 )y = y(3 − 4y 2 ) = y(1 − 4x2 )
√
3
1
π
π
となるから、x = cos = , y = sin =が得られる。
32
3
2
さて、レムニスケート関数に戻って加法定理を示しても良いのだが、もう少し三角関数の議論をしておこう。複素関数にするためには、適
切に純虚数での値を定め、それを加法定理を用いて C 全体に矛盾なく定義し、正則であることを示す必要がある。
三角関数の純虚数での値を定義するためには、指数関数の知識が必要となる。指数関数もこの話の文脈の中で考えておいた方が、結局は早道になるだろう。次小節で、それを纏めて置くことにする。

37

2.3

指数関数の場合よく知られているように、自然対数
∫ u

(11)

log u =
1

1
dt
t(u > 0)の逆関数として指数関数を定義するのだが、今はこの事だけしか分かっていない立場で議論を進めたいので、この逆関数を取り敢えず u(x) と書くことにしよう。
分かっている値は log 1 = 0 すなわち u(0) = 1 だけである。導関数は、

d log u
1
1 du
1
= ,
= dx = 1 = u > 0
du
u dx
u
du
であり、log u の定義域が u > 0 で値域が R であることから、u(x) の定
義域は R 全体で値域は u > 0 である。
加法定理（指数法則）

u(x + y) = u(x)u(y)も、右辺を h(x, y) と置くとき、∂h∂h= u(x)u(y) =∂x∂yからすぐに従う。
したがって、e = u(1) とおけば、u(x) = ex と表されることになる。
当たり前のことだが、ex は指数法則を無意識に使えるようにするための便利な記法だということであって、関数の本体はあくまでも逆関数
u(x) だと思っている。
さて、指数関数の純虚数での値をどう定義したら良いだろうか。複素関数の微分の知識を最小限にとどめるために、v(y) = u(iy) という実変数の複素数値関数があったとすると、v(0) = u(0) = 1 で導関数は

dvdu(y) = i (iy) = iu(iy) = iv(y)dydyとなるが、このような関数を実は知っていたわけで、v(y) = cos y+i sin ydvとおけば、v(0) = 1, dy= iv を満たすことになる。実関数では１階の常微分方程式は初期値だけで決定されるから、この場合も多分そうで38

あろうと思っても良いし、非常に適切な候補が見つかったのだからこう決めておいて様子をみようという立場をとっても良い。
何はともあれ、u(iy) = cos y + i sin y とおき、

(12)ex+iy = u(x + iy) = u(x)u(iy) = ex (cos y + i sin y)と定義すれば、加法定理（指数法則）は複素領域でも成り立っている。
さて、この定義で指数関数は正則になるだろうか。
正則の定義を議論している暇はないので、複素関数 f (z) = f (x+iy) =u(x, y) + iv(x, y) が正則であるとは、実関数 u, v が連続偏微分可能であって、コーシー・リーマンの方程式

∂u
∂v
=
,
dx
dy

(13)

∂u
∂v
=−
dy
dx

を満たすことであるとしておこう。
(12) で定義された関数に対して、コーシー・リーマンの方程式を確
かめてみよう。u(x, y) = ex cos y, v(x, y) = ex sin y であり、

∂u∂v
= ex cos y =
∂x
∂y
∂u
∂v
= −ex sin y = −
∂y
∂x
となる。
こうして、複素関数としての指数関数 ez が得られたことになる。
周期性については、明らかなもの

ez+2nπi = ez
以外には存在しないことが分かる。
また定義から三角関数が(14)

cos y =

eiy + e−iy,2

sin y =eiy − e−iy2iと表されることが分かる。
三角関数を複素領域に拡張するには、(14) の右辺の指数関数が複素変数で定義されていることから、直接に(15)

eiz + e−iz,
cos z =
239

eiz − e−iz
sin z =
2i

としてもよいし、純虚数での値を(16)

ey + e−ycos iy == cosh y,2e−y − eysin iy == i sinh y2iと置き、加法定理を信じて(17)

sin(x + iy) = sin x cos iy + cos x sin iy= sin x cosh y + i cos x sinh y(18)

cos(x + iy) = cos x cos iy − sin x sin iy= cos x cosh y − i sin x sinh yとしても同じ関数を与えることが分かる。指数関数の正則性から、正則であることは従う。
また、加法定理を含めた三角関数の諸公式（少なくとも前小節に上げたもの）が実変数の場合と同様に成り立つことが容易に示される。
例えば、

sin2 (x + iy) + cos2 (x + iy)= cosh2 y(sin2 x + cos2 x) − sinh2 y(sin2 x + cos2 x)= cosh2 y − sinh2 y = 1となる。
周期性については、 2nπ が周期であることは明らかだが、それ以外のものがないことも容易に示される。
周期の定義をきちんとしておこう。ω が複素関数 f (z) の周期であるとは、すべての z ∈ C に対して、

f (z + ω) = f (z)が成り立つこととする。
sin z の周期が 2nπ (n ∈ Z) しかないことは、次のように示される。
ω を周期とすれば、

sin(z + ω) − sin z = 2 sin

2z + ω
ωcos
2
2

が恒等的に 0 であるから、 sin ω2 = 0 である。一方、式 (18) から sin zの零点が nπ しかないことが分かるから、 ω2 = nπ である。

40

次いでながら、指数関数 ez は零点も極も持たないし、周期は 2niπしかない。sin z, cos z は極を持たず、周期は 2nπ のみであり、cos θ のπ
零点は + nπ しかない。
2
長い回り道だった。レムニスケート関数に戻ろう。

2.4

レムニスケート関数

2.1 の最後に述べたように c(x) = s(ω − x) としてレムニスケート・
コサイン関数を定義することは、 cos θ の時と同様に、
∫ 1

(19)

x=
c

dt
√
1 − t4の逆関数として c(x) を定めることと同じである。
（注意： c(x) の定義を論じる間は、符号の問題が面倒だし、他は適当に拡張すれば良いか
ら、 0 ≤ x ≤ ω でだけ考えている。）
しかし、 s(x) と c(x) を結ぶ最も重要な関係式

s(x)2 + c(x)2 + s(x)2 c(x)2 = 1(20)が出てこない。
cos の時のように、s(x) の微分を使って定義しようとしても、

ds √
d2 s
= 1 − s4 ,= −2s3dxdx2となって、(20) を満たすように定義しようとすれば√(21)c(x) =

1 − s(x)4

1ds=
2
1 + s(x) dx
1 + s(x)2vuu 1 − s(x)2=t

1 + s(x)2とすることになり、 c(x) の定義のどこにも必然性が見当たらないようにみえる。しかし、(19) を見れば s(x) との結び付きはいかにも自然で、何か定義に理由はないかと思って考えていたら、導関数の間に、

(22)

ds
= (1 + s(x)2 )c(x),dxdc= (1 + c(x)2 )s(x)dxという対称性が見つかった。この対称性を満たすようにと、c(x) を定義したのだと、後知恵では言えるけれど、やはりこれを見つけた人は天才だったに違いない。

41

c(x) の定義は (21) と言っても良いし、(20) と言っても良い。
c(x) を実数 R 全体に拡張するのは、s(x) は既に定義されているので、基本的には (20) によって定義し、符号の問題は (22) を満たすようにすれば良い。c(x) も周期 4ω の周期関数で、無限回微分可能な関数である。
s(x), c(x) の値で分かっているものを挙げておくと、 0 ≤ x ≤ 4ωではs(0) = 0, s(ω) = 1,s(2ω) = 0,s(3ω) = −1, s(4ω) = 0,c(0) = 1, c(ω) = 0, c(2ω) = −1, c(3ω) = 0, c(4ω) = 1
である。
やっと加法定理が述べられる (オイラーは偉い!)。

(23)
(24)

s(x)c(y) + c(x)s(y)1 − s(x)c(x)s(y)c(y)c(x)c(y) − s(x)s(y)c(x + y) =1 + s(x)c(x)s(y)c(y)s(x + y) =である。分子だけ見れば、 sin, cos の加法定理と同じである。
c(x) の加法定理 (24) は s(x) の加法定理 (23) から得られる。実際、(23) で y = ω とおけば、(4) から(25)

c(x) = s(x + ω) = s(ω − x)が得られる。これから、 c(−x) = c(x) も一目で分かる。そして、

s(x)c(y + ω) + c(x)s(y + ω)
1 − s(x)c(x)s(y + ω)c(y + ω)c(x)c(y) − s(x)s(y)=1 + s(x)c(x)s(y)c(y)c(x + y) = s(x + y + ω) =となる。しかし、 s(x) の加法定理は簡単にはいかない。オイラーが苦労したと言い、アーベルが改善したという証明のアイデアは、前小節で述べた方法である。
∂h∂h(23) の右辺を h(x, y) と置いて、=を確かめれば、 h は x + y∂x∂yの関数でそこに y = 0 を代入すれば、

h(x) =

s(x)c(0) + c(x)s(0)= s(x)
1 − s(x)c(x)s(0)c(0)42となって、証明は終わる。
∂h
∂h
さて、
=
を確かめることは容易ではない。
∂x∂y∂hp(x, y)=の分母は x, y に関して対称だから、分∂x(1 − s(x)c(x)s(y)c(y))2∂h子の p(x, y) も対称であることを示せば、に等しいことが分かる。
∂yp(x, y) を計算しよう。

p(x, y) =d=(s(x)c(y) + c(x)s(y))(1 − s(x)c(x)s(y)c(y))
dxd−(s(x)c(y) + c(x)s(y)) (1 − s(x)c(x)s(y)c(y))
dx′′= (s (x)c(y) + c (x)s(y))(1 − s(x)c(x)s(y)c(y))+(s(x)c(y) + c(x)s(y))(s′ (x)c(x) + s(x)c′ (x))s(y)c(y)= ((1 + s2 (x))c(x)c(y) + (1 + c2 (x)s(x))s(y))(1 − s(x)c(x)s(y)c(y))+(s(x)c(y) + c(x)s(y))(1 + s2 (x)c2 (x))s(y)c(y)= (c(x)c(y) + s(x))s(y))(1 − s(x)c(x)s(y)c(y))+s(x)c(x)(s(x)c(y) + c(x)s(y))(1 − s(x)c(x)s(y)c(y))+(s(x)c(y) + c(x)s(y))(1 + s2 (x)c2 (x))s(y)c(y)= (c(x)c(y) + s(x))s(y))(1 − s(x)c(x)s(y)c(y))+(s(x)c(y) + c(x)s(y)) ××{s(x)c(x)(1 − s(x)c(x)s(y)c(y)) + (1 + s2 (x)c2 (x))s(y)c(y)}= (c(x)c(y) + s(x))s(y))(1 − s(x)c(x)s(y)c(y))+(s(x)c(y) + c(x)s(y))(s(x)c(x) + s(y)c(y))と、対称になる。加法定理の証明が終わった。
さて、純虚数 ix でのレムニスケート・サイン s の値は(26)

s(ix) = is(x)と置かれる。あまりに安直なようだが、根拠はある。
∫ sx(s) =ds√0
1 − s443

であったことを思い出して、形式的に、s = it, ds = idt と置いた計算
をすると、
∫ t

x(it) =
0

√

∫ t

idt

=i

1 − (it)40√dt= ix(t)
1 − t4ということになり、この逆関数をとれば (26) が得られる。
では、c(ix) はどう定義したら良いだろうか。(20) は最も基本的な関係式だから、これが成り立つように定義したいというのは自然なことだろう。(20) に ix を代入すると

1 = s(ix)2 + c(ix)2 (1 + s(ix)2 ) = −s(x)2 + c(ix)2 (1 − s(x)2 )だから、

c(ix)2 =1 + s(x)2
1 − s(x)2 −1
1
=
(
) =
2
2
1 − s(x)1 + s(x)c(x)2となる。そこで、(27)s(ix) = is(x),c(ix) =

1c(x)と定義し、一般の z = x + iy での値は加法定理 (23),(24) に強引に代入して、

s(x)c(iy) + c(x)s(iy)1 − s(x)c(x)s(iy)c(iy)s(x) + ic(x)s(y)c(y)=c(y) − is(x)c(x)s(y)c(x)c(iy) − s(x)s(iy)c(z) = c(x + iy) =1 + s(x)c(x)s(iy)c(iy)c(x) − is(x)s(y)c(y)=c(y) + is(x)c(x)s(y)s(z) = s(x + iy) =
(28)

(29)

と定義することにする。
これでうまく行くのである。つまり、実変数のときの s(x), c(x) に対する関係式(30)s(z + 4ω) = s(z),c(z + 4ω) = c(z)44(31) s(−z) = −s(z) = s(z + 2ω),s(ω − z) = s(z + ω) = c(z)

(32)
(33)
(34)
(35)

c(−z) = c(z) = −c(z + 2ω)2

s(z) + c(z)2 + s(z)2 c(z)2 = 1
s(z)c(w) + c(z)s(w)s(z + w) =1 − s(z)c(z)s(w)c(w)c(z)c(w) − s(z)s(w)c(z + w) =1 + s(z)c(z)s(w)c(w)が複素変数でも成り立っていることが確かめられる。
(30),(31) は定義式 (28),(29) に代入すればすぐに分かる。(32) をやってみよう。

s(ω − z) = s((ω − x) − iy)s(ω − x) + ic(ω − x)s(−y)c(−y)=c(−y) − is(ω − x)c(ω − x)s(−y)c(x) − is(x)s(y)c(y)== c(z)
c(y) + ic(x)s(x)s(y)s(ω + x) + ic(x + ω)s(y)c(y)== s(z + ω)c(y) − is(ω + x)c(x + ω)s(y)ここで、c(ω − x) = s(x), c(x + ω) = −s(x) の形を使っている。
加法定理や (33) を直接示すのには可成の腕力が必要で、あまり書き上げることはしない。普通は（複素）正則関数の性質、一致の定理、を使う。つまり、正則であることが分かっている範囲では、実軸上の関係
式はそのまま複素領域でも成り立つことが分かる、という議論をする。
もちろん、正則性は示さなければならないが、加法定理以外は具体的に証明を与えたいと思う。
(33) を示してみよう。(33) は(36)(1 + s(z)2 )(1 + c(z)2 ) = 2と変形される。この形で証明を与えよう。また、実変数 x に対する (33)の変形

(1 + s(x)2 )(1 + c(x)2 ) = 2,

(1 + s(x)2 )(1 − c(x)2 ) = 2s(x)2(1 − s(x)2 )(1 + c(x)2 ) = 2c(x)2 , (1 − s(x)2 )(1 − c(x)2 ) = 2s(x)2 c(x)245を計算の中で使うことになる。さて、記号が繁雑になりすぎるので、(37)s = s(x), c = c(x), p = s(y), q = c(y)と略記させてもらうことにすると、(s + icpq)2(q − iscp)2
s2 − (cpq)2 + 2iscpq
1+ 2
q − (scp)2 − 2iscpq
s2 + q 2 − (cpq)2 + (scp)2
q 2 − (scp)2 − 2iscpq(s2 + q 2 )(1 − (cp)2 )q 2 − (scp)2 − 2iscpq(c2 + q 2 )(1 − (sp)2 )q 2 − (scp)2 + 2iscpq

1 + s(z)2 = 1 +===1 + c(z)2 =となる。(36) の左辺の分母は(q 2 − (scp)2 − 2iscpq)(q 2 − (scp)2 + 2iscpq)= (q 2 − (scp)2 )2 − 4(scpq)2= (q 2 + (scp)2 )2となり、分子は(s2 + q 2 )(1 − (cp)2 )(c2 + q 2 )(1 − (sp)2 )= (q 2 (1 + s2 ) + (sp)2 (1 − s2 ))(q 2 (1 + c2 ) + (cp)2 (1 − c2 ))= q 4 (1 + s2 )(1 + c2 ) + (pq)2 (s2 (1 + s2 )(1 − c2 ) + c2 (1 + c2 )(1 − s2 ))+(scp2 )2 (1 − s2 )(1 − c2 )= 2q 4 + (pq)2 (2(sc)2 + 2(sc)2 ) + 2(scp2 )2 s2 c2= 2(q 4 + 2(pqsc)2 + (scp)4 ) = 2(q 2 + (scp)2 )2となって、(36) の証明が終わる。
正則性はコーシー・リーマン方程式を満たすこととしたのだが、s(z)の定義で実部と虚部を求めた上で方程式をチェックするのは面倒である。コーシー・リーマン方程式 (13) は

(38)

(

∂
∂
+ i )f (x, y) = 0
∂x
∂y
46

と同値であって、この方がチェックしやすい。(36) の証明と同じ略記法を使うことにすると、

s′ c + sc′ = (1 + s2 )c2 + s2 (1 + c2 ) = 1 + s2 c2
p′ q + pq ′ = 1 + p2 q 2となる。 s(z) の偏微分は∂s(s′ + ic′ pq)(q − iscp) + ip(s + icpq)(s′ c + sc′ )=∂x(q − iscp)2
ic(p′ q + pq ′ )(q − iscp) − (s + icpq)(q ′ − iscp′ )∂s=∂y(q − iscp)2となり、 (∂∂+ i )s(z) の分子は
∂x∂y(s′ + ic′ pq − c(p′ q + pq ′ ))(q − iscp)+i(s + icpq)(p(s′ c + sc′ ) − q ′ + iscp′ )= ((1 + s2 )c + i(1 + c2 )spq − c(1 + p2 q 2 ))(q − iscp)+i(s + icpq)(p(1 + s2 c2 ) − (1 + q 2 )p + isc(1 + p2 )q)= (c(s2 − p2 q 2 ) + i(1 + c2 )spq)(q − iscp)+i(s + icpq)(p(s2 c2 − q 2 ) + isc(1 + p2 )q)= qc(s2 − p2 q 2 ) + (1 + c2 )(sp)2 qc − s2 qc(1 + p2 ) − qcp2 (s2 c2 − q 2 )+ i{spc2 (p2 q 2 − s2 ) + (1 + c2 )spq 2 + sp(s2 c2 − q 2 ) − sp(cq)2 (1 + p2 )}= qc{s2 − p2 q 2 + (1 + c2 )(sp)2 − s2 (1 + p2 ) − p2 (s2 c2 − q 2 )}+isp{−c2 (s2 − p2 q 2 ) + (1 + c2 )q 2 + (s2 c2 − q 2 ) − (cq)2 (1 + p2 )}= qc × 0 + isp × 0 = 0
となり、(

2.5

∂
∂
+ i )s(z) = 0 であり、s(z) が正則であることが分かる。
∂x∂y

レムニスケート関数の２重周期性(30), (31) と同じように、(39)s(z + 4ωi) = s(z)c(z + 4ωi) = c(z)(40)

s(z ± 2ωi) = −s(z)c(z ± 2ωi) = −c(z)47は簡単に示すことが出来る。例えば、

s(x) + ic(x)s(y + 4ω)c(y + 4ω)c(y + 4ω) − is(x)c(x)s(y + 4ω)s(x) + ic(x)s(y)c(y)== s(z)
c(y) − is(x)c(x)s(y)s(x) + ic(x)s(y ± 2ω)c(y ± 2ω)s(z ± 2ωi) = s(x + (y ± 2ω)i) =c(y ± 2ω) − is(x)c(x)s(y ± 2ω)s(x) + ic(x)s(y)c(y)== −s(z)−c(y) + is(x)c(x)s(y)s(z + 4ωi) = s(x + (y + 4ω)i) =である。したがって、(41)s(z + 2ω(1 + i)) = −s(z + 2ω) = s(z)(42)

s(z + 2ω(1 − i)) = −s(z + 2ω) = s(z)となる。これで少なくとも(43)Ω = {2mω(1 + i) + 2nω(1 − i); m, n ∈ Z} = Zω1 + Zω2が、周期の全体のなす加群の部分加群であることがわかる。ここで、

ω1 = 2ω − 2ωi,(44)

ω2 = 2ω + 2ωiである。
w = s(z) はトーラス T = C/Ω からリーマン球面 Cˆ への連続写像と
ˆ s−1 (w) が１考えられる。２次の分岐被覆で、分岐点の集合は {w ∈ C;点 } = {±1, ±i} である。素直に考えれば、

E = {z = pω1 + qω2 ; 0 ≤ p, q < 1}
は s(z) の基本領域だが、E ′ = {z = 2pω(1 + i) + 2qω(1 − i) − ω; 0 ≤ p, q < 1}
を s(z) の基本領域とした方が都合が良い。

F = {z = pω(1 + i) + qω(1 − i) − ω; 0 ≤ p, q < 1} ∋ 0と置くとき、

E ′ = F ∪ (F + ω(1 + i)) ∪ (F + ω(1 − i)) ∪ (F + 2ω)48

であり、s(z) は正方形 F の内部を単位円盤内 B 1 = {w ∈ C; |w| < 1}に同相に写している。正方形 F の各頂点はs(ω) = 1, s(iω) = i, s(−ω) = −1, s(−iω) = −iと写されている。
F の点 z と (F + ω2 ) の点 ζ が境界の直線 x + y = ω に関して対称な
ら、s(z) と s(ζ) は単位円 S 1 = {z ∈ C; |z| = 1} に関して鏡像になっている (s(z)s(ζ) = 1)。
F と (F + ω1 ) でも同様の関係にあり、また (F + ω2 )) と (F + 2ω) でも、(F + ω1 )) と (F + 2ω) でも同様である。
F ∩ (F + ω2 ) 上の点 z = x + iy は x + y = ω を満たしているので、

s(x) + ic(x)s(ω − x)c(ω − x)c(ω − x) − is(x)c(x)s(ω − x)2s(x) + ic(x) s(x)=s(x) − is(x)c(x)2s(z) = = s(x + iy) ==1
1 + ic(x)2
1 − ic(x)2==22
1 − ic(x)1 + ic(x)s(z)となり、従って |s(z)|2 = 1、すなわち、F の右上の境界上の点は単位円周上に写っている。

2.6

ヤコービの楕円関数∫ 1

0 < k < 1 に対して、K = K(k) =

√

du

とおけ
(1 − u2 )(1 − k 2 u2 )ば、ヤコービのエスエヌ関数 u = sn(x) は −K ≤ x ≤ K においては
0

∫ u

x=
0

√

du
(1 − u2 )(1 − k 2 u2 )の逆関数として定義される。さらに、レムニスケート・サイン関数 s(x)と同様な仕方で 4K 周期の無限回微分可能な関数に拡張したものである。
√

cn(x) =

1 − sn(x)2 , dn(x) =√49

1 − k 2 sn(x)2 (−K ≤ x ≤ K)

もそれぞれ 4K 周期、2K 周期の滑らかな関数に拡張することが出来、
シーエヌ、デーエヌ関数と言う。これらについても同様な関数等式(45)sn(x + 4K) = sn(x),sn(−z) = −sn(z)(46)

cn(x + 4K) = cn(x),cn(−x) = cn(x)(47)

dn(x + 2K) = dn(x),dn(−x) = dn(x)22sn(x) + cn(x) = 1, k 2 sn(x)2 + dn(x)2 = 1(48)を示すことが出来、微分もまた

dsn(x)= cn(x)dn(x),dxddn(x)= −k 2 sn(x)cn(x)
dx

(49)

dcn(x)= −sn(x)dn(x),dxとなる。加法定理は

(50)
(51)
(52)

sn(x)cn(y)dn(y) + cn(x)dn(x)sn(y)1 − k 2 sn(x)2 sn(y)2cn(x)cn(y) − sn(x)dn(x)sn(x)dn(y)cn(x + y) =1 − k 2 sn(x)2 sn(y)2dn(x)dn(y) − k 2 sn(x)cn(x)sn(x)cn(y)dn(x + y) =1 − k 2 sn(x)2 sn(y)2sn(x + y) =sn(x) に関するヤコービの虚数変換
w = i√v,
1 − v2dw =idv√(1 − v 2 ) 1 − v 2

により、

isn(y, k ∗ )1dn(y, k ∗ ),cn(iy,k)=,dn(iy,k)=cn(y, k ∗ )cn(y, k ∗ )cn(y, k ∗ )√とおくことになる。ここで k ∗ = 1 − k 2 である。
加法定理を信じて，複素関数として定義することにすれば、
sn(iy, k) =sn(z, k) = sn(x + iy)
sn(x, k)dn(x, k ∗ ) + icn(x, k)dn(x, k)sn(y, k ∗ )cn(y, k ∗ )=1 − dn(x, k)2 sn(y, k ∗ )250

とおくことになる。
こうすれば、複素関数としても

sn(z + 2K) = −sn(z), cn(z + 2K) = −cn(z), sn(z + K) =

cn(z)
dn(z)

を満たすし、さらに独立な周期性

sn(z + 2iK ∗ , k) = sn(z, k)cn(z + 2K + 2iK ∗ , k) = cn(z, k)dn(z + 4iK ∗ , k) = dn(z, k)
も満たすことが確かめられるが、易しくはない。ここで K ∗ = K(k ∗ )である。
何はさておき、これが２重周期性であり、複素トーラス = 楕円曲線の重要性を保証している · · · · · · というようにさらに数学は続いていくのだが、今回はこれにて。

51

3

終わりに

昨年は TOSM の仲間の一人である福井大学の黒木哲徳氏がアメリ
カ・イギリスと出張で、まとまった活動が出来ませんでした。TOSM
ポストにも、実質的な質問が投函されませんでした。個人的に返事を書き、この会誌にすべての質問と解答を載せてきてはいますが、何と言ってもパブリシティーがなさ過ぎるようです。需要がないとは思いたくないのですが、個人的に知っていても質問はしにくいもの、そこのバリヤーを取り除くように、何らかの方策を考える必要があると思っています。
TOSM の活動も多岐にわたり過ぎると結局何も訴えるものを作り出さないままということになり兼ねず、当面の活動のスパンを教師教育
ないし教師支援の在り方の模索というあたりにしぼっていくつもりです。そのために、夏前にアンケート調査を一つお願いすることになると思います。また８月１１日（日）に岐阜大学で開く予定でおります
第２回 TOSM シンポジウムでは、そのあたりの議論を主なテーマにしたいと考えております。興味のある方々の参加をお願いしたいと思っております。
また、これまでの TOSM の活動や私自身の三重県高校数学研究会との関わりにつきましては、会誌 [7],[8],[9],[10] に書かせて頂いておりま
すが、このたび研究会から美杉セミナーのまとめを出される折りに私から見たまとめを書かせて頂きましたので、それもご覧ください。
以下の文献の中の数学の本は、この二つの話を準備しているとき、準備のために読んだか、たまたまこの時期に読んでいたものです。どういう形で話に影響を与えているか見極める時間もないので、思い付
く限り挙げておきます。

参考文献[1] 足立恒雄 『フェルマーの大定理が解けた!』講談社ブルーバックス
B1074(1995)[2] L.V. アールフォルス 『複素解析』(笠原乾吉訳) 現代数学社 (1979)[3] 上野健爾 『代数幾何入門』岩波書店 (1995)52

[4] 飯高茂＋上野健爾＋波川幸彦 『デカルトの精神と代数幾何 (増補版)』日本評論社 (1993)[5] アンドレ・ヴェイユ 『数論 歴史からのアプローチ』(足立恒雄＋
三宅克哉訳) 日本評論社 (1983)[6] 梅沢敏夫＋後藤達生 『複素数と幾何学』培風館 (1993)[7] 蟹江幸博 「数について（美杉セミナー ９１）」’92 年度数学研究
会誌 36 号、三重県高等数学教育研究会 (1992),3-41.
[8] 蟹江幸博 「TOSM ポスト」’93 年度数学研究会誌 37 号、三重県高等数学教育研究会 (1993),2-44.
[9] 蟹江幸博 「数学を語るのか、数学で語るのか（美杉セミナー93）」’94 年度数学研究会誌 38 号、三重県高等数学教育研究会(1994),2-39.
[10] 蟹江幸博 「数学の危機なのか、数学教育の危機なのか（美杉セミ
ナー 94)」’95 年度数学研究会誌 39 号、三重県高等数学教育研究会 (1995),10-61.
[11] 蟹江幸博 『美杉セミナーについて – 特に’94 と’95 のまとめ – 』「数学を楽しむ高校生のためのセミナー」（９４年度、９５年度）のまとめ，三重県高等学校数学教育研究会 (1996),8-33 ページ。
[12] 桐村信雄＋渡部隆一 『関数論の演習』森北出版 (1961)[13] 小平邦彦 『幾何への誘い』岩波書店 (1991/Oct.23)[14] 佐藤宏樹『複素解析学』現代数学ゼミナール 15、近代科学社 (1991)[15] 戸田盛和 『楕円関数入門』日本評論社 (1976/Dec.10)[16] 難波誠 『複素関数 三幕劇』朝倉書店 (1990)[17] 難波誠 『代数曲線の幾何学』現代数学社 (1991)[18] A. フルヴィッツ＋ R. クーラント 『楕円関数論』(足立恒男＋小松啓一訳) シュプリンガー数学クラシックス (1964)53

[19] E.T. ベル 『数学をつくった人々1-4』(田中勇＋銀林浩訳) 数学新書、東京図書 (1937)[20] L.S. ポントリャーギン 『連続群論 上下』(柴岡泰光＋杉浦光男＋
宮崎功訳) 岩波書店 (1954)æ

54