[Tex/LaTex] How to make equation numbering dependent on theorem numbering

numbering

I ask a variation of some questions previously posed.

What I have now is this:

I want the equation numbers to follow the same numbering scheme as the theorems and definition. That is, I want the equation to be labelled (1.3) and the definition after it be labelled (1.4).

To further clarify, if we were in subsection 1.1, instead of section 1, I want to have theorem 1.1.1, theorem 1.1.2, equation 1.1.3 and definition 1.1.4.

Right now, the screenshot I posted uses the solution presented here.

I've also looked at this post. I tried to do that, but it completely ignored the "sectioning" I've done with the theorem numbers. Everything became 1, 2, 3… instead of 1.1, 1.2, 1.3, …

Moreover, it makes the theorem numbers depend on the equation numbers, which is the opposite of what I want. I want the equation numbering to follow the theorem numbering. This is because I've already "fixed" the theorem numbering to how I want it. However, I'm open to more out-of-the-box suggestions.

The following is the code for the screenshot.

\documentclass[a4paper]{article}
\usepackage{amsmath, amsthm}
\setcounter{section}{0}

\newtheorem{thm}{Theorem}[section]
\numberwithin{equation}{section}
\newtheorem{ex}[thm]{Example}
\newtheorem{defn}[thm]{Definition}

\begin{document}

\section{Section Title}

\begin{thm}
Spaghettoni.
\end{thm}

\begin{thm}
Vermicelloni.
\end{thm}

\begin{proof}
Manicotti.
\begin{equation}
x^2 + y^2 = z^2
\end{equation}
\end{proof}

\begin{defn}
Maltagliati.
\end{defn}

\end{document}

Best Answer

The \newtheorem command has an optional argument in which you can specify an already existing counter to be used for numbering the theorems. This counter can be any LaTeX counter, including equation. So, for instance,

\numberwithin{equation}{section} % or whatever you prefer

\swapnumbers % I prefer this

\theoremstyle{plain}
\newtheorem{thm}[equation]{Theorem}
\newtheorem{prop}[equation]{Proposition}
\newtheorem{lem}[equation]{Lemma}
\newtheorem{cor}[equation]{Corollary}
\newtheorem*{notice}{Notice}

\theoremstyle{definition}
\newtheorem{dfn}[equation]{Definition}
\newtheorem{bigrem}[equation]{Remark}
\newtheorem{num}[equation]{} % a bit strange, but I do use it!
\newtheorem{exmp}[equation]{Example}

defines a whole series of “theorem-like” environments all of which are numbered in the same sequence as equations.

Related Solutions

[Tex/LaTex] Theorem/Definition/Lemma problem — Numbering

Similar to the solution at this question and section 3 of the amsthm documentation:

enter image description here

\documentclass[11pt,a4paper]{report}
\usepackage{amsthm}

\theoremstyle{plain}
\newtheorem{thm}{Theorem}[chapter] % reset theorem numbering for each chapter

\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition} % definition numbers are dependent on theorem numbers
\newtheorem{exmp}[thm]{Example} % same for example numbers

\newcommand{\chaptercontent}{
\section{Basics}
\begin{defn}Here is a new definition.\end{defn}
\begin{thm}Here is a new theorem.\end{thm}
\begin{thm}Here is a new theorem.\end{thm}
\begin{exmp}Here is a good example.\end{exmp}
\subsection{Some tips}
\begin{defn}Here is a new definition.\end{defn}
\section{Advanced stuff}
\begin{defn}Here is a new definition.\end{defn}
\subsection{Warnings}
\begin{defn}Here is a new definition.\end{defn}
}

\begin{document}
\tableofcontents
\part{Addition and Subtraction}
\chapter{Addition} \chaptercontent
\chapter{Subtraction} \chaptercontent
\part{Multiplication and Division}
\chapter{Multiplication} \chaptercontent
\chapter{Division} \chaptercontent
\end{document}

[Tex/LaTex] Common numbering with ntheorem

From your code, it seems that you want each of the theorem-like environments to inherit the subsection counter. As such, I have used

\newcounter{dummy} 
\numberwithin{dummy}{subsection}

in the below.

Note that you can use

\newtheorem{example}[dummy]{Example}

which tells the newtheorem command to make the example counter inherit the dummy counter, but not

\newtheorem{example}{Example}[dummy][subsection]

as this is undefined.

screenshot

Here's the complete MWE:

\documentclass{article}

\usepackage{amsmath,amssymb}
\usepackage[thmmarks]{ntheorem}

\newcounter{dummy}
\numberwithin{dummy}{subsection}

\theoremprework{\setlength
\theorempreskipamount{10 pt}\setlength\theorempostskipamount{10 pt}}

\theoremstyle{plain}
\theorembodyfont{\upshape}
\theoremsymbol{\ensuremath{\clubsuit}}
\theoremseparator{:}
\newtheorem{example}[dummy]{Example}

\theoremstyle{plain}
\theorembodyfont{\upshape}
\theoremsymbol{\ensuremath{\blacklozenge}}
\theoremseparator{:}
\newtheorem{remark}[dummy]{Remark}

\theoremprework{\setlength\theorempreskipamount{10 pt}}

\theoremstyle{plain}
\theorembodyfont{\slshape}
\theoremsymbol{}
\theoremseparator{:}
\newtheorem{theorem}[dummy]{Theorem}

\theoremstyle{plain}
\theorembodyfont{\slshape}
\theoremsymbol{}
\theoremseparator{:}
\newtheorem{prop}[dummy]{Proposition}


\theoremstyle{plain}
\theoremheaderfont{\upshape \bfseries}
\theorembodyfont{\slshape}
\theoremsymbol{}
\theoremseparator{:}
\newtheorem{corollary}[dummy]{Corollary}

\theoremstyle{plain}
\theoremheaderfont{\upshape \bfseries}
\theorembodyfont{\slshape}
\theoremsymbol{}
\theoremseparator{:}
\newtheorem{lemma}[dummy]{Lemma}

\begin{document}

\section{Section}
\subsection{SubSection}
\begin{theorem} Hey
\end{theorem}

\begin{lemma}I
\end{lemma}

\begin{prop}Just
\end{prop}

\begin{remark}Met
\end{remark}

\begin{example}You
\end{example}

\subsection{SubSection}
\begin{theorem} Hey
\end{theorem}

\begin{lemma}I
\end{lemma}

\begin{prop}Just
\end{prop}

\begin{remark}Met
\end{remark}

\begin{example}You
\end{example}
\end{document}

Best Answer

Related Solutions

[Tex/LaTex] Theorem/Definition/Lemma problem — Numbering

[Tex/LaTex] Common numbering with ntheorem

Related Question