# Q.E.D.

Q.E.D. is an initialism of the Latin phrase quod erat demonstrandum, originating from the Greek analogous hóper édei deîxai (ὅπερ ἔδει δεῖξαι), meaning "which had to be demonstrated". The phrase is traditionally placed in its abbreviated form at the end of a mathematical proof or philosophical argument when what was specified in the enunciation — and in the setting-out—has been exactly restated as the conclusion of the demonstration.[1] The abbreviation thus signals the completion of the proof. An example of Q.E.D. signifying the successful completion of a geometry proof is available in Chapter 2 of the Wikibooks Geometry text.

## Etymology and early use

The phrase quod erat demonstrandum is a translation into Latin from the Greek ὅπερ ἔδει δεῖξαι (hoper edei deixai; abbreviated as ΟΕΔ). Translating from the Latin into English yields, "what was to be demonstrated"; however, translating the Greek phrase ὅπερ ἔδει δεῖξαι produces a slightly different meaning. Since the verb "δείκνυμι" also means to show or to prove,[2] a better translation from the Greek would read, "The very thing it was required to have shown."[1] The phrase was used by many early Greek mathematicians, including Euclid[3] and Archimedes.

## Modern philosophy

Philippe van Lansberge's 1604 Triangulorum Geometriæ used quod erat demonstrandum to conclude some proofs; others ended with phrases such as sigillatim deinceps demonstrabitur, magnitudo demonstranda est, and other variants.[4]

In the European Renaissance, scholars often wrote in Latin, and phrases such as Q.E.D. were often used to conclude proofs.

Spinoza's original text of Ethics, Part 1. Q.E.D. is used at the end of DEMONSTRATIO of PROPOSITIO III. in the right page.

Perhaps the most famous use of Q.E.D. in a philosophical argument is found in the Ethics of Baruch Spinoza, published posthumously in 1677. Written in Latin, it is considered by many to be Spinoza's magnum opus. The style and system of the book is, as Spinoza says, "demonstrated in geometrical order", with axioms and definitions followed by propositions. For Spinoza, this is a considerable improvement over René Descartes's writing style in the Meditations, which follows the form of a diary.[5]

## QEF

There is another Latin phrase with a slightly different meaning, and less common in usage. Quod erat faciendum, originating from the Greek geometers' closing ὅπερ ἔδει ποιῆσαι (hoper edei poiēsai), meaning "which had to be done". Euclid used this phrase to close propositions which were not proofs of theorems, but constructions. For example, Euclid's first proposition shows how to construct an equilateral triangle given one side. It is usually shortened to QEF.

## Equivalents in other languages

Q.E.D. has acquired many translations in various languages, including:

LanguageAbbreviationsStands for...
Arabicهـ.ط.ثوهو المطلوب إثباته
ArmenianԻ.Պ.Ա.(rarely used as an abbreviation)ինչը և պահանջվում էր ապացուցել
Bengaliঅ. সি.অতঃ সিদ্ধ
BosnianŠ.T.D.što je trebalo dokazati
BulgarianКТДДКоето трябваше да докажем/Което трябваше да се докаже
Chinese证毕/證畢/证讫/證訖证明完毕/證明完畢 (证讫/證訖 are the full form)
CroatianŠ.T.D.što je trebalo dokazati
CzechC.B.D.což bylo dokázati/což se mělo dokázat
Dutchw.m.b.w.
w.t.b.w
wat moest bewezen worden
wat te bewijzen was
FinnishM.O.T.mikä oli todistettava
FrenchC.Q.F.D.ce qu'il fallait démontrer
CatalanC.V.D.com volíem demostrar
Georgianრ.დ.გრისი დამტკიცებაც გვსურდა
Germanw. z. b. w.was zu beweisen war
GreekΟ.Ε.Δ.όπερ έδει δείξαι
Hebrew.מ.ש.למה שצריך להוכיח
HungarianE.K.B. (rarely used as an abbreviation)Ezt kellett bizonyítani
IcelandicÞ.S.S.Á.Það sem sanna átti
ItalianC.V.D.come volevasi dimostrare
JapaneseQ.E.D.かく示された。
これが証明すべきことだった。
NorwegianQ.E.D.hvilket skulle demonstreres
hvilket skulle bevises
PersianQ.E.Dاثبات شد آنچه باید
Polishc.b.d.u.co było do udowodnienia
PortugueseC.Q.D.como queríamos demonstrar
Romanianc.c.t.d.ceea ce trebuia demonstrat
Russianч.т.д.что и требовалось доказать
Sanskritइ.सि.इति सिद्धम्
Serbianш.т.д.што је и требало да се докаже
Slovakč.b.t.d.čo bolo treba dokázať
Sloveniank.e.d.konec enega dokaza
SpanishQ.E.D.lo que se quería demostrar
SwedishV.S.B.
V.S.V
vilket skulle bevisas
vilket skulle visas
Tamilநி.வே.நிரூபிக்கப்படவேண்டியது
Thaiซ.ต.พ.ซึ่งต้องพิสูจน์
Ukrainianщ.с.б.д.
щ.т.д.
що й слід було довести
що і треба було довести
Vietnameseđpcm.Điều phải chứng minh

