정렬 전후의 줄 간격*

Question

줄 간격에 대한 간단한 질문입니다(내 LaTeX 문제의 적어도 절반을 차지하는 것 같습니다). 환경 에서 증명을 작성하고 align*있는데 전후 공백을 없애지 못하는 것 같습니다. 내가 원하는 것은 증명의 첫 번째 줄이 "proof:"와 일치하고 증명의 마지막 줄이 qed/box와 일치하는 것입니다.

내 코드는 다음과 같습니다.

\begin{res} (Bianchi Identity)
\[ \dd \Phi = \varphi \wedge \Phi - \Phi \wedge \varphi \]
\end{res}
\begin{proof}
\begin{align*}
        \dd \Phi &= \dd(\dd \varphi - \varphi \wedge \varphi) \\
                 &= - \dd \varphi \wedge \varphi + \varphi \wedge \dd \varphi \\
                 &= - (\dd \varphi - \varphi \wedge \varphi) \wedge  \varphi + \varphi \wedge (\dd \varphi - \varphi \wedge \varphi) \\
                 &= - \Phi \wedge \varphi + \varphi \wedge \Phi 
\end{align*}
\end{proof}

Answer 1

라벨 사이에 텍스트를 넣는 것이 더 좋습니다.증거그리고 정렬. \qedhere마지막 줄에 사용하세요 . 속성은 에 대한 선택적 인수여야 합니다 res.

\documentclass{article}
\usepackage{amsmath,amsthm}

\newtheorem{res}{Result}[section]

\newcommand{\dd}{\mathop{}\!\mathrm{d}}

\begin{document}
\setcounter{section}{3}\setcounter{res}{10} % just to get 3.11

\begin{res}[Bianchi Identity]
\[ \dd \Phi = \varphi \wedge \Phi - \Phi \wedge \varphi \]
\end{res}
\begin{proof}
Just compute the differential as
\begin{align*}
        \dd \Phi &= \dd(\dd \varphi - \varphi \wedge \varphi) \\
                 &= - \dd \varphi \wedge \varphi + \varphi \wedge \dd \varphi \\
                 &= - (\dd \varphi - \varphi \wedge \varphi) \wedge  \varphi + \varphi \wedge (\dd \varphi - \varphi \wedge \varphi) \\
                 &= - \Phi \wedge \varphi + \varphi \wedge \Phi \qedhere
\end{align*}
\end{proof}

\end{document}

텍스트가 없는 대안은 다음과 같습니다.

\documentclass{article}
\usepackage{amsmath,amsthm}

\newtheorem{res}{Result}[section]

\newcommand{\dd}{\mathop{}\!\mathrm{d}}

\begin{document}
\setcounter{section}{3}\setcounter{res}{10} % just to get 3.11

\begin{res}[Bianchi Identity]
\[ \dd \Phi = \varphi \wedge \Phi - \Phi \wedge \varphi \]
\end{res}
\begin{proof}
\mbox{}\par\nopagebreak\vspace{-2\baselineskip}\vspace{-\abovedisplayskip}
\begin{align*}
        \dd \Phi &= \dd(\dd \varphi - \varphi \wedge \varphi) \\
                 &= - \dd \varphi \wedge \varphi + \varphi \wedge \dd \varphi \\
                 &= - (\dd \varphi - \varphi \wedge \varphi) \wedge  \varphi + \varphi \wedge (\dd \varphi - \varphi \wedge \varphi) \\
                 &= - \Phi \wedge \varphi + \varphi \wedge \Phi \qedhere
\end{align*}
\end{proof}

\end{document}