有时你想让定理的证明出现在附录中。那么附录必须
- 包含与论文正文中所述完全相同的定理主张
- 添加证明。
如果能够将定理包含在附录中而不必逐字复制它就好了(因为如果我在论文正文中更改它,那么我也必须在附录中更改它)。
在 LaTeX 中是否有一种干净的方法来实现这一点?请注意,定理声明可能包括编号对象(例如方程式),并且这些数字在重复中不得改变。
答案1
加载restatable
包(附带thmtools
)并使用restatable
环境,如下所示(改编自的文档thmtools
):
\begin{restatable}[Euclid]{theorem}{firsteuclid}
\label{thm:euclid}%
For every prime $p$, there is a prime $p’>p$.
In particular, the list of primes,
\begin{equation}\label{eq:1}
2,3,45,7,\dots
\end{equation}
is infinite.
\end{restatable}
... Some text ...
.................
\firsteuclid*
解释:你将定理环境及其可选参数作为可重述环境的参数,为将用于重述定理的命令添加一个名称(使用相同的数字)——就在这里firsteuclid
。命令中的星号表示引用应该是原来的定理,而不是重述的。