There is no common formal English equivalent, though the end of a proof may be announced with a simple statement such as "this completes the proof", "as required", "hence proved", "ergo", or a similar locution. WWWWW or W5 - an abbreviation of "Which Was What Was Wanted" - has also been used. This is often considered to be more tongue-in-cheek than the usual Halmos symbol (see below) or Q.E.D.

## Electronic forms

When typesetting was done by a compositor with letterpress printing, complex typography such as mathematics and foreign languages were called "penalty copy" (the author paid a "penalty" to have them typeset, as it was harder than plain text).[6] With the advent of systems such as LaTeX, mathematicians found their options more open, so there are several symbolic alternatives in use, either in the input, the output, or both. When creating TeX, Knuth provided the symbol (solid black square), also called by mathematicians tombstone or Halmos symbol (after Paul Halmos, who pioneered its use as an equivalent of Q.E.D.). The tombstone is sometimes open: (hollow black square). Unicode explicitly provides the "End of proof" character U+220E (), but also offers (U+25AE, black vertical rectangle) and (U+2023, triangular bullet) as alternatives. Some authors have adopted variants of this notation with other symbols, such as two forward slashes (//), or simply some vertical white space, implying no further statements need to be made in the proof.[citation needed]

## Modern humorous usage

Q.E.D. is sometimes jokingly claimed to abbreviate "quite easily done", or "Quit. Enough done."

In Joseph Heller's book Catch-22, the Chaplain, having been told to examine a forged letter allegedly signed by him (which he knew he didn't sign), verified that his name was in fact there. His investigator replied, "Then you wrote it. Q.E.D." The chaplain said he didn't write it and that it wasn't his handwriting, but the investigator's faulty logic caused him to point out, "Then you signed your name in somebody else's handwriting again."[7]

Thomas Dolby, in his 1988 song "Airhead", imagines a conversation with the titular young woman and says "quod erat demonstrandum, baby", to which she squeals the eager reply "ohhh, you speak French!"

In chapter six of The Hitchhiker's Guide to the Galaxy, by Douglas Adams, Q.E.D. is included in the following exchange:

The argument goes something like this: "I refuse to prove that I exist," says God, "for proof denies faith, and without faith I am nothing."
"But," says Man, "the Babel fish is a dead giveaway, isn't it? It could not have evolved by chance. It proves you exist, and so therefore, by your own arguments, you don't. QED."
"Oh dear," says God, "I hadn't thought of that," and promptly vanishes in a puff of logic.

Another potential English transliteration is in the movie Ice Princess. Michelle Trachtenberg's lead character Casey is a physics nerd who writes a paper on the physics of figure skating concluding she has shown passion for the topic, "QED," to which her best friend replies, "What has been Quite Easily Demonstrated?"

In the mid eighties, BBC ran a series called Q.E.D. which showed how certain things were made or put together.

Dannay and Lee, authors of the famous Ellery Queen mystery novels, often had their protagonist refer to his solving of the murder case as "Queen's Elementary Deduction".

In Justice League: Crisis on Two Earths, the supervillain Owlman names the bomb that he intends to use to destroy the multiverse the "Quantum Eigenstate Device," which he abbreviates as "Q.E.D."

In the 1987 movie No Way Out, Will Patton's character Scott Pritchard, proved that Kevin Costner's character, Lt. Cmdr. Tom Farrell, was a double agent named 'Yuri', afterwards he said "quod erat demonstrandum".