複素数平面上に 3 点 O,A,B を頂点とする △OAB がある。ただし,O は原点とする。△OAB の外心を P とする。3 点 A,B,P が表す複素数を,それぞれ α,β,γ とするとき,
αβ=z
が成り立つとする。(北海道大2017)
(1) 複素数 α の満たすべき条件を求め,点 A (α) が描く図形を複素数平面上に図示せよ。
(2) 点 P (z) の存在範囲を求め,複素数平面上に図示せよ。
複素数が垂直二等分線になる
(1)から考えていきます。
ある三角形があったとして,その外接円の中心はどこにあるのでしょうか。それは外接円の性質を考えれば分かるはずです。
三角形の辺の垂直二等分線を引いて,その交点が外接円の中心。
外接円を描いてみると,円の半径より OP = BP となることが分かります。よって
∣z∣=∣z−β∣
z=αβ より
∣αβ∣=∣αβ−β∣
∣α∣⋅∣β∣=∣β∣⋅∣α−1∣
∣α∣=∣α−1∣
つまり
∣α−0∣=∣α−1∣
この形は垂直二等分線でした。
したがって,A(α) が描く図形は,点 0,1 を結ぶ垂直二等分線。(答え)
計算は分かるけど,なんで A の位置が垂直二等分線上になるのか分からない。
点 A,B をどの位置に置いたとしても外接円を作ることはできます。しかし,αβ=z の関係から B,Z の位置が決まると A の位置もある 1 点に決まることが分かります。
問題文を読んだとき,普通ならば A,B の位置を決めて,それをもとに P の位置を決めるという順番で考えるはずです。
しかし,ここでは A の位置を問われているので,順番を入れ替えて B,P の位置から A の位置を求めるという計算を行っているのです。
ここで問われていることは発想の転換です。
円の中心の存在範囲を求める
(2)に進みます。
(1)で考察したことをもとにすると,今度は A,B の位置が決まれば,P の位置が 1 点に決まるはずです。
そして,さらに考えると,A,P の位置が決まれば,B の位置が 1 点に決まることになります。
A,B から P を決めると言っても,B はどこでも良いわけじゃない。だから,まず B の位置を決める。
OP = AP より
∣z∣=∣z−α∣
∣αβ∣=∣αβ−α∣
∣α∣⋅∣β∣=∣α∣⋅∣β−1∣
∣β∣=∣β−1∣
つまり,点 A と同様に点 B も点 0,1 を結ぶ垂直二等分線上です。
A,B の位置は分かりましたが,このままでは計算が進みません。このようなとき,z を具体的に z=x+yi とし,いったん複素数として表してみるとよいでしょう。
同様に,α,β も
α=21+si
β=21+ti
としておきます。
文字が増えると不安になるかもね。ゴール地点を考えて。ここでは
z について求めるんだから,
x と
y だけで表される式ができればよい。つまり
s,
t を消去していく方向で考える。
文字が増えると不安になるものです。しかし,ゴール地点を見極めて,不要な文字が最終的に消去できるのであれば,実際のところ文字をどう定めても問題ではないのです。
ここから
z=αβ
=(21+si)(21+ti)
=41+21(s+t)i−st
実部と虚部で整理して
=41−st+21(s+t)i
よって
x+yi=41−st+21(s+t)i
左右を比べると
x=41−st ・・・①
y=21(s+t) ・・・②
①より
st=−x+41
②より
s+t=2y
このように和と積が出来上がったら,解と係数の関係を思い出しましょう。
解と係数の関係より
X2−2yX−x+41=0
この二次関数に意味はありません。単に,s,t を解に持つ二次関数というだけです。しかし,ここから x,y の関係式を作ることができます。
4D=y2−(−x+41)≧0
高校数学に入るとこういう話結構出てくる。一見,科学的でないように思うかもしれないけど,「意味はないけどたまたま成り立つ法則」ってのが,他のことで役に立つことがあるってのをここで理解して。法則が成立していることをもとに,それを利用することは,ちゃんと科学的思考になっているのよ。
点 A,B が存在するとき,s,t はある実数として存在することになります。したがって,二次関数は異なる二つの実数解を持つはずです。
式を変形して
x≧−y2+41
これで,求める x,y の関係式が出来上がりました。
y2≧−x+41 ってしたらダメですか?
数IIIで放物線やって
y2=4px 習ったよね。確かにそっちで考えてもいいのだけど,今回の式だとむしろややこしくなるかも。
x=−y2+41 は,y=−x2+41 の x と y を入れ替えた式だと考えることができます。つまり逆関数です。
逆関数は,x=y の直線において対称の関係にあるので,それぞれの点を対称移動させていくと,次のようなグラフになります。
したがって,P(z) の存在範囲は
関連