面白い問題おしえて〜な 十八問目
at MATH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このスレッドのURL
■項目テキスト
400:132人目の素数さん 11/08/30 21:50:12.13 一応>>252の続き 401:132人目の素数さん 11/08/30 23:52:38.82 >>398 >「 P ⇒ Q 」を証明した結果として、条件Pが真であるということがいえた。 君がやっていることは、 ・「 P ⇒ Q 」の証明の中において、それとは別個に、「Pが真である」ことの証明を紛れ込ませている。 ということに過ぎない。それは "「 P ⇒ Q 」を証明した結果として、条件Pが真であることが言えた" ということを 意 味 し な い 。 「 P ⇒ Q 」の証明は、「Pが真である」ことの証明に何ら関与していない。 あくまでも君は、「 P ⇒ Q 」の証明とは別個に、「Pが真である」ことの証明を 紛れ込ませているに過ぎない。 402:132人目の素数さん 11/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が成り立つしかないという論法)
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック!
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
4765日前に更新/237 KB
担当:undef