8: 2015-06-10 (水) 16:35:07 osinko |
現: 2015-06-10 (水) 23:24:58 osinko |
| | | |
| \(\displaystyle\ \frac { x+y }{ 2 } \ge \sqrt { xy } \quad \quad x,yは0以上の実数。x=yの時、等号が成立する\) | | \(\displaystyle\ \frac { x+y }{ 2 } \ge \sqrt { xy } \quad \quad x,yは0以上の実数。x=yの時、等号が成立する\) |
| + | |
| この関係は微分を利用して[[平方根を求める等の漸化式を作る際>微積分と物理/微分]]に非常に重要となる考え方な為、疑いもなく理解しておく必要がある | | この関係は微分を利用して[[平方根を求める等の漸化式を作る際>微積分と物理/微分]]に非常に重要となる考え方な為、疑いもなく理解しておく必要がある |
| 従って実際に、その関係が成立する事を検証して確かめておく | | 従って実際に、その関係が成立する事を検証して確かめておく |
| float a, b, left, right; | | float a, b, left, right; |
| bool success = true; | | bool success = true; |
| + | |
| for (int i = 0; i < 50; i++) { | | for (int i = 0; i < 50; i++) { |
| a = 0; | | a = 0; |
| } | | } |
| } | | } |
| + | |
| static void GenerateRandom (ref float a, ref float b) | | static void GenerateRandom (ref float a, ref float b) |
| { | | { |
| <虚数が発生する一例> | | <虚数が発生する一例> |
| Mathf.Sqrt ((-2 * 5)); → Mathf.Sqrt (-10); | | Mathf.Sqrt ((-2 * 5)); → Mathf.Sqrt (-10); |
| + | |
| お互いを掛け合わせると-10になる値。2乗すると-10になる数。\(\sqrt { -10 } =?\) そんなものは、この世に存在しない。従って関数は「解なし」NaN(ヌル:からっぽのデータ)を返す。つまり、入力は\(a\ge 0\)、\(b\ge 0\)にする必要が出てくる。変数\(x,y\)に代入した定数が\(\sqrt { a },\sqrt { b }\)なのだから、これは発生して当然の不具合だったのだ。式の変形により平方根の虚数を避けるために前提条件を変える必要が出てきた | | お互いを掛け合わせると-10になる値。2乗すると-10になる数。\(\sqrt { -10 } =?\) そんなものは、この世に存在しない。従って関数は「解なし」NaN(ヌル:からっぽのデータ)を返す。つまり、入力は\(a\ge 0\)、\(b\ge 0\)にする必要が出てくる。変数\(x,y\)に代入した定数が\(\sqrt { a },\sqrt { b }\)なのだから、これは発生して当然の不具合だったのだ。式の変形により平方根の虚数を避けるために前提条件を変える必要が出てきた |
| | | |
| -不等号(<>)は虚数の振る舞いに対応しているの? | | -不等号(<>)は虚数の振る舞いに対応しているの? |
| | | |
- | *** [#h3207ab3] | + | ***⑨ \(\frac { a+b }{ 2 } \ge \sqrt { ab } \quad \quad \quad a\ge 0,b\ge 0の実数である場合、この式は成立するか?\) [#lb0342e2] |
| + | |
| + | これを確認してみる。条件を虚数を避ける様にする為、コードの18行目を以下に書き換える |
| + | if (!(left >= right)) { |
| + | それと31、32行目を以下に書き換える |
| + | a = Random.Range (0f, 100f); |
| + | b = Random.Range (0f, 100f); |
| + | |
| + | これを実行して結果、成立することが確認できる |
| + | |
| + | この章の冒頭にあった相加相乗平均の関係の数式は |
| + | \(\displaystyle\ \frac { x+y }{ 2 } \ge \sqrt { xy } \quad \quad x,yは0以上の実数。x=yの時、等号が成立する\) |
| + | であったので、これに沿うように\(a\)と\(b\)を\(x,y\)の変数にすることで式は完成する |
| + | |
| + | 変数になったことで値が条件を満たしていれば式は常にこの関係を恒久的に保つ事が確認できた |
| + | この右辺や左辺に似た数式を見かけたときは、この相加相乗平均の関係を思い出せるようにしておくと「数学における武器」が一つ増えるようだ |
| + | |
| + | ちなみに、この左辺右辺の数式は放物線上の2点の接線の交点の座標でも見かける |