我有一份文件,其中的证明有时在与陈述相关声明不同的页面上开始。
是否可以强制这样(除非权利要求的陈述超过一页)证明总是从陈述权利要求的页面开始?
例子:
LaTeX Code:
%% LyX 2.2.0dev created this file. For more info, see http://www.lyx.org/.
%% Do not edit unless you really know what you are doing.
\documentclass[oneside,english,reqno]{amsart}
\usepackage[T1]{fontenc}
\usepackage[utf8]{luainputenc}
\usepackage[a4paper]{geometry}
\geometry{verbose,tmargin=1cm,bmargin=1cm,lmargin=1cm,rmargin=1cm}
\setcounter{secnumdepth}{5}
\usepackage{amsthm}
\usepackage{amssymb}
\makeatletter
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Textclass specific LaTeX commands.
\swapnumbers
\theoremstyle{plain}
\newtheorem{thm}{\protect\theoremname}[section]
\theoremstyle{remark}
\newtheorem{claim}[thm]{\protect\claimname}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% User specified LaTeX commands.
\usepackage[breaklinks,colorlinks=true,linkcolor=blue,
citecolor=blue, urlcolor=blue]{hyperref}
\usepackage{braket}
\usepackage{mathtools}
\DeclarePairedDelimiter\abs{\lvert}{\rvert}%
\DeclarePairedDelimiter\norm{\lVert}{\rVert}%
\let\oldnorm\norm
\def\norm{\@ifstar{\oldnorm}{\oldnorm*}}
\makeatother
\usepackage{amsfonts}
\usepackage{dsfont}
\renewcommand{\vec}[1]{\mathbf{#1}}
\usepackage[scaled=0.88]{beraserif}
\usepackage[scaled=0.85]{berasans}
\usepackage[scaled=0.84]{beramono}
\usepackage[T1]{fontenc}
\usepackage{mathpazo}
\usepackage[T1,small,euler-digits]{eulervm}
%\numberwithin{section}{chapter}
% make boxes around proofs:
%-------------------
\usepackage[framemethod=tikz]{mdframed}
\surroundwithmdframed[
hidealllines=true,
leftline=true,
bottomline=true,
innertopmargin=0pt,
skipabove=\dimexpr\topsep+6pt\relax,
skipbelow=\topsep,
innerrightmargin=0pt,
]{proof}
%-------------------
\AtBeginDocument{
\def\labelitemii{\(\circ\)}
\def\labelitemiv{\(\star\)}
}
\makeatother
\usepackage{babel}
\providecommand{\claimname}{Claim}
\providecommand{\theoremname}{Theorem}
\begin{document}
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here.
\begin{claim}
This is a claim.
\begin{proof}
This is the associated proof.
\begin{eqnarray*}
\hbar & = & \hbar\\
& = & \hbar\\
& = & \hbar\\
& = & \hbar\\
& = & \hbar\\
& = & \hbar\\
& = & \hbar\\
& = & \hbar\\
& = & \hbar
\end{eqnarray*}
\end{proof}
\end{claim}
\end{document}
答案1
您可以使用needspace
(但我根本不知道如何使用 LyX 来做到这一点)。
\documentclass[oneside,english,reqno]{amsart}
\usepackage[T1]{fontenc}
\usepackage[utf8]{luainputenc}
\usepackage[a4paper]{geometry}
\geometry{verbose,tmargin=1cm,bmargin=1cm,lmargin=1cm,rmargin=1cm}
\setcounter{secnumdepth}{5}
\usepackage{amsthm}
\usepackage{amssymb}
\usepackage{needspace}
\makeatletter
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Textclass specific LaTeX commands.
\swapnumbers
\theoremstyle{plain}
\newtheorem{thm}{\protect\theoremname}[section]
\theoremstyle{remark}
\newtheorem{claimINNER}[thm]{\protect\claimname}
\newenvironment{claim}
{\par\Needspace{2\baselineskip}\claimINNER}
{\endclaimINNER}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% User specified LaTeX commands.
\usepackage[breaklinks,colorlinks=true,linkcolor=blue,
citecolor=blue, urlcolor=blue]{hyperref}
\usepackage{braket}
\usepackage{mathtools}
\DeclarePairedDelimiter\abs{\lvert}{\rvert}%
\DeclarePairedDelimiter\norm{\lVert}{\rVert}%
\let\oldnorm\norm
\def\norm{\@ifstar{\oldnorm}{\oldnorm*}}
\makeatother
\usepackage{amsfonts}
\usepackage{dsfont}
\renewcommand{\vec}[1]{\mathbf{#1}}
\usepackage[scaled=0.88]{beraserif}
\usepackage[scaled=0.85]{berasans}
\usepackage[scaled=0.84]{beramono}
\usepackage[T1]{fontenc}
\usepackage{mathpazo}
\usepackage[T1,small,euler-digits]{eulervm}
%\numberwithin{section}{chapter}
% make boxes around proofs:
%-------------------
\usepackage[framemethod=tikz]{mdframed}
\surroundwithmdframed[
hidealllines=true,
leftline=true,
bottomline=true,
innertopmargin=0pt,
skipabove=\dimexpr\topsep+6pt\relax,
skipbelow=\topsep,
innerrightmargin=0pt,
]{proof}
%-------------------
\AtBeginDocument{
\def\labelitemii{\(\circ\)}
\def\labelitemiv{\(\star\)}
}
\makeatother
\usepackage{babel}
\providecommand{\claimname}{Claim}
\providecommand{\theoremname}{Theorem}
\begin{document}
A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here. A lot of text
goes here. A lot of text goes here. A lot of text goes here. A lot
of text goes here. A lot of text goes here. A lot of text goes here.
A lot of text goes here. A lot of text goes here. A lot of text goes
here. A lot of text goes here. A lot of text goes here.
\begin{claim}
This is a claim.
\begin{proof}
This is the associated proof.
\begin{align*}
A & = B \\
& = B \\
& = B \\
& = B \\
& = B \\
& = B \\
& = B \\
& = B \\
& = B
\end{align*}
\end{proof}
\end{claim}
\end{document}
答案2
答案在@Christian Hupfer 的评论中。
您提到使用 lyx,因此您需要在声明启动小页面之前添加 ERT。
\begin{minipage}[]{1 \textwidth}
在你关闭小页面的证明之后会出现一个 ERT:
\end{minipage}
确保您的 ERT 始终处于“标准”环境中。
有关 minipage 及其使用的更多信息,请在 ctan 中查找,或查看在这个网站上
另一种方法是使用samepage
:在声明前添加 ERT
\begin{samepage}
证明完毕后
\end{samepage}
正如@Christian Hupfer 所说,minipage
可能不会将索赔和证据放在您想要的位置,更改小页面中的选项[...]
或使用samepage
可能会解决您的放置问题