3.7 Теоремы, законы, ...

При написании математических документов, вам, вероятно, нужен способ верстки <<лемм>>, <<определений>>, <<аксиом>> и аналогичных структур. L^ATEX поддерживает это командами

$\backslash$newtheorem{название}[счетчик]{ текст}[раздел] Аргумент название -- это краткое ключевое слово, используемое для идентификации <<теоремы>>. Аргументом текст вы определяете настоящее название <<теоремы>>, под которым она будет печататься в документе.

Аргументы в квадратных скобках необязательны. Оба они используются для определения того, как нумеровать <<теорему>>. Аргументом счетчик вы может указать название предварительно объявленной <<теоремы>>. Новая <<теорема>> будет тогда нумероваться в той же последовательности. Аргумент раздел позволяет вам указать раздел, внутри которого вы хотите нумеровать вашу <<теорему>>.

После использования в преамбуле документа команды $\backslash$newtheorem, вы можете пользоваться следующими командами:

\begin{название}[текст]
Это интересная теорема.
\end{название}

На этом теории должно быть достаточно. Дальнейшие примеры должны развеять последнюю тень сомнений, и окончательно убедить вас, что окружение \newtheorem слишком сложно, чтобы его можно было понять:

% определения для 
% преамбулы документа
\newtheorem{law}{Law}
\newtheorem{jury}[law]{Jury}
% в теле документа
\begin{law} \label{law:box}
Don't hide in the witness box
\end{law}
\begin{jury}[The Twelve]
It could be you! So beware and
see law \ref{law:box}\end{jury}
\begin{law}No, No, No\end{law}

Law 1   Don't hide in the witness box

Jury 2 (The Twelve)   It could be you! So beware and see law 1

Law 3   No, No, No

Теорема <<Jury>> использует тот же счетчик, что и теорема <<Law>>. Следовательно, она получит номер в последовательности с другими теоремами <<Law>>. Аргумент в квадратных скобках указывает заголовок теоремы, или нечто аналогичное.

\flushleft
\newtheorem{mur}{Murphy}[subsection]
\begin{mur}
Если существует два или
более способа сделать
нечто, и один их этих
способов может привести
к катастрофе, то кто-то
обязательно это сделает.
\end{mur}

Murphy 3.7.1   Если существует два или более способа сделать нечто, и один их этих способов может привести к катастрофе, то кто-то обязательно это сделает.

Теорема <<Murphy>> получает номер, связанный с номером текущего раздела. Вы можете также использовать другую структурную единицу, например, главу или подраздел.