オンライン大学受験予備校ゴウカライズのロゴ
オンライン大学受験予備校ゴウカライズ
LINEで相談!

【解答・解説】2026年 慶應義塾大学 理工学部 数学 第4問

公開

4

複素数平面上の異なる3点 A(α)\mathrm{A}(\alpha),B(β)\mathrm{B}(\beta),C(γ)\mathrm{C}(\gamma) に対して,等式

(p+i)α−2pβ+(p−i)γ=0(p+i)\alpha-2p\beta+(p-i)\gamma=0

が成り立つとする。ただし,ii は虚数単位であり,pp は正の数である。

(1)線分 AC\mathrm{AC} の中点を M\mathrm{M} とする。M\mathrm{M} を表す複素数を解答欄(1)に印刷されている文の下線部に記入しなさい。さらに,M\mathrm{M} を表す複素数を用いて,線分 AC\mathrm{AC} と直線 BM\mathrm{BM} が垂直に交わることの証明を記述しなさい。

以下,複素数 zn (n=1, 2, 3, ⋯⋯ )z_n\ (n=1,\ 2,\ 3,\ \cdots\cdots) は,z1=βz_1=\beta,z2=γz_2=\gamma であり,等式

(p+i)α−2pzn+(p−i)zn+1=0(n=1, 2, 3, ⋯⋯ )\begin{aligned} &(p+i)\alpha-2pz_n+(p-i)z_{n+1}=0\\ &\qquad(n=1,\ 2,\ 3,\ \cdots\cdots) \end{aligned}

を満たすとする。このとき,3点 α\alpha,znz_n,zn+1z_{n+1} を頂点とする三角形の面積を SnS_n とする。

(2)∣α−γ∣=p|\alpha-\gamma|=p のとき,S1S_1 と S2S_2 をそれぞれ pp の式で表すと,S1=チS_1=\boxed{\text{チ}},S2=ツS_2=\boxed{\text{ツ}} となる。

さらに,p=3p=\sqrt3,∣α−γ∣=3|\alpha-\gamma|=\sqrt3 とする。

(3)SnS1\dfrac{S_n}{S_1} を nn のみを用いた式で表すと,SnS1=テ\dfrac{S_n}{S_1}=\boxed{\text{テ}} となる。

(4)α\alpha と β\beta が,α<β\alpha<\beta を満たす実数である場合を考える。また,NN を zN+1z_{N+1} が実数となるような最小の正の整数とする。このとき,z1z_1,z2z_2,⋯⋯\cdots\cdots,zNz_N,zN+1z_{N+1} を頂点とする多角形の面積は ト\boxed{\text{ト}} である。

(注意)空欄については,分数は既約分数にするなど最もふさわしいもの(数,式など)を記入する。

重要知識と着眼点

(1)β\beta を中点 M\mathrm{M} からの「ずれ」で表す

複素数平面上の2直線の平行・垂直条件

異なる2点 A(α),B(β)A(\alpha),B(\beta) と、異なる2点 C(γ),D(δ)C(\gamma),D(\delta) について、

  1. AB,CDAB,CD が平行または一致   ⟺  \iff β−αδ−γ\dfrac{\beta-\alpha}{\delta-\gamma} が実数。
  2. AB⊥CDAB\perp CD   ⟺  \iff β−αδ−γ\dfrac{\beta-\alpha}{\delta-\gamma} が純虚数。

与えられた等式を β\beta について解くと、pp が付いた部分から α+γ2\dfrac{\alpha+\gamma}{2}、ii が付いた部分から α−γ\alpha-\gamma の項が現れます。
α+γ2\dfrac{\alpha+\gamma}{2} はまさに中点 M\mathrm{M} を表す複素数です。
そこで β−α+γ2\beta-\dfrac{\alpha+\gamma}{2} を作ると、α−γ\alpha-\gamma に純虚数を掛けた形になり、垂直条件が使えます。

三角形ABCと辺ACの中点Mを描いた図。BMはACに垂直で、BからMを引いたものは、AからCを引いたものにi/(2p)を掛けた複素数になる
中点 M\mathrm{M} と点 B\mathrm{B} の位置関係

