函数論や複素解析では、複素平面上の「対称移動」や「鏡映」の考え方が頻繁に登場します。特に、複素共役を含む直線方程式 ᾱz+αz̄+c=0（|α|=1, c∈R）に関して、2点 z1,z2 が対称である条件を求める問題は典型的です。
この記事では、この直線の意味から始めて、「複素平面で対称とは何か」を整理しながら、条件式を丁寧に導出していきます。
複素平面における直線の表し方
複素数 z=x+iy とすると、その共役は z̄=x−iy です。
問題で与えられている直線
ᾱz+αz̄+c=0
は、実は複素平面上の一次方程式になっています。
ここで |α|=1 なので、α は単位円上の複素数です。
例えば α=e^{iθ} と置くと、直線の向きを表していることが分かります。
「対称である」とはどういう意味か
複素平面で z1,z2 がある直線に関して対称であるとは、次の2条件を満たすことです。
- 線分 z1z2 の中点が直線上にある
- z1z2 が直線に垂直である
つまり、実平面の鏡映と同じ考え方です。
複素数では、この条件を式で表現できるのが大きな特徴です。
中点条件を式にする
z1,z2 の中点は
(z1+z2)/2
です。
これが直線
ᾱz+αz̄+c=0
上にあるので、
ᾱ(z1+z2)/2+α( z̄1+ z̄2)/2+c=0
となります。
両辺を2倍すると、
ᾱ(z1+z2)+α( z̄1+ z̄2)+2c=0
が得られます。
垂直条件を考える
直線
ᾱz+αz̄+c=0
の法線方向は α に対応します。
したがって、対称な2点を結ぶベクトル z1−z2 は、法線方向と平行になります。
つまり、
z1−z2=tα
となる実数 t が存在します。
別の書き方をすると、
(z1−z2)/α ∈ R
です。
これが「直線に垂直」という条件になります。
最終的な対称条件
したがって、z1,z2 が
ᾱz+αz̄+c=0
に関して対称であるための条件は、
- 中点条件
ᾱ(z1+z2)+α( z̄1+ z̄2)+2c=0 - 垂直条件
(z1−z2)/α ∈ R
の2つです。
具体例でイメージする
例えば α=1, c=0 の場合を考えると、直線は
z+ z̄=0
です。
z=x+iy を代入すると、
2x=0
つまり y軸になります。
このとき、対称な点は
z2=− z̄1
という形になります。
例えば 2+i と −2+i は y軸対称です。
函数論でこの問題が重要な理由
複素解析では、直線対称や円対称は、正則関数やメビウス変換を考える際の基本になります。
特に、
- シュワルツの鏡像原理
- 円と直線の変換
- 共役変換
などでは、複素平面上の対称性を式として扱う力が重要です。
この問題は、その基礎練習として非常に典型的なテーマです。
まとめ
複素平面上の直線
ᾱz+αz̄+c=0
に関して z1,z2 が対称である条件は、
- 中点が直線上にあること
- z1−z2 が法線方向 α に平行であること
の2つで表現できます。
最終的には、
ᾱ(z1+z2)+α( z̄1+ z̄2)+2c=0
かつ
(z1−z2)/α ∈ R
が必要十分条件になります。
複素数の式だけでなく、「中点」「法線」「鏡映」という図形的イメージを持つと、函数論の理解がかなり深まりやすくなります。
コメント