`\documentclass[a4paper,oneside,11pt]{book}
…
\hyphenation{am-bien-te mo-di-fi-ca-re … in-fe-rior-men-te}
…
\newenvironment{pf}
{\protected@edef\theparentequation{\theequation}%
\setcounter{parentequation}{\value{equation}}%
\setcounter{equation}{0}%
\renewcommand{\theequation}{\arabic{equation}}%
\begin{proof}}
{\end{proof}\setcounter{equation}{\value{parentequation}}}
\makeatother
…`
…
Vorrei fare un paio di commenti. Il primo è che sarebbe meglio abilitare la sillabazione dell’italiano invece di scrivere una lunga lista di parole che TeX saprebbe sillabare benissimo. Cerca sul forum o, meglio ancora, consulta la guida di Lorenzo Pantieri (l’ormai giustamente celeberrima “Arte”).
Il secondo è che numerare le equazioni nelle dimostrazioni con numeri a loro stanti è, a mio parere, una pessima idea. In ogni caso, la definizione dell’ambiente pf può essere un briciolo semplificata. 🙂
`\newenvironment{pf}
{\begin{subequations}\renewcommand{\theequation}{\arabic{equation}}%
\begin{proof}}
{\end{proof}\end{subequations}}`
Ciao
Enrico