面白い問題おしえて～な十八問目

面白い問題おしえて～ ..

568:１３２人目の素数さん
11/09/03 23:36:26.69
ここから先は解釈の違いが生まれないような問題文の作り方について議論することにして
その上で>>562に質問なのだが

>>419の問題文を次のように書き換えた場合、それでも>>562のような解釈をしますか？

問題：次の条件（A）を満たすような連続関数 f：R → R を全て求めよ。

「任意のx,y∈Rに対してf(y)^2＝2*f(x)－1 」　…　(A)

569:１３２人目の素数さん
11/09/03 23:51:07.88
いい加減バカ同士の言葉遊びスレじゃないことに気付かないかなぁ

570:１３２人目の素数さん
11/09/04 01:41:24.32
>>514
解釈の違いについて、どちらがより論理的なのかを語るのは
論理の積み重ねの外の話だと思うが。
スッキリするかどうか（見通しが良くなるかどうか）なども
論理的な構築が正しいかどうかの外の話だろうし
よりエレガントな解答というのも、論理的に正しいかどうかとは別の話。

571:１３２人目の素数さん
11/09/04 01:51:38.81
>>569
スマン。俺の方はそろそろ自重しておく(俺は>>566である)。

>>568
そういう話は、根本的な解決策は無いように思う。
今回のようなケースは滅多に無いはずだから、
あまり気にしなくてもいいのでは。

572:１３２人目の素数さん
11/09/04 02:48:49.02
x,yを実数として、X=x+y+xy, Y=(x+y)xy　とするとき、(X , Y)の存在する領域をxy平面上に図示せよ。

573:１３２人目の素数さん
11/09/04 07:48:56.99
>>566
実はそれだけの解釈ではなく
(x, y)の範囲に依存して、fが複数存在する場合もあるのではないかと、考えた。
例えば
x < 0の場合にはf1
x = 0の場合にはf2
x > 0の場合にはf3
など。
この問題のような問題を解いたことは遠い昔にあってそのときの解答は>>515の
ようなものだった。

>>558の
＞＞[1.5] よって、(i)の場合は、fは定数関数で、その値は1である。
＞となっていてfが(B)を満たすとなっているのにも関わらず、何故それ以外の場合を考慮しなければ
＞ならないのか？

＞＞[1.7] [1.2]により、fは(C)を満たす
＞となっているが、α=β∩γであれば、これはいえない。
という２点については答えられていない。

また、α＝β∩γを仮定しているからといって、γを検証しないのは納得がいかない。
γが存在しない場合もあり得るかもしれないわけで、その場合はα=φ(空集合)
となり得る場合もある。
αが存在するかは、問題では設定されていない。

574:１３２人目の素数さん
11/09/04 08:10:31.87
必要性の証明の中で
十分性の証明の中の結果＝αは空集合ではない。
を紛れ込ませている。

575:１３２人目の素数さん
11/09/04 11:08:18.39
>>573-574
君はこれからは「依存しない」という解釈で解くのだから、
それらの疑問点については、もう君が自力で納得できるはずだが。

俺は「そろそろ自重する」と書いたので、あまり君とレスを続けてはならない。

どうしても>>558が気になるなら、そのレスについては、
もう俺の方から撤回する。またやり取りが長くなってしまう。
少なくとも君は>>522+>>523の方は理解しているらしいから、
とりあえずはそれで十分である。

576:１３２人目の素数さん
11/09/04 11:14:40.33
あと、君はどうも、「 S → T 」という形の命題について
よく理解していないようだから、少しコメントしておく。
「 S → T 」という形の命題は、Sが偽のとき常に真である。たとえば、

「 0＝1ならば、5は素数である」は真であるし、
「 0＝1ならば、5は素数でない」もまた真である。

(「仮定が偽　命題」でググるとよい)

また、「 S → T 」の証明方法は、2通りあることを知ってほしい。

(1) Sが真だと仮定し、その仮定のもとで、Tを導く。
(2) Sが真だと仮定し、その仮定のもとで、矛盾を導く。

(1)は問題ないだろう。(2)はどうか？
これは、「Sが偽」を証明しようとしているのだ。
もしこれが証明できたら、自動的に「 S → T 」は真となる。
なぜなら、Sが偽のとき、「 S → T 」という形の命題は常に真だからだ。
まあ、(2)の方法は、普通は使わないが、別に間違ってはいないのだ。

577:１３２人目の素数さん
11/09/04 11:35:45.98
最後に、君向けの問題を出しておく。

問題1：写像 f：R → Rで、
(A)「任意のx,y∈Rに対して f(x)^7－3*f(x)^5*f(y)^2＋f(x)^4*f(y)^3＋f(x)^3*f(y)^4－3*f(x)^2*f(y)^5＋f(y)^7 ＝0 」
を満たすものを全て求めよ。(もちろん、fはx,yに "依存しない" として解くべし)

問題2：nは自然数とする。実数a_1,a_2,…,a_nは Σ[i＝1～n]a_i ≠ 0 を満たすとする。写像 f：R → Rで、
(A)「任意のx,y∈Rに対して Σ[i＝1～n] a_i*f(x)^i*f(y)^{n+1-i} ＝ 0 」
を満たすものを全て求めよ。(もちろん、「依存しない」の解釈で解くべし)

答えだけ言ってしまうと、どちらも「f(t)＝0 (∀t)」すなわち
「fは定数関数で、その値は0」という関数のみが答えになる。

これらの問題は、おそらく>>515のやり方では解けない。
x≠yの場合を計算しようとしても、事実上、計算できないはず。
特に問題1では、(A)式はxとyについて対称なので、xとyを入れ替えても全く同じ式が出現してしまい、
何の進展も無い。また、(A)式自体をf(x),f(y)について分離して解くようなことも、まず無理だろう。

従って、これらの問題を解こうとしたら、>>419のように解くか、
あるいは、>>522+>>>523のように解くしかないはずである。
あまり>515のような方法にこだわるのは、やめた方がよいと思う。

では、さようならﾉｼ