Numerazione separata all’interno dimostrazioni

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

Ti ringrazio tanto per l’aiuto. Non sarei mai stato in grado di generare qualcosa del genere. Lo testo domani, e ti faccio sapere. Ad ogni modo, nel lavoro di tesi che sto approntando, le equazioni seguono una numerazione a tre cifre che tiene conto del paragrafo (es: (2.3.7)); mentre invece nelle dimostrazioni avrebbero seguito una numerazione semplice – (1), (2), etc… – cui fare esplicitamente riferimento: “…come si vede dalla (1) della dimostrazione del teorema 1.3.4…”. Supreme richieste in realtà. Io mi sarei tranquillamente adattato. Grazie ancora

Allora e’ meglio se facciamo qualche correzione al codice:
`\usepackage{amsmath,amsthm}
\makeatletter
\newenvironment{modproof}
{\protected@edef\theparentequation{\theequation}%
\setcounter{parentequation}{\value{equation}}%
\setcounter{equation}{0}%
\renewcommand{\theequation}{\arabic{equation}}%
\begin{proof}}
{\end{proof}\setcounter{equation}{\value{parentequation}}}
\makeatother`
Ciao
Enrico

A questo punto la mia incapacità mi fa chiedere dove inserire questo codice. Io lavoro con questo foglio, che poi mi assembla i capitoli:

Vediamo di rimettere un po’ a posto il documento; metto %%% sulle cose da eliminare o sostituire.
`\documentclass[a4paper,oneside,11pt]{book}
\usepackage[italian]{babel}
\usepackage[latin1]{inputenc}
\usepackage[sumlimits]{amsmath}
\usepackage{amsthm}
\usepackage{amstext}
\usepackage{graphicx}
%%%\usepackage[dvips]{graphicx}%%%
\usepackage{amssymb}
\usepackage{fancyhdr}

% Regole per la numerazione dei teoremi
\newtheorem{defn}{Definizione}[section]
\newtheorem{theorem}[defn]{Teorema}
\newtheorem{corollario}[defn]{Corollario}
\newtheorem{lemma}[defn]{Lemma}
\newtheorem{proposition}[defn]{Proposizione}
\newtheorem{conjecture}[defn]{Congettura}
\newtheorem{property}[defn]{Proprietà}
\newtheorem{example}[defn]{Esempio}
\newtheorem{oss}[defn]{Osservazione}

% Regole per la numerazione delle equazioni
\numberwithin{equation}{section}
%%%\renewcommand{\theequation}{\arabic{chapter}.\arabic{section}.\arabic{equation}}

%%%\newenvironment{pf}{\medskip\noindent{\bf Dimostrazione.}\enspace} {\hfill\newline\smallskip}%%%
%%% Qui inserisci il codice che ti ho dato %%%
%%% e usi modproof come ambiente per le dimostrazioni%%%
%%% Se vuoi lo chiami pf %%%

% Definizione di alcuni simboli
\newcommand\Rset{\mathbb{R}}
\newcommand\Cset{\mathbb{C}}
\newcommand\Rset{\mathbb{R}}
%%%\def\Cset{\mathbb{C}}
%%%\def\Nset{\mathbb{N}}
%%%\def\Nset{\mathbb{N}}

% Impostazione dell'interlinea e offset sinistro
\linespread{1.3} % 1 = Normale – 1.3 = 1 linea e mezza – 1.6 = 2 linee
%%% Le tre righe che seguono non hanno alcun senso
%%%\parindent=0pt
%%%\parskip=6pt
%%%\hoffset1.5cm

% Personalizzazione dello stile di pagina
\pagestyle{fancy}
\fancyhf{}
\renewcommand{\chaptermark}[1]{\markboth{ \thechapter\ #1}{}}
\fancyhead[L]{\bfseries \leftmark} \fancyhead[R]{\thepage}

% \includeonly{Capitolo1,Capitolo3}

\begin{document}

\begin{titlepage}
\include{Frontespizio}
\end{titlepage}

% Imposta la numerazione delle pagine in numeri romani per Indice e Introduzione

\frontmatter
%%%\setcounter{page}{1}
%%%\pagenumbering{roman}

% Inserisce l'indice
\tableofcontents

% Inserisce l'introduzione
%%%\def\thechapter{}
%%%\def\chaptername{}
\include{Introduzione}

% Imposta la numerazione delle pagine in numeri arabi per i Capitoli della tesi
\mainmatter
%%%\def\chaptername{Capitolo}
%%%\setcounter{page}{1}
%%%\pagenumbering{arabic}
%%%\def\thechapter{\arabic{chapter}}
%%%\setcounter{chapter}{0}

% Inserimento dei Capitoli della tesi
\include{Capitolo1}
\include{Capitolo2}
\include{Capitolo3}
\include{Capitolo4}
\include{Capitolo5}
\include{Capitolo6}
\include{Capitolo7}
\include{Capitolo8}
\include{Capitolo9}
\include{Capitolo10}

% Generazione della bibliografia
\newpage
\bibliographystyle{plain_ita}
\addcontentsline{toc}{chapter}{Bibliografia}
\bibliography{Bibliografia}

\end{document}
`
Se vuoi modificare la posizione della gabbia sulla pagina, usa il pacchetto geometry; usare rientro nullo e distanziare i capoversi in un documento con interlinea aumentata non ha alcun senso (non ce l’ha neanche l’interlinea aumentata, a dire il vero :))

