Evolton

横浜国立大学 2020年度 前期 複素数平面・整数理系数学 第2問

次の問いに答えよ。

(1) 実数 A,B,C,D に対してz=A+5BiC+5Diと定める。ただしC+5Di0とする。z=x+yi を満たす実数 x,yA,B,C,D の式で表せ。

(2) 次を満たす整数 A,B,C,D を求めよ。{16+5i29=A+5BiC+5Di,ADBC=1,D>0

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

複素数平面整数 実部虚部比較、文字消去、剰余分類

方針

(1) は分母の共役複素数を掛ける。(2)は虚部と ADBC=1 を組み合わせて C2+5D2=29 を得て、D>0 の整数条件で候補を絞る。

解答

(1)

分母の共役複素数を掛けるとz=(A+5Bi)(C5Di)C2+5D2=AC+5BDC2+5D2+5(BCAD)C2+5D2i.したがってx=AC+5BDC2+5D2,y=5(BCAD)C2+5D2.(2)

条件 ADBC=1 からBCAD=1.虚部を比較すると5C2+5D2=529だからC2+5D2=29.D>0 であり、D3 なら左辺は45以上になる。D=1 では C2=24 となり不適で、D=2 ではC2=9.よってD=2,C=±3.実部の比較からAC+5BD=16.C=3,D=2 のとき3A+10B=16,2A3B=1となるが、解は整数でない。

C=3,D=2 のとき3A+10B=16,2A+3B=1.これを解くとA=2,B=1.したがって(A,B,C,D)=(2,1,3,2).

別解

解法2(もとの等式を交差に掛ける)

方針

分数形の複素数をそのまま交差に掛け、実部と虚部の一次式を作る。そこから ADBC を計算すると、A,B が消えて C2+5D2=29 が直接得られる。

解答

(1)

共役複素数を掛ければx=AC+5BDC2+5D2,y=5(BCAD)C2+5D2.(2)

与えられた複素数の等式を交差に掛けると29(A+5Bi)=(16+5i)(C+5Di).右辺を展開して実部・虚部を比較すると29A=16C5D,29B=C+16D.したがってA=16C5D29,B=C+16D29.これを ADBC に代入するとADBC=D(16C5D)C(C+16D)29=C2+5D229.条件 ADBC=1 よりC2+5D2=29.D>0 からD=2,C=±3.C=3,D=2 ではA=3829,B=3529となって整数でない。一方 C=3,D=2 ではA=2,B=1.よって(A,B,C,D)=(2,1,3,2)である。

総評

難度5、目安時間14分。(1)の共役計算は(2)の準備である。標準解法では虚部と行列式型の条件を組み合わせ、別解では交差積から ADBC を直接計算する。どちらも C2+5D2=29 へ集約され、D>0 により候補はごく少数になる。

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

出典: 横浜国立大学 2020年度 前期日程 理系数学 第2問(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。