Hero Image
参考文献と図版出典

さらに学ぶために ユークリッド。Os Elementos（『原論』）。Irineu Bicudo によるポルトガル語訳。São Paulo: Editora Unesp, 2009。公理と命題の構造。 プロクロス。A Commentary on the First Book of Euclid’s Elements. Glenn R. Morrow による英訳。Princeton: Princeton University Press, 1970。命題の六つの部分。 Frege, Gottlob. Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik, 100, 1892, pp. 25–50。ブラジルでの翻訳：Lógica e filosofia da linguagem. São Paulo: Cultrix/Edusp, 1978。 Frege, Gottlob. Die Grundlagen der Arithmetik. Breslau: Koebner, 1884。ライプニッツの引用は §65。 Wittgenstein, Ludwig. Tractatus Logico-Philosophicus. London: Kegan Paul, 1922。同一性については命題 5.53 から 5.5303。 Gauss, Carl Friedrich. Disquisitiones Arithmeticae. Leipzig: Gerhard Fleischer, 1801。合同の定義と記号 ≡ は第1条と第2条。 Pascal, Blaise. Traité du triangle arithmétique. Paris: Guillaume Desprez, 1665（1654 年執筆）。帰納法は帰結12に現れる。 Dijkstra, Edsger W.; Scholten, Carel S. Predicate Calculus and Program Semantics. New York: Springer, 1990。ヒントつきの証明の書式。 de Bruijn, Nicolaas G. Asymptotic Methods in Analysis. Amsterdam: North-Holland, 1958。ビッグ・オーの一方通行の等式。 Halmos, Paul R. I Want to Be a Mathematician: An Automathography. New York: Springer, 1985。$\blacksquare$ の由来。 Kieran, Carolyn. Concepts associated with the equality symbol. Educational Studies in Mathematics, 12, 1981, pp. 317–326。 Healy, Lulu; Hoyles, Celia. A study of proof conceptions in algebra. Journal for Research in Mathematics Education, 31(4), 2000, pp. 396–428。 Fischbein, Efraim. Intuition and proof. For the Learning of Mathematics, 3(2), 1982, pp. 9–18, 24。 Cajori, Florian. A History of Mathematical Notations. 全2巻。Chicago: Open Court, 1928–1929。ガウスとリーマンの ≡、ラーンの $\therefore$ について。 Earliest Uses of Symbols of Relation、Jeff Miller。 図版出典 図版 出典 ライセンス ゴットロープ・フレーゲの肖像、Emil Tesch 撮影（1905 年ごろ） Wikimedia Commons パブリックドメイン ガウス『整数論研究』（1801）の扉 Wikimedia Commons パブリックドメイン パスカル『算術三角形』（Triangulus Arithmeticus）の最初のページ、クレルモン・オーヴェルニュ・メトロポール遺産図書館所蔵 Wikimedia Commons CC BY-SA 4.0 奇数の和の図と対話型の図（合同の時計、方程式を解く段階）は、この本のために作成したもので、サイトの四つの言語すべてで動作する。ダウンロードした図版の記録と各ファイルのハッシュ値は data/semiotica_imagens.json にある。

October 16, 2026 読んだ
Hero Image
証明の読み方：手引きと用語集

