저는 LaTeX를 처음 접했고(며칠 전에는 사용법을 몰랐습니다 \newtheorem) 누군가가 다음 문제를 해결하는 데 도움을 줄 수 있기를 바랐습니다.
을 사용하는 경우 \usepackage{amsthm}정리, 명제 등 및 해당 증명 간의 수직 간격을 어떻게 제어할 수 있나요? 특히, 정상적인 선처럼 따라갈 수 있는 증거를 찾고 있습니다. 이것은 내가 지금까지 생각해낸 것 중 최고입니다.
\usepackage{amthm}
\newtheoremstyle{newstyle}
{} %Aboveskip
{-.25pt} %Below skip
{\mdseries} %Body font e.g.\mdseries,\bfseries,\scshape,\itshape
{} %Indent
{\bfseries} %Head font e.g.\bfseries,\scshape,\itshape
{.} %Punctuation afer theorem header
{ } %Space after theorem header
{} %Heading
\theoremstyle{newstyle}
\newtheorem{thm}{Theorem}[section]
\newtheorem{prop}{Proposition}[thm]
\newtheorem{lem}{Lemma}
\newtheorem{cor}{Corollary}
\newenvironment{pf}
{\n\textit{Proof.}\begin{mdseries}}
{\end{mdseries}}\
그러나 두 가지 주요 문제가 있습니다. 첫째, 는 %Below skip나에게 많은 제어권을 주지 않는 것 같습니다. 와 {}음수 값을 입력할 때 사이에 상당히 상당한 점프가 있습니다. 둘째, 번호 매기기가 엉망입니다. 예를 들어 내가 입력한 \begin{thm}...\end{thm}다음 \begin{prop}...\end{prop}(섹션 1에서 말함) I 내 출력으로 얻을 것입니다 :
정리 1.1
명제 1.1.1
도움을 주셔서 감사합니다.
답변1
첫째, 아래 건너뛰기는 양수여야 하며 음수 값은 무시됩니다. 표준으로 제공되는 간격을 다음과 같이 쓰면 지울 수 있습니다.
\makeatletter
\def\thm@space@setup{\thm@preskip=0pt
\thm@postskip=0pt}
\makeatother
당신의 \newtheoremstyle. 값을 변경 0pt하거나 의 매개변수를 사용하여 이를 조정할 수 있습니다 \newtheoremstyle.
노력하다
\newenvironment{pf}{\noindent\textit{Proof.}\begin{mdseries}}{\end{mdseries}}
귀하의 증명 환경을 위해. 이것이 너무 단순한 경우(예: \qedAMS 환경의 기능을 원하는 경우) AMS 증명 코드를 다음과 같이 적용할 수 있습니다.
\makeatletter
\newenvironment{pf}[1][\proofname]{\par
\pushQED{\qed}%
\normalfont \topsep0\p@\relax
\trivlist
\item[\hskip\labelsep\itshape
#1\@addpunct{.}]\ignorespaces
}{%
\popQED\endtrivlist\@endpefalse
}
\makeatother
중요한 점은 값을 \topsep0으로 설정하는 것입니다.
thm마지막으로, s 안에 번호를 매기라고 요청했기 때문에 명제 번호가 잘못되었습니다 ! 당신은 작성해야합니다
\newtheorem{prop}[thm]{Proposition}
[thm]끝이 아닌 다른 인수 사이에 배치됩니다 .
여기에 이 모든 내용이 하나의 샘플 문서에 포함되어 있습니다.
\documentclass{article}
\usepackage{amsthm}
\makeatletter
\def\thm@space@setup{\thm@preskip=0pt
\thm@postskip=0pt}
\makeatother
\newtheoremstyle{newstyle}
{} %Aboveskip
{} %Below skip
{\mdseries} %Body font e.g.\mdseries,\bfseries,\scshape,\itshape
{} %Indent
{\bfseries} %Head font e.g.\bfseries,\scshape,\itshape
{.} %Punctuation afer theorem header
{ } %Space after theorem header
{} %Heading
\theoremstyle{newstyle}
\newtheorem{thm}{Theorem}[section]
\newtheorem{prop}[thm]{Proposition}
\newtheorem{lem}{Lemma}
\newtheorem{cor}{Corollary}
\makeatletter
\newenvironment{pf}[1][\proofname]{\par
\pushQED{\qed}%
\normalfont \topsep0\p@\relax
\trivlist
\item[\hskip\labelsep\itshape
#1\@addpunct{.}]\ignorespaces
}{%
\popQED\endtrivlist\@endpefalse
}
\makeatother
\begin{document}
Some text to indicate the spacing.
\begin{thm}
First theorem, with sufficiently long text so that it spills on to a
second line.
\end{thm}
Some text to indicate the spacing. Fill-up text make this spill on to
an extra line. Fill-up text make this spill on to an extra line.
More text.
\begin{prop}
A proposition, with sufficiently long text so that it spills on to a
second line.
\end{prop}
\begin{pf}
Proof of the proposition with \verb+pf+ environment and sufficiently
long text so that it spills on to a second line.
\end{pf}
\begin{prop}
Another proposition, with sufficiently long text so that it spills
on to a second line.
\end{prop}
\begin{proof}
The original proof environment and sufficiently long text so that it
spills on to a second line.
\end{proof}
\end{document}
