固定されたツイート佐久間@keisankionwykip·2021年7月28日新しいオリジナルの百マス積分を作りました。 今までのどの100マス積分よりも難しいと思います。 難易度と学年レベルでマスを色分けしてみました。ちょっと関数形が変わるだけで難易度が激変するのが積分計算の奥深い所です。 全て手計算で解ける人は天才だと思います。99593,532このスレッドを表示
佐久間さんがリツイートしました佐久間ちゃん@2_wykipedia·5月23日「平和の公式」ってなんか「平方和」を彷彿とさせて「三平方の定理」みたいなのを連想する。 そしてどちらも「歪んだ世界」では成り立たない。 https://ukrinform.jp/amp/rubric-ato/3712290-zerenshiki-yu-da-tong-ling-ri-ben-guo-min-xiangkeni-yan-shuoping-heno-gong-shi-shi-xianno-yi-yiwo-qiang-diao.html…1221571.2万このスレッドを表示
佐久間@keisankionwykip·5月17日存在するかどうか問題、数学的対象なら公理を決めれば決まるのでまだ平和で、むしろ物理量の方が揉めそう。五感で認識できない量は存在を認めないとか「運動量や熱・エネルギーくらい卑近なら存在を認めるが、波動関数や量子場の存在は認めない」みたいな人多そう。6321703.4万このスレッドを表示
佐久間さんがリツイートしました佐久間ちゃん@2_wykipedia·5月17日問題「e^xを微分せよ」 素直な人「e^x」 堅苦しい人「x ↦ e^x」 ひねくれた人「x*e^(x-1)」 辛辣な人「0(断りなく登場する文字は全て定数だと解釈する)」 妙に慎重な人「ln(e)e^x」 こだわりの強い人「微分係数か導関数か?定義域はどこか?」 ヤバい人「Schwarz微分すると定数関数になる」1473112万
佐久間さんがリツイートしました佐久間ちゃん@2_wykipedia·5月12日学振になったひろゆきメディアを再生できません。再読み込み引用ツイート佐久間ちゃん@2_wykipedia·4月30日学振「何をどこまでどのような方法で明らかにしようとするのか、具体的に記入してください」 →数学の場合そんなことが書けたら既に具体的な定理の証明の方針が完璧に見えていることになるので、研究がほぼ完成しているようなものでは?14021,19332.7万このスレッドを表示
佐久間@keisankionwykip·5月6日これの凄いところは十分条件なだけじゃなくて必要十分なので反証もできちゃう所ですね。 これを利用して問題を解くだけではなく作ることもできます。 これはさっき適当に作りました。係数は(ミスってなければ)最良です。4265,290このスレッドを表示
佐久間@keisankionwykip·5月6日おそらく日本で最初の出所はこのPDFです: http://izumi-math.jp/I_Yanagita/emath_ver2ps.pdf… かなり網羅的で有名なテクニックもほとんど載っています。 対称式の方の発見者は韓国のHojoo Leeという人らしいです。不等式について研究しています: https://igor-kortchemski.perso.math.cnrs.fr/olympiades/Cours/Inegalites/tin2006.pdf… (巡回式の方はベトナムのPhạm Kim Hùngという人)19527,228このスレッドを表示
佐久間@keisankionwykip·5月6日3変数3次対称式を含む不等式を「3点での値を見るだけ」で一瞬で証明または反証できる知る人ぞ知る最強兵器を見つけた。 例えばIMOのこの不等式は1変数消去からの微積ゴリゴリ計算やシューアの不等式の利用でも示せるけど、裏技を使うと暗算だけで確認できてしまう。111464414.6万このスレッドを表示
佐久間さんがリツイートしました佐久間ちゃん@2_wykipedia·5月6日数学徒のかぐや姫 「x^3+y^3=z^3の自然数解(x,y,z)を取りて給へ」 「ぺあの算術を含む帰納的に公理化せらるる無矛盾理論Tにて己の無矛盾性を示さるるを給へ」 「5次方程式の代数的なる解の公式を給へ」 「非可換なる有限斜体を作りて給へ」 「りゐまん・ぜゑた函数のRe(z)≠1/2なる非自明零点zを給へ」51415794.7万
佐久間さんがリツイートしました佐久間ちゃん@2_wykipedia·5月6日「aparacompact」の和訳が「亜パラコンパクト」なの、ふざけてるのかと思いきやちゃんと意味的に適切で面白い。8576,982
佐久間@keisankionwykip·4月30日ノルムっぽいけどノルムではない「ノルムもどき」を10個集めました。 これって半ノルムって言うんだっけ?準ノルムだっけ?みたいにこんがらがりがちですね。 擬ノルムは何故かドイツ語版だけWikipediaに記事があります。211351.6万
佐久間さんがリツイートしました佐久間ちゃん@2_wykipedia·4月30日学振「何をどこまでどのような方法で明らかにしようとするのか、具体的に記入してください」 →数学の場合そんなことが書けたら既に具体的な定理の証明の方針が完璧に見えていることになるので、研究がほぼ完成しているようなものでは?122290846.3万
佐久間さんがリツイートしました佐久間ちゃん@2_wykipedia·4月30日イーロンマスク、いつか「全ユーザーの過去の全ツイートが消滅しました」とか「全ユーザーの全てのフォローがバグって外れてもう元に戻せません」みたいなとんでもない事やらかしそうで怖い。9486,767
佐久間@keisankionwykip·4月24日「極限の公理」は実はこれで全てではない(証明で使ってる条件を書き出すと、同じ項を並べて増やしても極限が変化しないという条件も追加で必要)けど、高校数学からε-N論法が証明できることに変わりはない。14305,878このスレッドを表示
佐久間@keisankionwykip·4月24日チェザロ平均の収束や極限と積分の順序交換はわざわざε-N論法を出さなくても割と簡単に高校数学から証明できます。 そもそもいくらでも回りくどいことを許せばε-N論法自体が高校数学から出ちゃうので「ε-N論法を使えば証明できるけど高校数学では証明できない命題」など存在しません。引用ツイート佐久間@keisankionwykip·3月9日チェザロ平均の収束は「ε-N論法を使わなければ証明できない例」としてよく挙げられますが、これは嘘で、実は高校範囲内で示せます。 limと∫の順序交換も測度論なしで高校範囲内で展開できます。 中間値の定理が実数の連続性と等価なので、実は原理的にε-δ論法自体も高校数学から逆に「導出」できます18481.2万このスレッドを表示
佐久間@keisankionwykip·4月24日高校数学からε-N論法(ε-δ論法)を「証明」してみました。 高校数学の極限の「定義」は曖昧ですが、はさみうちの原理やlimの線形性・順序保存、中間値の定理(上限性質と同値)などは明確な主張です。それらを公理と見做し、逆にそこから「厳密な定義」を“導く”ことができます。11237668.5万このスレッドを表示