☰

一个定理及其在不同地方的证明

tag-icon • tag-icon numbering positioning theorems
一个定理及其在不同地方的证明

我有几个定理，它们的证明相当枯燥和冗长。我想把定理公式放在一个常见的地方，并把证明放在章节的末尾。怎么做？

我尤其希望：

  • 保留原始定理的编号 - 在定理最初提出的地方和章节末尾应该使用相同的编号，
  • 如果可能的话，在给出证明之前复制定理的原始表述，而不必写两遍文本

答案1

以下是一个 MWE，它演示了如何answers在这种上下文中使用该包。它保留了所有编号，正如您在第一个项目符号中所要求的那样。遗憾的是，我没能复制该定理的原始表述（您的第二个项目符号）；不过，也许其他人能够以此为基础进行构建。

截屏

\documentclass{article}

\usepackage{answers}
\usepackage{lipsum}

% open prooffile.tex
\Opensolutionfile{prooffile}
\Newassociation{myproof}{myProof}{prooffile}

% new theorem for demonstration
\newtheorem{mytheorem}{Theorem}

\begin{document}

\section{The theorems\ldots}
\begin{mytheorem}
\lipsum[1]
\begin{myproof}
This proves everything! 

\lipsum[2]
\end{myproof}
\end{mytheorem}

% close prooffile.tex
\Closesolutionfile{prooffile}

\clearpage
\section{The proofs!}
% can renew the environment to your liking
\renewenvironment{myProof}[1]{{\bfseries Proof of Theorem #1}}{}

\IfFileExists{prooffile.tex}{\input{prooffile.tex}}{}

\end{document}

答案2

如果您希望相同的定理出现两次，并使用相同的编号，则该thm-restate包会执行您想要的操作。 http://www.ctan.org/tex-archive/macros/latex/exptl/thmtools 您本质上定义了一个产生定理的新命令，并选择一个为其选择数字的实例。

相关内容