☰

Гибкое перечисление для моей диссертации по математике

tag-icon • tag-icon numbering theorems
Гибкое перечисление для моей диссертации по математике

Сейчас я пишу диссертацию по математике.

Допустим, я нахожусь в «разделе 5» диссертации и упорядочиваю леммы, предложения, теоремы и следствия по 5.1, 5.2, 5.3,... и т. д. Есть ли способ закодировать это перечисление так, чтобы, если бы я захотел добавить новый 5.2, старый 5.2 изменился бы на 5.3, 5.3 изменился бы на 5.4,... и т. д.?

Спасибо за любую помощь.

решение1

Надеюсь, вы обнаружили, что эта проблема легко решается в LaTeX (на самом деле, она по сути такая же, как и была)разработанныйдля), но вот вам ясная конструкция для ознакомления.

Попробуйте скомпилировать этот документ как с леммой, так и без нее. (В зависимости от того, как вы пишете документ, вам, возможно, придется запустить LaTeX дважды подряд, чтобы перекрестные ссылки разрешались каждый раз, когда вы удаляете лемму. Многие современные редакторы делают это автоматически.)

\documentclass{article}
\usepackage{amsthm,amssymb}    
\newtheorem{theorem}{Theorem}[section]
% Theorem numbering is Sec#.Thm#
\newtheorem{lemma}[theorem]{Lemma}
% Lemmata are numbered as theorems

\begin{document}
\section{A section with some politically motivated math in it}

The following Lemma is folklore among Business Administration circles of
the \emph{Paradigmatic Shift} school:

\begin{lemma}[Synergy Lemma]
    \label{lemma:synergy}
    Under the right circumstances, $1 + 1 = 3$.
\end{lemma}
\begin{proof} By adoption of a positive workplace culture. \end{proof}
\noindent
The Synergy Lemma proves quite useful to show the following celbrated result:

\begin{theorem}
    \label{thm:2+2=5}
    When it suits us, $2 + 2 = 5$. 
\end{theorem}
\begin{proof} Exercise for the reader; use good stomping boots. \end{proof}
\noindent
Theorem~\ref{thm:2+2=5} is commonly known as \emph{Orwell's Theorem},
though it is often (and more accurately) called \emph{Vissarionovich's Theorem}
in many eastern European countries.

\end{document}

Связанный контент