ここで行き詰まった? AI で解決しよう
Calculus · real student question

k を 1 でない定数とする。f(x)/f′(x) = tan((k−1)x) を満たす関数 f をすべて求めよ。

Question

次を満たす関数 ff をすべて求めよ。

f(x)f′(x)=tan⁡ ⁣((k−1)x),\frac{f(x)}{f'(x)}=\tan\!\left((k-1)x\right),

ここで k≠1k\neq 1 は定数である。

Step-by-step solution

  1. 比を逆にして対数微分を現す。 両辺の逆数をとると f′(x)f(x)=cot⁡ ⁣((k−1)x).\frac{f'(x)}{f(x)}=\cot\!\left((k-1)x\right). 左辺はまさに ddxln⁡∣f(x)∣\dfrac{d}{dx}\ln|f(x)| であり、だからこそこの変形を何よりも先に行う価値がある——ff と f′f' についての方程式が、単なる原始関数の問題に変わるからである。

  2. 両辺を積分する。 ln⁡∣f(x)∣=∫cot⁡ ⁣((k−1)x)dx.\ln|f(x)|=\int\cot\!\left((k-1)x\right)dx. m=k−1m=k-1(仮定より 0 ではない)と置き、u=mxu=mx、du=m dxdu=m\,dx と置換すると: ∫cot⁡(mx) dx=1m∫cot⁡u du=1mln⁡∣sin⁡u∣+C=1mln⁡∣sin⁡(mx)∣+C.\int\cot(mx)\,dx=\frac{1}{m}\int\cot u\,du=\frac{1}{m}\ln|\sin u|+C=\frac{1}{m}\ln\left|\sin(mx)\right|+C. 標準的な結果 ∫cot⁡u du=ln⁡∣sin⁡u∣\int\cot u\,du=\ln|\sin u| は、サイン自身を uu と置く置換から得られる。

  3. 指数をとって ff に戻す。 ln⁡∣f(x)∣=1mln⁡∣sin⁡(mx)∣+C\ln|f(x)|=\frac{1}{m}\ln|\sin(mx)|+C から ∣f(x)∣=eC∣sin⁡(mx)∣1/m,|f(x)|=e^{C}\left|\sin(mx)\right|^{1/m}, となり、±eC\pm e^{C} をひとつの 0 でない任意定数に吸収すると f(x)=C∣sin⁡ ⁣((k−1)x)∣1k−1.f(x)=C\left|\sin\!\left((k-1)x\right)\right|^{\frac{1}{k-1}}.

  4. 微分して確かめる。 m=k−1m=k-1 とし、sin⁡mx>0\sin mx>0 となる区間で f=(sin⁡mx)1/mf=\left(\sin mx\right)^{1/m} とすると、合成関数の微分法から f′=1m(sin⁡mx)1m−1⋅mcos⁡mx=(sin⁡mx)1m−1cos⁡mx,f'=\frac{1}{m}\left(\sin mx\right)^{\frac1m-1}\cdot m\cos mx=\left(\sin mx\right)^{\frac1m-1}\cos mx, よって ff′=(sin⁡mx)1/m(sin⁡mx)1m−1cos⁡mx=sin⁡mxcos⁡mx=tan⁡mx.\frac{f}{f'}=\frac{\left(\sin mx\right)^{1/m}}{\left(\sin mx\right)^{\frac1m-1}\cos mx}=\frac{\sin mx}{\cos mx}=\tan mx. 指数 1/m1/m こそが、sin⁡\sin の冪をちょうど 1 乗ぶんに打ち消させている当のものである。

  5. 数値でも確認する。 k=3k=3 とすると m=2m=2、f(x)=sin⁡2xf(x)=\sqrt{\sin 2x} である。x=0.5x=0.5 で中心差分を使うと f′(0.5)=0.589003f'(0.5)=0.589003、f(0.5)=0.917317f(0.5)=0.917317 なので f/f′=1.557408f/f'=1.557408 となり、tan⁡(2×0.5)=tan⁡1=1.557408\tan(2\times 0.5)=\tan 1=1.557408 と小数第 6 位まで一致する。

  6. 定義域と除外される場合に注意する。 この解は sin⁡ ⁣((k−1)x)≠0\sin\!\left((k-1)x\right)\neq 0 となるところでしか意味を持たないので、xx は π/(k−1)\pi/(k-1) の整数倍を避けなければならない。そのような区間ごとに CC は独立に選べる。k=1k=1 なら右辺は tan⁡0=0\tan 0=0 となって f≡0f\equiv 0 が強制される。これが k≠1k\neq 1 を仮定する理由である。

Answer

f(x)=C∣sin⁡ ⁣((k−1)x)∣1k−1,C≠0, k≠1f(x)=C\left|\sin\!\left((k-1)x\right)\right|^{\frac{1}{k-1}},\qquad C\neq 0,\ k\neq 1

Need to solve a different problem like this? Open the solver →