この記事では,2017年2月25日に行われた京都大学前期入試の「理系数学の問1」の考え方と解法を説明します.
この問題のポイントは,
- 複素数の絶対値,偏角が与えられたとき,正しく複素数を考えられるか.
- 「軌跡を求めよ」と問われたときに何をすれば良いか.
- 定義域を忘れず処理できるか.
です.
軌跡の方程式を求めることはそれほど難しくはありませんが,定義域は見落としがちです.
定義域まで考えられていない答案は大きく減点されるかもしれません.
【SPONSORED LINK】
目次
問題
2017年京都大学前期入試の「理系数学の問1」は以下の通りです.
問題
を0でない複素数,
,
を
を満たす実数とする.
- 実数
は
を満たす実数とする.
が絶対値
の複素数全体を動くとき,
平面上の点
の軌跡を求めよ.
- 実数
は
を満たす実数とする.
が偏角
の複素数全体を動くとき,
平面上の点
の軌跡を求めよ.
「複素数」と「軌跡」の複合問題です.
しかし,やることは明確なので,定義域の考察が必要なことを落とさなければ,それほど難しくはないでしょう.
問題のイメージ
(1)も(2)ものもとで考えていますが,違う点は
- (1)では
の絶対値
が与えられている
- (2)では
の偏角
が与えられている
という点ですね.
例えば,(1)での場合を考えてみます.
から
のときは
,すなわち
なので,
.
のときは
,すなわち
なので,
.
のときは
,すなわち
なので,
.
となります.
このように,が絶対値
のまま変化すると,点
が変化します.このとき点
がどのような軌跡を描くのか,ということが問われているわけですね.
(2)は絶対値ではなく,偏角がと与えられていますが,動く曲線が異なるだけで考え方は同じですね.
解法と考え方
やることは明確で,ほとんど一本道です.
何を求めるか
まず,「何を問われているか」ということを確認しておきます.
問われていることは,点の軌跡です.
点の軌跡とは「
と
がどのような関係をもって
平面上を動いているのか」ということですから,要するに
と
の関係式を求めれば良いわけですね.
さて,と
の情報は
でしか与えられていないので,この式をどう扱うのかがポイントになります.
複素数が等しいとは
「複素数と
が等しい」の定義は「
と
の実部どうし,虚部どうしが等しい」であったことを思い出しておきましょう.
ですから,
の実部が
で,虚部が
であることになります.
よって,の実部と虚部が分かれば,
と
が式で表せることになり,
と
の関係式が作れる可能性がありますね.
さて,のままで実部と虚部を表すのは不可能ではないですが,式がややこしくなってしまいます.
そのため,の実部と虚部を文字でおいてみようと考えます.
複素数の極形式
さて,いまは(1)で絶対値
が与えられ,(2)で偏角
が与えられています.絶対値や偏角が分かっているときには,極形式で表す方法が便利なことを確認しておきましょう.
の絶対値を
(
),偏角を
とすると,
となりますね.
このとき,ド・モアブルの定理から
であることに注意すると,
となります.よって,から
となります.
軌跡を求める
と
を実際に式で表すことができたので,ここから
と
の関係式を求めたいところです.
(1)ではと与えられていますから,
となります.
よって,この式の中から自分で勝手に決めたパラメータを消して,
と
の関係式を求めることができれば勝ちですね.
(2)ではと与えられていますから,
となります.
よって,この式の中から自分で勝手に決めたパラメータを消して,
と
の関係式を求めることができれば勝ちですね.
その際,の範囲,
の範囲に注意してください.
解答
以下,解答例です.
(1)の解答
(1) とおける.ただし,
とする.
ド・モアブルの定理から
だから,より
となる,
,
,
,
は実数だから,左辺の実部と虚部を比較して
を得る.よって,と同値な
と
の関係式が求める軌跡である.
から
,
なので,
となって,
が成り立つ.よって,から楕円
が得られる.
逆に,が成り立つとする.このとき,
なる実数
によって
と表せるから,が得られる.すなわち,
ならば
が成り立つ.
以上より,だから,求める軌跡は楕円
である.
(2)の解答
(2) とおける.ただし,
とする.(1)と同様にして,
を得る.よって,と同値な
と
の関係式が求める軌跡である.
から
,
なので,
となって,
が成り立つ.よって,から双曲線
が得られる.また,相加平均と相乗平均の関係から,
だから,である.すなわち,
かつ
が成り立つ.
逆に,かつ
が成り立つとする.このとき,
は
を動かせば全ての実数を取り,また
も
を動かせば全ての実数を動かせば全ての実数を取るから,
とおける.よって,から
が成り立つ.より
なので,
となるから,が得られる.すなわち,
かつ
ならば
が成り立つ.
以上より,は「
かつ
」と同値だから,求める軌跡は双曲線
かつ
である.
解答の補足
「解法と考え方」のところで書かなかった部分について補足しておきます.
パラメータの消し方
(1)も(2)もと
を
と
で表すところまでは特に問題はないと思います.
しかし,そこで「や
をどのように消すのか」というところで詰まる人はいると思います.
(1)でと
が出てきたときに,
を用いて
を消す方法としてよくあるので知っておくべきでしょう.
また,(2)ではと
は2乗することで,共に
の項と
の項のみとなり,
をが成り立ちます.このことも使うことがあるので,知っておくとよいでしょう.ただ,この方法は少しうまい方法なので気づかない人もいると思います.
その場合は,地道にを消しても良いです.例えば,
と
の和と差を考えることで,
が得られ,ここからを消しても同じく双曲線
が得られます.
なんにせよ,(1)では「パラメータを消したい」,(2)では「パラメータ
を消したい」という意識は必ず持っていたいところです.
条件と軌跡の同値性
軌跡は「と
の関係式を求めれば良い」と書きました.
詳しくは,「軌跡は『もともとのと
と同値な』
と
の関係式を求める」ことになります.
(1)は単にを消して求まる関係式
が,
と同値なのでそれでよかったのですが,(2)では単に
を消しても同値にはなりません.
(2)でのと
の式
から求まる軌跡は双曲線
のの部分です.
双曲線は
の部分の曲線と
の部分の曲線からできています.そのため,
かつ
とは,双曲線
の
の部分ということになります.
つまり,で
を動かしてできる軌跡は,双曲線
の一部にしかならないのです.
したがって,と
とは同値ではなく,必ず
が必要なのです.
逆の確認
「軌跡を求めよ」という問題では,「もともとのと
と同値な
と
の関係式を求める」と書きました.
ですから,軌跡を求める問題では「もともとのと
」と「
と
の関係式」が同値であることを確認して初めて完全な解答になります.
もし最初から最後まで全て同値で繋げていれば,もちろん最初と最後は同値なので,逆を確認する必要はありません.
しかし,上の解答では「もともとのと
」から「
と
の関係式」を導きました.もしここで解答をやめていると,逆を確認していないので同値性がまだ言えていないので,減点の対象となります.
つまり,が欲しいのに,
しか示していないことになっています.
ですから,逆が成り立つ,すなわち「確かにも成り立つ」ということを最後に示しているのです.
ただ,私の解答例ほどきっちり示す必要があるのかどうかは分かりません.採点官の裁量によると思います.
ただ,(1)では「逆に,軌跡がなら,
が得られる.」を,(2)では「逆に,軌跡が
かつ
なら,
が得られる.」程度の記述は少なくとも必要でしょう.
なお,(2)では双曲線だけから,もともとの
と
の式
を導くことはできません.
例えば,の符号を逆にした
も双曲線の式に当てはまってしまいます.
しかし,があることによって,
は
が負なので不適であることが分かります.
(2)の解答において,逆の確認の時に
で2乗を外していますが,条件によって
はあり得ず
が成り立つわけです.
このように,式としても条件がなくてはならないことが分かりますね.
なお,の軌跡も同様に求めることができ,
の軌跡は双曲線
の
となります.
複素数のまま考えると
複素数ままの計算で(1)が楕円になること,(2)が双曲線になることは確認できます.なかなか思い付かない方法なので,この計算は観賞用として複素数の考え方の一つの参考にしてください.
や
のように,和も差も分子が2乘になるという意味で,「と2の相性が良い」ことがポイントとなります.
なお,以下では逆の確認をしていないので,解答にするには逆の確認をする必要がありますが,逆の確認は面倒なので解答としてはあまりオススメしません.
(1)の楕円の導出
とおく.
と
から
を満たす.よって,複素数平面上のの軌跡は
を焦点とし,
と焦点それぞれとの距離の和が
であるような楕円となる.
複素平面上のと,
平面上の点
は同一視できるので,点
の軌跡は
を焦点とし,点
と焦点それぞれとの距離の和が
であるような楕円となる.
すなわち,
となる.
(2)の双曲線の導出
とおく.
と
から
を満たす.よって,複素数平面上のの軌跡は
を焦点とし,
と焦点それぞれとの距離の差が
であるような双曲線の実部が正の部分となる.
(実部が負の部分の双曲線はによって,双曲線全体は
によって表される.)
複素平面上のと,
平面上の点
は同一視できるので,点
の軌跡は
を焦点とし,点
と焦点それぞれとの距離の和が
であるような楕円となる.
すなわち,
となる.
【関連記事:解答例と考え方|2017年度|京都大学|理系数学問2】