Evolton

北海道大学 2004年度 前期日程理系数学 第1問

次の漸化式で定義される複素数の数列
z1=1zn+1=1+i32zn+1 (n=1,2,)
を考える.
ただし,iは虚数単位である.

(1) z2z3を求めよ.

(2) 上の漸化式を
zn+1α=1+i32(znα)
と表したとき,複素数αを求めよ.

(3) 一般項znを求めよ.

(4) zn=1i32となるような自然数nをすべて求めよ.

難易度5/ 10計算量5/ 10目安18

複素数平面数列 漸化式の変形、複素数の極形式、剰余分類

方針

係数 λ=(1+i3)/2 は絶対値 1、偏角 π/3 の複素数である。まず固定点 α を求めて zn+1α=λ(znα) の等比型に直す。一般項では 1λ=λ1 を使って指数を整理し、最後は λ6=1λ3=1 という周期で n を分類する。

解答

(1) λ=1+i32 とおく。すると漸化式は zn+1=λzn+1 である。z1=1 より z2=λ+1=32+32i である。またz3=λz2+1=λ(1+λ)+1=1+λ+λ2である。ここで λ+λ2=i3 だから z3=1+i3 である。

(2) zn+1α=λ(znα) と表せるとすると、zn+1=λzn+(1λ)α である。もとの漸化式 zn+1=λzn+1 と比べると、(1λ)α=1 である。したがって α=11λ である。実際に 1λ=11+i32=1i32 なので、α=1(1i3)/2=1+i32 である。よって α=λ である。

(3)
(2) より zn+1λ=λ(znλ) である。したがって znλ=λn1(z1λ) である。ここで z1λ=1λ=1i32=λ1 だから、znλ=λn1λ1=λn2 である。よって zn=λ+λn2 であり、すなわち zn=1+i32+(1+i32)n2 である。

(4)
求める条件は zn=1i32 である。右辺は λ1 であるから、(3) の式を用いると λ+λn2=λ1 である。したがって λn2=(λ+λ1) である。λ=eiπ/3 なので λ+λ1=2cosπ3=1 である。よって λn2=1 である。 λ は偏角 π/3 の複素数なので λ3=1,λ6=1 である。したがって n23(mod6) であり、n5(mod6) である。求める自然数は n=6m+5(m=0,1,2,) である。

別解

解法2

方針

係数を単位複素数 λ とおき、漸化式を複素数平面上の回転として読む。中心は固定点の条件で決まり、中心から見た初期ベクトルを毎回60度回すことで一般項と到達時刻を求める。

解答

(1) λ=1+i32=cosπ3+isinπ3とおく。直接代入してz2=1+λ=32+32i,z3=1+λ+λ2=1+i3である。

(2)
変換 zλz+1 の固定点を α とすると、α=λα+1.したがってα=11λ=λである。

(3)
固定点 λ を中心に見るとzn+1λ=λ(znλ).λ=1argλ=π/3 なので、中心からのベクトルは1回ごとに π/3 回転する。初期ベクトルはz1λ=1λ=λ1だから、znλ=λn1λ1=λn2.よってzn=λ+λn2である。

(4)
目標値は λ1 なので、λ+λn2=λ1より λn2=1=λ3 を得る。λ6=1 だからn5(mod6).したがってn=6m+5(m=0,1,2,)である。

総評

複素数の一次漸化式を固定点で等比化する基本問題で、目安時間は18分程度。λ=(1+i3)/2 が6乗して1になることを見抜くと、(4) は周期の問題になる。一般項 zn=λ+λn2 の指数がずれやすいので、n=1 を代入して確認するとよい。別解の回転の見方は、式変形だけでなく複素数平面上の動きも把握できる。

冊子PDFで見る北大の複素数平面の問題で問題集を作る

出典: 北海道大学 2004年度 前期 数学。問題文はHTML表示のために再入力・数式組版しています。