Scissor LaTeX 中的 amsthm

amsthm 宏包在 Scissor LaTeX 中部分可用：\newtheorem、带星号的 \newtheorem*、[Mustermann] 这样的可选附注以及 proof 环境都可用，而 \theoremstyle、共享计数器或按节编号的计数器、证明标题和 \qedhere 不会生效。

宏包的作用

amsthm 让你用 \newtheorem 声明类似定理的环境，并提供一个以小方块结尾的 proof 环境。定理样式（plain、definition、remark）会改变标题和正文的外观。

这里可用的功能

示例

在导言区声明环境，然后在正文中使用：

\newtheorem、附注和证明

LaTeX复制在编辑器中打开 （在新标签页中打开）

\documentclass{article}
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\begin{document}
\begin{lemma}
Every even number greater than 2 is the sum of two odd numbers.
\end{lemma}
\begin{theorem}[Mustermann]
The number 44 is the sum of two primes.
\end{theorem}
\begin{proof}
Take $44 = 3 + 41$, and both 3 and 41 are prime.
\end{proof}
\end{document}

用 \newtheorem* 声明无编号环境。\theoremstyle{definition} 这一行会被接受，但正文仍是斜体：

\newtheorem* 和 \theoremstyle

LaTeX复制在编辑器中打开 （在新标签页中打开）

\documentclass{article}
\usepackage{amsthm}
\theoremstyle{definition}
\newtheorem{definition}{Definition}
\newtheorem*{remark}{Remark}
\begin{document}
\begin{definition}
A number is \emph{even} if it is divisible by 2.
\end{definition}
\begin{remark}
By this definition, 0 and 44 are even.
\end{remark}
\end{document}

\qedhere 会把方块移到证明末尾的行间公式中。这里不认识它，所以公式会变红：

\begin{proof}
It remains to compute
\[ 44 = 4 \cdot 11. \qedhere \]
\end{proof}

去掉 \qedhere。方块会单独占一行，放在公式之后，这样同样正确：

\begin{proof}
It remains to compute
\[ 44 = 4 \cdot 11. \]
\end{proof}

兼容性

• 从 TeX 发行版迁移到这里： 文档可以排版。当多个环境共享计数器时，编号可能不同，并且所有定理样式看起来都像 plain。如果公式变红，请删除其中的 \qedhere。
• 从这里迁移到 TeX 发行版： 只要每个环境都用 \newtheorem 声明过，文档无需修改即可在那里编译。

完整手册见 CTAN：ctan.org/pkg/amsthm。入门指南请参阅定理和证明。

另请参阅定理和证明和 cleveref。

本页的每个示例都在构建网站时由 Scissor LaTeX 排版。 最后更新：2026-11-07