Ciao
Enrico

Tuttavia “Dimostrazione” ha perso il grassetto (ho supposto che ci sia da inserire qualcosa di simile a quel “\bf Dimostrazione” del mio vecchio file. Ma dove? E poi: io ho problemi nel visualizzare le immagini con Adobe – cosa che con Yap non è accaduta. Adesso il problema è ancora vivo. Come faccio ad abbatterlo?

Se proprio vuoi il grassetto (ma te lo sconsiglio) Prova qualcosa come
`\renewcommand{\proofname}{\textbf{Dimostrazione}}`
subito prima dell’ambiente proofmod.

Quanto al problema di visualizzazione con Acrobat Reader, non dovrebbe succedere: quant’è aggiornata la tua distribuzione di LaTeX e la tua versione di Acrobat Reader?

Riguardo al debito di riconoscenza con Enrico, mi accodo… 😉 😳

Ciao,
L.

`\documentclass{article}
\usepackage[italian]{babel}
\usepackage{amsmath,amsthm}

\makeatletter
\newenvironment{modproof}
{\protected@edef\theparentequation{\theequation}%
\setcounter{parentequation}{\value{equation}}%
\setcounter{equation}{0}%
\renewcommand{\theequation}{\arabic{equation}}%
\begin{proof}}
{\end{proof}\setcounter{equation}{\value{parentequation}}}
\makeatother

\begin{document}

\renewcommand{\proofname}{\normalfont\bfseries Dimostrazione}

\begin{modproof}
Prova.
\end{modproof}

\end{document}
`
Così funziona, ma non è il massimo. Passo la palla agli esperti per una soluzione più elegante…

Quanto al problema con le immagini, mi pare di averti già detto che è difficile risponderti senza saperne di più: invia un documento minimale che riproduce il problema.

Ciao,
L.

`\documentclass{article}
\usepackage[italian]{babel}
\usepackage{amsmath,amsthm}

\makeatletter
\newenvironment{modproof}
{\protected@edef\theparentequation{\theequation}%
\setcounter{parentequation}{\value{equation}}%
\setcounter{equation}{0}%
\renewcommand{\theequation}{\arabic{equation}}%
\begin{proof}}
{\end{proof}\setcounter{equation}{\value{parentequation}}}
\makeatother

\begin{document}

\renewcommand{\proofname}{\normalfont\bfseries Dimostrazione}

\begin{modproof}
Prova.
\end{modproof}

\end{document}
`
Così funziona, ma non è il massimo. Passo la palla agli esperti per una soluzione più elegante…

Non c’e’, veramente, una soluzione elegante. Scrivere l’intestazione di una dimostrazione in nero e’ davvero pacchiano. Ma in quel modo funziona; c’e’ solo una piccola faccenda da mettere a posto, per evitare sorprese quando si cambia lingua con babel: e’ meglio
`\addto\captionsitalian{\renewcommand{\proofname}{\normalfont\bfseries Dimostrazione}}`
Ciao
Enrico

Togli l’estensione dal file (.eps) e controlla che il file sia nella cartella del file .tex che compili. Altrimenti puoi definire il percorso della cartella contenente le immagini con \graphicspath.

Ciao. Ho provato anche togliendo l’estensione, ma nulla di che. Inoltre i file sono all’interno della cartella che contiene tutto il resto. Come funziona \graphicpath? Esiste una soluzione a questo problema?

Prendi la tua immagine generata da CorelDraw, diciamo foo.eps, e mettila nella stessa cartella di questo file, bar.tex:
`\documentclass{article}
\usepackage{graphicx}
\begin{document}
\includegraphics{foo} % non mettere l'estensione
\end{document} `
Compila con LaTeX e dicci che succede.

Poi, converti foo.eps in pdf (CorelDraw lo fa). Metti foo.pdf nella stessa cartella di bar.tex, compila con pdfLaTeX e dicci che succede.

Ciao,
L.

Alla prima domanda: dice che non trova il file scritto al posto di foo. Ma quello è là, lo vedo, lo apro… L’altra operazione a questo punto mi sembra non abbbia senso eseguirla. Che faccio? Grazie.

Caro Skeptos, ricapitoliamo: hai un problema con le immagini (un argomento estesamente trattato sul forum), hai chiesto aiuto e ti è stato chiesto di fare due cosette. Tu alla prima rispondi genericamente, senza inviare il messaggio di errore nel log; la seconda non la fai perché dici che tanto “non ha senso”.

In queste condizioni aiutarti mi sembra arduo, non credi? 😉

Ciao,
L.