Перейти до вмісту
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.