この章では、等号を一行の計算から一つの証明全体まで追いかけた。以下の手引きは、その両方を読むのに役立つ問いをまとめたものである。 等号に向ける五つの問い 問うているのか、主張しているのか、名づけているのか。 問うているなら方程式で、することは解を見つけることだ。すべての値について主張しているなら恒等式で、することは証明することだ。名づけているなら定義で、することは受け入れて覚えておくことだ。 両辺の意義は同じか、それとも意味だけが同じか。 意義が同じなら、その等式は空っぽだ。違うなら何かを教えており、それが何かを問う価値がある。 本当の等しさか、それとも同値か。 $\frac12=\frac24$ は数としては等しさだが、分数としては同値である。$17\equiv2\pmod5$ は、二つの異なる数が同じ引き出しに入ることを言っている。 ここで一方の辺を他方に置き換えてよいか。 計算の中ならいつでもよい。誰かが知っていることや書いたことについての文の中では、いつもよいとは限らない。 三つの法則は成り立つか。 関係が対称でない（$:=$、ビッグ・オーの $=$）か推移的でない（$\approx$）なら、それは本当の等号ではなく、$A=B=C$ という鎖は働かなくなる。 証明に向ける五つの問い いったい何が主張されているのか。 言明とその文字を見つける。どれが任意で、どれが与えられたものか。 「とする」はどこにあるか。 そこで一般が特殊になる。言明が与えるもの以外に、特殊な場合について何も仮定されていないことを確かめる。 行と行をどんな矢印がつないでいるか。 $=$ と $\Leftrightarrow$ の鎖は両方向に読める。$\Rightarrow$ の鎖は、始めから終わりへしか通用しない。 それぞれの仮定はどこで開き、どこで閉じるか。 「仮定する」が出てくるたびに、それがどこで終わるかを探す。内側で導入された文字は、外側には存在しない。 何が省かれたか。 「容易にわかる」も、省略記号も、「同様に」も、どれも読み手が埋められるはずの一歩である。 短い証明の完全な読解 命題。 すべての整数 $n$ について、$n^3-n$ は $6$ で割り切れる。 証明。 $n$ を整数とする。このとき $n^3-n=(n-1)\,n\,(n+1)$ で、これは三つの連続する整数の積である。三つの連続する整数のうち、一つは $3$ の倍数であり、少なくとも一つは偶数である。ゆえにこの積は $2$ の倍数かつ $3$ の倍数であり、したがって $6$ の倍数である。$\blacksquare$ 言明はすべての整数について語っている。$n$ は一般化された数である。 **「$n$ を整数とする」**はユークリッドの提示である。整数であること以外、$n$ について何も仮定していない。 $n^3-n=(n-1)n(n+1)$ は恒等式で、鎖 $(n-1)n(n+1)=n(n^2-1)=n^3-n$ によって証明される。ここで等号は、ある書き方をより役に立つ意義をもつ書き方に取り替えている。因数分解した形は三つの連続する数を見せるが、もとの形は見せない。 **「三つの連続する整数のうち、一つは 3 の倍数である」**は、証明なしに持ち出された事実である。その背後には同値がある。$3$ を法とすると、三つの連続する数は引き出し $0$、$1$、$2$ に一つずつ入る。 **「ゆえに……したがって」**は二つの $\Rightarrow$ の段階を示している。二つめは、$2$ と $3$ が公約数をもたないことを使っており、これも省かれた事実である。 $\blacksquare$ が証明を閉じ、読み手を一般的な言明へ戻す。 用語集 等しさ。 同じ対象を指す二つの式のあいだの関係。反射的、対称的、推移的である。 意義と意味。 式の意味とはそれが指す対象であり、意義とはそれが対象を差し出す仕方である。$2^{10}$ と $1024$ は意味が同じで意義が異なる。 方程式。 文字を含み、問いとして読まれる等式。どの値で成り立つか。その解の集合が答えである。 恒等式。 文字のすべての値について成り立つ等式。$\equiv$ で書かれることもある。 定義。 式に名前をつける等式。$:=$ で書かれることもある。 同値関係。 反射的、対称的、推移的な関係。対象を同値類に分ける。 合同。 $m$ が $a-b$ を割り切るとき $a\equiv b\pmod m$。余りの同値関係で、1801 年にガウスが導入した。 含意。 $P\Rightarrow Q$：$P$ が正しいときはいつも $Q$ も正しい。 論理的同値。 $P\Leftrightarrow Q$：$P$ と $Q$ はちょうど同じ場合に正しい。「〜のときかつそのときに限り」と読む。 無縁解。 解く過程の最後に現れるが、もとの方程式を満たさない解。$\Leftrightarrow$ でない $\Rightarrow$ の段階によって入り込む。 計算的証明。 どの輪にも理由がついた等式の鎖。 背理法。 示したいことの否定を仮定して矛盾を導く証明。 数学的帰納法。 基底と帰納の段階の二つの部品で、ある主張がすべての自然数について成り立つことを示す証明。 反例。 一般的な主張が成り立たない一つの場合。一つあれば反駁には十分である。 Q.E.D. と $\blacksquare$。 証明の終わりのしるし。quod erat demonstrandum とハルモスの墓石。 練習：等号の手引きを使う$\displaystyle\cos2x=\cos^2x-\sin^2x$ を読め。これはすべての $x$ について主張している。恒等式である。両辺はどの $x$ についても意味は同じだが、意義が違う。左辺は 2 倍の角について、右辺はもとの角について語っている。方程式として読むと、「どの $x$ で成り立つか」という問いの答えは「すべて」になる。誰かが $\cos2x=1$ と書いたなら、そこには問いがあり、答えは $x=k\pi$（$k$ は整数）である。

October 16, 2026 読んだ
Hero Image
例は証明しない：オイラー、パスカル、帰納法

$n=0,1,2,3,\ldots$ について $n^2+n+41$ を計算してみよう。 $$41,\ 43,\ 47,\ 53,\ 61,\ 71,\ 83,\ 97,\ 113,\ 131,\ \ldots$$すべて素数だ。$n=39$ まで続けても、結果の $1601$ はまだ素数である。四十の場合が続けて、一つの例外もない。1772 年、レオンハルト・オイラーはこの見事な式に注意を向けた。それでもこの式は素数だけを生むわけではない。$n=40$ では、 $$40^2+40+41=1600+40+41=1681=41^2.$$四十の例は何も証明しなかった。一つの反例がすべてを崩した。 例の誘惑 オイラーの多項式は孤立した珍品ではない。1640 年、ピエール・ド・フェルマーは、$2^{2^n}+1$ という形の数が $$3,\quad 5,\quad 17,\quad 257,\quad 65\,537$$となり、すべて素数であることに気づいて、この形の数はすべて素数だろうと予想した。1732 年、オイラーは次の数 $2^{32}+1=4\,294\,967\,297$ が $641\cdot6\,700\,417$ に等しいことを示した。今日にいたるまで、この形の素数はほかに一つも知られていない。 生徒たちも同じ誘惑を感じる。2000 年に発表された研究で、イギリスの研究者ルル・ヒーリーとセリア・ホイルズは、14〜15 歳の生徒約 2500 人に、「二つの偶数の和はいつも偶数である」という主張を支えるいくつかの論証を評価してもらった。多くの生徒は、例を確かめる論証（$2+4=6$、$10+12=22$、……）を好んだ。理解できたからだ。同時に、$2a+2b=2(a+b)$ を使う代数的な論証こそ先生がいちばん高い点をつけるものだと考えていた。彼らにとって、代数的な証明は先生のためにする形式であり、本当に納得させてくれるのは例だった。 省略記号は規則を隠している このページでいちばん危険な記号は、いちばん目立たない記号、省略記号 $\ldots$ である。 $$1+3+5+\cdots+(2n-1)=n^2$$と書くとき、三つの点は、いくつかの項から規則を推測し、それを永遠に延ばすよう読み手に求めている。経済的な記法であると同時に、「パターンは続く」という約束でもある。だがオイラーの多項式は、パターンが続かなくなることがあると示している。 上の式は、最初のいくつかの場合なら簡単に確かめられる。$1=1^2$、$1+3=4=2^2$、$1+3+5=9=3^2$。図がその理由を示唆する。どの奇数も、一つの正方形を次の正方形に変える L 字形の層なのだ。 1 + 3 + 5 + 7 + 9 = 25 = 5²。どの奇数も、正方形の一辺を 1 だけ大きくする L 字形の層である。この本のために作成した説明図。 図には説得力があるが、それでも五つの層をもつ一枚の図にすぎない。「以下同様」を確実なものに変えるにはどうすればよいか。

