如何在 LyX 中找出定理等的反证

Question

我有一个包含许多定理的文档 - 全部通过 LyX 的“定理”模块引入（对于那些不了解 LyX 的人来说，这意味着，我没有通过\newtheorem...定义我自己的定理环境，LyX 做到了！）。

现在我想参考一下我的一些定理。

据我所知，这是通过给予我想要引用的定理一个标签然后使用来实现的\hyperref[LABEL]{TEXT}，其中“TEXT”是指向该定理的彩色链接（\ref如果有人想知道为什么，它在 LyX 中不起作用hyperref）。

现在我的问题是：我需要一个命令，以某种方式返回定理的编号（我的所有定理都在整个文本中用一个数字连续编号），该定理具有标签“LABEL” - 类似\findnumber{LABEL}- 以便我可以使用\hyperref[LABEL]{\findnumber{LABEL}}。

因此，如果我添加另一个定理，则与该定理相关的数字也会发生变化。我不知道这个解决方案是否是“正确”的。如果不是，请告诉我。

Answer 1

要添加对定理的交叉引用，首先在定理“标题”之后添加一个标签（例如定理 1） 和插入-->标签或工具栏上的按钮。这样，您便会在该点放置一个标签，您可以在文档中的其他地方引用该标签。该标签引用最后一个“活动”计数器，因此当您将其放在定理的开头时，您就知道您得到了正确的计数器。

通过以下方式添加交叉引用插入-->交叉引用或工具栏上的按钮（插入标签按钮旁边）。您将获得文档中所有标签的列表，并可以选择您想要的引用类型。例如，<reference>只打印数字。

要更改引用的类型，只需右键单击引用并从弹出的菜单中选择。

\hyperref

此命令的一个用途是获得一个由多个数字组成的可点击链接。hyperref提供一个带星号的\ref命令，该命令会打印相关数字，而不会将其转换为可点击链接。例如：

\hyperref[thm:ATheorem]{Theorem \ref*{thm:ATheorem}}

总结

在下面的屏幕截图中，我试图“总结”其中的一些内容（单击可查看大图）。显而易见的是，左侧是 LyX，右侧是 PDF 输出。