证明完毕

证明完毕／证讫／证毕，又写作Q.E.D.或QED。这是拉丁片语“Quod Erat Demonstrandum”（这就是所要证明的）的缩写，译自希腊语“ὅπερ ἔδει δεῖξαι（hóper édei deîxai）”。很多早期数学家用过，包括欧几里得和阿基米德。“Q.E.D.”可以在证明的尾段写出，以显示证明所需的结论已经完整了。

现在的证明完毕符号，通常使用■（实心黑色正方形），称之为“墓碑”或“哈尔莫斯（Halmos symbol）”（因保罗·哈尔莫斯最先采用此做法）。墓碑有时是空心的□。另一个简单方法是写“proven”、“shown”或“证毕”之类的文字，或写上两个斜划（//），或三角形内画三点。

Unicode提供了字元U+220E（∎ 窄长方形），亦有U+25A0（■ 实心正方形）和U+2023（‣ 实心三角形）。