「垂直に交わる」ことを示すには、「垂直であること」と「共有点をもつこと」の両方が必要です。
M\mathrm{M} は線分 AC\mathrm{AC} 上にあり、直線 BM\mathrm{BM} 上にもあるので、共有点は M\mathrm{M} です。
また、直線 BM\mathrm{BM} を考えるには B≠M\mathrm{B}\ne\mathrm{M} が必要なので、これも確認します。

(2)(3)α\alpha を中心に見ると、znz_n から zn+1z_{n+1} へは回転と拡大・縮小

複素数の積・累乗の扱い方

極形式で考える。積では絶対値をかけ、偏角を足す。
z=r(cos⁡θ+isin⁡θ)z=r(\cos\theta+i\sin\theta)(r>0r>0)のとき、zn=rn(cos⁡nθ+isin⁡nθ)z^n=r^n(\cos n\theta+i\sin n\theta)(nn は正の整数)。
zz をかける操作は、原点を中心とする rr 倍の拡大・縮小と、角 θ\theta の回転を表す。

三角形の面積の求め方

  1. 2辺 a,ba,b とその間の角 θ\theta が分かるとき、S=12absin⁡θS=\dfrac12ab\sin\theta。
  2. 3辺の長さが分かるとき、余弦定理で cos⁡θ\cos\theta を求める → sin⁡θ=1−cos⁡2θ\sin\theta=\sqrt{1-\cos^2\theta} → 面積公式に代入する。
  3. 頂点の座標が (0,0),(a,b),(c,d)(0,0),(a,b),(c,d) のとき、S=12∣ad−bc∣S=\dfrac12|ad-bc|。原点が頂点でなければ、1つの頂点が原点になるように平行移動する。
  4. 3辺の長さ a,b,ca,b,c と外接円の半径 RR が分かるとき、S=abc4RS=\dfrac{abc}{4R}。

漸化式の係数 p+i, −2p, p−ip+i,\ -2p,\ p-i の和は 00 です。
そのため、すべての nn で zn=αz_n=\alpha となる数列も、この漸化式を満たします。
an+1=ran+sa_{n+1}=ra_n+s 型の漸化式で、x=rx+sx=rx+s の解を引いて等比数列に直すのと同じ考え方です。
wn=zn−αw_n=z_n-\alpha とおくと、wn+1w_{n+1} が wnw_n の定数倍になり、{wn}\{w_n\} は等比数列になります。

複素数を掛けることは「回転と拡大・縮小」なので、点 α\alpha から見ると、znz_n を一定の角だけ回転し、α\alpha からの距離を一定の倍率にした点が zn+1z_{n+1} です。
三角形 αznzn+1\alpha z_nz_{n+1} は、2辺 ∣wn∣, ∣wn+1∣|w_n|,\ |w_{n+1}| とその間の角が分かるので、面積公式の1が使えます。
隣り合う三角形の面積比は、倍率の2乗で一定になります。

(4)偏角を追いかけ、多角形を三角形に分ける

等比数列の一般項と和

初項 aa、公比 r≠0r\ne0 の等比数列について、
an=arn−1a_n=ar^{n-1}。

  1. r≠1r\ne1:Sn=a+ar+⋯+arn−1=a(1−rn)1−rS_n=a+ar+\cdots+ar^{n-1}=\dfrac{a(1-r^n)}{1-r}。
  2. r=1r=1:Sn=naS_n=na。

p=3p=\sqrt3 のとき、回転角は π6\dfrac{\pi}{6} になります。
α, β\alpha,\ \beta が実数で α<β\alpha<\beta なので、w1=β−αw_1=\beta-\alpha は正の実数で、偏角は 00 です。
1回ごとに π6\dfrac{\pi}{6} ずつ回転するので、偏角が π\pi になったところで初めて再び実数になります。

z1z_1 から zN+1z_{N+1} までの点は、α\alpha のまわりを偏角 00 から π\pi まで順に並びます。
z1z_1 と zN+1z_{N+1} はどちらも実軸上にあり、α\alpha はその間にあります。
したがって、多角形は α\alpha を共通の頂点とし、面積が S1, S2, …, SNS_1,\ S_2,\ \ldots,\ S_N の三角形にすき間なく分けられます。
面積は(3)の結果を使って、等比数列の和として求まります。

解答

(1)

