関数 $y = x^3 - x$ のグラフを $C$ とする。 (1) $C$ 上の点 $(t, t^3 - t)$ における $C$ の接線の方程式を求める。 (2) $C$ 上の2点 $(t, t^3 - t)$ および $(s, s^3 - s)$ における $C$ の接線が一致するのは $t = s$ に限ることを示す。 (3) $C$ 上にない点 $A(a, b)$ から $C$ へ引ける接線の数がちょうど2本となるとき、$a, b$ が満たす条件を求める。

解析学微分接線グラフ三次関数3次方程式
2025/5/5

1. 問題の内容

関数 y=x3xy = x^3 - x のグラフを CC とする。
(1) CC 上の点 (t,t3t)(t, t^3 - t) における CC の接線の方程式を求める。
(2) CC 上の2点 (t,t3t)(t, t^3 - t) および (s,s3s)(s, s^3 - s) における CC の接線が一致するのは t=st = s に限ることを示す。
(3) CC 上にない点 A(a,b)A(a, b) から CC へ引ける接線の数がちょうど2本となるとき、a,ba, b が満たす条件を求める。

2. 解き方の手順

(1)
y=x3xy = x^3 - x を微分すると、y=3x21y' = 3x^2 - 1
(t,t3t)(t, t^3 - t) における接線の傾きは 3t213t^2 - 1 なので、接線の方程式は
y(t3t)=(3t21)(xt)y - (t^3 - t) = (3t^2 - 1)(x - t)
y=(3t21)x3t3+t+t3ty = (3t^2 - 1)x - 3t^3 + t + t^3 - t
y=(3t21)x2t3y = (3t^2 - 1)x - 2t^3
(2)
(t,t3t)(t, t^3 - t) における接線の方程式は y=(3t21)x2t3y = (3t^2 - 1)x - 2t^3
(s,s3s)(s, s^3 - s) における接線の方程式は y=(3s21)x2s3y = (3s^2 - 1)x - 2s^3
これらが一致するとき、傾きと yy 切片がそれぞれ等しいので、
3t21=3s213t^2 - 1 = 3s^2 - 1 かつ 2t3=2s3-2t^3 = -2s^3
3t21=3s213t^2 - 1 = 3s^2 - 1 より 3t2=3s23t^2 = 3s^2 なので t2=s2t^2 = s^2。よって t=st = s または t=st = -s
2t3=2s3-2t^3 = -2s^3 より t3=s3t^3 = s^3 なので t=st = s
したがって、t=st = s に限る。
(3)
A(a,b)A(a, b) から CC へ引いた接線が点 (t,t3t)(t, t^3 - t) で接するとする。
接線の方程式は y=(3t21)x2t3y = (3t^2 - 1)x - 2t^3
これが点 A(a,b)A(a, b) を通るので、b=(3t21)a2t3b = (3t^2 - 1)a - 2t^3
2t33at2+a+b=02t^3 - 3at^2 + a + b = 0
tt に関する3次方程式 f(t)=2t33at2+a+b=0f(t) = 2t^3 - 3at^2 + a + b = 0 がちょうど2つの実数解を持つ条件を求める。
f(t)=6t26at=6t(ta)f'(t) = 6t^2 - 6at = 6t(t - a)
f(t)=0f'(t) = 0 となるのは t=0,at = 0, a
f(0)=a+bf(0) = a + b
f(a)=2a33a3+a+b=a3+a+bf(a) = 2a^3 - 3a^3 + a + b = -a^3 + a + b
f(t)=0f(t) = 0 がちょうど2つの実数解を持つのは、
(i) f(0)=0f(0) = 0 または f(a)=0f(a) = 0 のとき。つまり、a+b=0a + b = 0 または a3+a+b=0-a^3 + a + b = 0 のとき。
(ii) f(0)f(a)=0f(0)f(a) = 0 であり、f(0)=f(a)=0f'(0) = f'(a) = 0 であるため、t=0t = 0 または t=at = a が重解となるとき。
a+b=0a+b = 0のとき、f(t)=2t33at2=t2(2t3a)=0f(t) = 2t^3 - 3at^2 = t^2(2t-3a) = 0. よって、t=0t = 0t=3a/2t=3a/2.
a3+a+b=0-a^3+a+b = 0のとき、f(t)=2t33at2+a+b=2t33at2+aa3+a=0f(t) = 2t^3 - 3at^2 + a + b = 2t^3 - 3at^2 + a - a^3 + a = 0.
f(0)f(a)=(a+b)(a3+a+b)=0f(0)f(a) = (a+b)(-a^3+a+b)=0
(a+b)(-a^3+a+b)=0 かつ a+b0a+b \neq 0 かつ a3+a+b0-a^3+a+b \neq 0をみたすとき。
f(0)f(a)=(a+b)(a3+a+b)=0f(0)f(a) = (a+b)(-a^3+a+b) = 0
(a+b)=0(a+b) = 0 または (a3+a+b)=0(-a^3+a+b)=0
b=ab = -a または b=a3ab = a^3-a
a=0,b=0a=0, b=0a=1,b=0a=1, b=0a=1,b=0a=-1, b=0のとき、A(a,b)A(a,b)はC上にあるので、これは除く。
よって f(0)f(a)=0f(0)f(a)=0 かつ AはC上にないこと。
b=ab = -a または b=a3ab = a^3 - a

