Теореми й доведення в LaTeX з amsthm

Оголосіть кожен вид у преамбулі через \newtheorem{theorem}{Theorem}, а потім пишіть у тілі документа \begin{theorem} ... \end{theorem}. Середовище proof з amsthm друкує «Proof.» і завершується маленьким квадратом.

Оголошення й використання теореми

\newtheorem{name}{Heading} у преамбулі створює середовище з назвою name, заголовок якого друкується як «Heading» з номером. Завантажте також amsthm; він надає середовище proof і оголошення із зірочкою.

Оголошена теорема з доведенням

LaTeXКопіюватиВідкрити в редакторі (відкриється в новій вкладці)

\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{theorem}{Theorem}
\begin{document}
\begin{theorem}
The sum of two even numbers is even.
\end{theorem}
\begin{proof}
Let $a = 2k$ and $b = 2m$. Then $a + b = 2(k + m)$,
which is even.
\end{proof}
\end{document}

Текст теореми набирається курсивом. Доведення завершується квадратом біля правого поля.

Назви, мітки й посилання

Необов'язковий аргумент після \begin{theorem} дає теоремі назву, що друкується в дужках. Поставте \label усередині середовища, щоб посилатися на нього через \ref.

Названа теорема, лема й посилання

LaTeXКопіюватиВідкрити в редакторі (відкриється в новій вкладці)

\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\begin{document}
\begin{lemma}\label{lem:square}
If $n$ is odd, then $n^2$ is odd.
\end{lemma}
\begin{theorem}[Erika Mustermann, 2026]\label{thm:main}
There are infinitely many odd squares.
\end{theorem}
\begin{proof}
Use Lemma~\ref{lem:square} for every odd $n$.
\end{proof}
Theorem~\ref{thm:main} is easy to remember.
\end{document}

Кілька видів тверджень

Оголошуйте стільки видів, скільки потрібно: теорема, лема, твердження, наслідок, означення, зауваження, приклад. У Scissor LaTeX кожен вид має власний лічильник.

Означення, твердження й зауваження

LaTeXКопіюватиВідкрити в редакторі (відкриється в новій вкладці)

\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{definition}{Definition}
\newtheorem{proposition}{Proposition}
\newtheorem{remark}{Remark}
\begin{document}
\begin{definition}[Even number]
An integer $n$ is \emph{even} if $n = 2k$ for an integer $k$.
\end{definition}
\begin{proposition}
The number 44 is even.
\end{proposition}
\begin{remark}
Zero is even as well.
\end{remark}
\end{document}

Ненумеровані теореми

\newtheorem* (з amsthm) оголошує вид без номера.

Ненумероване твердження через \newtheorem*

LaTeXКопіюватиВідкрити в редакторі (відкриється в новій вкладці)

\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem*{conjecture}{Conjecture}
\begin{document}
\begin{conjecture}
Every even number greater than 2 is the sum of two primes.
\end{conjecture}
\end{document}

Нумерація й стилі

В інсталяції TeX \newtheorem має два необов'язкові аргументи для нумерації, а amsthm має \theoremstyle. Ось що з ними робить Scissor LaTeX:

[section] і спільний лічильник: кожен вид рахує окремо

LaTeXКопіюватиВідкрити в редакторі (відкриється в новій вкладці)

\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\begin{document}
\section{Results}
\begin{lemma} A first lemma. \end{lemma}
\begin{theorem} A first theorem. \end{theorem}
\begin{lemma} A second lemma. \end{lemma}
\end{document}

В інсталяції TeX цей приклад друкує Lemma 1.1, Theorem 1.2 і Lemma 1.3. Scissor LaTeX друкує Lemma 1, Theorem 1 і Lemma 2.

Без \newtheorem

Багато документів, скопійованих звідкілясь, використовують theorem, lemma чи definition без оголошення. Scissor LaTeX усе одно розпізнає поширені назви, зокрема theorem, lemma, proposition, corollary, definition, remark, example, conjecture, claim, exercise, problem, solution і скорочення на кшталт thm, lem і defn.

Чим це відрізняється від інсталяції TeX

Більше про пакет — на сторінці amsthm. Повний посібник пакета — на ctan.org/pkg/amsthm.

Див. також amsthm, Перехресні посилання і cleveref.

Кожен приклад на цій сторінці верстається в Scissor LaTeX під час збирання сайту. Оновлено 2026-11-07.