我正在尝试为特定期刊撰写一篇论文（我正在使用他们的预设），但我在主要证明方面面临两个问题。首先，如果证明不够短，就会强制分页，并且证明将从下一页开始（关于它对应的定理）。此外，如果证明足够长，出于某种原因，页边距会被忽略，并且证明会一直呈现在同一页上，而不会继续呈现在下一页上，这更奇怪。
以下是代码（抱歉，这些包是不必要的，因为我不想留下任何可能相关的东西）：
\documentclass[a4paper,twoside,11pt]{article}
\usepackage[brazil]{babel}
\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[dvips,dvipdfm]{graphicx}
\usepackage{amsmath,latexsym,amsfonts,amssymb,amsthm}
\usepackage{bbold}
\usepackage[sans]{dsfont}
\usepackage{geometry}
\usepackage{indentfirst}
\usepackage{boxedminipage}
\usepackage{fix-cm}
\usepackage[sf,sl,outermarks]{titlesec}
\usepackage{titletoc}
\usepackage{a4wide}
\usepackage{scalefnt}
\usepackage{rotating}
\usepackage{url}
\usepackage{textcomp}
\usepackage{enumitem}
\usepackage[usenames,dvipsnames]{color}
\usepackage{array}
\usepackage{longtable}
\usepackage{calc}
\usepackage{multirow}
\usepackage{hhline}
\usepackage{ifthen}
\usepackage{lscape}
\usepackage[normalem]{ulem}
\usepackage[small,sc,bf,hang]{caption}
\usepackage{float,subfigure}
\usepackage{lineno}
\usepackage{pstricks}
\usepackage[sort&compress,square,comma,numbers]{natbib}
\titleformat{\section}{\bfseries\Large\sffamily}{\thesection}{0.5cm}{}
\titleformat{\subsection}{\bfseries\large\sffamily}{\thesubsection}{0.5cm}{}
\titleformat{\subsubsection}{\bfseries\normalsize\sffamily}{\thesubsubsection}{0.5cm}{}
\geometry{a4paper,right=2cm,left=2cm,top=2.5cm,bottom=2.5cm,headheight=1.75cm,headsep=0.55cm}
\renewcommand{\thesection}{\arabic{section}}
\setcounter{tocdepth}{0}
\newcommand{\titulo}[1]
{
\begin{center}
\begin{minipage}{0.9\textwidth}
\begin{center}
{\LARGE\bfseries\scshape{#1}}
\end{center}
\end{minipage}
\end{center}
}
\newcommand{\palavraschave}[1]
{
\vspace*{-0.15cm}
\begin{center}
\begin{minipage}{0.9\textwidth}
\begin{center}
{\small{\textbf{\scshape{Palavras-chave:}}\hspace*{0.2cm}\textrm{#1}.}}
\end{center}
\end{minipage}
\end{center}
}
\newcommand{\autor}[3]
{
\begin{rmfamily}
\begin{center}
\begin{tabular}{c}
{\bfseries\large{#1}}\\
{\normalsize{#2}}\\
{\normalsize\itshape{#3}}
\end{tabular}
\end{center}
\end{rmfamily}
}
\newcommand{\N}{\mathds{N}}
\newcommand{\Z}{\mathds{Z}}
\newcommand{\Q}{\mathds{Q}}
\newcommand{\R}{\mathds{R}}
\newcommand{\C}{\mathds{C}}
\newcommand{\linhas}{\modulolinenumbers[1]\linenumbers}
\newenvironment{resumoportugues}
{\vspace*{0.25cm}\begin{center}\begin{small}\begin{minipage}{\textwidth}
\centerline{\bfseries\scshape{Resumo}\vspace*{-0.15cm}}\noindent}
{\end{minipage}\vspace*{0.25cm}\end{small}\end{center}}
\newenvironment{resumoingles}
{\begin{center}\begin{small}\begin{minipage}{\textwidth}
\centerline{\bfseries\scshape{Abstract}\vspace*{-0.15cm}}\noindent}
{\end{minipage}\vspace*{0.25cm}\end{small}\end{center}}
\newenvironment{prova}
{\begin{center}\begin{minipage}{\textwidth}
\centerline{\bfseries\sffamily{Demonstra\c{c}\~ao}}\begin{rmfamily}\vspace*{0.25cm}}
{\vspace*{0.25cm}\rightline{$\blacksquare$}\end{rmfamily}\end{minipage}\vspace*{0.25cm}\end{center}}
\newtheoremstyle{rmeef}
{0.25cm}
{0.25cm}
{\itshape}
{}
{\bfseries\sffamily}
{:}
{.5em}
{}
\theoremstyle{rmeef}
\newtheorem{definicao}{Defini\c{c}\~ao}
\newtheorem{teorema}{Teorema}
\newtheorem{lema}{Lema}
\newtheorem{corolario}{Corol\'ario}
\newtheorem{proposicao}{Proposi\c{c}\~ao}
\newtheorem{postulado}{Postulado}
\newtheorem{axioma}{Axioma}
\newtheorem{conjectura}{Conjectura}
\newtheorem{caso}{Caso}
\newtheorem{observacao}{Observa\c{c}\~ao}
\pagestyle{empty}
\allowdisplaybreaks
\DeclareMathAlphabet{\mathpzc}{OT1}{pzc}{m}{it}
\begin{document}
\linhas
\begin{teorema}
There's something wrong I'm not figuring out.
\end{teorema}
\begin{prova}
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
\end{prova}
\end{document}
结果如下：
如果我在校样上不断添加行，它们却不会在任何地方显示出来，我做错了什么？我希望校样可以很好地分成两页或更多页。
答案1
prova 环境被定义为一个 minipage，它会生成一个牢不可破的块。
有些软件包可以制作易碎的盒子。但在这种情况下，似乎更适合只使用软件包中的 proof 环境，amsthm因为你已经在使用该软件包了。