3: 2015-06-05 (金) 01:28:58 osinko  |
現: 2015-07-09 (木) 21:59:13 osinko |
| | TITLE:微分 | | TITLE:微分 |
| | + | ＜注意：このページの書いてある事はかなり好き勝手にやってます＞ |
| | + | 適当に思考実験で以下で色々式をこねまわしていますが、こんなやりかたで漸化式を作っている例がみつかりません・・・ |
| | + | 色々調べているのですが、たぶん、無茶苦茶なやりかたなのだと思います。ただ漸化式は作れているので、数式の書き方が数学の文法にのっとってないのだと思います |
| | + | 常識的に変な書き方をしてしまっていると思いますので、今後調べて正しい書き方に直す予定です。ここに書いてある事を真面目に受け取らないようにお願いします |
| | + | |
| | ＜メモ（考察中）＞ | | ＜メモ（考察中）＞ |
| | #jsmath | | #jsmath |
| | | | |
| | \(\displaystyle\ f'(a)=\lim _{ b→a }{ \frac { f(b)-f(a) }{ b-a } } \) | | \(\displaystyle\ f'(a)=\lim _{ b→a }{ \frac { f(b)-f(a) }{ b-a } } \) |
| | + | |
| | + | \( f'(a) \)はグラフの接線の傾きを示す |
| | | | |
| | この式に上グラフ図の関係を当てはめて考えると以下の連立方程式を作る事が出来る | | この式に上グラフ図の関係を当てはめて考えると以下の連立方程式を作る事が出来る |
| | | | |
| - | \(\displaystyle\ \begin{cases} f'({ x }_{ 1 })=\lim _{ { x }_{ 0 }→{ x }_{ 1 } }{ \frac { f({ x }_{ 0 })-f({ x }_{ 1 }) }{ { x }_{ 0 }-{ x }_{ 1 } } } \quad \cdots ① \\ y=f({ x }_{ 1 })=0 \\ y=f(x)={ x }^{ 2 }-C \end{cases}\) | + | \(\displaystyle\ \begin{cases} f'({ x }_{ 1 })=\lim _{ { x }_{ 0 }→{ x }_{ 1 } }{ \frac { f({ x }_{ 0 })-f({ x }_{ 1 }) }{ { x }_{ 0 }-{ x }_{ 1 } } } \quad \cdots ① \\ y=f({ x }_{ 1 })=0\quad \quad \quad \quad \quad \cdots f({ x }_{ 1 })における関数の出力の値を0に固定している。これにより①の右辺分母の{ x }_{ 1 }の値が決定する\quad \\ y=f(x)={ x }^{ 2 }-C \end{cases}\) |
| | | | |
| | この連立方程式を\({x}_{1}\)に対して解くと\({ x }_{ 1 }\ge \pm \sqrt { C } \)となる。以下で実際に解いてみる。仮に\(C\)を\(3\)として、\(f'({x}_{1})\)を形式的微分で導関数にして①にあてはめると | | この連立方程式を\({x}_{1}\)に対して解くと\({ x }_{ 1 }\ge \pm \sqrt { C } \)となる。以下で実際に解いてみる。仮に\(C\)を\(3\)として、\(f'({x}_{1})\)を形式的微分で導関数にして①にあてはめると |
| | \( \rightarrow \displaystyle\ \lim _{ { x }_{ 0 }→{ x }_{ 1 } }{ { 2x }_{ 0 }{ x }_{ 1 }={ x }_{ 0 }^{ 2 }+3 } \) … ② | | \( \rightarrow \displaystyle\ \lim _{ { x }_{ 0 }→{ x }_{ 1 } }{ { 2x }_{ 0 }{ x }_{ 1 }={ x }_{ 0 }^{ 2 }+3 } \) … ② |
| | | | |
| - | &font(Red){少し考えてみたのだが極限適用前と適用後では導関数の入力が変わるのではと考えてみた&br;極限適用前は傾きである\(f'(x)\)は\(f({x}_{0})\)であり適用後は\({x}_{0}\)→\({x}_{1}\)と近づくので\(f'({x}_{1})\)と変化する&br;書籍などで基礎的な式として紹介されている微分の式の左辺\(f'(a)\)は極限計算後の傾きを示していると考えられる？？？}; | + | &font(Red){少し考えてみたのだが極限適用前と適用後では導関数の入力が変わるのではと考えてみた&br;極限適用前は傾きである\(f'(x)\)は\(f'({x}_{0})\)であり適用後は\({x}_{0}\)→\({x}_{1}\)と近づくので\(f'({x}_{1})\)と変化する&br;書籍などで基礎的な式として紹介されている微分の式の左辺\(f'(a)\)は極限計算後の傾きを示していると考えられる？？？}; |
| | | | |
| | | | |
| | | | |
| | になる。この漸化式の\({x}_{n}\)に適当な値を入れて２～６回計算を繰り返すと\( \sqrt { 3 } \)の近似値が得られる | | になる。この漸化式の\({x}_{n}\)に適当な値を入れて２～６回計算を繰り返すと\( \sqrt { 3 } \)の近似値が得られる |
| | + | この漸化式の右辺は[[高校数学/相加相乗平均の関係]] \(\frac { a+b }{ 2 } \ge \sqrt { ab }\) の左辺と非常によく似ている |
| | + | |
| | + | ここで相加相乗平均の関係式を\(a={ x }_{ n },b=\frac { 3 }{ { x }_{ n } } \)と考えて相加相乗平均を求めると\( x_{ n+1 }=\frac { \left( { x }_{ n }+\frac { 3 }{ { x }_{ n } } \right) }{ 2 } \ge \sqrt { { x }_{ n }\cdot \frac { 3 }{ { x }_{ n } } } =\sqrt { 3 } \)となる |
| | + | （このような式の組み方はあまり見慣れないが、いろいろな情報を一度に提示している） |
| | + | この式により漸化式の答えが恒久的に\(\sqrt{3}\)以上になる事が確認できる。計算を繰り返すたびに必ず答えは\(\sqrt{3}\)以上になり\(\sqrt{3}\)に近似していく |
| | + | |
| | どうやら極限と漸化式には密接な関係があるように思える。今後、漸化式と極限の関係を調べて行こうと思う | | どうやら極限と漸化式には密接な関係があるように思える。今後、漸化式と極限の関係を調べて行こうと思う |
| | | | |
| | memo.. | | memo.. |
| | 微積分は根底に数列に対する何らかの操作が含まれている。漸化式もその計算の度に出てくる値の数列なのかもしれない | | 微積分は根底に数列に対する何らかの操作が含まれている。漸化式もその計算の度に出てくる値の数列なのかもしれない |
| | + | |
| | + | #navi |
![[PukiWiki]](http://unitylabo.s601.xrea.com/xoops/modules/xpwiki/image/pukiwiki.png "[PukiWiki]")