M\mathrm{M} を表す複素数は α+γ2\dfrac{\alpha+\gamma}{2} である。

証明

与えられた等式より、

2pβ=p(α+γ)+i(α−γ).2p\beta=p(\alpha+\gamma)+i(\alpha-\gamma).

p>0p>0 だから両辺を 2p2p で割って、

β−α+γ2=i2p(α−γ).\beta-\frac{\alpha+\gamma}{2}=\frac{i}{2p}(\alpha-\gamma).

α≠γ\alpha\ne\gamma より右辺は 00 でないので、β≠α+γ2\beta\ne\dfrac{\alpha+\gamma}{2}、すなわち B≠M\mathrm{B}\ne\mathrm{M} であり、直線 BM\mathrm{BM} が定まる。
さらに、

β−α+γ2α−γ=i2p\frac{\beta-\dfrac{\alpha+\gamma}{2}}{\alpha-\gamma}=\frac{i}{2p}

であり、pp は正の実数だから、これは純虚数である。
よって、BM⊥AC\mathrm{BM}\perp\mathrm{AC} である。
また、M\mathrm{M} は線分 AC\mathrm{AC} の中点だから線分 AC\mathrm{AC} 上にあり、直線 BM\mathrm{BM} 上にもある。
したがって、線分 AC\mathrm{AC} と直線 BM\mathrm{BM} は点 M\mathrm{M} で垂直に交わる。(証明終)

(2)

(p+i)−2p+(p−i)=0(p+i)-2p+(p-i)=0 だから、与えられた漸化式は

−2p(zn−α)+(p−i)(zn+1−α)=0-2p(z_n-\alpha)+(p-i)(z_{n+1}-\alpha)=0

と書きかえられる。
wn=zn−αw_n=z_n-\alpha とおくと、

wn+1=2pp−i wn=2p(p+i)p2+1 wn.w_{n+1}=\frac{2p}{p-i}\,w_n=\frac{2p(p+i)}{p^2+1}\,w_n.

r=2p(p+i)p2+1r=\dfrac{2p(p+i)}{p^2+1} とおく。
p+i=p2+1 (cos⁡φ+isin⁡φ)p+i=\sqrt{p^2+1}\,(\cos\varphi+i\sin\varphi)(0<φ<π20<\varphi<\dfrac{\pi}{2})と表すと、sin⁡φ=1p2+1\sin\varphi=\dfrac{1}{\sqrt{p^2+1}} であり、

r=2pp2+1(cos⁡φ+isin⁡φ).r=\frac{2p}{\sqrt{p^2+1}}(\cos\varphi+i\sin\varphi).

w1=β−α≠0w_1=\beta-\alpha\ne0、r≠0r\ne0 より、すべての nn で wn≠0w_n\ne0 である。
wn+1=rwnw_{n+1}=rw_n より、点 zn+1z_{n+1} は、点 znz_n を点 α\alpha のまわりに φ\varphi だけ回転し、α\alpha からの距離を ∣r∣|r| 倍した点である。
よって、三角形の2辺の長さは ∣wn∣|w_n|、∣wn+1∣=∣r∣∣wn∣|w_{n+1}|=|r||w_n| で、その間の角は φ\varphi だから、

Sn=12∣wn∣⋅∣r∣∣wn∣sin⁡φ=12⋅2pp2+1⋅1p2+1∣wn∣2=pp2+1∣wn∣2.\begin{aligned} S_n&=\frac12|w_n|\cdot|r||w_n|\sin\varphi\\ &=\frac12\cdot\frac{2p}{\sqrt{p^2+1}}\cdot\frac{1}{\sqrt{p^2+1}}|w_n|^2\\ &=\frac{p}{p^2+1}|w_n|^2. \end{aligned}

∣w2∣=∣γ−α∣=p|w_2|=|\gamma-\alpha|=p であり、∣w1∣=∣w2∣∣r∣=p⋅p2+12p=p2+12|w_1|=\dfrac{|w_2|}{|r|}=p\cdot\dfrac{\sqrt{p^2+1}}{2p}=\dfrac{\sqrt{p^2+1}}{2} だから、

