Esto quizás sea de 2 partes en el sentido de que 1) Me gustaría tener ciertas ecuaciones numeradas usando el contador de teoremas (y su "estilo" asociado) en lugar del integrado en \begin{ecuación}. Según MWE, la ecuación (1.1) se mostraría entonces como 1.3 (sin paréntesis y en negrita). Y 2) ¿es posible mostrar la numeración de teoremas "dividida" o centrada en una serie de ecuaciones, como lo hace \split con la numeración de ecuaciones? He pirateado el \newtheoremstyle para proporcionar la numeración adecuada (como se muestra como 1.2 en MWE), pero esta numeración está fuera de las ecuaciones alineadas. No estoy seguro de qué o dónde necesito hacer ajustes. Cualquier idea sería muy apreciada.
\documentclass[12pt,leqno]{book}
\usepackage{amsmath, mathtools,amssymb,amscd,amsthm,amstext}
\usepackage{indentfirst}
\usepackage{changepage}
% HACKING \adjustwidth so that it has equal vertical whitespace above/below
\usepackage{etoolbox}
\makeatletter
\apptocmd\adjustwidth{\@inlabelfalse\@newlistfalse}
\makeatother
\setlength\parindent{1.2cm}
% Indentation
\def\changemargin#1#2{\list{}{\rightmargin#2\leftmargin#1}\item[]}
\let\endchangemargin=\endlist
% \swapnumbers puts number ahead of heading - as in 3.4 Definition, rather than Definition 3.4
\swapnumbers
% Redefine theorem style
\newtheoremstyle{mytheoremstyle} % name
{\topsep} % Space above
{\topsep} % Space below
{\itshape} % Body font
{5mm} % Indent amount
{\bfseries} % Theorem head font
{.} % Punctuation after theorem head
{0.5em} % Space after theorem head
{} % Theorem head spec (can be left empty, meaning ‘normal’)
\theoremstyle{mytheoremstyle}
\newtheorem{theorem}{Theorem}[chapter]
\newtheorem{corollary}[theorem]{Corollary}
% Creates a theorem-numbered entry
\newtheoremstyle{dotless}
{}
{}
{}
{}
{\bfseries}
{}
{ }
{}
\theoremstyle{dotless}
\newtheorem{line_eq}[theorem]{}
\begin{document}
\chapter{}
The next result is also an almost immediate consequence of the preceding theorem.
% Corollary 2.5
\begin{adjustwidth}{.6cm}{.6cm}
\begin{corollary}
The additive inverse of an element $a$ of a ring $R$, whose existence is
asserted by Property \textup{\textbf{P}}$_4$, in unique.
\end{corollary}
\noindent\textsc{proof}. To prove this statement, suppose that $a+x= 0$ and that
$a+y=0$. Then $a=x=a+y$, and one of the cancellation laws of addition shows
at once that $x=y$.
\end{adjustwidth}
\vspace{5mm}
\noindent Here's some statements:
\begin{line_eq}
\begin{align*}
&(\textup{i}) & -(-a) &= a, \\
&(\textup{ii}) & -(a+b) &= -a-b, \\
&(\textup{iii}) & -(a-b) &= -a+b, \\
&(\textup{iv}) & (a-b)-c &= a-(b+c). \\
\end{align*}
\end{line_eq}
\noindent
Let us prove the second of these ...
\begin{equation}
a = -(-a)
\end{equation}
\end{document}
Respuesta1
Perdón por el MWE que no es mínimo, pero quería mostrar un ejemplo algo completo. Mi deseo era tener teoremas, corolarios, definiciones yespecíficoLas ecuaciones funcionan con el mismo contador en todas las secciones de un capítulo y luego se reinician en el siguiente. Intenté autodocumentar el ejemplo para mostrar las partes importantes del código, ya que probablemente soy el último en explicar los detalles de Latex. Ambas preguntas antes mencionadas en la publicación original se abordan aquí. Gracias a aquellos cuyos comentarios hicieron que esto funcionara como lo había imaginado.
\documentclass[12pt, leqno]{book}
\usepackage{mathtools,amsthm}
\usepackage{changepage} % Use the \adjustwidth environment
\usepackage{enumerate}
\usepackage[shortlabels]{enumitem}
%% Set equation numbering to chapter, resetting
%% on next chapter
\numberwithin{equation}{chapter}
% Define theorem style - indentation + italics
\newtheoremstyle{mytheoremstyle}
{\topsep}
{\topsep}
{\itshape}
{5mm}
{\bfseries}
{.}
{0.5em}
{}
\theoremstyle{mytheoremstyle}
\newtheorem{theorem}[equation]{Theorem} %% Theorems and Corollaries are
\newtheorem{corollary}[equation]{Corollary} %% now tied to equation numbering
% Define definition style - indentation only
\newtheoremstyle{mydefinitionstyle}
{\topsep}
{\topsep}
{}
{5mm}
{\bfseries}
{.}
{0.5em}
{}
\theoremstyle{mydefinitionstyle}
\newtheorem{definition}[equation]{Definition} %% Defn tied to equation numbering
%% Define tagform to remove brackets/braces around equation tag
\newtagform{nobrackets}[\textbf]{}{}
%% Apply tagform to document
\usetagform{nobrackets}
%% Inserts spaces, as in "\blank{3cm}"
\newcommand{\blank}[1]{\hspace*{#1}}
\begin{document}
\chapter{Fundamentals}
\section{Basic Concepts}
Start with an equation:
\begin{equation} %% Equation 1.1
1 = 1 + 0
\end{equation}
We next prove the following theorem.
\begin{adjustwidth}{.6cm}{.6cm} %% Theorem 1.2
\begin{theorem}
\textsc{(Cancellation Laws of Addition)}. If $a$, $b$, and $c$ are elements of a ring $R$,
the following are true:
\begin{enumerate}[label=\textup{(}\roman*\textup{)}]
\item If $a+c = b+c$, then $a=b$,
\item If $c+a=c+b$, then $a=b$.
\end{enumerate}
\end{theorem}
\noindent \textsc{proof}. We proceed to prove the first statement of this theorem. Let us therefore assume that
\usetagform{default} %% Reset equation numbering to "default" behavior
\begin{equation}
a + c = b + c. \tag{1} %% Tag should be generated autom. but for now hard-coded
\end{equation}
By \textbf{P}$_4$, there exists an element $t$ of $R$ such that
\begin{equation}
c + t = 0. \tag{2}
\end{equation}
Now if follows from Equation (1) that ...
\end{adjustwidth}
\vspace{5mm}
\noindent This leads to the following corollary.
\usetagform{nobrackets} %% Future equations now will follow "modified" behavior
\begin{adjustwidth}{.6cm}{.6cm} %% Corollary 1.3
\begin{corollary}
Given ring $R$, then for all $a,b,c \in R$, then we have the following:
\end{corollary}
\begin{equation}
\begin{aligned}
&\text{(i)} & \blank{1cm} -(-a) &= a, \blank{6cm} \\
&\text{(ii)} & \blank{1cm} -(a+b) &= -a-b, \\
&\text{(iii)} & \blank{1cm} -(a-b) &= -a+b, \\
&\text{(iv)} & \blank{1cm} (a-b)-c &= a-(b+c). \\
\end{aligned}
\end{equation}
\end{adjustwidth}
\begin{adjustwidth}{.6cm}{.6cm} % Definition 1.5
\begin{definition}
Let $a$ be an element of a ring $R$ with unity $e$. If there exists an element
$s$ of $R$ such that
\begin{equation*}
as = sa = e,
\end{equation*}
then $s$ is called the \textit{multiplicative inverse} of $a$.
\end{definition}
\end{adjustwidth}
\end{document}