- 411 名前：１３２人目の素数さん mailto:sage [2011/08/31(水) 19:11:56.87 ]
- でも、そうやって見つけたQでさえ、不十分である可能性がある。
Qをさらに精査して、さらに条件を絞らなければならない可能性がある。
それなのに、どうして君は、Qを見つけた時点で条件の精査を打ち切って、
「 Qこそが求める条件であり、Qこそが、存在する条件だ！」
などと思ったのか？……君は無意識のうちに、
「条件の精査を終了するための、何らかの判定基準」
を使ったはずだ。条件Qは、その判定基準を満たしたのだ。
だから君は、そこで条件の精査を打ち切ったのだ。
では、その判定基準とは何か？簡単だ。その基準とは
「 考えている条件が実際に f(x+1)g(x-1) - g(x+1)f(x-1) = 1 を満たすか否か 」… (*)
である。この(*)を満たしたらこそ、君は そこで条件の精査を打ち切り、
「 Qこそが求める条件であり、Qこそが、存在する条件だ！」
などと思ったのだ。つまり、
"Qこそが、存在する条件である" と主張するための根拠は(*)であり、
Qが(*)を満たしたからこそ、そのように主張できた
ということだ。
一方で、「(*)を満たす」とは「Pが真であることを示す」ことに他ならない。
つまり、「Pが真であること」が先に証明されているのだｗ
|
 |