S1=pp2+1⋅p2+14=p4,S2=pp2+1⋅p2=p3p2+1.\begin{aligned} S_1&=\frac{p}{p^2+1}\cdot\frac{p^2+1}{4}=\boxed{\frac p4},\\ S_2&=\frac{p}{p^2+1}\cdot p^2=\boxed{\frac{p^3}{p^2+1}}. \end{aligned}
補足(1)の図で S1S_1 を確かめる

S1S_1 は三角形 ABC\mathrm{ABC} の面積です。
(1)より、底辺 AC=∣α−γ∣=p\mathrm{AC}=|\alpha-\gamma|=p に対する高さは BM=∣i2p(α−γ)∣=p2p=12\mathrm{BM}=\left|\dfrac{i}{2p}(\alpha-\gamma)\right|=\dfrac{p}{2p}=\dfrac12 です。
よって S1=12⋅p⋅12=p4S_1=\dfrac12\cdot p\cdot\dfrac12=\dfrac p4 となり、一致します。

(3)

(2)より、

Sn+1Sn=∣wn+1∣2∣wn∣2=∣r∣2=4p2p2+1.\frac{S_{n+1}}{S_n}=\frac{|w_{n+1}|^2}{|w_n|^2}=|r|^2=\frac{4p^2}{p^2+1}.

p=3p=\sqrt3 のとき ∣r∣2=124=3|r|^2=\dfrac{12}{4}=3 だから、{Sn}\{S_n\} は公比 33 の等比数列である。
よって、

SnS1=3n−1.\frac{S_n}{S_1}=\boxed{3^{n-1}}.

(4)

p=3p=\sqrt3 のとき、

r=23(3+i)4=3+3 i2=3(cos⁡π6+isin⁡π6).\begin{aligned} r&=\frac{2\sqrt3(\sqrt3+i)}{4}=\frac{3+\sqrt3\,i}{2}\\ &=\sqrt3\left(\cos\frac{\pi}{6}+i\sin\frac{\pi}{6}\right). \end{aligned}

(2)より ∣w1∣=∣w2∣∣r∣=33=1|w_1|=\dfrac{|w_2|}{|r|}=\dfrac{\sqrt3}{\sqrt3}=1 であり、α<β\alpha<\beta だから w1=β−α=1w_1=\beta-\alpha=1 である。
したがって、

wn=(3)n−1{cos⁡(n−1)π6+isin⁡(n−1)π6}.w_n=(\sqrt3)^{n-1}\left\{\cos\frac{(n-1)\pi}{6}+i\sin\frac{(n-1)\pi}{6}\right\}.

α\alpha は実数だから、znz_n が実数であることは wnw_n が実数であること、すなわち sin⁡(n−1)π6=0\sin\dfrac{(n-1)\pi}{6}=0 と同値である。
これは n−1n-1 が 66 の倍数であることと同値である。
zN+1z_{N+1} が実数となる最小の正の整数 NN は、N=6N=6 である。

w1, w2, …, w7w_1,\ w_2,\ \ldots,\ w_7 の偏角は 0, π6, …, π0,\ \dfrac{\pi}{6},\ \ldots,\ \pi と π6\dfrac{\pi}{6} ずつ増え、z1=α+1z_1=\alpha+1、z7=α−27z_7=\alpha-27 である。
よって、α\alpha は線分 z7z1z_7z_1 上にあり、z1, z2, …, z7z_1,\ z_2,\ \ldots,\ z_7 は α\alpha のまわりに偏角の順に並ぶ。
したがって、7点を頂点とする多角形は、α, zk, zk+1\alpha,\ z_k,\ z_{k+1}(k=1,2,…,6k=1,2,\ldots,6)を頂点とする6つの三角形に、重なりなく分けられる。

点αのまわりに、z1からz7が30度ずつ回転しながら遠ざかって並ぶ七角形。z1とz7は実軸上にあり、αは辺z7z1上にある。αと各頂点を結ぶ破線で6つの三角形に分かれる。右側はα付近の拡大図
z1,…,z7z_1,\ldots,z_7 を頂点とする多角形

S1=34S_1=\dfrac{\sqrt3}{4} と(3)より、求める面積は

