難問解決

※三次元復元をするにあたって射影幾何学を勉強してるんですが，なかなかしわの少ないマイブレインでは理解に時間がかかっており，ブログを書くネタがないので今回はこんなあほな感じのエントリです（笑）

2017年度年末に，京都大学の望月教授が2012年に出していたABC予想の証明が，他の数学者の査読・チェックが終わり証明が正しいという結論になった．というニュースが出ました．（査読・チェックに５年かかるというあたり素人には驚きですが．）この日本人の活躍に触発されて，自分も難問を解いてみることにしました．

ちなみに，望月教授が証明した「ABC予想」は下記です．
「互いに素(1以外に共通の約数をもたない)である3つの自然数(正の整数)の組(a、b、c)について考える。a、bの和がcである(a+b=cを満たす)とき、積abcの互いに異なる素因数の積をdとする。任意の実数κ> 1のとき、dをκ乗(累乗)した積は、まれにcよりも小さくなる。すなわち、そのような数の組(a、b、c)は有限個だけしか存在しない」

僕が証明した「牛角食べ放題のほうがお得予想」は，下記です．
「30代前半男性が空腹状態で牛角に食事に行く場合，単品注文より食べ放題を選択したほうがコストパフォーマンスが高い．」

ということで，証明しました．

まず，前提となる食べ放題のコースは下記です．
・牛角コース＋飲み放題＝4960円

土曜日の夜19時に牛角に殴り込み，下記を食べきりました．
・カルビステーキ x 1 = 690円

・厚切りカルビタレ x 4 = 2200円

・ロースタレ x 4 = 2360円

・ロースステーキ x 1 = 890円

・いぶりがっこクリームチーズ x 2 = 780円

・キムチ x 1 = 290円

・炙りベーコン x 2 = 780円

・黒糖おさつバター x 2 = 780円

・チョレギサラダ x 1 = 590円

・ごはん中 x 1 = 260円

・ガトーショコラ x 1 = 250円

・アサヒスーパードライ x 5 = 2500円

・赤ワイングラス x 1 = 390円
写真なし．．
合計　12760円　　　．．．．証明完
（但し，合コン等目的が異なる場合はこの限りではない．）

ということで，命題「30代前半男性が空腹状態で牛角に食事に行く場合，単品注文より食べ放題を選択したほうがコストパフォーマンスが高い．」を証明しました．証明に当たって，工夫したところは，，，うーんそうですね．白米の消費量を抑えたところでしょうか．

ということで，皆様も牛角に行ったときはぜひ食べ放題を選択してください．
（望月先生，しょーもないエントリに紐づけてしまいごめんなさいm(_ _)m）