\newtheorem

Синопсис:

\newtheorem{name}{title}
\newtheorem{name}{title}[numbered_within]
\newtheorem{name}[numbered_like]{title}

Определяет новую теорему-подобную среду. Вы можете указать один из numbered_within и numbered_like, или ни один, но не оба.

Первый вариант, \newtheorem{name}{title}, создает среду, которая будет помечена title; см. первый пример ниже.

Второй вариант, \newtheorem{name}{title}[numbered_within], создает среду, счётчик которой подчиняется существующему счётчику numbered_within, поэтому этот счётчик будет сброшен, когда numbered_within будет сброшен. См. второй пример ниже.

Третий вариант \newtheorem{name}[numbered_like]{title}, с необязательным аргументом между двумя обязательными аргументами, создает среду, счётчик которой будет использовать ранее определенный счётчик numbered_like. См. третий пример.

Эта команда создаёт счётчик с именем name. Кроме того, если необязательный аргумент numbered_like не используется, внутри теорема-подобной среды текущее значение \ref будет таким же, как у \thenumbered_within (см. \ref).

Это объявление глобальное. Оно хрупкое (см. \protect).

Аргументы:

name

Имя среды. Это строка букв. Она не должна начинаться с обратного слэша, \. Она не должна быть именем существующей среды, и имя команды \name не должно быть уже определено.

title

Текст, который будет напечатан в начале среды, перед номером. Например, ‘Теорема’.

numbered_within

Необязательно; имя уже определенного счётчика, обычно секционного блока, такого как chapter или section. Когда счётчик numbered_within сбрасывается, то счётчик среды name также будет сброшен.

Если этот необязательный аргумент не используется, то команда \thename устанавливается в \arabic{name}.

numbered_like

Необязательно; имя уже определенной теорема-подобной среды. Новая среда будет нумероваться последовательно с numbered_like.

Без каких-либо необязательных аргументов среды нумеруются последовательно. В примере ниже есть объявление в преамбуле, которое приводит к выводу «Определение 1» и «Определение 2».

\newtheorem{defn}{Definition}
\begin{document}
\section{...}
\begin{defn}
  First def 
\end{defn}

\section{...}
\begin{defn}
  Second def
\end{defn}

В этом примере тело документа такое же, как в предыдущем. Но здесь необязательный аргумент \newtheorem numbered_within задан как section, поэтому вывод выглядит как «Определение 1.1» и «Определение 2.1».

\newtheorem{defn}{Definition}[section]
\begin{document}
\section{...}
\begin{defn}
  First def 
\end{defn}

\section{...}
\begin{defn}
  Second def
\end{defn}

В следующем примере есть два объявления в преамбуле, второе из которых указывает, что новая среда thm должна использовать тот же счётчик, что и defn. Это даёт «Определение 1.1», за которым следуют «Теорема 2.1» и «Определение 2.2».

\newtheorem{defn}{Definition}[section]
\newtheorem{thm}[defn]{Theorem}
\begin{document}
\section{...}
\begin{defn}
  First def 
\end{defn}

\section{...}
\begin{thm}
  First thm
\end{thm}

\begin{defn}
  Second def
\end{defn}