我有一个包含一些证明的文档,想要创建一个仅包含定理(以及推论、引理、例子等),但根本不包含证明的版本。
有没有一种简单、自动化的方法来做到这一点?
答案1
我个人使用该versions
包来完成这类工作。
\documentclass[12pt]{scrartcl}
\usepackage{amsthm}
\newtheorem{thm}{Theorem}
\usepackage{versions}
\includeversion{prop}
%\excludeversion{prop}
\includeversion{dem}
%\excludeversion{dem}
\usepackage{mathtools, amssymb, amsthm}
\begin{document}
\begin{prop}
\begin{thm}
\( (a+b)^2 = a^2 + 2ab + b^2\).
\end{thm}
\end{prop}
\begin{dem}
\begin{proof}
\( (a+b)^2 = (a+b)(a+b) = a^2 + ab + ba + b^2 = a^2 + 2ab + b^2 \).
\end{proof}
\end{dem}
\end{document}
由于我在这里对和\excludeversion{prop}
进行了评论\excludeversion{dem}
,因此thm
和proof
环境都出现了:
但如果我选择注释\includeversion{dem}
并注释掉\excludeversion{dem}
,证明就会消失。
\usepackage{versions}
\includeversion{prop}
%\excludeversion{prop}
%\includeversion{dem}
\excludeversion{dem}
proof
如果您已将所有环境封闭在dem
由 定义的环境中versions
,则相同的方法将适用于所有环境。
相反,您可以选择让环境proof
保持不变或让thm
环境消失,如果您对这些环境应用相同的操作thm
(将它们封闭在prop
定义的环境中versions
,注释掉/注释掉适当的行:
\usepackage{versions}
%\includeversion{prop}
\excludeversion{prop}
\includeversion{dem}
%\excludeversion{dem}
多种多样的可能性使得该解决方案最为灵活。