文献あり

牛刀割鶏 2 (円円対応)

この著者は初心者として投稿しています。間違いや考慮が足りていない点が含まれている可能性が高いです。見つけたらコメント欄で優しく指摘してあげましょう。

導入

　今回は，円円対応について考えてみたいと思います．大学入試の問題でも，これをテーマにした問題は頻出です．しかも分野を跨いで出題されます．例えば，複素数平面での変換であったり，座標平面での変換であったり．本質は同じなのに付けてる仮面は違う，という感じです．
　今回は，そんな円円対応について紹介し，大学入試問題を解いていこうと思います．~~まあ，大学数学すげえ！たのしい！ってなりたいだけなんですけどね~~

牛刀の準備

　まず，無限遠点と広義の円を定義します．

無限遠点（ふんわりとした定義）

　平面の，無限の彼方を表す点 $(\infty, \infty)$ を無限遠点と呼び，点 $\infty$ と書く．

　わざわざこのような点を考える意義はあとで触れます．無限の彼方を表す仮想的な点を考え，平面 $R^{2}$ に追加して新たな空間 $R^{2} \cup {\infty}$ を考えることで，反転を統一的にみることが出来ます．

広義の円

　狭義の円(つまり，ある定点からの距離が一定となる点の集合)および直線を広義の円と呼ぶことにする．

　これは所謂「普通の円」に加えて，直線も円の仲間に加えようということです．これは直線を無限遠点を中心とする半径無限大の円とみなすことで自然な解釈が出来ると思います．
　次に，反転について紹介します．

反転（図形Ver.）

　原点を $O$ とし， $O$ を中心とし半径が $r$ となる円を $C$ とする．点 $P$ を， $OP \times OQ = r^{2}$ を満たす半直線 $OP$ 上の点 $Q$ に移す変換を円 $C$ による反転という．

座標平面表示にして，ゴリゴリ計算すると以下の定義も得ます．

反転（座標平面Ver.）

　点 $(x, y)$ を点 $(\frac{x}{x^{2} + y^{2}}, \frac{y}{x^{2} + y^{2}})$ に移す変換を反転と呼ぶ．ただし，原点 $(0, 0)$ を反転させると無限遠点 $(\infty, \infty)$ に，無限遠点 $(\infty, \infty)$ を反転させると原点 $(0, 0)$ に移るとする．

　 $z = x + y i$ とすると $\frac{1}{\bar{z}} = \frac{x + y i}{x^{2} + y^{2}}$ となるので，上記の定義を複素数表示に書き換えると，以下のようになります．

反転（複素数平面Ver.）

　点 $z$ を点 $w = \frac{1}{\bar{z}}$ に移す変換を反転と呼ぶ（メビウス変換ともいう）．ただし，原点 $z = 0$ を反転させると無限遠点 $w = \infty$ に，無限遠点 $z = \infty$ を反転させると原点 $w = 0$ に移るとする．

　続いて，この複素数平面での表示を用いて，反転に関する以下の定理を紹介します．

反転の円円対応