October 16, 2026 読んだ
Hero Image
証明のことば：とする、仮定する、ゆえに、∎

次の短い証明を読んでほしい。 命題。 二つの偶数の和は偶数である。 証明。 $m$ と $n$ を偶数とする。このとき、$m=2a$、$n=2b$ となる整数 $a$、$b$ が存在する。ゆえに $m+n=2a+2b=2(a+b)$。$a+b$ は整数だから、$m+n$ は偶数である。$\blacksquare$ 計算を取り除くと、ことばの骨組みが残る。とする、このとき〜が存在する、ゆえに、だから、そして最後の小さな黒い四角。どれも計算するという意味での数学ではないが、どれも欠かせない。それぞれの行が何をしているのか――対象を導入する、帰結を引き出す、事実を持ち出す、締めくくる――を読み手に告げるのは、これらのことばなのだ。 ユークリッドの六つの部分 ギリシア人はすでに決まった構造で証明を書いていた。5 世紀の哲学者プロクロスは、『原論』の注釈で、ユークリッドの命題の六つの部分を記述している。 部分（ギリシア語） 役割 上の証明では prótasis、言明 何を証明するかを一般的に述べる 「二つの偶数の和は偶数である」 ékthesis、提示 一つの場合を選び、名前をつける 「$m$ と $n$ を偶数とする」 diorismós、特定 その場合について何を証明したいかを言う （暗黙）「$m+n$ は偶数」 kataskeué、構成 必要なものを付け加える 「$m=2a$、$n=2b$ となる $a$、$b$ が存在する」 apódeixis、論証 帰結をつなげる 「$m+n=2(a+b)$」 sympérasma、結論 一般的な言明に戻る 「$m+n$ は偶数である」 いちばん巧妙なのは提示だ。言明はすべての偶数について語っている。提示はそのうち二つ、$m$ と $n$ を選び、まるで特定の数であるかのように扱う。しかし偶数であること以外に何も仮定していないので、$m$ と $n$ について証明したことはどんな偶数についても成り立つ。「とする」ということばは、一般と特殊をつなぐ橋なのだ。これは第3章の一般化する文字が、証明の中で働きはじめた姿である。 示すべきことであった ユークリッドはどの命題も決まり文句で締めくくった。hóper édei deîxai、「これが示すべきことであった」。命題が作図の場合、たとえば第1章で紹介した正三角形の作図のような場合には、決まり文句は hóper édei poiêsai、「これがなすべきことであった」に変わる。ラテン語の翻訳者たちは二つを quod erat demonstrandum と quod erat faciendum と訳し、Q.E.D. と Q.E.F. と略した。

October 16, 2026 読んだ
Hero Image
等式の鎖：恒等式はどう証明されるか

