Twitterで以下のようなつぶやきがあった
——————
$X=1$のとき
両辺に$X$をかけても良く$X^2=X$$\lim_{x \rightarrow 1} x = \lim_{x \rightarrow 1} 1$
$\lim_{x \rightarrow 1} x^2 = \lim_{x \rightarrow 1} x$
両辺から$1$を引いても良いので$X^2-1=X-1$
これを因数分解すると$(X+1)(X-1)=X-1$
両辺を$X-1$で割ると$X+1=1$
$X=1$なのだからこの式に$X=1$を代入すると、
ほら$1+1=1$
——————
これ自体は有名な誤謬で、結局$X-1=0$で両辺を割るのが間違いなのはすぐにわかる。
というか、これは背理法をつかった0÷0が1ではないことの証明に過ぎない。
途中に「$\frac{X-1}{X-1}=1$とすると」という前提が一つ抜けていて、
最後に「$2=1$は矛盾なので、$X=1$ のとき $\frac{X-1}{X-1}$つまり$\frac{0}{0}$は$1$ではない。」という一文を追加すると証明が完成する。
では以下の証明はどうだろうか
($\lim_{x \rightarrow 1}$というのは、おおざっぱに言うと$x$を$1$に極限まで近づけるということ。)
$\lim_{x \rightarrow 1} x = \lim_{x \rightarrow 1} 1$
両辺に$x$をかける
$\lim_{x \rightarrow 1} x^2 = \lim_{x \rightarrow 1} x$
両辺から$1$を引く
$\lim_{x \rightarrow 1} x^2-1 = \lim_{x \rightarrow 1} x-1$
左辺を因数分解
$\lim_{x \rightarrow 1} (x+1)(x-1) = \lim_{x \rightarrow 1} x-1$
両辺を$x-1$で割る
$\lim_{x \rightarrow 1} \frac{(x+1)(x-1)}{x-1} = \lim_{x \rightarrow 1} \frac{x-1}{x-1}$
この時
$\lim_{x \rightarrow 1} \frac{(x+1)(x-1)}{x-1} = 2$
$\lim_{x \rightarrow 1} \frac{x-1}{x-1} = 1$
なので
$2 = 1$
どこにも0で割るようなことはやってない
($x-1$は$x$を1に近づけていっても$0$にはならない。)
さてこの証明は何が間違っているんだろう。
実は最初の両辺に$x$をかけるところから、間違っている。
$x$は$\lim$で使われている変数なので、勝手に両辺にかけたり、割ったりしちゃいけない。
使われていない変数(たとえば$y$)や定数は自由にかけたり割ったりしてもかまわない(もちろん0で割るのはだめ)
簡単に例を示すと、極限の先を2に変えた次の式を見ればすぐにこの操作がおかしいことがわかると思う。
$\lim_{x \rightarrow 2} x = \lim_{x \rightarrow 2} 2$
ここまでは正しい。
$\lim_{x \rightarrow 2} x^2 = \lim_{x \rightarrow 2} x$
ここで、左辺は4になって、右辺は2になる。
先の例ではたまたま極限の先が1だったからうまくいっていただけで、
もう一度$x-1$で割るなんて変なことをしたもんだから、後で値が合わなくなったような気がしただけ。
$\lim_{x \rightarrow 1}$に$x-1$で割る処理を加える操作は$x=1$での微分を行っていることになるので、その前の式まではある式が極限ではどういった値になるのかというものだったのに、急に有る点での傾きを求める式になってしまっているわけでやっていることが根本的に変わっていて、値が変わるのはあたりまえ。
例えるなら車で走っていて、このまま行くとどこにつけるか?という話をしてたのに、急にそのときの時速は何キロ? って話になるのはおかしいでしょ。
この辺は高校の数学では結構いい加減に教えているので引っかかる人は多いかもしれない。
-
最近の投稿
最近のコメント
- DynabookでWindows7 SP1の更新が見えない に umeko より
- DynabookでWindows7 SP1の更新が見えない に mark より
- DynabookでWindows7 SP1の更新が見えない に 篠 敏生 より
- カーネル/VM Advent Calendar : ATND に たけおか より
- 基礎から学ぶ 組み込みAndroid に mark より
アーカイブ
- 2017年1月
- 2014年9月
- 2013年9月
- 2013年8月
- 2013年2月
- 2012年10月
- 2012年9月
- 2012年7月
- 2012年6月
- 2012年5月
- 2012年2月
- 2011年8月
- 2011年5月
- 2011年4月
- 2011年3月
- 2011年1月
- 2010年12月
- 2010年10月
- 2010年7月
- 2010年5月
- 2010年4月
- 2010年3月
- 2010年2月
- 2010年1月
- 2009年11月
- 2009年10月
- 2009年9月
- 2009年8月
- 2009年7月
- 2009年6月
- 2009年4月
- 2009年3月
- 2009年2月
- 2009年1月
- 2008年12月
- 2008年11月
- 2008年10月
- 2008年8月
- 2008年7月
- 2008年6月
- 2008年5月
- 2008年4月
- 2008年3月
- 2008年2月
- 2008年1月
- 2007年12月
- 2007年11月
- 2007年10月
- 2007年9月
- 2007年8月
- 2007年7月
- 2007年6月
- 2007年5月
- 2007年4月
- 2007年3月
- 2007年2月
- 2007年1月
- 2006年12月
- 2006年11月
- 2006年10月
- 2006年9月
- 2006年8月
- 2006年7月
- 2006年6月
- 2006年5月
- 2006年4月
- 2006年3月
- 2006年2月
- 2006年1月
- 2005年12月
- 2005年11月
- 2005年10月
- 2005年9月
- 2005年8月
- 2005年7月
- 2005年6月
- 2005年5月
- 2005年4月
- 2005年3月
- 2005年2月
- 2005年1月
- 2004年12月
- 2004年11月
- 2004年8月
カテゴリー
メタ情報