微分積分学(大学) ラグランジュの未定乗数法とは～意味と証明～
ラグランジュの未定乗数法 (Lagrange multiplier) は，多変数関数における，条件付き極値問題を解く方法を指します。これについて，その内容とイメージ，証明を解説しましょう。
微分積分学(大学) 
線形代数学 さまざまな行列48個一覧
名前の付いた，さまざまな行列をまとめます。本サイト内で解説のあるものは，そのリンクを一緒に載せます。
線形代数学 べき零行列の定義・例・性質7つとその証明
べき零行列 (nilpotent matrix) とは，行列のべき乗について，A^k=O (右辺は零行列)となるような行列のことです。べき零行列の定義と例，そして性質について，順番に解説しましょう。
微分積分学(大学) 【級数】アーベルの収束判定法とその証明
アーベルの収束判定法 (Abel's test) と呼ばれる収束判定法について，その主張と証明を紹介しましょう。
集合と位相 集合族と添字集合
集合族 (集合系; family of sets) とは「集合の集まり」という意味です。たくさんの集合は，添え字を用いてA_1, A_2のように区別されます。集合族と添字集合について，その定義と使い方を解説します。
LaTeX 【LaTeX】ディラックのブラケット記法のかき方まとめ
LaTeXにおける，ディラックのブラケット記法のかき方を，braket パッケージを用いたものと，physics パッケージを用いたものを並べて紹介します。
微分積分学(大学) 2変数・多変数におけるテイラー展開・マクローリン展開
2変数，あるいはより一般に，多変数におけるテイラーの展開・マクローリン展開を，テイラーの定理・マクローリンの定理も同時に述べながら解説します。
微分積分学(大学) 接平面の方程式とその導出証明
曲面z=f(x,y)の接平面の方程式はz=f_x(a,b)(x-a)+f_y(a,b)(y-b)+f(a,b)であり，曲面f(x,y,z)=0の接平面の方程式はf_x(a,b,c)(x-a)+f_y(a,b,c)(y-b)+f_z(a,b,c)(z-c)=0となります。これについて，その導出の証明を行いましょう。
集合と位相 カントールの対角線論法とそれを用いた証明
「カントールの対角線論法 (Cantor's diagonal argument) 」あるいは単に「対角線論法」とは，数学における証明のテクニックの1つです。これについて，その内容を，実際の証明を通して理解していきましょう。
集合と位相 選択公理の内容と具体例を詳しく
選択公理とは，「無限個の各集合から一気に一つずつ元を選択することができる」という公理です。専門数学では，多くの場合仮定されますが，自明でない公理なので，気を付けて使う必要があります。そんな選択公理について，その内容と意味・具体例を詳しく解説...