INFO

ここはePub 3 + MathML を支援していきたいと考えているしがない男の余剰次元です．私がリアルで話す機会のないことを吐き出しております．

細かいところを気にし始めたら，案の定ドツボにはまって，高度な数学を学べずにいるという言い訳をよくしています．死ぬ前にゲーデルの不完全定理や代数幾何学，圏論などを理解したいと思っていますが，いつになるのやら……

座右の銘は”Everything Will Be Alright In the End”．昨今の電子書籍業界に興味あり．趣味は（簡単な）数学．

MathJaxやKaTeXなどの大変便利なJavaScriptライブラリが普及している中，世間の流れに逆行して，MathMLを（しばらく）支持してサイト作りを続けていこうと思います．

Macを使っているので普段はSafariを使っていますが，MathML完備（は言い過ぎ？）のFirefoxを心の中では超推しています．

二項定理を用いずに多項定理を証明する

多項定理は二項定理を用いて，変数の個数についての帰納法で証明するのが多いようです．しかし，ここではあえて文字数は固定して，べきについての帰納法で証明します（同時に二項定理も証明したことになります）．ちなみに組合せの理論は ... Read more

中間値の定理を仮定して，実数の連続性の一つであるデデキントの定理を証明します． 𝐑を実数全体の集合とする．定理 1 (中間値の定理). 空でない閉区間I=[a,b]上の関数f⁢(x)がI上で連続であるとする．f⁢(a) ... Read more

閉区間をn等分する手法にハマってきたので，中間値の定理の証明もやってみました．特に参考にしたものがないので，もしかしたら間違ってるかもしれませんが悪しからず．定理 (中間値の定理). 閉区間I=[a,b]上の連続関数f ... Read more

選択公理を使わない最大値最小値の定理の証明で，斎藤正彦先生の『数学の基礎』では，選択公理を用いずに最大値の定理を証明していることに触れました．その証明を参考に，僭越ながら少しアレンジしてみました．定理 1 (最大値の定 ... Read more

自然数に0を含める．𝐍を自然数全体の集合，𝐙を整数全体の集合とする．定義 1. 整数a,bに対してa=b⁢cとなる整数cが存在するとき，aをbの倍数とよび，bをaの約数とよぶ．a,bに共通する倍数のことをa,bの公倍数 ... Read more

登場人物慈道数学科の大学院生．男．コミュ障．柴山数学科の大学生．女．教職を目指しているらしい．「素数が無限に存在することはユークリッドが既に証明している．知っているか？」「有名なやつですよね．まず素数が有限個 ... Read more

有界な数列は収束する部分列をもつというボルツァーノ＝ワイエルシュトラスの定理（以下BW定理）の証明を最初知ったときは本当にこんなことが可能なのか，という疑問が拭えず酷く消化不良をきたしたのを覚えています．主に無限の扱いに ... Read more

高校数学で無限級数の発散条件を勉強します．無限級数 $\displaystyle \sum_{n=1}^{\infty}a_n$ が収束するとき，部分和 \(\displaystyle S_n=\sum_{k=1}^ … Read more

整数 $a, b$ の任意の公約数 $d$ は，$a, b$ の最大公約数 $g$ の約数である．よくある証明は $$ a x + b y = g $$ となる $x, y$ が存在するから，\(d … Read more

閉区間 $I$ 上の連続関数 $f(x)$ には必ず最大値が存在することの証明で，まず，値域 $f(I)$ が上に有界であることを背理法で証明するのが最初のステップになっている本が多いと思います．で，上に有界 … Read more