QED 是拉丁语短语 “quod erat demonstrandum” 的缩写,意为“证毕 / 这正是要证明的”。常用于数学或逻辑证明的末尾,表示证明完成。(在现代写作中也可半开玩笑地用来表示“结论不言自明”。)
/ˌkjuː iː ˈdiː/
The proof ends with QED.
这个证明以 QED 结束(表示“证毕”)。
By showing the two expressions are equal for all values, she concluded the argument—QED.
通过证明这两个表达式对所有取值都相等,她完成了论证——QED(证毕)。
QED 来自拉丁语 quod erat demonstrandum,字面意思是“那(正是)需要被证明的”。它在古典几何与形式化证明传统中常用作证明结束标记;现代教材也常用符号 □ 或 ∎ 代替,称为 “tombstone / halmos”。