物語のさんぽ
前提も含めた29個の考え方で、17章の謎を読み進めます。今日重たいところは、飛ばして大丈夫。どの段でも、やさしい説明と固定したLeanの抜粋を一緒に読めます。
1番目から読んでみる → 解説ページの一覧Leanの主張を読む
高校
対象・条件・結論を分けて読みます。
累乗と正の整数
中学校
累乗は同じ数を繰り返しかけること。正の整数は1から。
素数
中学校
2以上で、正の約数が1と自分自身だけの数。
偶数・奇数と場合分け
高校
数を偶数と奇数に分けるのは、この証明そのものが使う最初の場合分けです。
余りで比べる・合同
中学校
数が違っていても、割った余りが同じなら合同です。
時計の算術
中学校
余りの集合を決め、その中だけで計算する世界を作ります。
4の時計と平方数
中学校
正方形になる数は、4の時計で0か1に座ります。2には決して座りません。
仮の反例とフライ小包
高校
ないはずの解を仮に置き、数と条件の証拠をまとめます。
関数
高校
関数は、入れてよい値のそれぞれに出力を一つ決めます。
方程式で決まる曲線
高校
方程式を満たす座標の組を集めたものが、ここでの曲線です。
ワイエルシュトラスの標準形
大学
ここで使う曲線は、五つの係数で決まる標準の形に整えます。
共通因子と互いに素
中学校
互いに素とは、1より大きな正の共通の約数がないこと。
等式から曲線へ
大学
禁止された等式が、ワイエルシュトラス曲線の具体的な係数を与えます。
変換としての対称性
高校
形や計算の規則を保ったまま、対象を入れ替える変換。
複素数と上半平面
大学
実数二つで複素数を表し、実軸より上にある点を考えます。
モジュラー形式
大学
複素数を返し、変換と滑らかさについて厳密な規則を持つ関数。
係数という数のデータ
大学
関数を展開して、数の列として読むときの一つひとつの数。
曲線の足し算
大学
曲線の点は足し算ができます:二点を通る直線が、その和を決めます。
点の数え上げ——素数での曲線の数
大学院
曲線を素数で割った余りの世界へ置き、その有限の点の集合を数えます。
重さとレベル
大学
重さは変換の規則、レベルはどの変換に規則を求めるかを指定します。
カスプ形式
大学
モジュラー形式に、すべての尖点で0へ近づく条件を加えたもの。
正規化された固有形式
大学
係数の列に追加の算術規則があり、最初の係数を1にそろえます。
曲線のモジュラー性
大学
曲線の算術データと係数が一致する、条件つきの形式を見つけること。
二次から三次の判別式
高校
一つの式が、方程式の曲線がきれいか、特異点を持つかを証明します。
量c₄——係数から指紋へ
大学
係数の短い多項式から、曲線の壊れ方の激しさを伝える数を作ります。
半安定性
大学
素数ごとに余りの世界へ移したときの曲線のふるまいを制限します。
導手とレベル下げ
大学
注意すべき素数を記録し、証明済みの条件でレベルの素因子を制限します。
同じ対象についての矛盾
高校
同じfについて、f ≠ 0とf = 0の証拠は両立しません。
公理と証明の検査
証明レベル
定理の証明が、どの基礎的な仮定に依存するかを調べます。