Mi chiedevo se fosse possibile, e in caso affermativo come, generare all’interno di un ambiente di tipo dimostrazione – ad un teorema, un lemma o qualsiasi altra necessità – una numerazione separata da quelle che interessa le equazioni al di fuori della dimostrazione, e che si riaggiorni all’inizio di una nuova dimostrazione. Grazie
E quando hai un’equazione 1 fuori dalle dimostrazioni e un’equazione 1 dentro una dimostrazione, come fa il lettore a capire a quale ti stai riferendo?
Probabilmente dovresti pensare a un diverso stile di numerazione o, semplicemente a dare un “nome” alle equazioni da numerare nelle dimostrazioni; per questo il comando \tag di amsmath e’ particolarmente utile (scusa la e’, ma sto scrivendo da un computer che ha Windows e non ho voglia di cercarmi come scrivere gli accenti corretti).
Codice non testato per fare come vorresti:
`\usepackage{amsmath}
\makeatletter
\newenvironment{modproof}
{\protected@edef\theparentequation{\theequation}%
\setcounter{parentequation}{\value{equation}}%
\setcounter{equation}{0}%
\begin{proof}}
{\end{proof}\setcounter{equation}{\value{parentequation}}}
\makeatother`
In questo modo il contatore delle equazioni riparte da zero nelle dimostrazioni che scrivi nell’ambiente “modproof”.
Ciao
Enrico