複素数平面の直線は、z と zˉ の 1 次式で書けます。α と β を通る直線なら次の形です。
(βˉ−αˉ)z−(β−α)zˉ=αβˉ−αˉβ
z だけでは書けません。共役が入って初めて直線になります。
実数になる条件から作る
点 z が α と β を通る直線の上にあるのは、β−αz−α が実数のときです[1]。
実数の条件は w=wˉ でした。分母を払って整理します。
β−αz−α(z−α)(βˉ−αˉ)=βˉ−αˉzˉ−αˉ=(zˉ−αˉ)(β−α)
z と zˉ について整理すると、冒頭の式が出ます。右辺の αβˉ−αˉβ は純虚数で、左辺も純虚数になります。
例:1 と 2+i を通る直線
βˉ−αˉ=(2−i)−1=1−i、β−α=1+i です。
右辺は 1⋅(2−i)−1⋅(2+i)=−2i になります。
(1−i)z−(1+i)zˉ=−2i
z=1 を入れると (1−i)−(1+i)=−2i で成り立ちます。z=3+2i でも (5−i)−(5+i)=−2i となり、確かに同じ直線の上に乗る。
単位円上の弦は短くなる
α と β が単位円の上にあると、αˉ=α1、βˉ=β1 が使えます[1]。
これを入れて αβ を掛け、共通因子の α−β で割ると、式が一気に短くなります。
z+αβzˉ=α+β
係数が 3 つとも α と β だけで書けました。単位円にのせる置き方が効く場面です。
例:弦の式を確かめる
α=1、β=i とします。αβ=i、α+β=1+i です。
z+izˉ=1+i
z=1 なら 1+i=1+i で成り立ちます。z=i なら i+i(−i)=i+1 で、こちらも成り立つ。
中点の 21+i を入れると 21+i+i21−i=21+i+i+1=1+i。線分の内部の点も同じ式をみたします。
接線は弦の極限
β を α へ近づけると、弦は接線に近づきます。式のほうも β=α を入れるだけ。
z+α2zˉ=2α
α における単位円の接線です。2 点で切っていた直線が、1 点で触れる直線に変わりました[3]。
例:1 における接線
α=1 を入れます。α2=1、2α=2 です。
z+zˉ=2
z+zˉ=2Re(z) なので、実部が 1 の点の集合。実軸に垂直な直線です。
接点 1 を通り、半径である実軸と直角に交わっています。接線が半径と直角になるという性質が、式の形に出ました。
例:i における接線
α=i なら α2=−1、2α=2i です。
z−zˉ=2i
z−zˉ=2iIm(z) なので、虚部が 1 の点の集合。実軸に平行な直線になります。
こちらも接点 i を通り、半径である虚軸と直角です。
例:2 本の接線が交わる点
α と β における接線の交点は、次の形になります[1]。
α+β2αβ
α=1、β=i で試します。1+i2i=22i(1−i)=i(1−i)=1+i です。
さきほどの 2 本は Re(z)=1 と Im(z)=1 でした。交点は 1+i で一致します。
α+β=0、つまり β が α の反対側にあるときは分母が 0 です。2 本の接線が平行になり、交わりません。
例:外部の点から引く接線
逆に、円の外の点 p から単位円へ接線を引くこともできます。接点は 2 つあり、長さの等しい 2 本が引けます[3]。
p=1+i から引くなら、接点は 1 と i です。∣1+i−1∣=1、∣1+i−i∣=1 で、確かに長さがそろっています。
交点の式 α+β2αβ を α、β について解くと接点が出ます。行きと帰りが同じ式で結ばれている。
| 2 点を通る直線 | (βˉ−αˉ)z−(β−α)zˉ=αβˉ−αˉβ |
| 単位円の弦 | z+αβzˉ=α+β |
| 単位円の接線 | z+α2zˉ=2α |
| 2 本の接線の交点 | α+β2αβ |
単位円上の点 −i における接線の式はどれですか。
__RESULT__
α=−i なので α2=−1、2α=−2i です。式は z−zˉ=−2i となり、虚部が −1 の直線を表します。z+zˉ の形は実部を表すので接点と合わず、2i のほうは i における接線になります。
要点
直線は z と zˉ の 1 次式で書けます。共役が入らないと直線になりません[2]。
単位円にのせると、弦が z+αβzˉ=α+β、接線が z+α2zˉ=2α という短い形になります。
接線は弦で β=α とした極限です。別々の公式ではなく、1 つの式の特別な場合。
2 本の接線の交点も α と β だけで書け、α+β=0 のときだけ交わらない。分母が 0 になる場面が、平行という図形の言葉に対応しています。
出典
Marc Deisenroth. *Complex Numbers*. Revision Notes, Imperial College London, Department of Computing, 2017. Circle Tangent Line. Wolfram MathWorld.
直線は $z$ だけでは書けません。$\dfrac{z-\alpha}{\beta-\alpha}$ が実数という条件から分母を払うと、$z$ と $\bar{z}$ の 1 次式が出ます。$\alpha$ と $\beta$ を単位円にのせると $\bar{\alpha}=\frac{1}{\alpha}$ が使えて、弦は $z+\alpha\beta\bar{z} = \alpha+\beta$ へ短くなる。接線はそこで $\beta=\alpha$ とした極限で、$z+\alpha^2\bar{z} = 2\alpha$ になります。2 本の接線の交点は $\frac{2\alpha\beta}{\alpha+\beta}$ で、$\alpha+\beta=0$ のときだけ平行になって交わりません。
α=−i なので α2=−1、2α=−2i です。式は z−zˉ=−2i となり、虚部が −1 の直線を表します。z+zˉ の形は実部を表すので接点と合わず、2i のほうは i における接線になります。