Q.E.D.


{{About|Latin phrase Q.E.D. as used in proofs||QED (disambiguation)}}{{Refimprove|date=February 2009}}Q.E.D. is an acronym of the Latin phrase , which means "that which was to be demonstrated". The phrase is traditionally placed in its abbreviated form at the end of a mathematical proof or philosophical argument when that which 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. However, many people who do not know the Latin translation of Q.E.D. use it to mean "Quite Easily Done", using it in a similar context.

Etymology and early use

The phrase quod erat demonstradum is a translation into Latin from the Greek {{Polytonic|ὅπερ ἔδει δεῖξαι}} (; abbreviated as ΟΕΔ). Translating from the Latin into English yields that which was to have been demonstrated; however, translating the Greek phrase {{Polytonic|ὅπερ ἔδει δεῖξαι}} produces a slightly different meaning. A better translation from the Greek would read, "precisely what was required to be proved."(2) The phrase was used by many early Greek mathematicians, including Euclid(3) and Archimedes. These mathematicians, in particular Euclid, are credited with founding axiomatic mathematics with its emphasis on establishing truths by logical deduction (rather than experimentation or assertion); their use of this phrase symbolizes this emphasis, as well as marking this important step in the development of mathematical philosophy.

Modern philosophy

In the European Renaissance, scholars often wrote in Latin, and phrases such as Q.E.D. were often used to conclude proofs.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)

Q.E.F.

There is another Latin phrase with a slightly different meaning, and less common in usage. is translated as "which was to have been done". This is usually shortened to Q.E.F. The expression is a translation of the Greek geometers' closing {{Polytonic|ὅπερ ἔδει ποιῆσαι}} ({{transl|grc|hoper edei poiēsai}}). 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.

Equivalents in other languages

Q.E.D. has acquired many translations in various foreign languages, including French, German, Italian and Russian (which are, together with English, the main languages of modern Western mathematics){{Citation needed|date=March 2010}}.{| class="wikitable"! Language! Abbreviations! Translations

French language>French| C.Q.F.D.

German language>German| W.Z.B.W.

Italian language>Italian| C.V.D.

Russian language>Russian| ч.т.д.

Czech language>Czech| C.B.D.

Greek language>Modern Greek

Hebrew language>Hebrew

C.B.D.U.

Polish language>Polish| C.B.D.O.

Portuguese language>Portuguese| C.Q.D.

Turkish language>Turkish| Q.E.D.

Spanish language>Spanish| Q.E.D.

Swedish language>Swedish| VSB

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" or a similar locution. Most modern math textbooks in English end proofs with a symbol, often a square. (See below.)

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 {{Unicode|■}} (solid black square), also called by mathematicians tombstone or Halmos symbol (after Paul Halmos, who pioneered its use). The tombstone is sometimes open: {{Unicode|□}} (hollow black square). Unicode explicitly provides the "End of Proof" character U+220E ({{Unicode|∎}}), but also offers {{Unicode|▮}} (U+25AE, black vertical rectangle) and {{Unicode|‣}} (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.

In popular culture

{{Trivia|date=February 2010}}The BBC had a long-running (1982-1999) science documentary series called Q.E.D.(7)A short-lived adventure series called Q.E.D. ran in the United States in 1982, for six episodes.The Hitchhiker's Guide to the Galaxy, by Douglas Adams, contains a famous instance of QED in the aside on the Babel fish: "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. It proves you exist, and so therefore you don't. QED." "Oh dear," says God, "I hadn't thought of that" and promptly vanishes in a puff of logic."Two prominent PBS stations, KQED in San Francisco and WQED in Pittsburgh use the abbreviation as part of their call signs.(8)(9)QED is the name of a motion picture production company who was most recently involved in the 2009 film District 9(10)Q.E.D is the title of Trance music producer, Dave Horne's new single on the Anjunadeep 02 CD, released February 15, 2010.

References

1. Euclid's Elements translated from Greek by Thomas L. Heath. 2003 Green Lion Press pg. xxiv



2. Euclid's Elements translated from Greek by Thomas L. Heath. 2003 Green Lion Press pg. xxiv



3. Elements 2.5 by Euclid (ed. J. L. Heiberg), retrieved 16 July 2005






5. The Chief Works of Benedict De Spinoza, translated by R. H. M. Elwes, 1951. ISBN 0-486-20250-X.



6. Donald E. Knuth, "Mathematical Typography", lecture to the ACM, 1975



7. BBC ditches QED branding, Broadcast, 24 September 1999.



8. weblink



9. weblink



10. weblink

External links

{{Wiktionary|quod erat demonstrandum}}

• Earliest Known Uses of Some of the Words of Mathematics (Q)
• Robin Hartshorne note on QED

وهو المطلوب إثباتهQ.E.D.Q.E.D.Quod erat demonstrandumQuod erat demonstrandumM.O.T.T.Quod erat demonstrandumQ.E.D.Quod erat demonstrandumCQFD (abréviation)QEDQ.E.D.Q.E.D.Það sem sanna áttiCome volevasi dimostrareQEDQ.E.D.Quod erat demonstrandumQuod erat demonstrandumQ.E.D.Q.E.D.Q.e.d.Quod erat demonstrandumQuod erat demonstrandumQ.E.D.Q.E.D.Q.E.D.Q.E.D.M.O.T.Quod erat demonstrandumซ.ต.พ.QEDQ.E.D.Q.E.D.

home | about | policy | newsfeed