《 Q.E.D. はラテン語の Quod Erat Demonstrandum（かく示された/これが示されるべき事であった）が略されてできた頭字語。》

コミックネタで有名なのでしょうがユークリッド、スピノザが使っているので普遍的なのであって古くなりようがない…

Q.E.D. - Wikipedia

https://ja.wikipedia.org/wiki/Q.E.D.

Q.E.D.

数学、哲学などにおける Q.E.D. はラテン語の Quod Erat Demonstrandum（かく示された/これが示されるべき事であった）が略されてできた頭字語。証明や論証の末尾におかれ、議論が終わったことを示す。現代の数学においても Q.E.D. は一般的に使用されている^[1]。（#電子的な記号を参照。）

使用法

使い方を間違えている記述が多く見られる。例えば等式 P = Q を示す際に、P = …… = R と Q = …… = R を示して結論する場合、この2式の後に Q.E.D. と書くのは誤った使い方である。実際には2式の後に「よって P = Q である」などと書き、その後に Q.E.D. と書かなければならない。

この誤りは Q.E.D. の意味を「証明終了」と誤解しているために生じる。Q.E.D の意味は「これが示したいことであった」、「これが求めるものであった」の意味であり、直前にその証明で示すことが目標となっていた数式などが書かれていないとおかしな表現になってしまう。

歴史

この quod erat demonstrandum という言い回しはギリシャ語のὅπερ ἔδει δεῖξαι. (hoper edei deixai) が中世の幾何学者によってラテン語に訳されてできたものである^[2]。このギリシャ語の言い回しはユークリッドやアルキメデスによって用いられていた。特にユークリッドは論理的な演繹によって数学を構成することに重きを置いたので、Q.E.D. という言葉の使用のうちにこのような方法論を推進する意図を認めることができる。

ルネサンス期のヨーロッパの数学書は普通ラテン語で書かれていたため、"quod erat demonstrandum" のような言い回しが証明の最後にしばしば用いられた。哲学の議論における Q.E.D. の代表的な使用例としてバールーフ・デ・スピノザの代表作『エチカ』（1677、ラテン語） が挙げられる。スピノザ自身がこの本のスタイルを称して「幾何学的な秩序によっている」と宣言したように、（彼の推論が演繹的として適切かはともかくとして）定義、公理ののちに命題が述べられ、 Q.E.D. で終わる証明が続くというスタイルで記述されている。これは日記の形式で書かれていたルネ・デカルトによる『省察』と比べて、スピノザにとって大きな進展だった^[3]。

類似の略語

使用頻度の落ちる少し異なった意味を持つラテン語の言い回しとして、「これがなすべきことだった」という意味の "Quod erat faciendum" がある。これは普通 Q.E.F. と略される。Q.E.F. はギリシャの数学者によって用いられた ὅπερ ἔδει ποιῆσαι (hoper edei poiēsai) から来ている。ユークリッドはこの言葉を例示的な構成などの結語として用いていた。Q.E.D. と Q.E.F. の違いは完全な証明と証明の概略の違いに相当する。 Q.E.D. は様々な言語に訳されている。特に、西欧の数学における主要言語であったフランス語やドイツ語ではそれぞれ C.Q.F.D. ("ce qu'il fallait démontrer") および w. z. b. w. ("was zu beweisen war") となっている。英語や日本語における定訳は存在しないが、多くの場合証明の最後は "this completes the proof" 、「これで証明が完成する」などの簡潔な文が添えられることが多い。

電子的な記号

LaTeX などのソフトウェアを用いてコンピュータによる組版で数学の証明が書かれるようになってから何種類かの記号が Q.E.D. の代わりに用いられるようになった。代表的なものは墓石（tombstone）あるいはハルモス記号（この用法を提案したポール・ハルモスにちなむ^[4]）とも呼ばれる黒い四角   であるが、白い四角   が推奨されることもある^[5]。Unicode は「証明終わり」の記号を明示的に U+220E (end of proof ∎) に割り当てているが、 U+25AE (black vertical rectangle ▮) や U+2023 (triangular bullet ‣) も代替として割り当てている。※しかし、これらの表記は普及し始めてから80年にも満たない。Ｑ.Ｅ.Ｄ.を使用することが歴史的にも世界的にも適切である。

脚注

1.  Abedein, Andrew; Dove, Ian J. (2013). The argument of mathematics. Springer. ISBN 978-94-007-6533-7. "Traditionally, this was effected by repeating the theorem, letting it be followed by ‘QED’, but at some point this went out of fashion."
2.  Miller, Jeff. “Earliest Known Uses of Some of the Words of Mathematics (Q)”. 2016年2月18日閲覧。
3.  The Chief Works of Benedict De Spinoza, translated by R. H. M. Elwes, 1951. ISBN 0-486-20250-X.
4.  Halmos, Paul (1985). I want to be a mathematician: An automathography. Springer. ISBN 978-0-387-96470-6. "The symbol is definitely not my invention — it appeared in popular magazines (not mathematical ones) before I adopted it, but, once again, I seem to have introduced it into mathematics. It is the symbol that sometimes looks like ▯, and is used to indicate an end, usually the end of a proof. It is most frequently called the “tombstone”, but at least one generous author referred to it as the “halmos”."
5.  Society for Industrial and Applied Mathematics (2013) (PDF). SIAM style manual. p. 52. ISBN 978-1-611973-39-6

参考文献

• スピノザ『エチカ―倫理学』上・下、畠中 尚志訳、岩波書店〈岩波文庫〉、東京、1975年。