20100526結城せんせいからの問題とその解答など

結城浩 / Hiroshi Yuki @hyuki

数学クイズ。反例を具体的にあげることは不可能だけれど、反例の存在は示せるという証明問題を作れ。ただし、高校数学の範囲で。ちなみに、結城はまだ知りません。

@patho_logic

@hyuki その問題「反例」という言葉は要らないのでは．「存在の具体例をあげることは不可能だけど，存在は示すことができるという証明問題」で充分だと思います．

root(XY) @xyhibi

@hyuki √2は無理数である事を証明しなさい・・・というのはダメですか？

結城浩 / Hiroshi Yuki @hyuki

@patho_logic あーそうですけど、問題としていいやすかったので。すみません。

@tonamba

超越関数絡みで何か作れそうな気はする RT @hyuki: 数学クイズ。反例を具体的にあげることは不可能だけれど、反例の存在は示せるという証明問題を作れ。ただし、高校数学の範囲で。ちなみに、結城はまだ知りません。

@igaris

@hyuki 平均値の定理とか。厳密な証明は高校では不可能ですが。反例ではないですね。

大西 達也【ポストやめました】 @riceaddict

「人力では不可能」なら「素数は全て発見された」というのを思いつきましたが、「不可能」じゃないですね… RT @hyuki: 数学クイズ。反例を具体的にあげることは不可能だけれど、反例の存在は示せるという証明問題を作れ。ただし、高校数学の範囲で。ちなみに、結城はまだ知りません。

@ktsurut

@hyuki 「明後日までに文字として全ての自然数は表記される。」 ＞ 有限個しか表記できないので必ず反例はあるけれど、反例として提示してしまうと、反例になっていないものになる。 （表記とする部分が甘いですかね・・・）

ぼんてんぴょん(Bontenpøn) @y_bonten

@hyuki 「不可能」の意味が分からないのでビンゴではないと思いますし、ご存知の可能性も高いですが、「無理数の無理数乗は、必ず無理数である？」――もしa = (√2)^(√2)が有理数ならこれが反例だが、有理数かどうか分からない。（続く）

ぼんてんぴょん(Bontenpøn) @y_bonten

@hyuki でもaが無理数なら、a^√2 = {(√2)^(√2)}^√2 = (√2)^(√2×√2) = (√2)^2 = 2なので、a^√2が反例。つまりaかa^√2の一方が反例になるはずだが、どちらが反例か分からない。

あかりん型軽巡洋艦あかりん @Resias

自然数ｎとn+2が共に素数のとき、それらは無限個存在する。ってのはダメでしょうか。RT @hyuki: 数学クイズ。反例を具体的にあげることは不可能だけれど、反例の存在は示せるという証明問題を作れ。ただし、高校数学の範囲で。ちなみに、結城はまだ知りません。

つてつち @tutetuti

ネット認証などに良く使われるハッシュ関数Hの一方向性「H(x)=H(y)となる入力x,yの発見は確率的に不可能（しかし存在することは明らか）」も証明されないまま使われてますねRT @erickqchan: @hyuki 不可能であることを証明するところがものすごく大変ですよね。

まろやか🐟ついに来た2023海戦国時代 @MaroYakaZ

不可能って「反例を具体的に示す方法が現在未発見」ってことかな？ RT @hyuki: 数学クイズ。反例を具体的にあげることは不可能だけれど、反例の存在は示せるという証明問題を作れ。ただし、高校数学の範囲で。ちなみに、結城はまだ知りません。

@ktsurut

反例として取り出すと反例でなくなるものは当てはまる。RT @hyuki: 数学クイズ。反例を具体的にあげることは不可能だけれど、反例の存在は示せるという証明問題を作れ。ただし、高校数学の範囲で。ちなみに、結城はまだ知りません。

jueli @jueli62

@hyuki 具体的に挙げる、と言うのが厄介ですね。具体的とは何か、と定義から始めたくなる。例えば∀θ(sinθ≠1/3θ)だって、反例を「具体的に」挙げるのはちょっと苦しい。

@matcha_curry

0<θ<π/2 ⇒ |cosθ-(1/√5)|>0 RT @safour_131: RT @hyuki: 数学クイズ。反例を具体的にあげることは不可能だけれど、反例の存在は示せるという証明問題を作れ。ただし、高校数学の範囲で。ちなみに、結城はまだ知りません。

黒田真樹 @kurodams

@hyuki つい最近読んだ本にあったこんな例はどうでしょう。無理数の無理数乗で有理数となるものはあるか。答は、「 ルート２のルート2乗 」。この数が有理数ならそれでよい。この数が無理数ならば、さらにルート２乗すると２となり、有理数である。

黒田真樹 @kurodams

@hyuki 「ルート2のルート２乗」そのものがどちらかはわからなくても、結果としてはもとの問いに答えられるというところがミソです。出典は、ナイーン『最大値と最小値の数学』の前書きです。えっと、勘違いだったらすみません。

@akio_saitou

「フィボナッチ数列のなかに、√2の最初のN桁と同じ数字の並びを持つN桁の数字はないことを証明せよ」とか。。QT @hyuki 数学クイズ。反例を具体的にあげることは不可能だけれど、反例の存在は示せるという証明問題を作れ。ただし、高校数学の範囲で。ちなみに、結城はまだ知りません。

@akio_saitou

ただし「1」を除く。QT @akio_saitou 「フィボナッチ数列のなかに、√2の最初のN桁と同じ数字の並びを持つN桁の数字はないことを証明せよ」 QT @hyuki 反例を具体的にあげることは不可能だけれど、反例の存在は示せるという証明問題を作れ。ただし、高校数学の範囲で。

@ktsurut

@yuya_bonten @hyuki @kurodams 「ルート２のルート２乗」が反例として提示できない。というのは分かりますが、反例が実際に存在することの立証と、それが提示できないモノである事の立証は、どうなっているのでしょうか。　

あんちもん2 @antimon2

検証してみましたけどそれは、θ=acos(1/√5)が反例（acosはcosの逆関数）ですよね。代数的数じゃないだけで具体的に挙げられます。 RT @matcha_curry: 0<θ<π/2 ⇒ |c.. http://togetter.com/li/24331

@matcha_curry

@antimon2 逆三角関数は高校数学の範囲ではありません。

あんちもん2 @antimon2

@matcha_curry ああ、そういうことか。1本取られた(>_<;