10/04/14 19:19:24
結局一意性の証明はわかったのかよｗ
527:450
10/04/14 19:32:49
>>526
一意性の証明は、
対角化する行列が固有値の定数倍により構成される場合も許される点を含めて解決しました。
ありがとうございました。
528:452
10/04/14 21:27:52
>>527
>>510で書いたけど、まだ不完全だぞ
529:１３２人目の素数さん
10/04/14 22:28:35
dy/dx = (y-x)/(y+x)
上でy の解析解を求めたいんですがどうにもうまくいきません
大学1,2年の微分方程式の知識はあるんで、
ここを調べろとかいうのでも構いません
教えてください
530:529
10/04/14 22:34:31
あ、一応
x = 1 での値がわかればいいです
531:１３２人目の素数さん
10/04/14 22:36:59
>>529
ほもげなので
z = y/x とでもおいて
y' = z + xz' = (z-1)/(z+1)
xz' = -(z^2 +1)/(z+1)
{(z+1)/(z^2 +1)} z' = -1/x
で変数分離できてるからあとは両辺積分するだけ。
532:１３２人目の素数さん
10/04/14 22:38:38
>>530
おまえが書いた部分だけから
んなの分かりようがない
大学1,2年の微分方程式の知識はあるっつーのはデマにも程がある
533:１３２人目の素数さん
10/04/14 23:08:13
いきなり「おまえ」とかいっちゃてこいつは一体何様のつもり？
534:１３２人目の素数さん
10/04/14 23:23:07
いや、一般解って時点で一意に決まるわけがないだろ
535:529
10/04/14 23:25:31
>>531 様、
ありがとうございました
この式を積分して出てきた式と
x=1を解いて y = 0
ということではいけないんですかね？
536:529
10/04/14 23:41:37
すいません境界条件は
y(0) = 1 でした
537:１３２人目の素数さん
10/04/15 00:17:05
>>535-536
日本語で文章が書けるようになった方がいいと思うけど
y(0) = 1から積分定数を求めるという方法でいいよ。
538:１３２人目の素数さん
10/04/15 00:28:33
今年中学生になっていまごろ気づいたんですが
1÷3＝0.3333…
両辺に3をかけると
1＝0.9999…
となり等式が成り立たないのは何でですか？
539:１３２人目の素数さん
10/04/15 00:31:54
マジレスするとぐぐってみたほうが早くていい
540:１３２人目の素数さん
10/04/15 00:32:04
>>538
成り立っているし何の問題も無い。
541:１３２人目の素数さん
10/04/15 00:39:34
1と0.999…は表記の仕方が違うだけで実は一緒と言う事ですか？
542:１３２人目の素数さん
10/04/15 00:45:50
>>531
＞{(z+1)/(z^2 +1)} z' = -1/x
＞で変数分離できてるからあとは両辺積分するだけ。
＞y(0) = 1
解けるのか？これ
543:１３２人目の素数さん
10/04/15 00:50:31
なかなか賢いな。
だが本当のところどうなんだろうな？
544:１３２人目の素数さん
10/04/15 01:35:39
>>538
> 1÷3＝0.3333…
> 両辺に3をかけると
と、無邪気に書いているが、無限に続く0.333・・・に3をかけることができるのか？
545:１３２人目の素数さん
10/04/15 01:57:34
出来ないですか？
前から掛け算して、
0×3＝0
3×3＝9
3×3＝9
3×3＝9
…
と計算をやり並べたらいいんじゃないですか？
546:１３２人目の素数さん
10/04/15 02:09:34
任天堂の入社試験の問題らしいのですが高校数学しか理解してなくても解けるようなものですか？
URLﾘﾝｸ(file.marukomu9.blog.shinobi.jp)
5問目とかさっぱりです。
関数fが自由ならいくらでも作れそうに思えてしまいます。