![跨文档标记定理环境](https://linux22.com/image/353753/%E8%B7%A8%E6%96%87%E6%A1%A3%E6%A0%87%E8%AE%B0%E5%AE%9A%E7%90%86%E7%8E%AF%E5%A2%83.png)
对于你们中的一些人来说,这似乎是一个非常明显的问题,但我遇到了一点困难。
我在我的文档中使用定理(和引理等)环境,并在其他人的证明中引用它们 - 非常标准。
我所遇到的麻烦是如何称呼我的定理——那些没有名字的定理。
一个明显的方法是按照它们在文档中出现的顺序对它们进行编号,但如果我返回并添加或删除定理环境,那么这一切都会变得混乱。
有没有人有一个很好的逻辑系统来做到这一点?
最小工作示例
\documentclass{article}
\newtheorem{thm}{Theorem}
\newtheorem{prop}[thm]{Proposition}
\newtheorem{lem}[thm]{Lemma}
\begin{document}
\begin{lem}\label{lem2}
This is the 1st lemma (2nd 'theorem') I write, but it clarifies the proof of the theorem below, so I place it above.
\end{lem}
\begin{proof}
The proof of lemma.
\end{proof}
\begin{thm}\label{thm1}
This is the 1st theorem I write.
\end{thm}
\begin{proof}
The proof of theorem using Lemma \ref{lem2}.
\end{proof}
\end{document}
答案1
如果我理解正确的话,你的问题是你在某个文档中有一些s 并且想要在单独的(如“单独编译”)文档中\label
引用它们。\ref
这是该包的一项工作xr
:
如果一个文档需要引用另一个文档的部分,例如
aaa.tex
,那么这个包可以加载到主文件中,并\externaldocument{aaa}
在序言中给出命令。然后,您可以使用\ref
和来引用在主文档或中\pageref
给出的任何内容。您可以声明任意数量的此类外部文档。\label
aaa.tex
答案2
尝试根据方便命名定理,然后使用预先指定的合适名称标记它们。例如\label{Continuity}
,\label{date11.1.19}
etx