\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{proof}

 [证明内容]

 \end{proof}