我想知道是否有任何方法可以包含一些文字在其中一行中一些對齊的輸出，但存在於對齊的“外部”。 （如果它有所不同，我正在詢問我在 Overleaf 中編寫的文檔。）這裡是範例程式碼：
\begin{enumerate
\item \-\hspace{4cm} $\tan^{-1} x + tan^{-1} y = \frac{\pi}{4} \Longleftrightarrow (x+1)(y+1) = 2$
Proof:
\begin{align*}
\tan^{-1}x + tan^{-1}y = \frac{\pi}{4} & \Longleftrightarrow \tan \left(\tan^{-1}x + tan^{-1}y\right) = 1 \\[2mm]
& \Longleftrightarrow \frac{x+y}{1-xy} = 1 \\[2mm]
& \Longleftrightarrow (x+1)(y+1) = 2
\end{align*}
\end{enumerate}}
這會產生以下輸出：
我希望“證明”一詞成為證明第一行的一部分，但不受對齊環境的影響。我嘗試將“Proof”包含在第一行中，並帶有它自己的一組 &，但這使該單字的縮排比我喜歡的要多得多：
\begin{enumerate}
\item \-\hspace{4cm} $\tan^{-1}x + tan^{-1}y = \frac{\pi}{4} \Longleftrightarrow (x+1)(y+1) = 2$
\begin{align*}
&\text{Proof:}&\tan^{-1}x+tan^{-1}y=\frac{\pi}{4}&\Longleftrightarrow\tan\left(\tan^{-1}x+tan^{-1}y\right)=1\\[2mm]
&&& \Longleftrightarrow \frac{x+y}{1-xy} = 1 \\[2mm]
&&& \Longleftrightarrow (x+1)(y+1) = 2
\end{align*}
\end{enumerate}
理想情況下，我希望“Proof”盡可能位於第一個圖像中的左側，僅在數字 1 的右側一點，但仍然是第一行的一部分，如第二個圖像中一樣。如果可能的話，也許我也可以將頂行與證明的第一行對齊，而不必像我那樣將其與 -\hspace 單獨推到右側。
我確實在網站上搜尋了答案，我發現最接近我想要的東西是 \intertext，但這在 \align 環境之外添加了一條單獨的行；有沒有類似的東西我可以使用，但將文字放在對齊的行之一中？
答案1
我想建議你使用一個aligned環境。
\documentclass{article} % or some other suitable document class
\usepackage{amsmath} % for 'aligned' environment
\begin{document}
\begin{enumerate}
\item $\displaystyle \tan^{-1}x + \tan^{-1}y = \tfrac{1}{4}\pi
\Longleftrightarrow (x+1)(y+1) = 2$.
\medskip
Proof.\quad
$\begin{aligned}[t]
\tan^{-1}x + \tan^{-1}y = \tfrac{1}{4}\pi
&\Longleftrightarrow \tan(\tan^{-1}x + \tan^{-1}y) = 1 \\
&\Longleftrightarrow \frac{x+y}{1-xy} = 1 \\
&\Longleftrightarrow (x+1)(y+1) = 2\,.
\end{aligned}$
\end{enumerate}
\end{document}