すべての数 $a$、$b$ について $(a+b)^2=a^2+2ab+b^2$ であることは、どう証明するのか。値を試すことによってではない。どれだけ例を集めても、すべての数を覆うことはできない。証明は鎖を書くことで行う。 $$\begin{aligned} (a+b)^2&=(a+b)(a+b)\\ &=a(a+b)+b(a+b)\\ &=a^2+ab+ba+b^2\\ &=a^2+2ab+b^2. \end{aligned}$$どの等号も隣どうしをつなぎ、どの輪も既知の規則で保証されている。2 乗の定義、分配法則、もう一度分配法則、かけ算の交換法則。第1の文章で紹介したユークリッドの法則、推移律によって、最初の輪は最後の輪に等しい。証明とは、この鎖そのものである。 ラベルつきの鎖 ふつうの書き方では、理由は書き手の頭の中にとどまる。読み手は、なぜそれぞれの等号が成り立つのかを推測しなければならない。1980 年代、オランダの計算機科学者エドガー・ダイクストラと同僚のヴィム・ファイエンは、どの輪も波括弧の中に自分のラベルをもつ書式を提案した。 $$\begin{aligned} &(a+b)^2\\ =\;&\{\text{2 乗の定義}\}\\ &(a+b)(a+b)\\ =\;&\{\text{分配法則}\}\\ &a(a+b)+b(a+b)\\ =\;&\{\text{分配法則}\}\\ &a^2+ab+ba+b^2\\ =\;&\{\text{交換法則：}ba=ab\}\\ &a^2+2ab+b^2 \end{aligned}$$この書式は場所をとるが、そのぶん多くを語る。式の行と理由の行が交互に並び、等号は左の余白に置かれて、本来そうであるとおりの鎖の輪として目に見える。ダイクストラはこの書き方を計算的証明と呼んだ。証明するとは計算することであり、計算するとは、規則を見せながら等しいものを等しいものに置き換えることである。 どちらの辺から始めるか 恒等式を証明するための実用的な規則がある。複雑なほうの辺から始めよ。簡単にするほうが、どう複雑にするかを推測するよりやさしい。 $$\frac1k-\frac1{k+1}=\frac1{k(k+1)}$$を証明するには、二つの分数があってまとめてほしそうな左辺から始める。 $$\begin{aligned} \frac1k-\frac1{k+1}&=\frac{k+1}{k(k+1)}-\frac{k}{k(k+1)}\\ &=\frac{(k+1)-k}{k(k+1)}=\frac1{k(k+1)}. \end{aligned}$$右辺から始めるには、$1=(k+1)-k$ がよい考えだと前もって知っている必要がある。左辺からの証明は、それを途中で発見する。 終わりから出発するという誤り 証明のように見える誤り方がある。ある生徒が $-1=1$ を示したくて、こう書く。 $$-1=1\quad\Longrightarrow\quad(-1)^2=1^2\quad\Longrightarrow\quad1=1.$$「正しいものにたどり着いたから、最初の行は正しい」。そうではない。誤った文から出発した $\Rightarrow$ の鎖が、正しい文にたどり着くことはありうる。前の文章で解を増やす段階と呼んだものだ。示したいことから出発して $1=1$ や $0=0$ にたどり着いても、それが何かを証明するのはすべての段階が $\Leftrightarrow$ のときだけであり、それならむしろ、既知から未知へという正しい順序で鎖を書くほうがよい。 鎖の中で、等号は動詞である よく書かれた証明では、$=$ にははっきりした文法上の役割がある。文の述語である。「$(a+b)^2=(a+b)(a+b)$」は「$a+b$ の 2 乗は $a+b$ とそれ自身との積である」と読む。鎖が伸びて $A=B=C=D$ となっても、文には主語と述語がある。「$A$ は $B$ であり、それは $C$ であり、それは $D$ である」。第2章で扱った $5\cdot3=15+2=17$ のような誤りは、動詞を間違えた文である。生徒は「それから」と言いたいのに「である」と書いている。 練習：ラベルつきの鎖$(a-b)(a+b)=a^2-b^2$ をダイクストラの書式で証明せよ。 $$\begin{aligned} &(a-b)(a+b)\\ =\;&\{\text{分配法則}\}\\ &a(a+b)-b(a+b)\\ =\;&\{\text{分配法則}\}\\ &a^2+ab-ba-b^2\\ =\;&\{\text{交換法則：}ba=ab\text{、そして }ab-ab=0\}\\ &a^2-b^2 \end{aligned}$$

October 16, 2026 読んだ
Hero Image
⇒ と ⇔：方程式を変形するとき、何を得て何を失うか

方程式 $$\sqrt{x+2}=x$$を解いてみよう。ふつうのやり方は、両辺を 2 乗して根号をはずすことだ。 $$\begin{aligned} \sqrt{x+2}=x\quad&\Longrightarrow\quad x+2=x^2\\ &\Longrightarrow\quad (x-2)(x+1)=0\\ &\Longrightarrow\quad x=2\ \text{または}\ x=-1. \end{aligned}$$計算はすべて正しい。答えは正しくない。$x=2$ なら $\sqrt{4}=2$ で、方程式は成り立つ。$x=-1$ なら $\sqrt{1}=1$ で、$-1$ ではない。もとの方程式の解は一つなのに、この方法は二つ見つけた。この侵入者はどこから来たのか。 一行に一つの方程式 方程式を解く人は、数で計算しているのではない。方程式の列を書いているのであり、どの方程式も一つ前から得られる。ある行と次の行をつないでいるのは等号ではなく、命題についての主張、「これが正しければ、あれも正しい」である。論理学にはそのための記号が二つある。 $P\Rightarrow Q$、「$P$ ならば $Q$」：$P$ が正しいときはいつも $Q$ も正しい。しかし $P$ が正しくなくても $Q$ が正しいことはありうる。 $P\Leftrightarrow Q$、「$P$ と $Q$ は同値」：両者はちょうど同じ値について正しい。矢印は両方向に成り立つ。 方程式を解くとき、この違いは決定的だ。どの段階も $\Leftrightarrow$ なら、最後の行の解は最初の行とまったく同じである。ある段階が $\Rightarrow$ だけなら、最後の行には解が余分にあるかもしれない。ある段階が $\Leftarrow$ だけなら、解が足りないかもしれない。 両方向に成り立つ段階 いつでも逆にたどれる段階がある。 段階 なぜ戻れるか 両辺に同じ数を足す 引き戻せばよい 両辺にゼロでない同じ数をかける 割り戻せばよい 式を恒等的に等しい式に置き換える 恒等式は両方向に成り立つ $x\mapsto x^3$ や $x\mapsto e^x$ のような単射の関数を施す どの結果も一つの値からしか来ない そうでない段階もある。 段階 何が起こりうるか 両辺を 2 乗する 解が増える：$a=b$ から $a^2=b^2$ が出るが、$a=-b$ でも $a^2=b^2$ は成り立つ ゼロになりうる式をかける 解が増える：その式の零点 ゼロになりうる式で割る 解が失われる：その式の零点 冒頭の方程式では、2 乗する段階が変装した $\Rightarrow$ だった。方程式 $x+2=x^2$ は「$\sqrt{x+2}$ は $x$ に等しいか、それとも $-x$ に等しいか」という問いであり、$-1$ は後半に答えている。$\sqrt{1}=1=-(-1)$。この侵入者には名前がある。無縁解である。唯一の防ぎ方は、もとの方程式に戻って確かめることだ。

