- 402 名前：１３２人目の素数さん mailto:sage [2011/08/30(火) 23:54:17.81 ]
- >>398
＞逆、条件Rの中で
＞f(x+1)g(x-1) - g(x+1)f(x-1) = 1
＞を満たすものを考えた場合に、条件Qが成立することが示せたわけで
そこが問題。君は何かを勘違いしている。
気が言っている「条件Qが成立することが示せた」とはどういうことか？
どうやってソレを示したのか？俺から見れば、ソレを示す方法は2通りある。
方法その1：
「条件Qを満たすf(x),g(x)は、f(x+1)g(x-1) - g(x+1)f(x-1) = 1 を満たす」
ということを直接的に手計算でチェックした。
方法その2：
「 P ⇒ R 」の証明中において、
(すなわち、「Pが真だと仮定する」という仮定を未だに続けている最中において、)
条件Rで与えられている3つの条件のうち、[a≠0かつa≠2の場合]及び[a＝0の場合]だと
矛盾することを導いた。(自動的にQが成り立つしかないという論法)
