![在证明中引用列举的观察结果](https://linux22.com/image/272351/%E5%9C%A8%E8%AF%81%E6%98%8E%E4%B8%AD%E5%BC%95%E7%94%A8%E5%88%97%E4%B8%BE%E7%9A%84%E8%A7%82%E5%AF%9F%E7%BB%93%E6%9E%9C.png)
我正在写一个相当复杂的证明(图论/算法),其中包含许多列出的观察结果,这些观察结果将在后面的证明过程中引用。这些观察结果与证明直接相关,因此在证明之前不能将该列表作为观察结果取出。
\begin{proof}
(...)
In this case the colors look like this:XX.
(...)
Observe that:
\begin{enumerate}
\item White is white
\item Black is black
\end{enumerate}
(...)
By the second observation, we know that black is not green.
(...)
\end{proof}
有没有“正确”的方法可以做到这一点?我浏览了系统建议的其他类似问题,所有这些问题似乎都只是展示了如何调整枚举项的标签/引用的呈现方式。
我最想知道是否有任何“常规”方法可以做到这一点。以某种方式完全放弃枚举?将其嵌入某种观察环境中并将项目引用为子观察?
答案1
如果您询问枚举列表项是否可以交叉引用,那么使用该enumerate
包是可能的。请参见以下示例:
\begin{proof}
(...)
In this case the colors look like this:XX.
(...)
Observe that:
\begin{enumerate}
\item\label{obs:1} White is white
\item\label{obs:2} Black is black
\end{enumerate}
(...)
By observation~\ref{obs:2}, we know that black is not green.
(...)
\end{proof}
查看枚举内部的标签obs:1
和定义以及使用命令调用。obs:2
\ref