一次分数変換
を考える。 平面の単位円 の による像 は 平面の円である。この円の中心を表す複素数 と半径 を求め、組 の形で答えよ。
一次分数変換による円・直線の像
による円・直線の像を、円の上の 3 点の像や対称点の対応から求め、像の円の中心と半径(または直線の方程式)を求められる(例: による の像)
前提
- 複素数の等式が表す図形 (数学C 複素数平面)
この技能までの道筋(39 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 小数の四則計算 (算数 計算と数のきまり)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 1 次方程式の解き方 (中学数学 方程式)
- 比例・反比例の式とグラフ (中学数学 関数)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 関数 の式と変域 (中学数学 関数)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 平方完成と 2 次関数のグラフ (数学I 2次関数)
- 複素数と 2 次方程式の虚数解 (数学II 複素数と方程式)
- 三角形の角の大きさ (算数 平面図形)
- 対頂角と平行線の同位角・錯角 (中学数学 平面図形)
- 三角形の外角と角の組み合わせ (中学数学 平面図形)
- 二等辺三角形の角 (中学数学 平面図形)
- 平行四辺形と特別な四角形の性質 (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 折り返した図形の角と長さ (中学数学 平面図形)
- 三平方の定理と平面図形 (中学数学 相似と三平方の定理)
- 最大公約数と最小公倍数 (算数 整数の性質)
- 比の性質と簡単な比 (算数 割合と比)
- 相似な三角形と長さの比 (算数 平面図形)
- 三角形の相似条件と対応する辺の長さ (中学数学 相似と三平方の定理)
- 平行線と線分の比 (中学数学 相似と三平方の定理)
- 2点間の距離と内分点・外分点 (数学II 図形と方程式)
- 複素数平面と絶対値・共役複素数 (数学C 複素数平面)
- 円の方程式 (数学II 図形と方程式)
- 条件を満たす点の軌跡 (数学II 図形と方程式)
- 複素数の等式が表す図形 (数学C 複素数平面)
説明
を満たす複素数 による関数 を一次分数変換といいます。一次分数変換は円または直線を円または直線に移すので、 が円 や直線の上を動くとき が描く図形を求め、それが円なら中心と半径、直線ならその方程式を答えられるようになります。複素関数で領域を扱いやすい形に移すときや、軌跡の問題で頻繁に使います。
なぜそうしてよいのか
を について解くと、 より 、したがって のとき です( なので分子と分母が同時に になることはありません)。これを円の条件 に代入して分母を払うと
となり、両辺を整理すると の形(または片側が定数の の形)になります。前提の技能どおり、これは なら円(アポロニウスの円)、 なら垂直二等分線、片側が定数なら円です。直線 から出発しても同様です。つまり「逆変換を代入して、 の形を読む」だけで像が決まります。
どちらになるかの目安もこの式から読めます。 は (分母が になる点)を有限の点に移せません。もとの円がこの点を通れば像は「無限遠に伸びる図形」つまり直線になり、通らなければ像は有限の円になります。
得られた答えは、円の上の 3 点の像で確かめられます。異なる 3 点を通る円・直線はただ 1 つなので、3 点の像が求めた円の上にあれば正しいとわかります。特に が実数で、もとの円の中心が実軸上にあれば、実軸は実軸に移り、円は実軸に関して対称なまま移るので、円と実軸の 2 交点の像が像の円の直径の両端になります。
手順
を確かめ、分母が になる点 がもとの円の上にあるか調べる(あれば像は直線、なければ円)
を について解き、 を求める
もとの図形の式(例: )に代入し、分母を払って の形にする
なら の垂直二等分線、 なら両辺を 2 乗し を使って展開・平方完成し、中心と半径を求める
もとの円の上の点(実軸との交点など)の像が求めた図形の上にあることを確かめる
例題
一次分数変換 によって、円 は円に移る。その像の円の中心と半径を順に求めよ。
例題の解答
【手順 1】。分母が になる点 は より円 の上にないので、像は円になる。
【手順 2】 より 、。 とすると となり起こらないので で、。
【手順 3】 に代入すると 、すなわち 。 なので、 で、 の形である。
【手順 4】 を で展開すると
整理して 、すなわち 。よって 、つまり 。像は中心 、半径 の円である( はこの円の上にないので、除く点はない)。
【手順 5】、 で、どちらも を満たす。係数が実数で は実軸に関して対称なので、 と は直径の両端であり、中心 ・半径 と一致する。
したがって中心 、半径 。
答え:
よくある誤り
もとの円の中心の像が像の円の中心になるとしてしまう誤り。例の では だが、像の円の中心は 。正しくは逆変換を代入して像の方程式を求める(または直径の両端の像の中点をとる)。
逆変換を求めずに を などに代入してしまう誤り。像を求めるには、 の満たす条件を得るために をもとの図形の式 に代入する。
像がいつも円になるとしてしまう誤り。もとの円が分母の零点 を通るときは像は直線になる。例えば による の像は、 より直線 (虚軸)。
を 2 乗して展開するときに、 の交差項を や としてしまう誤り。正しくは 。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
一次分数変換
を考える。 平面の円 の による像 は、 平面の円
である。組 をこの順に求めよ。、右半平面を とする。正則関数 で、次の条件をすべて満たすもの全体を とする。
- すべての について
-
-このとき
を求めよ。をリーマン球面、 とする。複素数 ()に対し、一次分数変換 を通常の約束(, 、 のときは )で から への写像とみなす。
が成り立つならば、ある実数 ()が存在して、すべての で となることを証明せよ。
ただし、一次分数変換は の全単射であること、2 つの一次分数変換の合成は係数行列の積に対応する一次分数変換であること、 に対応する変換の逆変換は に対応する変換であることは用いてよい。
複素平面の二つの開円板の共通部分として得られるレンズ形の領域
を考える。 は単連結な領域であり、リーマンの写像定理により、全単射な正則写像 ()で
を満たすものがただ一つ存在する。 の値を求めよ。複素平面の領域 を考える(単位開円板から、点 で単位円に内接する閉円板 を除いた三日月形の領域)。 とし、 を を満たす正則な全単射とする。このとき の値を求めよ。
を を満たす実数とします。複素平面上の 2 つの円
を考え、閉領域
とおきます( なので、 が囲む閉円板は開単位円板に含まれます)。次の条件 (i)〜(iii) をすべて満たす 6 個の閉円板 (いずれも半径は正)が存在するとします。
(i) 各 は に含まれ、その境界の円は とも とも接する。
(ii) に対して と は接する(ただし とする)。
(iii) の内部は互いに交わらない。
このとき の値を求めてください。
この技能の次に学べること
- 複比と標準領域の間の一次分数変換 (大学院数学 複素解析・リーマン面)