[quote]Buongiorno a tutti!
Leggendo vari topics sull’argomento overfull-underfull, ho notato che Enrico (e altri) suggerisce di non utilizzare \\ per andare a capo.
Ora, nel mio lavoro di tesi, per eliminare tutti gli overfull, sono stata costretta ad inserire qualche andata a capo con \\, continuando però ad avere messaggi di warning di underfull.
Cosa fare allora per liberarsi di questi warning senza dover utilizzare \\?
Forzare un a capo con \\ è certamente il modo peggiore di risolvere i problemi di “overfull”. Più sensato è inserire il comando \linebreak, che però darà spesso messaggi di “underfull” e composizioni di capoversi terribili. In realtà mi sorprende che ci siano tante situazioni di questo tipo, perché di solito TeX riesce a trovare il modo di comporre i capoversi in modo almeno dignitoso.
Puoi fare un esempio di un capoverso che ti dia particolari problemi?
Ciao
Enrico
Un piccolo esempio è il seguente ( avrei bisogno di più tempo per trovare tutti i vecchi overfull per i quali ho modificato già il testo con l’andata a capo…):
\documentclass[a4paper,12pt,twoside,draft]{book}
\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc} %ACCENTI
\usepackage{mathptmx}
\usepackage[italian]{babel} % ITALIANO
\usepackage{latexsym}
\usepackage{amsmath,amsfonts,amssymb} % MATEMATICA
\usepackage{graphicx} % INSERIMENTO FIGURE
\usepackage{microtype}
\usepackage{indentfirst}
\usepackage{wrapfig}
\usepackage{xcolor} % COLORI
\usepackage{frcursive}
\usepackage{cancel} % SIMBOLO MIGLIORE DI SEMPLIFICAZIONE NELLE FORMULE MATEMATICHE
\usepackage{color} % SCRIVERE COLORATO
\usepackage{fancybox}
\usepackage{numprint} % NUMERI DI PAGINA
\usepackage[a4paper,top=4cm,bottom=4cm,left=4.5cm,right=4.5cm,headheight=15pt,bindingoffset=5mm,heightrounded]{geometry}
\usepackage{caption} % INSERIMENTO IMMAGINI
\captionsetup{labelformat=empty,textfont=sl}
\usepackage{natbib} % BIBLIOGRAFIA
\usepackage[resetlabels]{multibib} % BIBLIOGRAFIA
\newcites{web}{Siti Web consultati} % SITOGRAFIA
\usepackage{url} % SITI
\usepackage{amsthm}
\theoremstyle{plain} %STILE PLAIN PER I TEOREMI
\swapnumbers
\newtheorem{teo}{Teorema}[section]
\newtheorem{cor}[teo]{Corollario}
\newtheorem{prop}[teo]{Proposizione}
\newtheorem{lemma}[teo]{Lemma}
\newtheorem{defin}[teo]{Definizione}
\newtheorem{es}[teo]{Esercizio}
\newtheorem{ese}[teo]{Esempio}
\newtheorem{cost}[teo]{Costruzione}
\newtheorem{oss}[teo]{Osservazione}
\newenvironment{svolg}{\trivlist\item[]\emph{Svolgimento \ }\ignorespaces}%
{\endtrivlist}
\newcommand{\fncyblank}{\fancyhf{}}
\newenvironment{abstract}%
{\fncyblank \null \vfill \begin{center}%
\bfseries \end{center}}%
{\vfill \null }
\setlength{\unitlength}{2em}
\renewcommand{\leq}{\leqslant}
\renewcommand{\geq}{\geqslant}
\definecolor{lightblue}{rgb}{0.1,124,4}
\newenvironment{changemargin}[2]{%
\begin{list}{}{%
\setlength{\leftmargin}{#1}%
\setlength{\rightmargin}{#2}%
}%
\item[]}{
\end{list}}
\newenvironment{sistema}%
{\left\lbrace \begin{array}{@{}l@{}}}%
{\end{array}\right.}
\usepackage{fancyhdr}
\pagestyle{fancy}
\makeatletter
\def\cleardoublepage{\clearpage\if@twoside
\ifodd\c@page
\else\hbox{}\thispagestyle{empty}\newpage
\if@twocolumn\hbox{}\newpage\fi\fi\fi}
\makeatother
\begin{document}
\begin{proof}
\noindent Basta dimostrare il Lemma \ref{lem5}. per quattro quadrati. In altre parole, devo dimostrare che, dati $m$ e $n$ numeri interi positivi, scrivibili come somma di quattro quadrati di interi, anche $mn$ è scrivibile come somma di quattro quadrati di interi. Cioè: \\
$(x_{1}^2+x_{2}^2+x_{3}^2+x_{4}^2)(y_{1}^2+y_{2}^2+y_{3}^2+y_{4}^2)= \\
(x_{1}y_{1}+x_{2}y_{2}+x_{3}y_{3}+x_{4}y_{4})^2+(x_{1}y_{2}-x_{2}y_{1}+y_{3}y_{4}-x_{4}y_{3})^2+(x_{1}y_{3}-x_{3}y_{1}+x_{4}y_{2}-x_{2}y_{4})^2+(x_{1}y_{4}-x_{4}y_{1}+x_{2}y_{3}-x_{3}y_{2})^2$. \\
E infatti: \\
$(x_{1}^2+x_{2}^2+x_{3}^2+x_{4}^2)(y_{1}^2+y_{2}^2+y_{3}^2+y_{4}^2) = \\ x_{1}^2y_{1}^2+x_{1}^2y_{2}^2+x_{1}^2y_{3}^2+x_{1}^2y_{4}^2+x_{2}^2y_{1}^2+x_{2}^2y_{2}^2+x_{2}^2y_{3}^2+ x_{2}^2y_{4}^2+x_{3}^2y_{1}^2+x_{3}^2y_{2}^2+x_{3}^2y_{3}^2+x_{3}^2y_{4}^2+x_{4}^2y_{1}^2+x_{4}^2y_{2}^2+ x_{4}^2y_{3}^2+x_{4}^2y_{4}^2$ \\
e \\
$(x_{1}y_{1}+x_{2}y_{2}+x_{3}y_{3}+x_{4}y_{4})^2+(x_{1}y_{2}-x_{2}y_{1}+y_{3}y_{4}-x_{4}y_{3})^2+(x_{1}y_{3}-x_{3}y_{1}+x_{4}y_{2}-x_{2}y_{4})^2+(x_{1}y_{4}-x_{4}y_{1}+x_{2}y_{3}-x_{3}y_{2})^2 = \\
x_{1}^2y_{1}^2+x_{2}^2y_{2}^2+x_{3}^2y_{3}^2+x_{4}^2y_{4}^2+ \cancel{\stackrel{\color{red} 2x_{1}y_{1}x_{2}y_{2}}{\ldots}}+\cancel{\stackrel{\color{green}2x_{1}y_{1}x_{3}y_{3}}{\ldots}}+ \cancel{\stackrel{\color{orange}2x_{1}y_{1}x_{4}y_{4}}{\ldots}}+ \cancel{\stackrel{\color{purple}2x_{2}y_{2}x_{3}y_{3}}{\ldots}}+ \cancel{\stackrel{\color{pink}2x_{2}y_{2}x_{4}y_{4}}{\ldots}}+\cancel{\stackrel{\color{blue}2x_{3}y_{3}x_{4}y_{4}}{\ldots}}+ x_{1}^2y_{2}^2+x_{2}^2y_{1}^2+ x_{3}^2y_{4}^2+x_{4}^2y_{3}^2-\cancel{\stackrel{\color{red} 2x_{1}y_{2}x_{2}y_{1}}{\ldots}}+\cancel{\stackrel{\color{brown}2x_{1}y_{2}x_{3}y_{4}}{\ldots}}- \cancel{\stackrel{\color{yellow}2x_{1}y_{2}x_{4}y_{3}}{\ldots}}-\cancel{\stackrel{\color{violet}2x_{2}y_{1}x_{3}y_{4}}{\ldots}}+ \cancel{\stackrel{\color{gray}2x_{2}y_{1}x_{4}y_{3}}{\ldots}}-\cancel{\stackrel{\color{blue}2x_{3}y_{4}x_{4}y_{3}}{\ldots}}+ x_{1}^2y_{3}^2+x_{3}^2y_{1}^2+x_{4}^2y_{2}^2+x_{2}^2y_{4}^2-\cancel{\stackrel{\color{green}2x_{1}y_{3}x_{3}y_{1}}{\ldots}}+ \cancel{\stackrel{\color{yellow}2x_{1}y_{3}x_{4}y_{2}}{\ldots}}-\cancel{\stackrel{\color{cyan}2x_{1}y_{3}x_{2}y_{4}}{\ldots}}- \cancel{\stackrel{\color{lightblue}2x_{3}y_{1}x_{4}y_{2}}{\ldots}}+\cancel{\stackrel{\color{violet}2x_{3}y_{1}x_{2}y_{4}}{\ldots}}- \cancel{\stackrel{\color{pink}2x_{4}y_{2}x_{2}y_{4}}{\ldots}}+x_{1}^2y_{4}^2+x_{4}^2y_{1}^2+x_{2}^2y_{3}^2+x_{3}^2y_{2}^2- \cancel{\stackrel{\color{orange}2x_{1}y_{4}x_{4}y_{1}}{\ldots}}+\cancel{\stackrel{\color{cyan}2x_{1}y_{4}x_{2}y_{3}}{\ldots}}- \cancel{\stackrel{\color{brown}2x_{1}y_{4}x_{3}y_{2}}{\ldots}}-\cancel{\stackrel{\color{gray}2x_{4}y_{1}x_{2}y_{3}}{\ldots}}+ \cancel{\stackrel{\color{lightblue}2x_{4}y_{1}x_{3}y_{2}}{\ldots}}-\cancel{\stackrel{\color{purple}2x_{2}y_{3}x_{3}y_{2}}{\ldots}}=
x_{1}^2y_{1}^2+x_{2}^2y_{2}^2+x_{3}^2y_{3}^2+x_{4}^2y_{4}^2+x_{1}^2y_{2}^2+x_{2}^2y_{1}^2+ x_{3}^2y_{4}^2+x_{4}^2y_{3}^2+x_{1}^2y_{3}^2+x_{3}^2y_{1}^2+x_{4}^2y_{2}^2+x_{2}^2y_{4}^2+ x_{1}^2y_{4}^2+x_{4}^2y_{1}^2+x_{2}^2y_{3}^2+x_{3}^2y_{2}^2$.
\end{proof}
\end{document}[/quote]
Sbagli tutto fin dal principio.
`\begin{proof}
Basta dimostrare il Lemma \ref{lem5}. per quattro quadrati. In altre
parole, devo dimostrare che, dati $m$ e $n$ numeri interi positivi,
scrivibili come somma di quattro quadrati di interi, anche $mn$ è
scrivibile come somma di quattro quadrati di interi. Cioè:
\begin{align*}
&(x_{1}^2+x_{2}^2+x_{3}^2+x_{4}^2)(y_{1}^2+y_{2}^2+y_{3}^2+y_{4}^2)={} \\
&(x_{1}y_{1}+x_{2}y_{2}+x_{3}y_{3}+x_{4}y_{4})^2+(x_{1}y_{2}-x_{2}y_{1}+y_{3}y_{4}-x_{4}y_{3})^2+{}\\
&\qquad(x_{1}y_{3}-x_{3}y_{1}+x_{4}y_{2}-x_{2}y_{4})^2+(x_{1}y_{4}-x_{4}y_{1}+x_{2}y_{3}-x_{3}y_{2})^2.
\end{align*}
E infatti:
\begin{align*}
&(x_{1}^2+x_{2}^2+x_{3}^2+x_{4}^2)(y_{1}^2+y_{2}^2+y_{3}^2+y_{4}^2)={}\\
&x_{1}^2y_{1}^2+x_{1}^2y_{2}^2+x_{1}^2y_{3}^2+x_{1}^2y_{4}^2+x_{2}^2y_{1}^2+x_{2}^2y_{2}^2+x_{2}^2y_{3}^2+x_{2}^2y_{4}^2+{}\\
&\qquad x_{3}^2y_{1}^2+x_{3}^2y_{2}^2+x_{3}^2y_{3}^2+x_{3}^2y_{4}^2+x_{4}^2y_{1}^2+x_{4}^2y_{2}^2+x_{4}^2y_{3}^2+x_{4}^2y_{4}^2
\end{align*}
e
…
\end{proof}`
Come puoi pensare che formule di quel genere non siano fuori corpo?
Ovviamente dopo \begin{proof} non va una riga vuota e la parola “Dimostrazione” non va in una riga da sola. Se qualcuno ti dice il contrario, ribellati mostrando libri ben stampati dove questo non si fa.
Ciao
Enrico