如何使具体方程遵循定理计数器

Question

我不希望方程式被普遍编号，但我希望能够引用特定方程式并让它们遵循定理计数器。例如，在我的示例中，定理 1.1 中有两个方程式，我希望第一个方程式标记为 1.2，以便在证明中引用它。

\documentclass{article}

\usepackage{amsmath}
\usepackage{amsthm}

\newtheorem{theorem}{Theorem}[section]

\begin{document}
    \section{Section}
    \begin{theorem}
        We have some equations
        \begin{align*}
        \label{first}
            1 + 1 = 2,
        \end{align*}
        and
        \begin{align*}
            2 + 2 = 4.
        \end{align*}
    \end{theorem}
    \begin{proof}
        See \ref{first}.
    \end{proof}
    \begin{theorem}
        I want this counter to be 1.3
    \end{theorem}
\end{document}

Answer 1

因为您正在使用，所以amsthm您可以将定理计数器设置为使用方程计数器：

\newtheorem{theorem}[equation]{Theorem}

amsthm用户指南（ ）中对此进行了记录，texdoc amsthm并解释了定理编号的工作原理。

你已经编辑了这个问题，这样定理就按部分编号了。这应该会产生你想要的结果。因为方程式（实际上所有的显示）都有主计数器，所以如果你有编号的显示，就不会有任何混淆不是在定理内。

下面是一个完整的例子。

\documentclass{article}

\usepackage{amsmath}
\usepackage{amsthm}
%\usepackage{cleveref}

\numberwithin{equation}{section}
\newtheorem{theorem}[equation]{Theorem}

\begin{document}

\section{Section}

\begin{theorem}\label{firsttheorem}
We have some equations
\begin{equation}\label{equation}
1 + 1 = 2,
\end{equation}
and
\begin{equation*}
2 + 2 = 4.
\end{equation*}
\end{theorem}
\begin{proof}
See \ref{equation}.
\end{proof}

\begin{theorem}\label{secondtheorem}
I want this counter to be 1.3
\end{theorem}

%References: \Cref{firsttheorem}, \Cref{secondtheorem}
%and \Cref{equation}.

\end{document}

如果取消注释掉注释掉的行cleveref，输出结果如下。