October 16, 2026 読んだ
Hero Image
同値：分数、時計、ガウスの ≡

$\frac12$ と $\frac24$ という書き方は違う。一方には数字 $1$ と $2$、もう一方には $2$ と $4$ がある。二つに切ったピザの一切れを食べるのと、四つに切ったピザの二切れを食べるのは同じことではない。切れ目が一本多い。それでも私たちはためらわずに書く。 $$\frac12=\frac24=\frac36=\frac{50}{100}.$$この等号が主張しているのは、書き方が等しいということでも、ピザが等しいということでもない。関心のあることについては、つまり食べた量については、区別がつかないということだ。 関心のあることについて等しい これが同値関係の仕事である。ある観点から見れば同じものとみなせる異なるものを、ひとまとめにすることだ。分数の場合、基準は $$\frac ab\sim\frac cd\quad\text{となるのは}\quad a\cdot d=b\cdot c\ \text{のとき}.$$$\frac12$ と $\frac24$ では、$1\cdot4=2\cdot2$。$\frac12$ と $\frac35$ では、$1\cdot5\neq2\cdot3$ で、二つの分数は同値ではない。 このような関係が等号に似た記号に値するのは、第1の文章で紹介した三つの法則、つまり反射律・対称律・推移律をもつときだけだ。それをもつとき、同値関係は見事なことをする。世界を類に分けるのだ。類は引き出しのようなもので、どの対象もちょうど一つの引き出しに入る。$\frac12$ と同値な分数はすべて一つの引き出しに、$\frac13$ と同値な分数はすべて別の引き出しに入る。 ここで、19 世紀の数学がはっきりさせた考えが出てくる。有理数とは引き出しのほうであって、分数ではない。$\frac12$、$\frac24$、$\frac36$ は、ただ一つの対象、すなわち類全体の、別々の名前である。これはフレーゲの意義と意味の区別を反対側から見たものだ。対象から出発してその名前を見つけるのではなく、名前から出発し、同値なものどうしを集めて対象を組み立てる。 時計 同値のいちばん身近な例は手首にある。$15$ 時に、短針は $3$ を指している。$13$ 時間後、時計は $3+13=16$ のところに進み、$16$ は $4$ として表示される。短針にとって、$3$、$15$、$27$、$-9$ はみな同じだ。どれも $12$ の倍数だけ違う。 『整数論研究』（1801）の扉。24 歳のカール・フリードリヒ・ガウスは、この本で合同と記号 ≡ を導入した。Carl Friedrich Gauss · Wikimedia Commons · パブリックドメイン 1801 年、カール・フリードリヒ・ガウスは『整数論研究』（Disquisitiones Arithmeticae）の冒頭で、この考えに名前と定義と記号を与えた。二つの数の差が $m$ で割り切れるとき、それらは $m$ を法として合同である。そして彼はこう書いた。

October 16, 2026 読んだ
Hero Image
方程式、恒等式、定義：同じ記号の三つの仕事

同じ文字 $f$ と、三つの文。 $$f(x)=x^2,\qquad f(x)=x\cdot x,\qquad f(x)=4.$$一つめは名前をつける。ここから先、$f$ は 2 乗する関数である。二つめは法則を述べる。どの $x$ についても、$f$ の値は $x$ かける $x$ だ。三つめは問いを立てる。どの $x$ で関数の値が $4$ になるか。答えは $x=2$ または $x=-2$。 三つの記号はまったく同じだ。読み手のすべきことは同じではない。 種類 答える問い それをどう扱うか 例 方程式 どの値で成り立つか 解く $x^2=4$ 恒等式 すべての値で成り立つか 証明する $(x-2)(x+2)=x^2-4$ 定義 この名前は何を意味するか 受け入れる $n!=1\cdot2\cdots n$ 定義には真も偽もない。名づけである。$n!=1\cdot2\cdots n$ を「証明する」のは、誰かの名前がマリアであることを証明するのと同じく意味をなさない。反対に、恒等式は証明しなければならず、方程式は解かなければならない。三つの仕事を取り違える人は、正しいことを間違った相手に対してしている。 知らせようとする記号 何世紀ものあいだに、何人もの数学者がそれぞれの仕事に専用の記号を与えようとした。 恒等式のための $\equiv$。 歴史家フロリアン・カジョリによれば、ベルンハルト・リーマンは 1857 年にはすでに「すべての値について等しい」という意味でこれを使っていた。物理や工学の本には今も現れる。$\sin^2x+\cos^2x\equiv1$。 定義のための $:=$。 コロンは新しい名前の側に置く。$f(x):=x^2$ は「$f(x)$ を $x^2$ と定義する」と読む。この記号はプログラミング言語（そこでは代入を表す）とともに広まり、20 世紀の終わりに数学の本へも入ってきた。 $\overset{\text{def}}{=}$ や $\stackrel{\triangle}{=}$。 等号の上に「定義」という語をのせた変種。より明示的だが、あまり使われない。 どれも決定的には勝たなかった。たいていの本は今もすべてに $=$ を書き、文脈に頼っている。「とする」「定義する」「すべての〜について」「解け」といったことばが、記号のしない仕事をしている。統語論が言わないことを、モリスの意味での語用論にまかせる記法の典型的な例である（第2章を参照）。 「新入生の夢」を方程式として読む 代数で最も有名な誤りの一つは、 $$(a+b)^2=a^2+b^2$$と書くことだ。英語ではあだ名まであり、freshman’s dream、「新入生の夢」と呼ばれる。恒等式としては、この文は誤りだ。$a=b=1$ とすると、左辺は $4$、右辺は $2$ になる。だが、これを方程式として、つまり $a$ と $b$ についての問いとして読むと何が起きるか見てみよう。

