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

4.2. Окружения типа «теорема»
Если Вы пишете математический текст, то в этом тексте будет содержаться немалое количе

ство теорем, лемм, определений и тому подобных вещей. Эти элементы математического тек

ста желательно оформлять специальным образом. Например, формулировки теорем часто

---

VII.4. СОЗДАНИЕ НОВЫХ ОКРУЖЕНИЙ
158
печатают, для ясности, другим шрифтом, само слово
«теорема» также выделяют (третьим)
шрифтом, и т. д. Чтобы задать такое оформление, в исходном тексте приходится написать
довольно много TEXовских команд, и лучше не повторять этот длинный набор команд много
раз, а создать заменяющее его макроопределение, что, в свою очередь, может потребовать
некоторого труда (чем-то подобным мы занимались в предыдущих разделах, когда разра

батывали команду \z). Если же Вы или редакция, с которой Вы имеете дело, не слишком
требовательны к деталям оформления, то соответствующие макросы (точнее говоря, новые
окружения) легко создать из полуфабрикатов, предоставляемых нам для этих целей L
A
TEXом.
Окружения, используемые в L
A
TEXе для оформления фрагментов текста типа «теорема»,
заранее не определены. Дело в том, что количество различных типов объектов наподобие
теоремы, присутствующих в одном тексте, может быть достаточно велико (предложение,
утверждение, лемма, определение, замечание . . . ), так что L
A
TEX, в целях экономии машин
ной памяти и исходя их того, что на все вкусы таких окружений не напасешься, определять
их предоставляет Вам. Как это делать, удобнее всего разобрать на примере.
Пусть в нашем тексте присутствуют
«предложения». Давайте создадим окружение predl
таким образом, чтобы можно было, например, писать
Предложение 1.
Волга впада
ет в Каспийское море.
Доказательство.
См.
любую
географическую карту.
\begin{predl}
wOLGA WPADAET W
kASPIJSKOE MORE.
\end{predl}
{\bf dOKAZATELXSTWO.} sM.\
L@BU@ GEOGRAFIˆESKU@ KARTU.
Для создания такого окружения используется команда \newtheorem:
\newtheorem{predl}{pREDLOVENIE}
Как видите, команда \newtheorem имеет два обязательных аргумента: первый
— название
окружения, которое мы создаем, второй
— заголовок нашей «теоремы».
Теперь обсудим, как работают окружения, созданные при помощи команды \newtheorem
(будем называть их просто окружениями типа
«теорема»). Во-первых, как Вы уже замети
ли,
«формулировка» печатается курсивом, а заголовок – полужирным шрифтом. Во-вторых,
абзац, идущий после нашего окружения, начинается с абзацным отступом, если после закры

вающей окружение команды \end идет пустая строка, и без отступа в противном случае (так
что в этом отношении окружения типа
«теорема» ведут себя совершенно аналогично таким
окружениям, как quote, itemize и т. п.). В-третьих, окружение типа
«теорема» может иметь
необязательный аргумент (как обычно, в квадратных скобках). Текст, стоящий в этих ква

дратных скобках, будет напечатан в скобках после заголовка
«теоремы» и ее номера. Обыч
но это используется для указания ученого, чьим именем названа
«теорема»: