東大理系数学'05年前期[2]
となるどのような複素数zに対しても
とは表されない複素数w全体の集合をTとする。すなわち、
とする。このとき、Tに属する複素数wで絶対値
が最大になるようなwの値を求めよ。
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
解答 問題文前半の言い方では、考えにくいので、集合記法で書き直してある方で考えることにします。
まず、変換式:
をzの2次方程式:
・・・@ と見て、zについて解きます。
・・・A 苦しい形になりますが、複素数の平方根
は2乗して
になる複素数だとします。
ですがこれでは、
の処置に困ります。2乗して
になる複素数を考えるのに便利な技巧は極形式です。でも、ここで極形式を持ち出すくらいなら、はじめから極形式で書いてきた方がよいだろう、ということで、zを極形式で、
(
,
)と表すことにします。
という条件は、
となります。
これはrを固定して考えると、
,つまり、
のときに最大になります。
このとき、
が
を満たせばwはT上の点になります。
のとき、
として、
においては、
より
は単調増加で、
のとき
最大。
このとき、
できた!と驚喜したくなるのですが、解答として妥当かどうかを調べてみます。
@で、
としてみると、
∴ 
は
を満たすのですが、
は満たしません。
は、集合Tの条件式:
を満たさないのです。
つまり、
は集合Tの要素にはなり得ず、この問題の解答とするわけにはいきません。
これは、Aが、wに対してzの値が1通りであるかのように見えるためです。
ですが、@は2次方程式なので、解は2個、つまり、zの値は2通りあります。
に対するzは
と
の2個あります。
の最大値は、2次方程式@の解が2個とも
を満たすという条件下で考えなければなりません。
かと言って、
を満たすzを求めるのは、厳しそうです。
そこで、少し単純な問題を考えてみます。
与えられた
に対して、
とおき、
を満たすzを求めてみます。
また、
より
より、
よって、
,または、
・・・(*) これなら、
の最大も、
に関する条件もラクに考えることができます。
実は、東大第2問は、この単純化された問題に帰着できる形をしています。
の両辺に1を加えると、
・・・B となるので、与えられた
(
)に対して、
(
,
)とおき、
を満たすzを求めてみます。
よって、上記(*)を利用して、
左辺を平方完成して、
∴
(ここまで、複号同順) ・・・D さて、
という条件は、2次方程式@の2つの解Cの双方について成立する必要があります。Dの条件も複号の+,−の双方について成立する必要があります。
つまり、ある定められたφに対して、
かつ 
この条件は、
(
)として
とおくと、
かつ
・・・E という条件と同値です。
より、
は単調増加。 (合成関数の微分法、関数の増減を参照)
,
より、
において、
また、
とすると、
∴ 
従って、
一方、
のとき、
・
であれば、
はR最大のときに最大となります。また、R最大という条件のもとで、
が最小のときに、
は最大です。 上記のように、Rが最大値
をとるときに、
であって、
なので、R最大と
最小は同時に起こり、しかも、
の最大値は、
以上より、
が最大になるのは、
,
(
)のときで、このとき、
......[答]
一応、確認をしておくと、
として、
を解くと、
,このとき、
となり、2解とも、
を満たしています。
別解 上記のように素直に極形式でやってしまうと、(*)からC,Dと来るあたりでゴタつきます。そこで、2乗して
となる複素数を求めてしまわずに、単に、αと置くことにします。すると、B:
を満たすzは、
より、
,また、
より、
条件:
は、複号の±のいずれに対しても成り立つ必要があるので、
かつ 
となり、αは、1を中心とする半径
の円から内側であって、かつ、
を中心とする半径
の円から内側の複素数となります。このとき、
となりますが、等号が成立するのは、
のときで、2円の交点は、
より、αがこの交点に来るときにw最大です。
従って、
の最大値を与えるwは、
......[答]
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
東大理系数学TOP 数学TOP TOPページに戻る
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
各問題の著作権は
出題大学に属します。©2005-2024(有)りるらる 苦学楽学塾 随時入会受付中!理系大学受験ネット塾苦学楽学塾(ご案内はこちら)ご入会は、
まず、こちらまでメールを
お送りください。