高校数学の美しい物語
- ★ 基本的な記事
- ★ 入試対策の記事
- ★ 最難関大学受験対策の記事
- ★ 数学オリンピック対策の記事
- ★ マニアックな記事
- ◎ 大学数学レベルの記事
- ◎ 大学数学レベルの記事その2
当サイト発の書籍など
- 問題集(PDF):
サイトの各ページと対応している問題集です。
→高校数学の問題集 ~最短で得点力を上げるために~ - 中学数学の本:
→超ディープな中学数学の教科書 - 算数の本:
→超ディープな算数の教科書 - 高校数学の本:
→【書籍】高校数学の美しい物語
京大2023大問6とチェビシェフ多項式
を 以上の素数, を実数とする。
- と を の式として表せ。
- のとき, となるような正の整数 が存在するか否かを理由を付けて説明せよ。
京大入試の問題を解説します。背景となる「チェビシェフ多項式」を知っているとかなり有利な問題です。
sin の無限乗積展開とワイエルシュトラスの因数分解定理
無限乗積(無限積)とは,無限級数の「積」版です。
無限積のアイデアを用いると,一般的な関数を「因数分解」できるようになります。
リュカ数の意味とおもしろい性質
で定まる数列 に現れる数をリュカ数と呼ぶ。
リュカ数について,3つの話題を紹介します。「一般項」と「フィボナッチ数との加法定理」は大学入試レベルです。最後の「三角関数表示」では複素三角関数が登場します。
円周率が無理数であることの証明
円周率 は無理数である。
この記事では,円周率が無理数である非常に美しい証明を紹介します。
必要な知識は高校レベルの微積分だけです。少々トリッキーで難しいですが,ぜひ議論を追ってみてください。
ベルヌーイ数とゼータ関数
ベルヌーイ数 を と定める。
ベルヌーイ数は数学において非常に重要な数です。特に 乗の和(べき乗の和)の公式・ゼータ関数と深い関係があります。
コーシーの積分公式とその応用~グルサの定理・モレラの定理
- を単純閉曲線(自分と交わらない閉じた曲線)で囲まれた領域とする。
- を領域 で正則な関数とする。
このとき の内部の任意の点 で となる(線積分の向きは反時計回り,より厳密には領域の内側から見て左周りに定める)。
コーシーの積分公式は正則関数を積分によって表現する公式です。この記事ではコーシーの積分公式と,積分公式から得られる重要な定理を,具体例・証明とともに紹介していきます。
積分と極限(無限和)の交換
という式について,
- が一様収束するなら成立する(十分条件)
- ただし,一般には成立しない
- 一様収束しなくても成立することがある(単調収束・一様有界など他の十分条件がある)
ロドリゲスの回転公式(3次元の回転行列)
三次元空間において, を軸として, を 回転させた点 は,
三次元空間での回転に関するロドリゲスの回転公式を紹介します。
まずはベクトル版を紹介し,後半では行列版(三次元空間における回転行列)を紹介します。
微分方程式の解法(同次形・線形微分方程式)
微分方程式といえば,偏微分方程式・常微分方程式,さらにはRicatti形やBernoulli形など様々な種類があります。この記事では,常微分方程式のなかでも,同次型の解法と定数係数の線形微分方程式の微分方程式の解法を紹介します。
ナッシュ均衡
どのプレイヤーも「戦略を変更しないでいることが最も合理的である」ような均衡状態をナッシュ均衡(Nash equilibrium)という。
ナッシュ均衡とは,ゲーム理論における概念です。その定義と具体例,パレート効率性との関係,ナッシュ均衡の存在に関するナッシュの定理を紹介します。
チューリングマシンの定義とそれに関連する話
チューリングマシンとは,次の6つの要素の組として定義される,ある規則にしたがって自動で計算を進める数学的なモデルのこと:
イギリスの数学者アラン・マシスン・チューリング(Alan Mathison Turing)が定式化したチューリングマシン(チューリング機械)について解説します。「計算」とは何であるか,を定義するモデルとして使われており,計算機科学における最も重要な概念の1つです。
逐次最小二乗法(RLS)
逐次最小二乗法(Recursive Least Squares, RLS)について,問題設定から以下の更新式の導出まで解説します。
媒介変数表示
媒介変数表示とは,「関連する変数同士の関係を他の変数を用いて表すこと」です。
変数同士を繋ぎ,関係を作っている変数を,媒介変数またはパラメータと呼びます。媒介変数としては などがよく使われます。
媒介変数表示をパラメータ表示と呼ぶこともあります。
ガウスの発散定理・ストークスの定理の証明
ガウスの発散定理(英:Divergence Theorem) ストークスの定理(英:Stokes’ Theorem)
ベクトル解析の有名な公式「ガウスの発散定理」「ストークスの定理」を導出します。物理でよく使われる公式です。
ガウスの発散定理とストークスの定理は証明の構造がとても似ています。
テンソルとは何か Part.1
「テンソル」という言葉には,
- 代数学における「ベクトル空間のテンソル積」
- 物理や微分幾何における「テンソル場」
- その他,数の高次元配列としてのテンソルなど
といった,さまざまな意味がある。
この記事はPart.1として1. 線形代数における「ベクトル空間のテンソル積」について説明します。
テンソルとは何か Part.2
「テンソル」という言葉には,
- 代数学における「ベクトル空間のテンソル積」
- 物理や微分幾何における「テンソル場」
- その他,数の高次元配列としてのテンソルなど
といった,さまざまな意味がある。
この記事ではPart.2として「テンソル積における基底変換」と物理や微分幾何における「テンソル場」について説明します。
交代行列の定義と性質
正方行列 が, を満たすとき, を「交代行列(反対称行列,歪対称行列,英:alternating matrix, antisymmetric matrix, skew symmetric matrix)」と呼ぶ。
ナビエ-ストークス方程式の導出
ナビエ-ストークス方程式(英語でNavier–Stokes equations,略してNS方程式とも呼ばれます)は,古典力学における「運動方程式」を流体力学的に書き直したものです。これの導出について説明します。また,ナビエストークス方程式の一般解が存在するかどうかは,数学的に解明されていません。これについても少し触れます。
ポアンカレ予想の主張の解説
単連結な3次元閉多様体は3次元球面に同相である。
ミレニアム懸賞問題とは,100万ドルの懸賞金がかけられている,数学における重要な7つの難問です。