![请参阅校样打印部分](https://linux22.com/image/382470/%E8%AF%B7%E5%8F%82%E9%98%85%E6%A0%A1%E6%A0%B7%E6%89%93%E5%8D%B0%E9%83%A8%E5%88%86.png)
我在一份文档中列出了几条定理,其证明在附录中。在某条定理之后,我想引用其证明,并且使用该hyperref
包,我想使引用可点击,以避免滚动。
但是,在证明上添加标签然后引用它(我也使用包cleveref
)会引用并链接到包含证明的相应部分,在我的示例中是附录。
梅威瑟:
\documentclass{article}
\usepackage{amsthm}
\usepackage{hyperref}
\usepackage{cleveref}
\newtheorem{theorem}{Theorem}
\begin{document}
\section{Theorems}
\begin{theorem}\label{thm:some-theorem}
This is a theorem.
\end{theorem}
For an initution, see the proof.
For an intiution, see \cref{proof:some-theorem}.
\appendix
\section{Proofs}
\begin{proof}[Proof of \Cref{thm:some-theorem}]
\label{proof:some-theorem}
This is a proof.
\end{proof}
\end{document}
我怎样才能获得打印“证明”(或“定理 1 的证明”)的参考,并且超链接也链接到证明?
答案1
您可以使用相同的标签建立双向链接。
\documentclass{article}
\usepackage{amsthm}
\usepackage[colorlinks]{hyperref}
\usepackage{cleveref}
\newtheorem{theorem}{Theorem}
\newenvironment{delayedproof}[1]
{\begin{proof}[\raisedtarget{#1}Proof of \Cref{#1}]}
{\end{proof}}
\newcommand{\raisedtarget}[1]{%
\raisebox{\fontcharht\font`P}[0pt][0pt]{\hypertarget{#1}{}}%
}
\newcommand{\proofref}[1]{\hyperlink{#1}{proof}}
\begin{document}
\section{Theorems}
\begin{theorem}\label{thm:some-theorem}
This is a theorem.
\end{theorem}
For an intuition, see the \proofref{thm:some-theorem}.
\appendix
\section{Proofs}
\begin{delayedproof}{thm:some-theorem}
This is a proof.
\end{delayedproof}
\end{document}
图片显示“证明”链接指向正确的证明。需要抬起\hypertarget
否则链接将指向证明第一行的基线。
答案2
OP 已经指出了这个问题:
proof
是一个无计数器环境,即没有计数器连接到它,因此\label
内部proof
将抓取最后的\@currentlabel
,这已被修改\refstepcounter{section}
,\section{Proofs}
因此\cref
报告section
或`附录。
我的方法添加了一个\prooflabel
与所涉及的相关标签的定理计数器的计数器值相连的计数器,这样定理 147 将提供证明 147。
为了简化这一点,\crtcrefcountervalue
(包中的新添加crossreftools
)被应用并注入到proofcntr
计数器中。
我也cleveref
为其添加了名称。proofcntr
\documentclass{article}
\usepackage{etoolbox}
\usepackage{xparse}
\usepackage{amsthm}
\usepackage{hyperref}
\usepackage{cleveref}
\usepackage{crossreftools}
%%% The following lines are not necessary with crossreftools v.0.8
\makeatletter
\@ifundefined{crtcrefcountervalue}{%
\newcommand{\crt@crefundefinedcountervalue}{1977}
\newcommand{\crtrefundefinedcountervalue}[1]{\renewcommand{\crt@refundefinedcountervalue}{#1}}
\newcommand{\crtcrefcountervalue}[1]{%
\crtcrefifundefinedlabel{#1}{%
\crt@crefundefinedcountervalue%
}{%
\crtcrefnumber{#1}%
}%
}
}{}
\makeatother
\newtheorem{theorem}{Theorem}
\newcounter{proofcntr}
\crefname{proofcntr}{proof}{proofs}
\Crefname{proofcntr}{Proof}{Proofs}
\NewDocumentCommand{\prooflabel}{+m+m}{%
\setcounter{proofcntr}{\numexpr\crtcrefcountervalue{#1}-1}%
\refstepcounter{proofcntr}%
\label{#2}%
}
\begin{document}
\section{Theorems}
\begin{theorem}\label{thm:some-theorem}
This is a theorem.
\end{theorem}
For an intuition, see the proof.
For an intuition, see \cref{proof:some-theorem}, but with respect to \cref{thm:some-really-important-theorem} see the best proof ever: \cref{proof:some-really-important-theorem}
\begin{theorem}\label{thm:some-really-important-theorem}
Brontosaurs are thin at one end, thick in the middle and thin at the other end.
Source: Anne Elk (Misses).
\end{theorem}
\appendix
\section{Proofs}
\begin{proof}[Proof of \Cref{thm:some-theorem}]
\prooflabel{thm:some-theorem}{proof:some-theorem}
This is a proof.
\end{proof}
\begin{proof}[Proof of \Cref{thm:some-really-important-theorem}]
\prooflabel{thm:some-really-important-theorem}{proof:some-really-important-theorem}
The source is Anne Elk (Misses), that's enough ;-)
\end{proof}
\end{document}
答案3
这个怎么样?
\documentclass{article}
\usepackage{amsthm}
\usepackage{hyperref}
\newtheorem*{theorem}{Theorem}
\begin{document}
\begin{theorem}
\phantomsection\label{theorem:main}
This is true.
\end{theorem}
\begin{proof}
\phantomsection\label{proof:main-theorem}
Obvious.
\end{proof}
The \hyperref[proof:main-theorem]{proof} of
the \hyperref[theorem:main]{theorem} is obvious.
\end{document}