Перейти к содержанию
Scissor LaTeX

amsthm в Scissor LaTeX

Пакет amsthm работает в Scissor LaTeX частично: \newtheorem, форма со звёздочкой \newtheorem*, необязательные примечания вроде [Mustermann] и окружение proof работают, а \theoremstyle, общие счётчики и счётчики по разделам, заголовки доказательств и \qedhere не применяются.

Что делает пакет

amsthm позволяет объявлять окружения вроде теорем с помощью \newtheorem и даёт окружение proof, которое заканчивается маленьким квадратом. Стили теорем (plain, definition, remark) меняют вид заголовка и текста.

Что здесь работает

КомандаВ Scissor LaTeXПримечания
\newtheorem{name}{Title}РаботаетКаждое имя получает собственный счётчик: 1, 2, 3.
\newtheorem{name}[other]{Title}ЧастичноОбщий счётчик игнорируется; окружение считает само по себе.
\newtheorem{name}{Title}[section]ЧастичноНомера не сбрасываются в каждом разделе и не выглядят как 2.1.
\newtheorem*{name}{Title}РаботаетБез номера.
\begin{theorem}[note]РаботаетПримечание появляется в скобках после номера.
\theoremstyle{...}ПропускаетсяУ каждого окружения полужирный заголовок и текст курсивом.
proofЧастичноЗаголовок всегда «Proof.»; необязательный заголовок вроде [Proof of Lemma 2] игнорируется. Заканчивается квадратом.
\qedhereНе поддерживаетсяФормула, в которой она стоит, отображается красным.
\qed, \qedsymbolНе поддерживаетсяПропускаются с примечанием на вкладке «Проблемы»; квадрат доказательства ставит только окружение proof.

Примеры

Объявите окружения в преамбуле, а затем используйте их в тексте:

\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}
Свёрстано в Scissor LaTeX: \newtheorem, примечание и доказательство

Ненумерованное окружение с \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}
Свёрстано в Scissor LaTeX: \newtheorem* и \theoremstyle

\qedhere переносит квадрат в выключную формулу в конце доказательства. Здесь эта команда неизвестна, поэтому формула становится красной:

\qedhere даёт красную формулу

LaTeXПреамбула: \usepackage{amsthm}Открыть в редакторе
\begin{proof}
It remains to compute
\[ 44 = 4 \cdot 11. \qedhere \]
\end{proof}

Красным: формулу не удаётся прочитать, поэтому вместо неё показан исходный код.

Уберите \qedhere. Тогда квадрат стоит на отдельной строке после формулы, что тоже правильно:

То же доказательство без \qedhere

LaTeXПреамбула: \usepackage{amsthm}Открыть в редакторе
\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 даёт каждому окружению собственный счётчик и игнорирует аргумент [theorem]. Документ всё равно компилируется; от установленного TeX отличаются только номера.

Можно ли изменить заголовок доказательства?

Пока нет. Необязательный аргумент proof игнорируется, и заголовок всегда «Proof.». Вместо этого можно написать заголовок первыми словами доказательства.

Каждый пример на этой странице верстается в Scissor LaTeX при сборке сайта. Обновлено 2026-11-07.