東京大学 前期 1989年 第3問 (解答解説)
📝 問題
虚部が正の複素数の全体を
-
もまた に属することを示せ. -
と書き,以下 に対して とおく. このとき,
のすべての元 に対して が成立するような の値を求めよ.
✏️ 解答解説
【解答】
(1)
である.ここで虚部について
(2)
となる.よって
である.
(1)と同様に,
だから,
であり,また,
である.
従って,
となり,さらに1回施すと求める条件は
と同値である.
さて,
である.(式8)において(式3),(式10)を比較してこれらが任意の
で分母を払って
が恒等式になれば良い.
ここで簡単のため
である.これが恒等式になる必要十分条件は
である.これを解いて
を得る.いずれも