在线词典证明完毕(math.) end of proof; QED (quod erat demonstrandum)英文释义(math.) end of proof; QED (quod erat demonstrandum)