The Little Square At The End Of A Proof
When you finish writing a proof, you typically end it with a symbol. Most people write QED, some draw a filled square, and a few write nothing at all. The tradition comes from Latin. Quod Erat Demonstrandum translates to "that which was to be demonstrated." It is a signal that the logical argument is complete. You proved what you set out to prove. The habit started with Fermat and got formalized by mathematicians in the Renaissance. Euclid did not use it. He just stopped writing when the argument ran its course. The abbreviation became common in printed textbooks during the 1800s, and the little square symbol gained traction in the late 20th century. Tom M. Apostole is often credited with popularizing the square in his calculus texts, though he borrowed it from earlier handwritten notes he had seen from colleagues.
The Hidden Power Of Quod Erat Demonstrandum Qed Meaning And Usage In Proof And Beyond
Using QED correctly is simpler than most students think, but getting it wrong is easy enough to cause real confusion. Here is the practical way to handle it. When you reach the final line of a proof, the last statement should be the proposition you are trying to establish. If it is, place QED or the square after it. Do not put QED inside the proof body. It belongs only at the conclusion. I have seen people type QED in the middle of a multi-part argument and then continue proving additional claims. That breaks the signal. The reader assumes the proof is over. One thing most style guides do not mention: if your proof ends with a displayed equation, put the QED marker on the same line as the final equation, right aligned. Do not start a new line. Putting it on a fresh line makes it look like another equation rather than a terminator.
Here is a realistic edge case I ran into. A student once wrote a proof by contradiction where the final step was a statement like "This contradicts assumption P." He wrote QED after it. A reviewer marked it wrong. The problem was that contradiction proofs sometimes feel incomplete because the conclusion is a negation, not a positive claim. The fix is to write the final derived contradiction explicitly, then follow it with QED, and make sure the original proposition is restated as a separate concluding sentence. I had a colleague who solved this by adding a line that reads "Therefore, the original claim holds" before the QED marker. It costs three extra words and eliminates the ambiguity entirely. Another counter-intuitive point: QED is not required for trivial steps. If you are writing a long proof and include a one-line calculation that follows directly from a previous line, you do not need to mark every intermediate conclusion. Reserve the marker for the main result. Marking every small deduction creates visual noise and trains readers to ignore the signal. There is also a cultural variant worth knowing. In some European mathematics departments, especially in Germany and France, writers prefer the square symbol over the letters. The square is faster to write by hand and does not require perfect spelling. I switch between the two depending on whether I am grading scanned handwritten work or editing a typeset manuscript. Handwritten proofs almost always get the square. Typeset papers usually get QED or nothing.
Get the Full Details
The symbol itself has a quirk that causes problems. In plain text environments without LaTeX support, the square often gets corrupted into a box, a question mark, or nothing at all. If you are submitting to a platform that strips Unicode symbols, replace the square with the abbreviation " qed" or just omit it. An omitted QED is less offensive than a broken character that confuses the reader. Some people treat QED as optional in informal settings. I disagree. Even in course homework, including it trains you to recognize when a proof actually ends. Without it, I frequently find students who write four pages of algebra and then stop mid-sentence, assuming the grading is done. The marker forces a final checkpoint. You have to look at the last line and ask whether it really proves the proposition. If it does not, no amount of QED will fix that. There is a limit to what QED does for you. It does not verify correctness. It does not indicate whether the proof is complete in the sense of covering all cases. I once graded a proof that ended with a clean QED after a chain of deductions that implicitly assumed continuity at a single point the problem never stated. The marker was honest. The proof was not. QED only marks structure, not truth.
If you are writing longer papers with multiple lemmas, consider using labeled proof environments instead of individual QED markers. Systems like LaTeX's amsthm package let you define theorem, lemma, and corollary environments that automatically append the terminator. This removes manual placement errors and keeps the document consistent. The trade-off is that you need to invest time in setting up the preamble correctly. For a single homework assignment, that overhead is not worth it. For a thesis or a paper, it saves roughly twenty minutes of manual cleanup per chapter. A final note on usage beyond formal proofs. People sometimes write QED in essays, code comments, or engineering reports as a flourish. It is acceptable in casual contexts but can come across as pretentious if the surrounding work is not rigorous. If you put a QED in a technical report, make sure the argument actually qualifies as a proof. Otherwise the marker draws attention to the lack of rigor rather than celebrating it.
