田中 みな 実 学生 時代
積の微分法により y'=z' cos x−z sin x となるから. z' cos x−z sin x+z cos x tan x= ( tan x)'=()'= dx= tan x+C. z' cos x=. z'=. =. dz= dx. z= tan x+C ≪(3)または(3')の結果を使う場合≫ 【元に戻る】 …よく使う. e log A =A. log e A =A P(x)= tan x だから, u(x)=e − ∫ tan xdx =e log |cos x| =|cos x| その1つは u(x)=cos x Q(x)= だから, dx= dx = tan x+C y=( tan x+C) cos x= sin x+C cos x になります.→ 1 【問題3】 微分方程式 xy'−y=2x 2 +x の一般解を求めてください. 1 y=x(x+ log |x|+C) 2 y=x(2x+ log |x|+C) 3 y=x(x+2 log |x|+C) 4 y=x(x 2 + log |x|+C) 元の方程式は. y'− y=2x+1 と書ける. 同次方程式を解く:. log |y|= log |x|+C 1 = log |x|+ log e C 1 = log |e C 1 x|. |y|=|e C 1 x|. y=±e C 1 x=C 2 x そこで,元の非同次方程式の解を y=z(x)x の形で求める. 積の微分法により y'=z'x+z となるから. z'x+z− =2x+1. z'x=2x+1 両辺を x で割ると. z'=2+. z=2x+ log |x|+C P(x)=− だから, u(x)=e − ∫ P(x)dx =e log |x| =|x| その1つは u(x)=x Q(x)=2x+1 だから, dx= dx= (2+)dx. =2x+ log |x|+C y=(2x+ log |x|+C)x になります.→ 2 【問題4】 微分方程式 y'+y= cos x の一般解を求めてください. 1 y=( +C)e −x 2 y=( +C)e −x 3 y= +Ce −x 4 y= +Ce −x I= e x cos x dx は,次のよう に部分積分を(同じ向きに)2回行うことにより I を I で表すことができ,これを「方程式風に」解くことによって求めることができます.
2πn = i sinh^(-1)(log(-2 π |n| - 2 π n + 1))のとき n=-|n|ならば n=0より不適であり n=|n|ならば 2π|n| = i sinh^(-1)(log(-4 π |n| + 1))であるから 0 = 2π|n| + i sinh^(-1)(log(-4 π |n| + 1))であり Im(i sinh^(-1)(log(-4 π |n| + 1))) = 0なので n=0より不適. したがって z≠2πn. 【証明】円周率は無理数である. a, bをある正の整数とし π=b/a(既約分数)の有理数と仮定する. b>a, 3. 5>π>3, a>2 である. aπ=b. e^(2iaπ) =cos(2aπ)+i(sin(2aπ)) =1. よって sin(2aπ) =0 =|sin(2aπ)| である. 2aπ>0であり, |sin(2aπ)|=0であるから |(|2aπ|-1+e^(i(|sin(2aπ)|)))/(2aπ)|=1. e^(i|y|)=1より |(|2aπ|-1+e^(i|2aπ|))/(2aπ)|=1. よって |(|2aπ|-1+e^(i(|sin(2aπ)|)))/(2aπ)|=|(|2aπ|-1+e^(i|2aπ|))/(2aπ)|. ところが, 補題より nを0でない整数とし, zをある実数とする. |(|z|-1+e^(i(|sin(z)|)))/z|=|(|z|-1+e^(i|z|))/z|とし |(|2πn|-1+e^(i(|sin(z)|)))/(2πn)|=|(|2πn|-1+e^(i|2πn|))/(2πn)|と すると z≠2πn, これは不合理である. これは円周率が有理数だという仮定から生じたものである. したがって円周率は無理数である.