Matematicamente.it

Salve, uso i seguenti pacchetti e ho tre problemi

Codice:

\documentclass[12pt]{book}
\usepackage[italian]{babel}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{amsmath,amssymb}
\usepackage{graphicx}
\usepackage{hyperref}
\usepackage{tikz}


\newtheorem{theorem}{Teorema}[section]
\newtheorem{corollary}{Corollario}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{prop}[theorem]{Propositione}
\newtheorem{definition}{Definizione}[section]
\newtheorem{observation}[theorem]{Osservazione}
\newtheorem{exemple}[theorem]{Esempio}


1) Non capisco perché non riconosce

Codice:

\begin{proof}
...
\end{proof}


Non dovrebbe essere automatico da \usepackage{amsmath,amssymb}?
2) Ciò che scrivo in definizioni, esempi, eccetera viene messo in corsivo. E' possibile disabilitarlo?
3) Come posso citare teoremi\osservazioni? Mi sapreste fare un esempio (ho provato a cercare ma non sono riuscito a risolvere ...)

Sapreste aiutarmi? Grazie in anticipo

Edit: ho risolto la prima cosa aggiungendo

Codice:

\usepackage{amsthm}



Leggiti la documentazione del pacchetto amsthm: ci sono le risposte ad entrambe le domande.
La trovi su ctan.org.

2) \theoremstyle{definition} tra \usepackage{amsthm} e \newtheorem
3) \label{thm:un nome a caso} per creare il riferimento e \ref{thm:lo stesso nome a caso di prima} per riferirsi

Codice:

\begin{teorema}\label{thm:pitagora}
In ogni triangolo rettangolo~\dots{}
\end{teorema}
Come dice il teorema~\ref{thm:pitagora} si ha~\dots{}


Devi far generare il pdf due volte di seguito per avere tutti i riferimenti a posto.

Mi chiedo perché sia così complicato questo strumento, quando serve solo per scrivere un foglio di testo...

Settevoltesette ha scritto:Mi chiedo perché sia così complicato questo strumento, quando serve solo per scrivere un foglio di testo...

E' un po' come chiedere perché esiste così tanta matematica, se alla fine serve solo a costruire le dighe.

Insomma, é un po' diverso...

caulacau ha scritto:

Settevoltesette ha scritto:Mi chiedo perché sia così complicato questo strumento, quando serve solo per scrivere un foglio di testo...

E' un po' come chiedere perché esiste così tanta matematica, se alla fine serve solo a costruire le dighe.

Un paragone un po' migliore sarebbe: perché un computer è così complicato quando serve solo per cambiare colore ai pixel di uno schermo? https://www.xkcd.com/722/
Scrivere su un foglio è più complicato di quanto sembri a prima vista, soprattutto se vuoi un controllo completo del risultato dal punto di vista tipografico.
Se invece vuoi solo un programma per scrivere del testo, sì, LaTeX è decisamente complicato.

Sarebbe bello se separasse la gestione "sematica" del documento (divisione in sezioni, indice, riferimenti, glossario, acronimi, che alla fine sono praticamente tutte semplici sostituzioni di testo) dalla gestione tipografica. Si potrebbe per esempio compilare un documento in un file EPUB, oppure in un file di testo semplice per poi processarlo con altri sistemi. Invece è impossibile, i due concetti sono mischiati nello stesso linguaggio e negli stessi costrutti (con buona pace di chi ripete che in LaTeX presentazione e contenuto sono separati).

Però va anche considerato che è un progetto davvero vecchio. TeX stato sviluppato negli anni '70 e LaTeX negli anni '80. I computer e le applicazioni erano molto più limitati (uno dei motivi per cui era necessario compilare in più passi lo stesso documento), e anche l'output era particolare. Per capirci, lo standard PDF è del 1993, una quindicina di anni più giovane di TeX, una decina più giovane di LaTeX.
Infine, quando lo si sa usare bene, il risultato è davvero gradevole.

Gentilissimo come sempre Indrjo Dedej, ti ringrazio tantissimo. Funziona a meraviglia (ho generato una sola volta il pdf)

Settevoltesette ha scritto:Mi chiedo perché sia così complicato questo strumento, quando serve solo per scrivere un foglio di testo...

Io sono un principiante ma quel poco che riesco a fare mi dà grandissima soddisfazione : prima scrivevo i miei appunti su word ma da quando ho scoperto latex è tutto diverso!