Q.E.D.
 |
数学、哲学などにおける Q.E.D. はラテン語の Quod Erat Demonstrandum（かく示された/これが示されるべき事であった）が略されてできた頭字語。証明や論証の末尾におかれ、議論が終わったことを示す。現代の数学においても Q.E.D. は一般的に使用されている[1]。（#電子的な記号を参照。）
歴史
[編集]
この 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 ‣) も代替として割り当てている。
脚注
[編集]- ^ 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."
- ^ Miller, Jeff. “Earliest Known Uses of Some of the Words of Mathematics (Q)”. 2016年2月18日閲覧。
- ^ The Chief Works of Benedict De Spinoza, translated by R. H. M. Elwes, 1951. ISBN 0-486-20250-X.
- ^ 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”."
- ^ Society for Industrial and Applied Mathematics (2013) (PDF). SIAM style manual. p. 52. ISBN 978-1-611973-39-6