October 16, 2026 読んだ
Hero Image
フレーゲと明けの明星：a = b は何を言うのか

二つの文を比べてみよう。 $$1024=1024\qquad\text{と}\qquad 2^{10}=1024.$$どちらも正しく、どちらもある数がその数自身に等しいと言っている。$2^{10}$ は $1024$ である。それでも、最初の文から何かを学ぶ人はいないが、二つめの文は十回のかけ算を要する小さな発見だ。もし等号が「この二つは同じものだ」と言うだけなら、二つの文はまったく同じことを言っていることになる。では、二つめの文にあって一つめの文にないものは何だろうか。 宵の明星と明けの明星 ゴットロープ・フレーゲ（1848–1925）。イェーナ大学の数学教授で、等号を哲学の問題に変えた。Emil Tesch, 1905 年ごろ · Wikimedia Commons · パブリックドメイン この問いに悩んだのが、ドイツの数学者ゴットロープ・フレーゲである。彼は 1892 年、短い論文「意義と意味について」でこれに答えた。例は天文学からとられている。古代ギリシア人は、夕暮れに西の空に現れる明るい星をヘスペロス（宵の明星）、夜明け前に東の空に現れる星をフォスフォロス（明けの明星）と呼んだ。二つが同じ天体、つまり金星だとわかったのは一つの成果だった。「ヘスペロスはヘスペロスである」は何も教えない。「ヘスペロスはフォスフォロスである」は教える。 フレーゲの解決は、名前が運んでいる二つのものを分けることだった。 意味（Bedeutung）：名前が指している対象。ここでは金星。 意義（Sinn）：名前がその対象を差し出す仕方。「夕暮れに輝く天体」や「夜明けに輝く天体」。 等式 $a=b$ は、$a$ と $b$ の意味が同じときに正しい。そして意義が異なるとき、つまり別々の道を通って同じ対象にたどり着くときに、その等式は情報をもつ。 数における意義と意味 数学は、同じ数の別々の名前であふれている。 $$4,\qquad 2+2,\qquad 2^2,\qquad \sqrt{16},\qquad \tfrac{8}{2},$$それに「ただ一つの偶数の素数を、それ自身に足したもの」。どれも意味は同じだ。しかし、それぞれが自分なりの仕方でその数を差し出し、それぞれの仕方が一つの物語を語る。$2+2$ は合わせ方を、$2^2$ はかけ方を、$\sqrt{16}$ はどの正方形の辺かを語る。これが第2章で記号表現と対象の違いと呼んだものである。記号はもの自体ではなく、同じものが多くの記号をもつ。 ここから、計算を書く人にとって大事な帰結が出てくる。計算するとは、ある書き方を、意味が同じで意義がより役に立つ別の書き方に取り替えることだ。 $$\frac{x^2-9}{x-3}=\frac{(x-3)(x+3)}{x-3}=x+3\qquad(x\neq3)$$では、三つの式が同じ値を指しているが、三つめがいちばん使いやすい。この本の意味で記法が能動的であるとは、その意義がすでに別の書き方への道を示していることだ。$2^{10}$ は $2^{10}=2^5\cdot2^5=32\cdot32$ であることを示すが、$1024$ は何も示さない。 ライプニッツの法則 二つの書き方が同じ対象を指すなら、どんな文の中でも一方を他方に置き換えて、その真偽が変わらないはずだ。ゴットフリート・ライプニッツはこの考えをラテン語の文にまとめ、フレーゲはそれに賛同して引用している。 真理を損なうことなく（salva veritate）互いに置き換えることのできるものは、同じものである。 — ライプニッツ、フレーゲ『算術の基礎』（1884）§65 による引用 これは代数で四六時中使われているのに、名前で呼ばれることのない規則だ。$x=3$ なら、$x^2+x=3^2+3=12$。$y=2x$ なら、$x+y=x+2x=3x$。等しいものを等しいものに置き換えることは、あらゆる計算のエンジンである。 しかしフレーゲは、この規則が特別な種類の文では通用しないことに気づいた。次の文を考えよう。 その生徒は $2^{10}=2^{10}$ であることを知っている。 これはどんな生徒についても正しい。では二つめの $2^{10}$ を、同じ数である $1024$ に置き換えてみる。 その生徒は $2^{10}=1024$ であることを知っている。 これは誤りかもしれない。文が、誰かが何を知っているか、信じているか、書いたかについて語るとき、大事なのは意味だけでなく意義である。論理学者はこうした場所を不透明な文脈と呼ぶ。計算の中では、等号は自由な置き換えを許す。計算について何が知られているかを語る文の中では、許さない。 ヴィトゲンシュタインと余分な等号 フレーゲは 1879 年、同一性のための特別な記号 $\equiv$ を使い、「内容の同一性」と読んでいた。二つの名前のあいだの関係である。1892 年に考えを改め、対象のあいだの関係として扱うようになった。イェーナにフレーゲを訪ね、その勧めでラッセルのもとで学ぶことになったオーストリアのルートヴィヒ・ヴィトゲンシュタインは、『論理哲学論考』（1921）でさらに先へ進んだ。二つのものが同一であると言うのはナンセンスであり、一つのものがそれ自身と同一であると言うのは何も言っていない。完全な記法では等しい対象は同じ記号をもつはずで、$=$ は不要になる、と彼は提案した。数学はこの助言に従わなかった。等号が生き残っているのは、まさに同じ対象が別々の名前を必要とするからである。

