☰

對齊前後的行間距*

tag-icon • tag-icon vertical-alignment align
對齊前後的行間距*

只是一個關於行距的簡單問題（這似乎是我的 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}

在此輸入影像描述

答案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}

在此輸入影像描述

相關內容