证明完毕

证明完毕证讫证毕,又写作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( 实心三角形)。