S1+S2+⋯+S6=34(1+3+32+⋯+35)=34⋅36−13−1=34⋅364=913.\begin{aligned} S_1+S_2+\cdots+S_6&=\frac{\sqrt3}{4}(1+3+3^2+\cdots+3^5)\\ &=\frac{\sqrt3}{4}\cdot\frac{3^6-1}{3-1}\\ &=\frac{\sqrt3}{4}\cdot364=\boxed{91\sqrt3}. \end{aligned}
補足最後の三角形の面積で確かめる

3頂点が 0, u, v0,\ u,\ v の三角形の面積は 12∣Im(uv‾)∣\dfrac12|\mathrm{Im}(u\overline{v})| で求められます(Im\mathrm{Im} は虚部)。
α\alpha を原点に平行移動して考えると、w6=−272+932iw_6=-\dfrac{27}{2}+\dfrac{9\sqrt3}{2}i、w7=−27w_7=-27 です。
w7w6‾=(−27)(−272−932i)=7292+24332iw_7\overline{w_6}=(-27)\left(-\dfrac{27}{2}-\dfrac{9\sqrt3}{2}i\right)=\dfrac{729}{2}+\dfrac{243\sqrt3}{2}i より、S6=24334S_6=\dfrac{243\sqrt3}{4} です。
これは 35S1=243⋅343^5S_1=243\cdot\dfrac{\sqrt3}{4} と一致します。

問題データ

関連分野
数列
難易度の目安
B(標準)
目標時間
25分

講評

複素数平面上の点の関係式から、垂直の証明、回転と拡大でできる点列、多角形の面積までを扱う問題です。
(1)の等式の読み取り方が、(2)以降の漸化式を解く方法の手がかりになっています。

(1)は確実に取りたい小問です。
等式を β\beta について解き、中点 α+γ2\dfrac{\alpha+\gamma}{2} を引くという方針が立てば、垂直条件はすぐに確認できます。
記述では、比が「純虚数」であることに加えて、B≠M\mathrm{B}\ne\mathrm{M} であること、2つが M\mathrm{M} で交わることまで書きましょう。
「垂直に交わる」の「交わる」を示し忘れると、証明として不十分になります。

(2)(3)は、係数の和が 00 であることに気づき、wn=zn−αw_n=z_n-\alpha とおけるかどうかで差がつきます。
znz_n のまま扱うと、三角形の面積を計算するのが大変です。
「点 α\alpha を中心とする回転と拡大」と見れば、面積が公比 ∣r∣2|r|^2 の等比数列になることが自然に分かります。
S1S_1 は(1)の三角形 ABC\mathrm{ABC} なので、底辺と高さからも求められます。
2通りで一致を確かめられる点も活用しましょう。

(4)は、回転角が π6\dfrac{\pi}{6} になることから N=6N=6 を求め、多角形を三角形に分ける問題です。
点の位置を大まかにでも描いてみると、α\alpha が多角形の辺 z7z1z_7z_1 上にあり、扇形のように三角形が並ぶことが分かります。
条件 ∣α−γ∣=3|\alpha-\gamma|=\sqrt3 から β−α=1\beta-\alpha=1 と決まる点も見落とさないようにしましょう。

難易度はB、目標時間は25分としました。
各小問の方針は典型的ですが、(1)の証明の記述と、(2)で wnw_n を導入する発想、(4)で多角形を分ける説明に時間がかかるためです。

志望校対策はオンラインで始められる。無料受験相談。今すぐLINEで相談!

同じ試験の問題

【解答・解説】2026年 慶應義塾大学 理工学部 数学 第1問

【解答・解説】2026年 慶應義塾大学 理工学部 数学 第2問

【解答・解説】2026年 慶應義塾大学 理工学部 数学 第3問

【解答・解説】2026年 慶應義塾大学 理工学部 数学 第5問

同じ分野の問題

【解答・解説】2026年 早稲田大学 基幹・創造・先進理工学部 数学 第4問

【解答・解説】2025年 麻布大学 獣医学科 第Ⅰ期B日程 数学 第3問

【解答・解説】2024年 麻布大学 獣医学科 第Ⅰ期B日程 数学 第3問

【解答・解説】2025年 麻布大学 獣医学科 第Ⅱ期 数学 第1問

【解答・解説】2026年 麻布大学 獣医学科 第Ⅰ期B日程 数学 第3問

【解答・解説】2026年 麻布大学 獣医学科 第Ⅱ期 数学 第1問

問題を探す

または