Latex-定理定义的排版

\newtheorem{thm}{Theorem}[section]
\newtheorem{prop}{Proposition}[section]

以上定理和命题分别计数，如果命题也用定理的计数器，可以这样定义：
\newtheorem{prop}[thm]{Proposition}

引用：
\begin{thm}[附加标题,如定理名称，作者]
文本
\end{thm}

较短的证明可以用
\begin{proof}[标题]
证明内容。
\end{proof}

如果有[标题]选项，则显示这个标题(斜体)，否则自动打印斜体的Proof，并在证明结束时自动生成证毕符号口。

如果使用\proof命令，则需要在结束时手动加上结束命令\qed。

当然你可以重定义证毕符号，例如：
\renewcommand*{\qedsymbol}{[证毕]}
\begin{proof}[证:]
证明正文。
\end{proof}

Note:经cohomo提醒（thanks），\begin{proof}...\end{proof}环境需要\usepackage{amsthm}宏包的支持.

【参考文献】
1.陈志杰等，LATEX入门与提高（第二版），高等教育出版社，2006.5