October 16, 2026 読んだ
Hero Image
一つの記号、たくさんの「等しい」

ロバート・レコードは 1557 年に $=$ を発明した。理由は簡単で、同じ長さの二本の平行線ほど等しいものはない、というものだった（この話は第1章の演算記号の文章で述べた）。この記号はあまりにうまく広まったので、今ではレコードが想像もしなかった仕事をしている。次の式を見てほしい。 $$3+4=7,\qquad 2x+1=7,\qquad (a+b)^2=a^2+2ab+b^2,$$$$f(x)=x^2,\qquad \tfrac12=\tfrac24.$$記号はどれも同じだ。言っていることは同じではない。 $3+4=7$ では、等号は結果を記録する。電卓が教える読み方である。 $2x+1=7$ では、等号は問いを立てる。どの数ならこれが正しくなるか。方程式である。 $(a+b)^2=a^2+2ab+b^2$ では、等号は法則を述べる。すべての数について成り立つ。恒等式である。 $f(x)=x^2$ では、等号は名前をつける。ここから先、$f(x)$ は $x^2$ を意味する。定義である。 $\frac12=\frac24$ では、等号は二つの異なる書き方が同じ数を指していると言う。 この章のあとの文章で、これらの仕事を一つずつ扱う。その前に、これらに共通するものは何かを問うておこう。 等号の三つの法則 紀元前 300 年ごろ、ユークリッドは『原論』の冒頭にいくつかの「公理（共通概念）」を置いた。証明するまでもないほど明らかだと彼が考えた真理である。その第一はこうだ。 同じものに等しいものどうしは、互いに等しい。 — ユークリッド『原論』第1巻、公理1 今日この文は推移律と呼ばれる。$A=B$ かつ $B=C$ ならば $A=C$。ほかの二つと合わせて、どんな等しさにも当てはまる肖像ができる。 性質 記号で ことばで 反射律 $A=A$ どんなものも自分自身に等しい 対称律 $A=B$ ならば $B=A$ 天秤にはひいきの側がない 推移律 $A=B$ かつ $B=C$ ならば $A=C$ 同じものに等しいものどうしは互いに等しい 計算を $A=B=C=D$ のようにつなげ、最初の項が最後の項に等しいと言えるのは、この三つの法則のおかげだ。学校の代数はすべてこれに頼っているのに、声に出して言われることはほとんどない。 等号の親戚たち 等号の仕事のどれかが十分に重要になると、数学はそれに専用の記号を与えた。その結果、似た記号の一家ができあがった。それぞれに読み方がある。 記号 読み方 例 対称律は成り立つか $=$ 等しい $3+4=7$ はい $\equiv$ 恒等的に等しい；合同である $\sin^2x+\cos^2x\equiv1$；$17\equiv2\pmod5$ はい $:=$ と定義する $f(x):=x^2$ いいえ：新しい名前はいつも左側 $\approx$ ほぼ等しい $\pi\approx3.14$ はい $\cong$ 合同である（図形） $\triangle ABC\cong\triangle DEF$ はい $\sim$ 相似である $\triangle ABC\sim\triangle DEF$ はい $\Leftrightarrow$ 同値である（命題） $2x=6\Leftrightarrow x=3$ はい 最後の列に注目しよう。$:=$ は対称ではない。$x^2=:f(x)$ と書くこともできるが、そのときは記号の形が変わり、新しい名前がいつもコロンの隣にくる。そしていかにも無害に見える $\approx$ には、最初の練習問題が示す罠がある。推移律が成り立たないのだ。

October 16, 2026 読んだ
Hero Image
参考文献と図版出典