　複素数平面上において，点 $z$ が広義の円 $C$ 上を動くとき，点 $w = \frac{1}{z}$ も広義の円 $C^{'}$ 上を動く．

　まず点 $z$ が狭義の円上を動くとき，複素数 $α$ と正実数 $r$ を用いて $| z - α | = r$ が成立する． $z = 0$ と $w = \infty$ ，また $z = \infty$ と $w = 0$ を対応付ければ $z = 1 / w$ と書けて
$| \frac{1}{w} - α | = r, ∴ | α w - 1 | = r | w | .$
これは $α = 0$ では直線， $α \neq 0$ では広義の円を表す．
　点 $z$ が直線上を動くとき，相異なる複素数 $α$ と $β$ を用いて $| z - α | = | z - β |$ とおける．同様に $z = 0$ で $w = \infty$ ，また $z = \infty$ で $w = 0$ と対応させれば，いかなる場合でも $z = 1 / w$ と書けて
$| \frac{1}{w} - α | = | \frac{1}{w} - β |, ∴ | α w - 1 | = | β w - 1 | .$
$α$ と $β$ がともに $0$ でないなら，これは広義の円を描く．どちらかが $0$ なら，これは狭義の円を描く．

　複素共役をとる操作は， $x$ 軸（実軸）に対称に折り返す操作です．そのため「反転しても円は円に対応する」という定理に対しては， $w = 1 / z$ で考えても $w = 1 / \bar{z}$ で考えても，どちらかで示せば十分です．そのため，よりきれいな $w = 1 / z$ の場合で証明しました．

　次に，反転などを含めたより一般化された変換として，1次分数変換を紹介します．

1次分数変換

　点 $z \in C$ に対して，点 $w \in C$ を
$w = \frac{α z + β}{γ z + δ} (α, β, γ, δ \in C)$
と対応させる変換を1次分数変換という．

1次分数変換の分解

　1次分数変換は，複素数平面上での平行移動・伸縮回転・反転の合成によって表される．

　1次分数変換は
$w = {\begin{cases} \frac{α}{δ} z + \frac{β}{δ} & (γ = 0) \\ \frac{α}{γ} + \frac{β γ - α δ}{γ^{2}} \frac{1}{z + \frac{δ}{γ}} & (γ \neq 0) \end{cases}$
と書ける．これは3つの基本変換
$\begin{aligned} 平行移動 & : w = z + a, \\ 伸縮回転 & : w = b z, \\ 反転 & : w = \frac{1}{z}, \end{aligned}$
の合成である．

1次分数変換の円円対応

　点 $z$ が広義の円 $C$ を描くとき，点 $w = \frac{α z + β}{γ z + δ}$ も広義の円 $C^{'}$ を描く．

　補題２より， $w$ は平行移動・伸縮拡大・反転の組み合わせで変換される．点 $z$ が広義の円を描くとき，平行移動・伸縮拡大した点が広義の円を描くのは明らか．また定理１から，反転した場合でも変換後の点は広義の円を描く．

大学入試問題で牛刀割鶏

2007 大阪大

2007 大阪大理系第3問

　 $x y$ 平面において，原点 $O$ を通る半径 $r (r > 0)$ の円を $C$ とし，その中心を $A$ とする． $O$ を除く $C$ 上の点 $P$ に対し，次の条件(a)，(b)で定まる点 $Q$ を考える．
$\begin{aligned} (a) \vec{OP} と \vec{OQ} の向きが同じ． \\ (b) | \vec{OP} | | \vec{OQ} | = 1. \end{aligned}$
以下の問いに答えよ．

点 $P$ が $O$ を除く $C$ 上を動くとき，点 $Q$ は $\vec{OA}$ に直交する直線上を動くことを示せ．
(1)の直線を $l$ とする． $l$ が $C$ と2点で交わるとき， $r$ のとりうる値の範囲を求めよ．

解答

点 $P (X, Y) \neq (0, 0)$ に対して，条件(a)より点 $Q (k X, k Y) (k > 0)$ と書ける．そして条件(b)から $\sqrt{X^{2} + Y^{2}} \cdot k \sqrt{X^{2} + Y^{2}} = 1$ ゆえ $k = \frac{1}{X^{2} + Y^{2}}$ を得る．よって $P (X, Y) \neq (0, 0)$ は，点 $Q (\frac{X}{X^{2} + Y^{2}}, \frac{Y}{X^{2} + Y^{2}})$ に移る．これは反転変換である．この変換により原点は無限遠点に移るから，点 $Q$ は直線を描く． $\vec{OP} = 2 \vec{OA} = 2 r (\cos θ, \sin θ)$ なる点は点 $Q_{1} (\frac{\cos θ}{2 r}, \frac{\sin θ}{2 r})$ に移り，点 $P (r (\cos θ - \sin θ), r (\sin θ + \cos θ))$ は点 $Q_{2} (\frac{\cos θ - \sin θ}{2 r}, \frac{\cos θ + \sin θ}{2 r})$ に移る．よって点 $Q$ は直線 $Q_{1} Q_{2}$ を描く．この直線の方向ベクトルとして $\vec{d} = (\sin θ, - \cos θ)$ がとれて， $\vec{d} \cdot \vec{OA} = 0$ より $\vec{d} ⊥ \vec{OA}$ となるので，示された．
省略．

2022 大阪大

2022 大阪大理系第1問

　 $r$ を正の実数とする．複素数平面上で，点 $z$ が点 $\frac{3}{2}$ を中心とする半径 $r$ の円周上を動くとき，
$z + w = z w$
を満たす点 $w$ が描く図形を求めよ．

解答

　点 $z$ は $| z - 3 / 2 | = r$ 上を動く．そして $z + w = z w$ より $w = \frac{z}{z - 1}$ を得る．ただし平面に無限遠点を追加し， $z = 1$ のときは $w = \infty$ であると対応づける．すると， $w$ は広義の円を描くことが分かる．そして
$z = \frac{3}{2} \pm r のとき w = \frac{3 \pm 2 r}{1 \pm 2 r}, z = \frac{3}{2} \pm r i のとき w = \frac{3 \pm 2 r i}{1 \pm 2 r i} = \frac{3 + 4 r^{2} \mp 4 r i}{1 + 4 r^{2}}$
に移る．

$r = 1 / 2$ のとき，点 $z = 1, 2$ は点 $w = \infty, 2$ に移る．よって $w$ は点 $2$ を通る直線を描くことが分かり，点 $z = (3 \pm i) / 2$ は点 $w = 2 \mp i$ に移る．以上のことから，点 $w$ は虚軸に平行で，点 $2$ を通る直線全体を描く．
$r \neq 1 / 2$ のとき，2点 $\frac{3 \pm 2 r}{1 \pm 2 r}$ は互いに異なり，2点 $\frac{3 + 4 r^{2} \mp 4 r i}{1 + 4 r^{2}}$ も互いに異なり実軸上になく，加えて実軸との距離が等しい．したがって， $w$ は狭義の円全体を描き，中心は実軸上にある．よって2点 $\frac{3 \pm 2 r}{1 \pm 2 r}$ の中点 $\frac{3 - 4 r^{2}}{1 - 4 r^{2}}$ が円の中心となるので， $w$ は中心 $\frac{3 - 4 r^{2}}{1 - 4 r^{2}}$ および半径 $\frac{4 r}{| 1 - 4 r^{2} |}$ の円全体を描く．

2017 東京大

2017 東京大理系第3問

　複素数平面上の原点以外の点 $z$ に対して， $w = \frac{1}{z}$ とする．
(1) $α$ を $0$ でない複素数とし，点 $α$ と原点 $O$ を結ぶ線分の垂直二等分線を $L$ とする．点 $z$ が直線 $L$ 上を動くとき，点 $w$ の軌跡は円から1点を除いたものになる．この円の中心と半径を求めよ．
(2) 1の3乗根のうち，虚部が正であるものを $β$ とする．点 $β$ と点 $β^{2}$ を結ぶ線分上を点 $z$ が動くときの点 $w$ の軌跡を求め，複素数平面上に図示せよ．

解答

平面に無限遠点を追加して考える．点 $α / 2 \in L$ は点 $2 / α$ に移り，点 $α (1 + i) / 2 \in L$ は点 $(1 - i) / α$ に移る．また，点 $\infty$ は点 $0$ に移る． $w$ が描く円の中心を $γ$ とする． $γ$ は $| γ | = | γ - 2 / α | = | γ - (1 - i) / α |$ を満たす．これを計算すると
$γ \bar{γ} = (γ - \frac{2}{α}) (\bar{γ} - \frac{2}{\bar{α}}) = (γ - \frac{1 - i}{α}) (\bar{γ} - \frac{1 + i}{\bar{α}}) ∴ γ = \frac{1}{α} .$
以上のことから， $w$ の軌跡は中心 $\frac{1}{α}$ ，半径 $| \frac{2}{α} - \frac{1}{α} | = \frac{1}{| α |}$ となる円から原点を除いたものになる．
$x^{3} = 1$ を解いて $β = \frac{- 1 + \sqrt{3} i}{2}$ ， $β^{2} = \frac{- 1 - \sqrt{3} i}{2}$ を得る． $z$ が動く範囲を $ℓ$ とすると， $ℓ$ は直線の一部ゆえ $w$ の軌跡は広義の円の一部になる．点 $β \in ℓ$ は $1 / β = β^{2}$ に移り，点 $β^{2} \in ℓ$ は点 $1 / β^{2} = β$ に移る．また，点 $- 1 / 2 \in ℓ$ は点 $- 2$ に移る．これら3点は同一直線上にないので，点 $w$ の軌跡は3点 $β, β^{2}, - 2$ を通る円弧となる(図示は省略)．