Как начать \beginequivan с (1) для каждого доказательства?

Question

Вот наглядное представление того, о чем я говорю:

Как сделать так, чтобы при каждом подтверждении счетчик сбрасывался до (1)?

Спасибо за ваш ответ.

Answer 1

Самым простым решением будет создать собственную среду доказательства, которая сбрасывает номер уравнения:

\newenvironment{myproof}{\setcounter{equation}{0}\begin{proof}}{\end{proof}}

Или, если это предпочтительнее, сохраните текущий номер уравнения, используемый в доказательстве, чтобы его можно было восстановить впоследствии:

\newcounter{savenumber}
\newenvironment{myproof}{%
\setcounter{savenumber}{\value{equation}}\setcounter{equation}{0}%
\begin{proof}}%
{\end{proof}%
\setcounter{equation}{\value{savenumber}}%
}

Пример использования и вывода

%\usepackage{amsmath} % preamble
%\usepackage{amsthm} % preamble
\begin{document}
\begin{equation}
    x=1
\end{equation}
\begin{equation}
    x=2
\end{equation}
\begin{myproof}
    \begin{equation}
        x=3
    \end{equation}
\end{myproof}
\begin{equation}
    x=4
\end{equation}
\end{document}

Оба варианта, вероятно, сбивают читателя с толку, и hyperrefпакет будет жаловаться (и не сможет исправить ссылку на каждое уравнение), если вы используете это. Лучшим подходом было бы добавить визуальный идентификатор (и один для hyperref, если применимо) для уравнений в вашей новой среде доказательства, например:

\newcounter{savenumber}
\newenvironment{myproof}{%
\renewcommand{\theequation}{p.\arabic{equation}}% Visual identifier
% \renewcommand{\theHequation}{p.\arabic{equation}}% Uncomment if using hyperref
\setcounter{savenumber}{\value{equation}}\setcounter{equation}{0}%
\begin{proof}}%
{\end{proof}%
\setcounter{equation}{\value{savenumber}}
}

Затем