证明环境在LaTeX中非常常用，下面我们来制作证明环境的结束符，希望对您有所帮助。

\def\QEDclosed{\mbox{\rule[0pt]{1.3ex}{1.3ex}}} % 定义实心符
\def\QEDopen{{\setlength{\fboxsep}{0pt}\setlength{\fboxrule}{0.2pt}\fbox{\rule[0pt]{0pt}{1.3ex}\rule[0pt]{1.3ex}{0pt}}}} %定义空心符
\def\QED{\QEDopen} % 选填\QEDclosed得到实心
\def\proof{\noindent{\bf Proof}: } %定义证明，注意选择中英文
\def\endproof{\hspace*{\fill}~\QED\par\endtrivlist\unskip}%在proof环境自动添加结束符。

演示效果图：

http://s6/bmiddle/5e16f177h7aed448716f5&690

演示代码：

 \documentclass{article}
 \usepackage{CJK}
  \setlength\textwidth{150.0pt}
  \def\QEDclosed{\mbox{\rule[0pt]{1.3ex}{1.3ex}}} % 定义实心符
\def\QEDopen{{\setlength{\fboxsep}{0pt}\setlength{\fboxrule}{0.2pt}\fbox{\rule[0pt]{0pt}{1.3ex}\rule[0pt]{1.3ex}{0pt}}}} %定义空心符
\def\QED{\QEDopen} % 选填\QEDclosed得到实心
\def\proof{\noindent{\bf Proof}: } %定义证明，注意选择中英文
\def\endproof{\hspace*{\fill}~\QED\par\endtrivlist\unskip}%在proof环境自动添加结束符。
  \begin{CJK*}{GBK}{song}
 \begin{document}
 \begin{proof}
 由微分定理知，
    $$\sum_{i=1}^n a_i \quad  \int_a^b f(x)\mathrm{d}x$$
 \end{proof}
 \paragraph{}
 \newpage
 \end{CJK*}
 \end{document}