☰

需要分割的证明

tag-icon • tag-icon equations amsmath page-breaking theorems
需要分割的证明

我写了一个证明，但不知为何 LaTeX 将它的位置弄得很奇怪。因此，它从页面底部开始证明，并将所有其余证明放在同一页上。因此，证明的结尾位于页边距。我该怎么做才能使“第一句...”和证明开头之间没有大空白，并且证明可以正确显示在多页上？

我用了：

\begin{proof}
 First sentence...
\begin{equation}
\begin{split}
...
\end{split}
\end{equation}
\end{proof}

我把

\allowdisplaybreaks

后

\usepackage{amsmath}

但没有帮助。

答案1

即使 有效，环境split也不能跨页面中断。这与处于环境中或使用\allowdisplaybreak无关；这是 的固有限制。proofclassicthesisamsmath

改用align*，如下例所示。

\documentclass{article}
\usepackage[a6paper]{geometry} % for avoiding overlong pages
\usepackage{amsmath}

\allowdisplaybreaks

\begin{document}

\section{A long align}

Some text before
\begin{align*}
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b
\end{align*}

\section{A long split}

Some text before
\begin{equation*}
\begin{split}
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b \\
a&=b
\end{split}
\end{equation*}

\end{document}

终端输出清楚地说明了发生了什么：

This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./splitsplit.tex
LaTeX2e <2016/03/31> patch level 3
Babel <3.9r> and hyphenation patterns for 83 language(s) loaded.
(/usr/local/texlive/2016/texmf-dist/tex/latex/base/article.cls
Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
(/usr/local/texlive/2016/texmf-dist/tex/latex/base/size10.clo))
(/usr/local/texlive/2016/texmf-dist/tex/latex/geometry/geometry.sty
(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/ifpdf.sty)
(/usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/ifvtex.sty)
(/usr/local/texlive/2016/texmf-dist/tex/generic/ifxetex/ifxetex.sty))
(/usr/local/texlive/2016/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/local/texlive/2016/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/local/texlive/2016/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/local/texlive/2016/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/local/texlive/2016/texmf-dist/tex/latex/amsmath/amsopn.sty))
(./splitsplit.aux)
*geometry* driver: auto-detecting
*geometry* detected driver: pdftex
[1{/usr/local/texlive/2016/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
[2]
Overfull \vbox (170.1335pt too high) has occurred while \output is active
[3] (./splitsplit.aux) )
(see the transcript file for additional information)</usr/local/texlive/2016/te
xmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/local/texlive/2016/tex
mf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/local/texlive/2016/texm
f-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb>
Output written on splitsplit.pdf (3 pages, 30155 bytes).
Transcript written on splitsplit.log.

相关部分是

[1{/usr/local/texlive/2016/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
[2]
Overfull \vbox (170.1335pt too high) has occurred while \output is active
[3] (./splitsplit.aux) )

我们有两页用于较长的内容align*，但是较长的内容split不能被拆分，因此会创建一个超满的页面。

最后说明。如果校样完全由对齐组成，则需要\qedhere在最后使用amsthm（ntheorem可以强制自动添加，但这不是我推荐的方式）。更重要的是，\allowdisplaybreaks只在初步阶段使用，对于最终修订，\displaybreak在适当的位置添加：您不想用一条孤行结束校样，对吗？

相关内容