3. 最終的な答え

b=ab = -a または b=a3ab = a^3 - a (ただし、AがC上にない a,ba, b)
b=ab = -a (ただし、a0,a1,a1a \neq 0, a \neq 1, a \neq -1)またはb=a3ab = a^3 - a (ただし、a0,a1,a1a \neq 0, a \neq 1, a \neq -1)
すなわち、b=ab=-a or b=a3ab=a^3-aただし、a0,a±1a \neq 0, a \neq \pm 1のとき。
f(0)=0f(0)=0のとき、t=0t = 0で接線が接し、f(a)=0f(a)=0のとき、t=at = aで接線が接する。
a+b=0a+b = 0
b=ab=-a
a3+a+b=0-a^3+a+b=0
b=a3ab=a^3-a
求める条件は
a+b=0a+b=0 or a3+a+b=0-a^3+a+b=0
b=ab=-a or b=a3ab=a^3-a
a+b)(a3+a+b)=0a+b)(-a^3+a+b) = 0となるが、AがC上にない。a3aba^3-a \neq bを考慮すると、条件はb=ab=-a
ただし、AはC上にない点なので、a0,a1,a1a \neq 0, a \neq 1, a \neq -1
または
b=a3ab=a^3-aただし、a0,a1,a1a \neq 0, a \neq 1, a \neq -1
したがって、b=ab=-aまたはb=a3ab=a^3-aただし、a0,a±1a \neq 0, a \neq \pm 1
b=ab=-a or b=a3ab=a^3 -a
Final Answer: The final answer is b=aorb=a3a\boxed{b=-a or b=a^3-a}

「解析学」の関連問題

数列 $\{a_n\}$, $\{b_n\}$ について、以下の条件が与えられています。 * $\tan a_n = \frac{1}{n^2 + n + 1}$, $0 < a_n < \fra...

三角関数数列極限無限級数逆正接関数arctan
2025/5/7

(3) $\lim_{x \to -0} 5^{\frac{1}{x}}$を求めよ。 (4) $\lim_{x \to 3-0} \frac{x^2 - 9}{|x-3|}$を求めよ。

極限指数関数絶対値関数の極限
2025/5/7

数列 $\{I_n\}$ が $I_0 = \int_0^1 e^{-x} dx$ および $I_n = \int_0^1 x^n e^{-x} dx$ ($n = 1, 2, 3, \dots$)で...

積分部分積分極限数列指数関数
2025/5/7

問題1.3: $f: \mathbb{R} \rightarrow \mathbb{R}, f(x) = 2 - x$, $g: [-1, 1] \rightarrow \mathbb{R}, g(x...

合成関数定義域関数
2025/5/7

$\lim_{x \to 0} \frac{\log((1+x)(1+x^2))}{x}$ の値を求める。

極限対数関数ロピタルの定理置換
2025/5/7

極限 $\lim_{x \to 0} \frac{e^{2x} + e^x - 2}{x}$ を求めよ。

極限ロピタルの定理指数関数
2025/5/7

関数 $f(x, y) = x^3 \sin(x^2 y)$ の $x$ に関する偏導関数 $f_x(x, y)$ を求める問題です。選択肢の中から正しいものを選びます。

偏微分多変数関数積の微分合成関数の微分
2025/5/7

4つの独立な変数 $B, A, C, H$ を持つ4変数関数 $J[B, A, C, H]$ が与えられており、その全微分表現が $dJ = DdB - EdA + FdC - GdH$ である。この...

偏微分全微分多変数関数微分
2025/5/7

定積分 $\int_{0}^{2} (4x + \cos x) dx$ の値を求め、選択肢の中から正しいものを選びます。

定積分積分三角関数
2025/5/7

関数 $y = -2x^6 \sin x$ の導関数を求める問題です。選択肢の中から正しいものを選びます。

微分導関数積の微分法三角関数
2025/5/7