我尝试使用 paracol 包，因为我想将相似的定理放在一起，这样读者就可以比较它们。但我注意到原文从 290 增长到了 320。看看发生了什么，我发现一个小例子
\documentclass{amsart}
\scrollmode
\newtheorem{theorem}{Theorem}[section]
\newtheorem{definition}[theorem]{Definition}
\usepackage{xcolor}
\usepackage{framed}
\usepackage{paracol}
\begin{document}
\title{Test File}
\begin{abstract}
In this paper I test shaded environment.
\end{abstract}
\maketitle
\newenvironment{Shaded}{%
\def\FrameCommand{\fboxsep3pt \colorbox{shadecolor}}%
\MakeFramed {\FrameRestore}}%
{\endMakeFramed}
\newenvironment{framedPage}[1][\hsize]
{\MakeFramed{\hsize#1\advance\hsize-\width \FrameRestore}}%
{\endMakeFramed}
\newenvironment{shadedPage}[1][\hsize]
{
\def\FrameCommand{\colorbox{shadecolor}}%
\MakeFramed{ \FrameRestore}}%
{\endMakeFramed}
\setlength{\columnseprule}{0.5pt}
\begin{paracol}{2}
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
representation.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
representation.
Therefore, automorphisms of left
It remains to prove that
the kernel of inefficiency consists only of identity.
Identity transformation
satisfies to equation
\[
v^i=v^ja_i^j
\]
Choosing values of coordinates as
$v^i=\delta^i_k$
where we selected $k$ we get
\begin{equation}
\label{identity col}
\delta^i_k=\delta^j_ka^i_j
\end{equation}
From \eqref{identity col} it follows
\[
\delta^i_k=a^i_k
\]
Since $k$ is arbitrary, we get the conclusion $a=\delta$.
\switchcolumn%
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
representation.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
representation.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
representation.
Therefore, automorphisms of left
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
representation.
Therefore, automorphisms of left
It remains to prove that
the kernel of inefficiency consists only of identity.
Identity transformation
satisfies to equation
\[
v_i=v_ja^j_i
\]
Choosing values of coordinates as
$v_i=\delta^k_i$
where we selected $k$ we get
\begin{equation}
\label{identity row}
\delta^k_i=\delta^k_ja^j_i
\end{equation}
From \eqref{identity row} it follows
\[
\delta^k_i=a^k_i
\]
Since $k$ is arbitrary, we get the conclusion $a=\delta$.
\end{paracol}
\end{document}
您可以看到第二页有几行空行。
答案1
如果两列使用相同的内容，则它们完全相等。
\documentclass{amsart}
\scrollmode
\newtheorem{theorem}{Theorem}[section]
\newtheorem{definition}[theorem]{Definition}
\usepackage{xcolor}
\usepackage{framed}
\usepackage{paracol}
\begin{document}
\title{Test File}
\begin{abstract}
In this paper I test shaded environment.
\end{abstract}
\maketitle
\newenvironment{Shaded}{%
\def\FrameCommand{\fboxsep3pt \colorbox{shadecolor}}%
\MakeFramed {\FrameRestore}}%
{\endMakeFramed}
\newenvironment{framedPage}[1][\hsize]
{\MakeFramed{\hsize#1\advance\hsize-\width \FrameRestore}}%
{\endMakeFramed}
\newenvironment{shadedPage}[1][\hsize]
{
\def\FrameCommand{\colorbox{shadecolor}}%
\MakeFramed{ \FrameRestore}}%
{\endMakeFramed}
\setlength{\columnseprule}{0.5pt}
\begin{paracol}{2}
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear representation.
According to the theorem the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear GL-representation.
According to the theorem the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear representation.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear representation.
Therefore, automorphisms of left It remains to prove that
the kernel of inefficiency consists only of identity.
Identity transformation satisfies to equation
\[v^i=v^ja_i^j\]
Choosing values of coordinates as
$v^i=\delta^i_k$
where we selected $k$ we get
\begin{equation}
\label{identity col}
\delta^i_k=\delta^j_ka^i_j
\end{equation}
From \eqref{identity col} it follows
\[\delta^i_k=a^i_k\]
Since $k$ is arbitrary, we get the conclusion $a=\delta$.
\switchcolumn%
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear representation.
According to the theorem the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear GL-representation.
According to the theorem the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear representation.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear representation.
Therefore, automorphisms of left It remains to prove that
the kernel of inefficiency consists only of identity.
Identity transformation satisfies to equation
\[v^i=v^ja_i^j\]
Choosing values of coordinates as
$v^i=\delta^i_k$
where we selected $k$ we get
\begin{equation}
\label{identity col}
\delta^i_k=\delta^j_ka^i_j
\end{equation}
From \eqref{identity col} it follows
\[\delta^i_k=a^i_k\]
Since $k$ is arbitrary, we get the conclusion $a=\delta$.
\end{paracol}
为了避免与两个接一个的类似定理的文本相混淆，我建议定义新的命令，例如，\firsttheorem每个 \secondtheorem命令都包含其定理的内容。
然后使用
\begin{paracol}{2}
\firsttheorem
\switchcolumn%
\secondtheorem
\end{paracol}
正如本代码所示。
\documentclass{amsart}
\scrollmode
\newtheorem{theorem}{Theorem}[section]
\newtheorem{definition}[theorem]{Definition}
\usepackage{xcolor}
\usepackage{framed}
\usepackage{paracol}
\begin{document}
\title{Test File}
\begin{abstract}
In this paper I test shaded environment.
\end{abstract}
\maketitle
\newenvironment{Shaded}{%
\def\FrameCommand{\fboxsep3pt \colorbox{shadecolor}}%
\MakeFramed {\FrameRestore}}%
{\endMakeFramed}
\newenvironment{framedPage}[1][\hsize]
{\MakeFramed{\hsize#1\advance\hsize-\width \FrameRestore}}%
{\endMakeFramed}
\newenvironment{shadedPage}[1][\hsize]
{
\def\FrameCommand{\colorbox{shadecolor}}%
\MakeFramed{ \FrameRestore}}%
{\endMakeFramed}
\setlength{\columnseprule}{0.5pt}
\newcommand{\firsttheorem}{% first theorem
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear representation.
According to the theorem the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear GL-representation.
According to the theorem the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear representation.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear representation.
Therefore, automorphisms of left It remains to prove that
the kernel of inefficiency consists only of identity.
Identity transformation satisfies to equation
\[v^i=v^ja_i^j\]
Choosing values of coordinates as
$v^i=\delta^i_k$
where we selected $k$ we get
\begin{equation}
\label{identity col}
\delta^i_k=\delta^j_ka^i_j
\end{equation}
From \eqref{identity col} it follows
\[\delta^i_k=a^i_k\]
Since $k$ is arbitrary, we get the conclusion $a=\delta$.
}
\newcommand{\secondtheorem}{% a similar theorem
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear
GL-representation.
According to the theorem
the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear representation.
According to the theorem the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of rows form
a right-side linear GL-representation.
According to the theorem the product of automorphisms $a$ and $b$
has matrix $a*b$.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear representation.
Therefore, automorphisms of left $A$-vector space of columns form
a right-side linear representation.
Therefore, automorphisms of left It remains to prove that
the kernel of inefficiency consists only of identity.
Identity transformation satisfies to equation
\[v^i=v^ja_i^j\]
Choosing values of coordinates as
$v^i=\delta^i_k$
where we selected $k$ we get
\begin{equation}
\label{identity col}
\delta^i_k=\delta^j_ka^i_j
\end{equation}
From \eqref{identity col} it follows
\[\delta^i_k=a^i_k\]
Since $k$ is arbitrary, we get the conclusion $a=\delta$.
}
\begin{paracol}{2}
\firsttheorem
\switchcolumn%
\secondtheorem
\end{paracol}
\end{document}
更新
第二页的空白是由于paracol和的组合而产生的amsart。
article使用标准类并添加\usepackage{amsmath, amsthm}以使命令可用，间隙就会消失amslatex。
也可以看看文章 vs amsart
