問題.
(1) 点 の座標 を求めよ. また, を求めよ.
(2) 実数 は を満たすとし, が から 1 まで動くときに点 と点 が描く曲線の長さをそれぞれ とする. このとき, 極限 を求めよ.
媒介変数表示された曲線の長さの問題です.
平面上の曲線が
\begin{align*}
x &= f(t)\\
y &= g(t)\quad (a\leqq t\leqq b)
\end{align*}
によって表されていて, が微分可能であれば, この曲線の長さは
\begin{align*}
L = \int_a^b \sqrt{\left(\dfrac{df}{dt}(t)\right)^2+\left(\dfrac{dg}{dt}(t)\right)^2}\,dt
\end{align*}
によって求まります.
解答例.
(1) より, 微分して .における法線の傾きは, .
点 は 座標が より大きいので, 点 の 座標を とおくと, を通って傾き の直線上にあるので, 座標は となります.
ここで, 条件 を使います. なので,
\begin{align*}
T^2 + (-tT)^2 &= 1\\
\therefore T &= \dfrac{1}{\sqrt{1+t^2}}
\end{align*}
したがって, の座標は .
を微分すると,
\begin{align*}
\dfrac{du}{dt} &= 1-\dfrac{1}{2}\cdot\dfrac{2t}{(1+t^2)^\frac{3}{2}}\\
&= 1 - \dfrac{t}{(1+t^2)^\frac{3}{2}}\\
\dfrac{dv}{dt} &= \dfrac{1}{t} - \dfrac{\sqrt{1+t^2}-t\cdot\frac{2t}{2\sqrt{1+t^2}}}{1+t^2}\\
&= \dfrac{1}{t} - \dfrac{1}{(1+t^2)^\frac{3}{2}}
\end{align*}
よって, .
(2) まず, から なので,
\begin{align*}
L_1(r) &= \int_r^1 \sqrt{1+\left(\dfrac{1}{x}\right)^2}\,dx\\
&= \int_r^1 \dfrac{\sqrt{1+x^2}}{x}\,dx
\end{align*}
となります.
次に, を考えます.
(1) より, なので,
\begin{align*}
\left(\dfrac{du}{dt}\right)^2+\left(\dfrac{dv}{dt}\right)^2 &= \left(\dfrac{du}{dt}\right)^2+\dfrac{1}{t^2}\cdot\left(\dfrac{du}{dt}\right)^2\\
&= \dfrac{1+t^2}{t^2}\cdot\left(\dfrac{du}{dt}\right)^2.
\end{align*}
ここで, より,
なので, です.
よって, は,
\begin{align*}
L_2(r) &= \int_r^1 \sqrt{\left(\dfrac{du}{dt}\right)^2+\left(\dfrac{dv}{dt}\right)^2}\,dt\\
&= \int_r^1 \sqrt{\dfrac{1+t^2}{t^2}\cdot\left(\dfrac{du}{dt}\right)^2}\,dt\\
&= \int_r^1 \dfrac{\sqrt{1+t^2}}{t}\cdot \dfrac{du}{dt}\,dt\\
&= \int_r^1 \dfrac{\sqrt{1+t^2}}{t}\cdot \left\{1 - \dfrac{t}{(1+t^2)^\frac{3}{2}}\right\}\,dt\\
&= \int_r^1 \left(\dfrac{\sqrt{1+t^2}}{t}-\dfrac{1}{1+t^2}\right)\,dt
\end{align*}
よって,
\begin{align*}
L_1(r) - L_2(r) &= \int_r^1 \dfrac{\sqrt{1+x^2}}{x}\,dx - \int_r^1 \left(\dfrac{\sqrt{1+t^2}}{t}-\dfrac{1}{1+t^2}\right)\,dt\\
&= \int_r^1 \dfrac{1}{1+t^2}\,dt
\end{align*}
となります.
と置換すると, で, のとき とすると,
\begin{align*}
L_1(r) - L_2(r) &= \int_{\theta_r}^{\pi/4} \dfrac{1}{1+\tan^2\theta}\cdot\dfrac{1}{\cos^2\theta}\,d\theta\\
&= \int_{\theta_r}^{\pi/4}\,d\theta\\
&= \dfrac{\pi}{4} - \theta_r.
\end{align*}
のとき, なので,
\begin{align*}
\lim_{r\to+0} \left(L_1(r)-L_2(r)\right) &= \lim_{\theta_r\to +0} \left(\dfrac{\pi}{4}-\theta_r\right)\\
&= \dfrac{\pi}{4}.
\end{align*}