☰

如何为证明环境创建“定理 x.xx 证明”标题？

tag-icon • tag-icon cross-referencing theorems
如何为证明环境创建“定理 x.xx 证明”标题？

在许多数学论文中，作者在某处陈述一个定理，并添加一些解释，也许还有一些引理，然后以“定理 x.xx 的证明”这样的短语开始证明（x 代表一些数字）。我知道的开始和结束证明的唯一格式如下：

\begin{proof}

\end{proof}

当我在陈述定理（命题等）后立即开始证明时，这种格式很好。所以我的问题是：

我怎样才能稍后用“定理 x.xx 的证明”这样的短语开始证明？

PS 我不太确定我使用的标签。如果你知道更好的标签，请修改它们。

答案1

假设您正在使用诸如这样的包amsthm，您可以按如下方式进行：将分配\label给定理，然后通过\ref关联环境开始时的语句对其进行交叉引用proof。

在此处输入图片描述

\documentclass{article}
\usepackage{amsthm}
\usepackage{lipsum} % for filler text
\newtheorem{theorem}{Theorem}
\begin{document}

\begin{theorem}[Pythagoras] \label{thm:neat}
$a^2+b^2=c^2$.
\end{theorem}

\lipsum[2]

\begin{proof}[Proof of Theorem \ref{thm:neat}]
(state your proof here)
\end{proof}

\end{document}

附录：为了进行比较，如果您使用该ntheorem包，以下是相同 MWE 的输出（减去填充文本）。（请注意，ntheorem不会自动将 QED 符号放置在环境末尾proof。）

在此处输入图片描述

\documentclass{article}
\usepackage{ntheorem}
\newtheorem{theorem}{Theorem}
\theoremstyle{empty}
\newtheorem{refproof}{Proof}
\begin{document}
\begin{theorem}[Pythagoras] \label{thm:neat}
$a^2+b^2=c^2$.
\end{theorem}

\begin{refproof}[Proof of Theorem \ref{thm:neat}]
(state your proof here)
\end{refproof}
\end{document}

相关内容