Tex: подробное описание С. М. Львовский

Предложение 2 (Пифагор).
Пифагоровы штаны на все
стороны равны.
\begin{predl}[pIFAGOR]
pIFAGOROWY [TANY NA
WSE STORONY RAWNY.
\end{predl}
Вместе с окружением типа
«теорема» автоматически создается и счетчик, хранящий его
номер. Имя этого счетчика совпадает с именем окружения (так что в нашем примере счетчик

---

VII.4. СОЗДАНИЕ НОВЫХ ОКРУЖЕНИЙ
159
называется predl); если мы хотим изменить представление на печати номеров нашей
«тео
ремы
», то можно обычным образом переопределить соответствующую the-команду. Напри
мер, если мы хотим, чтобы предложения нумеровались прописными латинскими буквами,
надо в преамбуле написать:
\renewcommand{\thepredl}{\Alph{predl}}
«Теоремы», определяемые описанным выше способом, будут иметь сплошную нумера
цию на протяжении всего документа. Как мы уже понимаем, это далеко не всегда удобно.
Часто хотелось бы сделать так, чтоб, например, в каждой секции нумерация
«теорем» на
чиналась заново. Для таких целей предусмотрена команда \newtheorem с необязательным
аргументом. Этот аргумент ставится после двух обязательных и представляет собой имя то

го счетчика, которому будет подчинен счетчик нашей
«теоремы». Пусть, например, в нашем
тексте есть не только предложения, но и теоремы (без кавычек), и мы хотим, чтобы нумера

ция теорем начиналась заново в каждой секции. Тогда можно написать в преамбуле так:
\newtheorem{theorem}{tEOREMA}[section]
После этого можно будет писать, например, вот что:
Теорема 4.1.
Сумма
углов
треугольника равна 180
◦
.
\begin{theorem}
sUMMA UGLOW TREUGOLXNIKA
RAWNA $180^{\circ}$.
\end{theorem}
Обратите внимание, что, если
«теорема» определена таким образом (со счетчиком, подчинен
ным другому счетчику), то представление ее номера на печати изменяется: при определении
\newtheorem{xyz}[abcd]
(счетчик
«теоремы» типа xyz подчинен счетчику abcd) команда \thexyz будет определена
как
\theabcd.\arabic{xyz}
(если Вы хотите, чтобы нумерация
«теоремы» представлялась на печати иначе, Вы опять-та
ки можете переопределить the-команду).
Наконец, L
A
TEX предоставляет еще одну возможность нумерации определяемых Вами
«теорем». Предположим, что, кроме теорем, в Вашем тексте есть еще и леммы, и при этом
Вы хотите, чтобы леммы и теоремы нумеровались совместно: теорема 2.1, теорема 2.2, затем
лемма 2.3, затем теорема 2.4, и т. д. Тогда, предполагая, что окружение theorem уже опреде

лено, как выше, можно определить окружение lemma так:
\newtheorem[theorem]{lemma}{lEMMA}
В этом случае необязательный аргумент команды \newtheorem располагается перед обяза

тельными; этот аргумент
— имя того окружения типа «теорема», совместно с которым будет
нумероваться определяемая Вами
«теорема».
В заключение остается отметить, что команду \newtheorem можно использовать или с
одним необязательным аргументом, или с другим, но не с обоими вместе.

---