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