数 学 の 難 問 を 解 く ス レ
■ このスレッドは過去ログ倉庫に格納されています
凸多角形 (正多角形とは限らない)P に対してその各辺に対してPに含まれる
三角形の面積の最大値を割り当てる。その三角形の面積の和はPの2倍以上である
ことを示せ
注意: コピペやカンニング、超能力などで解かない事。また複数の解き方があると
思うが自分の頭で考えること。 コピペやカンニングをした時点で0点とみなす 宿題じゃねえよ 国際数オリの最難問だ 勘違いすんなクソ詐欺師 >>4
解けないから言い訳してんのか 三流公立便所中学校のクソ女教師 2倍ってのと凸ってところがポイントなんだろうけど難しいな 正偶数角形の場合
辺の両端をAB,Aの対角をCとすると
三角形ABCが最大であり、面積はABOの2倍
正奇数角形の場合
辺の対角が面積最大である
ABの中点をMとしたとき、OM<OCのため
三角形ABCはABOの2倍以上
あとは非正多角形の場合だな 全然違う ポイントは 三角形の場合だと Pの3倍 しかし 四角形以上になるとどうやっていいのか一つも分からなくなる
また正多角形ではないから解析的に解けない >>12
あ?
複数解があるって言っといて否定する根拠は何じゃ
何が間違ってるか言ってみろや 凸多角形といってんだろ 頭が悪いのか? 誰が 正多角形っていったんだよ 凸多角形というのは、 凹んでいないところがない
多角形であってもっと複雑な形をしているものだ お前が考えているような簡単な問題ではない
ただし 三角形の場合は、 トリビアルで非常に簡単ということ しかし 凸四角形になるといきなり複雑な図形になって 難問になる >>14
お前はこの文も見えねーのか
>あとは非正多角形の場合だな >>11 のような数学的実質がないクソみたいな文章を読む価値がない まず、三角形の場合は 3倍になることも指摘できてないし、 凸四角形の場合は、 対角線を引いて、A,B、C,Dなどの面積を置き、Sとの関係を
検討しようとしてない時点で ナンセンスにも程がある >>19
三角形は正奇数角形だから2倍以上になってるだろ
偶数角形のその検討は終わっとるわ だから誰が正多角形っていったんだよ 頭が悪いのか? >>21
直感だけど正多角形が一番厳しい条件だろ
そっから手を付けることになんの問題がある 凸多角形の場合を証明しないといけないのに正多角形の場合をかんがえてもお前のオナニーで終わるだけ
>>23
何いってんだよ正多角形はもう終わってるわ
それから凸多角形を考えるんだろ? >>11
の文章は、 O,M,Kなどの訳の分からん記号が出ていている上、2ちゃんでありがちな唐突な文章
全く自分の頭で考えてなくてどっかからひっぱってきたかもしくは、 ズルなのが明らか
自分のパソコンの前で取り組んだ形跡がないのが明白 >>25
Mは定義してるし、Kなんて出てこねーぞ
何いつってんだこいつ 通常の数学者は問題が出された場合にはそれの証明に向けて非常に芸術的な思考を行い、難問にぶつかった場合はなんとしても考え抜く
しかも、この種のIMOの超難問は ほとんどの人が解けず、 問題を持ち帰ってから1年考えているがまだ分からないというのが通常
それからするとお前の問題への態度はふざけている >>27
難しい問題だからこそ具体的な例題を考えて規則性を見出していくんだろ
まだ確認できてないがおそらく外接円上の凸角形より外接円に乗らない凸角形のほうが面積比は増す
あとは外接円上で頂点を動かしたらどうなるかとか
そういうパターンを突き詰める作業だろ それからまた 数学の証明にパターン化されていることだが、キチガイみたいに難しい問題などはザラにある
>>27
というかこれがふざけてるならお前がこんなことろで解こうとしてることこそふざけてるな
>>29
お?逃げたか しかし例えばフェルマーの最終定理でわざわざ オイラーがやったようなキチガイのようなエレガントで不完全な証明をしなくても他によりスマートな
証明があればいちいちそれを選択する必要がない IMO の難問では solution 1 で洗練された解法が示され、 solution 2で
吉外みたいに難しい証明が示されるが、 solution 1 で解けるならそれに越したことはない >>30
まずお前しかスレッドに反応する奴がいないことと、 このグダグダの流れ しかも 問題の美しさが分かる奴もない
VIPの糞っぷりがしれている >>32
まぁ文章の書き方もわからんやつのスレならそうなるわな
意味のわからん空白いれて読みづらいったらありゃしない お前のような言葉を使う奴は 数学のセンスもないし また 数学の問題が解けないのは 頭が悪いからであるということも理解できていない IMOに 出場した人の10人くらいしか解けなかったんだから そんなにすぐに解けるもんでもないのに可哀想に
解ければいいってもんじゃねえんだよ。 灘高校の副島真が解いた問題や、 ピーターショルツェが解いた問題も超難問だ >>36
いやお前の存在意義は
なんでスレ立てたん? >>38
VIPにいる数学者がクソなのを証明するため >>41
VIPに数学者がいると思ってたお前が一番クソでアホだな まずこのスレの意義として、 数学の価値が高いことが分かる 分からないならただのバカ いわゆる数学界隈って高校数学とか数オリを崇拝して拗らせたやつ多いよなw 高校数学はゴミだけど 数オリは超難問なのに分からないとか可哀想な奴だな >>48
数オリでイキらなくていいぞ
純粋数学の最先端領域で存分に研究成果出して数学の進歩に貢献してくれなw >>48
難問であることをイキってるのが滑稽なんやで 数オリみたいなただの謎々に興味ある数学者なんていないぞ
拗らせすぎだわ 理学部の数学者は 数オリに対し、素晴らしい問題と言っており、全く解けないらしい >>11
で、それで、11の文書は証明にも何もなっていないから無意味
問題には、凸多角形としか書いていない
11の文は、自分で勝手に正多角形と仮定して証明しているだけ 正多角形ではないといっているのに、正多角形で証明しても0点だろ レベル低すぎるわ >>56
あれで証明が終わったと受け取るお前がアホなだけだよ >>51
何かしら理論のここまでは分かってるけどここから先は誰も証明してないって境目があるわけなんだが
数学者はそこを明らかにする研究をしてるわけで
数オリの問題は誰かが競技用に作っていてさらにすでに誰かに解かれているわけでよくそこまでイキれるなあ😅
世界で初めてお前が解答を出したわけでもないんでしょ?w 数オリの問題も解いたことのない奴が何を言っているのかと
解いた経験もないクソが 数学の理論を語る価値なし お前が数オリの難しさを知らないだけで、 6題中、 1,4 は簡単だけど 2,5はかなり難問になることが多い
3,6になると超難問でこれが解けないような奴が現代数学を語る価値はない >>59
まあ数オリを絶対神聖視するのは勝手だけどあまり拗らせるなよ
数オリは数学研究者としては意味ないって考える数学者もおるんでな^^
頭いいなら数オリで立ち止まってないでさっさと先に進んで研究成果を出して数学に貢献したまえ いくらでもあるだろ。 フェルマーの最終定理にしても、 コリヴァギンフラッハ法と、岩澤主理論の間に数オリレベルの初等的なアイデアを発見することで
ワイルズが解決した。 フェルマー予想に関しても、様々な人知を超越したエレガントなアイデアを多数用いて証明に至っている
また、Modular という概念は、 1950年代に 日本人数学者が構築したが、 その Modularという概念だけでは証明は更に遠大であるとされていた
そのところをイギリス人のワイルズが、 ヘッケ環とか、ガロア表現など華美な数学理論を総動員することで証明が完成した >>63
数オリレベルって何?
それ単に初等的ってだけやんけ
それとも「あ、これ数オリで出たやつだ!」ドンピシャなアイデアだったわけ? キモいオタクの妄想スレだった
数学者が数オリなんてやってたら、数オリなんかで遊んでないで数学やりなさいって言われるわ 数オリの超難問の構造は次のようになっている
まず前提を構築する → 何が凄まじく難しい補題やアイデアを発見する → そこから結論を演繹する
この真ん中のところが難しいので ほとんどの人が解けない 現代数学や フェルマー予想の論文もこれと同じことのオンパレード >>67
数オリと現代数学じゃ10段くらい差がありそう 30歳で教授をやっていて現在、 ABC予想の査読をしているペーターショルツェ は 15年前に 数オリに出て 超難問を解いた
ほとんどの天才数学者は、 IMOに出場している お前はいつまでも 数オリの価値が分からない >>69
おまえ相関関係と因果関係の違いもわからんのか 数オリの超難問の解答の論理構造は、 最高級の宝石のようになってるので、 バカには無理 >>1
まず、この問題に対して、 凸四角形の場合に 証明しようとしていない時点でクソ
凸三角形は 一つしかないので簡単だが
凸四角形には 様々な カタチのものがあり、凸四角形の場合で 証明しようとして凄まじい難問であることがすぐに分かるはず 正多角形の場合が一番厳しい場合などと言っているが、 全然関係ないし、 正多角形だとしたら 凸四角形の場合はただの正方形であり
題意成立はバカでも分かる。 しかし、 凸四角形と正方形は全然別なものであり、 凸四角形は いくらでも複雑な形態を取り、
その面積和がポリゴンの2倍以上であるかどうかは、 凸四角形の場合ですら証明するのが難しい
そうすると、 凸n角形の場合は更に難しくなる >>72
なんで>1に別解もあるとか言いながらお前の解法に沿わないと間違いになるんだよw
というかすぐに解けないことくらいわざわざ三角形四角形ってやらんでもわかるだろ 凸四角形の場合で証明もできないなら 凸5角形以上で証明できないのは当然だから
だから凸四角形で証明してみろよ >>75
上から抑えるか下から抑えるかの違いだろ
正多角形が最悪ケースだって証明できればそれで終わる証明じゃん 凸四角形で 証明しようとして難しいことが分かり、 それを凸5,6,7,8角形に応用しようとするところで行き詰ってんだろ
凸四角形で証明できないので、その先も思いやられる じゃあその証明を以下に書け 終わったら、 n角形の場合を証明すること 凸四角形で解こうとして 行き詰まり、四角形だけで解けても意味がないことから、 凸n角形で解く方法を考えないといけないが思いつかないだけだろ
クソだな
あえて言えば、 凸四角形の一辺に割り当てられた面積の 大きい方と小さい方に分けると、
A C D D
B B C A
となり、 面積和は、 A+C+2Dとなる。 A+C=B+D=S だが、 題意を満たすためには、 S/2 ≧ B
が成立しなければいけない。凸四角形 から、 領域 Bが S/2 ということはなんとなくわかるが証明ができない 模範解答
Lemma. 面積S の凸(2n)角形は、その辺と頂点の組み合わせで三角形
の面積はS/n以上である。
証明する。2n角形の主対角線とは、(2n)角形を分割するものを指すものとする。
を同じ数の辺を持つ2つの多角形に分割する。(2n)角形の任意の辺bについて、bを次のように表す。
ここで、A,Bはbの端点、Pは主要な三角形ABPの交点である。
対角線AA0,BB0。三角形bの和が、すべての辺をカバーすることを主張する。
ポリゴン全体
これを示すために、任意の辺ABを選び、主対角線AA0を有向セグメントと考える。
多角形の中の任意の点で、主対角線上にないものをXとする。定義性のために、Xは
線分AA0の左側。主対角線AA0, BB0, CC0, ...の列を考える。ここで
A,B,C, ...は連続した頂点で、AA0から右側に位置している。
この列のn番目のものは対角線A0A(つまりAA0を反転したもの)であり、その上にXを持つ。
右側です。ということは、A0 の前に A,B,C,... の列の頂点 K, L が2つ連続して存在することになります。
XがKK0の左側にあり、LL0の右側にあることに変わりはない。そして、これはXが
三角形 `0 , `0 = K0L0. AA0 の右側の点 X にも同様の推論が成り立つ(点
主対角線に横たわるものは無視してもよい)。このように、三角形bは合同で
ポリゴン全体
面積の和はS以上であるから、2つの対辺、例えばb = AB
とb0 = A0B0(AA0、BB0を主対角線とする)であり、 [b] + [b0 ] S/n、ここで [- - ] は
は、ある領域の面積を表す。AA0,BB0がPで交差しているとする。一般性を損なわない範囲で、次のように仮定する。
PB PB0. 次に
[ABA0] = [ABP] + [PBA0] [ABP] + [PA0B0] = [b] + [b0 ] S/n,
レンマを証明する。
さて、P を面積 S の任意の凸多角形とし、m 個の辺 a1, ... ... とする。amとする。ここで、面積をSiとすると
は、Pの中で辺aiを持つ最大三角形のものである。仮に、主張に反して
Xm
i=1
Si
S
< 2.
このとき、有理数q1, ... ...が存在する。, qmが存在する。
P
qi = 2であり、各iについてqi > Si/Sである。
m個の分数q1, ...の共通項をnとする。, qmの共通分母をnとする。qi = ki/n と書く。
P
ki = 2nである。
P の各辺 ai を ki 等分に分割し,面積 S の (2n) 凸の正方形 (ただし
角の大きさが180のものもある)、これにレンマを適用する。したがって、この洗練された多角形は
は、面積[T]S/nの三角形Tにまたがる辺bと頂点Hである。bが一辺aiの一部分である場合
Pの、底辺ai、頂上Hの三角形Wは、面積が
[W] = ki - [T] ki - S/n = qi - S > Siとなる。
の定義と矛盾する。これで証明は終わりです。 >>89 の分析と、 >>90 の分析はほとんど一致している。 またそれから上記のような解法があるというだけのこと
お前は解けなかったくせに偉そうな顔をするな この問題は非常に難しいことに変わりはない そもそも幾何学の問題だしな >>90
主対角線の定義、点P、主要な三角形、対角線AA0,A0Aの記載方法、任意の辺bと三角形b
主対角線AA0上にない点なのに反対のA0A上にある
半分くらい読んだが意味がわからんな
英語のレポートでも直訳したか? >>92
いやお前自身が示したことに対して自ら反するのはどうかね
>11はこんなスレだし細かいところは定義してないがなんとなく察せられるレベルにはしてある
>93とか証明の体をなしてないぞ お前が結局証明を書かなかったから俺が書いただけの事
それから上の証明は、 ポリゴンの中には、 ポリゴンの面積のSの半分の部分が存在することを幾何学的に証明しているだけで
補題からかなり高度な演繹をしているが論理としては成立している
お前が証明できずスレを落とそうとしたのが悪い
またそれから上の証明は数学界では当たり前のことであり、非常に難しいし、解けた人も10人くらいしかいなかったから、この解法を発見できなかった
としてもおかしくない。 また、これよりも更に凄まじく難しい解法があるがそちらは書く必要がない。 このスレから得られる教訓としてはまずお前は
解けないのだから偉そうにするなということと、 上の解答のように数学は価値が高いということだ >>96
いやお前
自分で難題とか言っといて素人か数時間で解けるようなもん出してたんか? というか証明自体には興味あるからソースくれよ
お前の文は定義が抜けて読めない 実際解かなかったくせに何がソースだよ
このスレから得られることは 数学の証明の仕方はやばいということと価値が高いということだ
またそれからこの問題は極めて難易度が高く難しく解けた人もほとんどいない、 そういう種の問題が哲学の中にはあるということが素晴らしい お前の証明も読めないんだから証明になってないんだがな また上の問題をどうやって解いたかというと、 凸四角形の場合に証明すべき様々なことに注意し、人知を超越したことを思いついてから演繹しただけのこと
お前は解答の結論だけを欲しがり、そもそもその解法は世界で10人くらいしか思いつかないことに注意しない
だからお前はクソだ >>103
正しさを人に伝えられない証明はクソ以下だからな 証明が正しいかどうかではなくて、 そのくそやばい証明自体がその形で存在するということの方が教訓であり、 それを自分で思いつくかどうかは
無理だって言ってんだろバカが 世界でも10人しか思いつかなかったんだから気づけ 自分に都合がよくなってくるとスレの食いつきがいいな まじでクソだな
それから基本的にこの問題は幾何の問題なので、 ユークリッド平面上に凸多角形を作り、 ゴリ押しで解こうと思えば解ける
しかし幾何の問題は幾何で解かないと意味がない いやお前が証明書いたからそれを理解しようとしてるだけだが
レスしてない間は考えてたよ >>105
思いつこうがそれを証明できなきゃ意味がないんだよ
ラマヌジャン知ってるだろ? 灘高校みたいなやばいところで勉強している人はそれ相応の訓練をしてるから、 副島真みたいに超難問を解いた人もいるが一般人には無理つってんだろ >>109
解けるか解けないかじゃなくて
お前の書いた証明を見たいつってんだ
日本語わかる?聞こえてますか? 三平方の定理にしても、 直角三角形4つで正方形を作るという誰も思つかないアイデアがある あれと同じことを思いつくかどうかというだけ
人類のイデア界の中にはそういった美があるということ。 上の証明はその美的事実を発見しているともいえる >>111
話しそらしてんじゃねーよクソが
頭にウジでも湧いてんのか 結局解かなかったくせに 都合がよくなってくると食いつきがいいな
俺の考察は
>>89
に書いただろ。 しかし、この発想を 凸n角形に適用するときに それを証明するためには何か恐ろしいことを発見しないといけずそれはやったことがないから
無理である ただし、 それを演繹してくるための美的事実が数学のどこかに存在するということが素晴らしい >>112
IMO 2006の6番だぞ
こいつの証明は直訳風だしAOPSコピペしただけじゃね?
読んでないから知らんけど
アスペに反応してもまともな答え返ってくるわけないじゃん 世界で10人しか、 結論を演繹するための事実を発見できなかったといっているのに、それをいつまでも無視するバカはお前か? 糞なのは、誰も解けないという現実から逃げ続けるお前 国際数オリの問題でも、1,2,4,5は 超東大級と言われながらも出場者の5割は解いてしまう
では、 3,6の問題に対しては何で壊滅状態なのか理由を述べてみよ >>116
結局解かなかったくせに、 訳の分からんいちゃもんつけられそうになってくると、書き込みすんなゴミが >>117
誰も解けなきゃ問題にならんだろ
アホなん? >>119
自分で解いてすらいないのにドヤ顔で語ってる恥ずかしいやつ >>86
の段階の辺りで結局解かなかったんだからお察し こんなクソスレとっとと落とせっつってんだろ
まだこいつに日本語通じないの理解できないのか? ニコニコ動画で IMO の 3,6 は、中国人、アメリカ人のアーナブなども 「お手上げだ」 とか 「何も言うことはないよ」 などと言っているだろ
あえていえば中国人の奴が定理を見つけているといった程度 それ以外世界中がこの種の問題については沈黙
理由は 解けないから rngさんは今何やってるんだろ 競技プログラミングのトップランカーだったな なんでほとんどの人が解けないかといったら不可能だからに決まってんだろ 一般に問題を検討しているときにそれを証明することは不可能だと思われることがあるにもかかわらず、何らかの方法でそれを可能にできることがある 大体このスレを立てたときに解かなかった時点でクソだし、何でもかんでも、 不可能な問題を類型化して当たり前のように解いている知ったかぶりの
お前が最悪なだけ、実際には自分で解いたわけでもないくせに このスレを建てたのは、不可能問題を一般人に解いてもらうために建てたのに、知ったかぶりのバカが出てきたせいで一気に面白くなくなったわ >>130
不可能問題なら解けないから数オリに出題されるんわけないな
真偽どちらも証明できない問題とか不完全性定理通って話だが ゲーテが、 人類だけが不可能を可能にできるって言ってるだろ。 数オリの最終問題にはそれだけやばい奴が出るんだよ
IMO 第6門は検討するだけならできるが、途中で、これはどうも不可能だという結論に至る。にもかかわらずその不可能を通す定理や補題などが
実は存在するので価値があるから出るんだよ。 んでもって世界中の人はそれがほとんど解けない、それを解けて当たり前みたいに言っているお前がクズ >>132
お前は不可能を軽々しく使い過ぎ
使う前に不可能を証明しろよ 一般的に不可能と思料される哲学上の問題を驚がく的な方法によってなんとかすること 不可能であることは一般に美しいとされ、 IMOの 3,6問題には、 一般的な出場者が不可能と考えるが、実は解答が存在するような問題が出る 2ちゃんにいる数学者がくそつまんねーのは、人類一般が普通はできないとされることを当たり前のようにするところ
できないのが面白いのに、できるから
つまんねえんだよ なんでお前世界中のほとんどの数学者ができないっていってんのにできるって言い張るの?うざいんだよ ■ このスレッドは過去ログ倉庫に格納されています