京都大学/2025年度/前期

1京都大学 2025年 数学 第1問解答・解説

平面上の曲線と複素数平面積分法三角関数

1問題

京都大学2025年度第1問
次の各問に答えよ。

問1 ii は虚数単位とする。複素数 zz が、絶対値が 22 である複素数全体を動くとき、∣z−iz∣\left|z-\frac{i}{z}\right| の最大値と最小値を求めよ。

問2 次の定積分の値を求めよ。

・ ∫03xx2+1+2x3+1x2+1 dx\displaystyle \int_0^{\sqrt{3}} \frac{x\sqrt{x^2+1}+2x^3+1}{x^2+1}\,dx

・ ∫0π/21−cos⁡x1+cos⁡x dx\displaystyle \int_0^{\pi/2} \sqrt{\frac{1-\cos x}{1+\cos x}}\,dx

まずは自分で解いてみましょう。解けたら「答え」、詰まったら「解答」で確かめられます。

タイマー

15:00

2答え

答えを見る自分の答えと照らし合わせる
  • 問1: 最大52\frac52、最小32\frac32。問2(1): 4−log⁡4+π34-\log4+\frac{\pi}{3}。問2(2): log⁡2\log2。

3解答

解答を見る途中式つきの解答

解答

問1 z=x+iy,x2+y2=4z=x+iy, x^2+y^2=4とする。
iz=iz‾4=y4+x4i,∣z−i/z∣2=(x−y/4)2+(y−x/4)2=174−xy. \frac iz=\frac{i\overline z}{4}=\frac y4+\frac{x}{4}i,\quad |z-i/z|^2=(x-y/4)^2+(y-x/4)^2=\frac{17}{4}-xy.
(x−y)2≧0,(x+y)2≧0(x-y)^2\geqq0,(x+y)^2\geqq0より−2≦xy≦2-2\leqq xy\leqq2、等号はそれぞれx=yx=y, x=−yx=-yのとき実現。したがって∣z−i/z∣2|z-i/z|^2の範囲は9/4≦∣z−i/z∣2≦25/49/4\leqq|z-i/z|^2\leqq25/4で、最小3/2、最大5/2。
問2(1)
xx2+1+2x3+1x2+1=xx2+1+2x−2xx2+1+1x2+1. \frac{x\sqrt{x^2+1}+2x^3+1}{x^2+1} =\frac{x}{\sqrt{x^2+1}}+2x-\frac{2x}{x^2+1}+\frac1{x^2+1}.
最初の3項はそれぞれx2+1,x2,−log⁡(x2+1)\sqrt{x^2+1}, x^2, -\log(x^2+1)の微分から積分できる。最後はx=tan⁡θx=\tan\theta(0≦θ≦π/30\leqq\theta\leqq\pi/3)と置くとdx/(1+x2)=dθdx/(1+x^2)=d\thetaなので、∫03dx/(1+x2)=∫0π/3dθ=π/3\int_0^{\sqrt3} dx/(1+x^2)=\int_0^{\pi/3}d\theta=\pi/3。よって定積分の値は4−log⁡4+π/34-\log4+\pi/3。
問2(2) 0≦x≦π20\leqq x\leqq\frac\pi2では半角公式と非負性より
1−cos⁡x1+cos⁡x=tan⁡x2. \sqrt{\frac{1-\cos x}{1+\cos x}}=\tan\frac x2.
ゆえに積分は[−2log⁡(cos⁡x2)]0π/2=log⁡2\left[-2\log\left(\cos\frac{x}{2}\right)\right]_0^{\pi/2}=\log2。

読み終えたら解答を閉じて、もう一度自分の手で解いてみましょう。

この問題で使う考え方

  • 複素数を実部虚部に分解
  • 積の範囲評価
  • 部分分数型の積分分解
  • 半角公式

答えと解答は AI で作成したものです。誤りに気づいたらお問い合わせから教えてください。

京都大学の数学を、過去 10 年分まとめて解けるものがあったら使いたいですか?

次にやること

同じ年度の次の問題第2問へ進む数学と人間の活動(整数)

京都大学のほかの年度

似た問題を、ほかの大学で