Modificare l’ambiente proof

Mi scuso se nel forum c’e’ gia’ la risposta a questa domanda, ma non l’ho trovata. Avrei bisogno di creare un enviroment simile a proof di amsthm, ma con alcune modifiche. L’ambiente dovrebbe essere in tutto e per tutto uguale a proof, salvo che invece di Dimostrazione dovrebbe scrivere all’inizio
Teorema Fondamentale dell’Algebra
seguito da un numero romano progressivo. Chiaramente potrei creare un ambiente ad hoc, ma preferisco partire da proof e modificare solo quest’opzione. Inolte non tutte le dimostrazioni del documento sono di questo tipo, per cui dovrebbe essere un ambiente distinto, da usare insieme a proof.

Provo a scriverne una di getto
`\newcounter{tfa}
\newenvironment{tfa}
{\refstepcounter{tfa}%
\begin{proof}[Teorema fondamentale dell'algebra~\Roman{tfa}]}
{\end{proof}}`Puoi anche dare \label, \ref ti restituirà il numero (romano).

Ciao
Enrico

Oppure prendendo la definizione di proof:
`
\usepackage{amsthm}
\makeatletter
\newenvironment{tfa}[1][\tfaname]{\par
\pushQED{\qed}%
\normalfont \topsep6\p@\@plus6\p@\relax
\trivlist
\item[\hskip\labelsep
\itshape
#1\@addpunct{.}]\ignorespaces
}{%
\popQED\endtrivlist\@endpefalse
}
\providecommand{\tfaname}{Teorema Fondamentale dell'Algebra}
\makeatother
`

Ciao,
Roberto.

Oppure prendendo la definizione di proof:`\usepackage{amsthm}
\makeatletter
\newenvironment{tfa}[1][\tfaname]{\par
\pushQED{\qed}%
\normalfont \topsep6\p@\@plus6\p@\relax
…`

Stavi scherzando, vero?
Ciao
Enrico

Oppure prendendo la definizione di proof:`\usepackage{amsthm}
\makeatletter
\newenvironment{tfa}[1][\tfaname]{\par
\pushQED{\qed}%
\normalfont \topsep6\p@\@plus6\p@\relax
…`

Stavi scherzando, vero?
Ciao
Enrico

Mmmh, perché? Visto che Vasco voleva un ambiente identico a proof, perché non utilizzarne la definizione? Tanto più che amsthm lo ha già caricato…
E poi mi funziona…

Cosa ho sbagliato?? 😕

Ciao,
Roberto.

Stavi scherzando, vero?

Mmmh, perché? Visto che Vasco voleva un ambiente identico a proof, perché non utilizzarne la definizione? Tanto più che amsthm lo ha già caricato…
E poi mi funziona…
Cosa ho sbagliato?? 😕

Non è sbagliato, ci mancherebbe. Ma stai facendo un doppione inutile: l’ambiente proof ha un argomento opzionale proprio per sistemare una parola diversa dallo standard che sta nella macro \proofname. Infatti la definizione è`\newenvironment{proof}[1][\proofname]{…}{…}`Se scrivi`\begin{proof}[Asdrubale]`la tua dimostrazione comincerà con “Asdrubale” al posto di “Dimostrazione” (o “Proof” in inglese). Quindi`\providecommand{\tfaname}{Teorema fondamentale dell'algebra}
\newenvironment{tfa}{\begin{proof}[\tfaname]}{\end{proof}}`è più che sufficiente.
Ciao
Enrico

Oppure prendendo la definizione di proof:`\usepackage{amsthm}
\makeatletter
\newenvironment{tfa}[1][\tfaname]{\par
\pushQED{\qed}%
\normalfont \topsep6\p@\@plus6\p@\relax
…`

Stavi scherzando, vero?
Ciao
Enrico

Si… stavo scherzando… 😳
Ho saltato la parte della numerazione romana, inoltre è decisamente più semplice utilizzare la definizione di proof piuttosto che creare la nuova definizione da zero.

Però la label me la restituisce in cifra (?).

Scusate la distrazione!

Ciao,
Roberto.

Si… stavo scherzando… 😳
Ho saltato la parte della numerazione romana, inoltre è decisamente più semplice utilizzare la definizione di proof piuttosto che creare la nuova definizione da zero.

Però la label me la restituisce in cifra (?).

Scusate la distrazione!

L’avevo detto che era di getto 🙂
`\newcounter{tfa}
\renewcommand{\thetfa}{\Roman{tfa}}
…`Ciao
Enrico