さらに読むために Usiskin, Zalman. Conceptions of school algebra and uses of variables. In: Coxford, A. F.; Shulte, A. P. (eds.). The Ideas of Algebra, K–12. Reston: NCTM, 1988, pp. 8–19. Küchemann, Dietmar. Algebra. In: Hart, K. M. (ed.). Children’s Understanding of Mathematics: 11–16. London: John Murray, 1981, pp. 102–119. Clement, John; Lochhead, Jack; Monk, George S. Translation difficulties in learning mathematics. The American Mathematical Monthly, 88(4), 1981, pp. 286–290. MacGregor, Mollie; Stacey, Kaye. Students’ understanding of algebraic notation: 11–15. Educational Studies in Mathematics, 33, 1997, pp. 1–19. Philipp, Randolph A. The many uses of algebraic variables. The Mathematics Teacher, 85(7), 1992, pp. 557–561. Kieran, Carolyn. The learning and teaching of school algebra. In: Grouws, D. A. (ed.). Handbook of Research on Mathematics Teaching and Learning. New York: Macmillan, 1992, pp. 390–419. Kleiner, Israel. Evolution of the function concept: a brief survey. The College Mathematics Journal, 20(4), 1989, pp. 282–300. Cajori, Florian. A History of Mathematical Notations. 2 vols. Chicago: Open Court, 1928–1929. コス記号、ヴィエトとデカルトの文字、$f(x)$、ハーシェルの $\sin^{-1}$ について。 Heath, Thomas L. Diophantus of Alexandria: A Study in the History of Greek Algebra. Cambridge: Cambridge University Press, 1910. Viète, François. In artem analyticem isagoge. Tours: Jamet Mettayer, 1591. l’Hôpital, Guillaume de. Analyse des infiniment petits, pour l’intelligence des lignes courbes. Paris: Imprimerie Royale, 1696. 関数を穴のあいた文とみる考えは、このサイトの関数についての古い記事から得たもので、第 1 章で使い、ここでもふたたび取り上げました。

October 15, 2026 読んだ
Hero Image
文字の読み方：手引きと用語集

この章では、一つの文字が少なくとも五つの違う仕事をすることができ、書かれたものはそれがどれかをほとんど言わないことを見てきました。以下の手引きは、それを見つけ出すのに役立つ問いをまとめたものです。 文字についての五つの問い 値を隠しているのか、どんな値でも表すのか。 隠しているなら未知数で、課題はそれを見つけることです。どんな値でも表すなら、その文は一般的な法則か恒等式です。 問題のあいだに動くか。 動くなら変数で、それが何に依存し、何がそれに依存するかを問う価値があります。 ほかの文字が動くあいだ止まっているか。 それならパラメータか定数です。$\pi$ のようにいつまでも固定なのか、$ax^2$ の $a$ のようにこの問題でだけ固定なのかを問う価値があります。 演算子に縛られているか。 $\Sigma$、$\int$、$\forall$、$\mapsto$ の中に現れるなら束縛された文字で、別の文字に替えても何も変わりません。 文中のどの言葉が役割を告げているか。 「求めよ」「すべての」「とする」「とき」「が与えられたとき」。どれも現れないなら、その分野の慣習が決めます。それをはっきりさせておくとよいでしょう。 y = ax² + bx + c の完全な読み方 $y$ と $x$： 変数。$x$ が独立変数、$y$ が従属変数です。いっしょに放物線上の点をたどります。 $a$、$b$、$c$： パラメータ。問題のあいだ固定され、どの放物線かを選びます。$a$ はゼロであってはならず、そうでないと曲線は直線になってしまいます。 問いが変われば役割も変わる。 「放物線は $x$ 軸とどこで交わるか」では $y=0$ とおき、$x$ が未知数になります。「$(1,2)$、$(2,3)$、$(3,6)$ を通る放物線はどれか」では、パラメータが未知数になり、$x$ と $y$ は与えられたデータになります。$a+b+c=2$、$4a+2b+c=3$、$9a+3b+c=6$ から、$a=1$、$b=-2$、$c=3$。 ダミーの文字は一つもない。 どれも大事です。$a$ を $k$ に替えるなら、文章全体で替えなければなりません。 短い一行に三つの違う役割があり、問いが変わるたびにすべてが組み替えられるのです。 用語集 未知数。 問題の条件によって決まる、まだ知られていない一つの値を表す文字。$2x+1=7$ では $x=3$。 一般化された数。 ある集合の任意の要素を表す文字で、その文はすべての要素について成り立つ。$a+b=b+a$ のように。 恒等式。 文字のすべての値について正しい等式。$(a+b)^2=a^2+2ab+b^2$ など。解くのではなく、証明するもの。 変数。 ある集合の値をたどる文字。ふつうは、それが依存する、あるいはそれに依存するほかの文字といっしょに変わる。 独立変数と従属変数。 $y=f(x)$ では、$x$ は自由に選ばれ、$y$ は規則によって決まる。問いによってこの選択が逆になることもある。 パラメータ。 一つの問題のあいだは固定されているが、問題ごとに違う値をとりうる文字。族の中から一つの成員を選ぶ。 定数。 値がいつも同じ文字。$\pi$、$e$、光の速さ $c$ など。 自由な文字。 式の値がそれに依存する文字。$\sum_{k=1}^n k$ では $n$。 束縛された（ダミーの）文字。 演算子に縛られ、意味を変えずに別の文字に替えられる文字。$\sum_{k=1}^n k$ では $k$。 関数。 ある集合（定義域）の各要素に、別の集合のただ一つの要素を対応させる規則。$f$ が関数で、$f(x)$ は $x$ における値。 変数の捕獲。 同じ式の中で、同じ文字を自由な文字としても束縛された文字としても使ってしまう誤り。$\int_0^x x\,dx$ のように。 練習：手引きを使ってみる$\displaystyle V(r)=\frac43\pi r^3$ を読みなさい。$V$ は関数の名前で、$V(r)$ はその値。$r$ は独立変数で、半径。$\pi$ は定数。$\frac43$ は数。束縛された文字はありません。「体積が $36\pi$ になる半径は？」と問われれば、$r$ は未知数になります。$\frac43r^3=36$、$r^3=27$、$r=3$。

October 15, 2026 読んだ