
По-моему, у proof
окружения слишком большое верхнее поле. Я бы хотел, чтобы оно было визуально ближе к предложению или теореме, к которой оно относится.
Я проверил, что добавление \vspace{-3ex}
перед proof
средой дает мне желаемый результат. Теперь, как мне изменить среду доказательства?
Я попытался переопределить его, но я не знаю исходного определения и не нашел его в моем дистрибутиве Latex.
МВЭ:
\documentclass{article}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{thmtools}
\usepackage[dvipsnames]{xcolor}
\declaretheoremstyle[
spaceabove=\topsep,
spacebelow=\topsep,
name={\color{Blue}Proposition},
]{propsty}
\declaretheorem[style=propsty]{prop}
\begin{document}
\begin{prop}
This is a proposition.
\end{prop}
\begin{proof}
The proof is left as an exercise for the reader.
\end{proof}
\begin{prop}
This is another proposition.
\end{prop}
\vspace{-3ex}
\begin{proof}
The proof is left as an exercise for the reader and it's closer to the
relevant proposition.
\end{proof}
\end{document}
Выбор отрицательного значения для, spacebelow
похоже, ничего не дал. Поэтому я решил изменить среду проверки.
решение1
Например, можно сделать так:
\documentclass{article}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{thmtools}
\usepackage[dvipsnames]{xcolor}
\declaretheoremstyle[
spaceabove=0\topsep,
spacebelow=0\topsep,
name={\color{Blue}Proposition},
]{propsty}
\declaretheorem[style=propsty]{prop}
\declaretheoremstyle[
spaceabove=0.5\topsep,
spacebelow=0.5\topsep,
name={\color{Blue}Proposition},
]{propsty}
\declaretheoremstyle[
spaceabove=0.5\topsep,
spacebelow=1\topsep,
name=Proof,
headfont=\itshape, numbered=no
]{proofsty}
\declaretheorem[style=proofsty]{myproof}
\raggedbottom
\begin{document}
\begin{prop}
This is a proposition.
\end{prop}
\begin{myproof}
The proof is left as an exercise for the reader.
\end{myproof}
\begin{prop}
This is another proposition.
\end{prop}
\begin{myproof}
The proof is left as an exercise for the reader and it's closer to the
relevant proposition.
\end{myproof}
\end{document}