如何在对齐环境中产生水平重叠？

Question

我在对齐方程式时遇到一个反复出现的问题，即我想要这样的模式：

xxx x xxx
    x xxx
    x xxx
x xxxxx

例子：

\renewcommand{\d}{\bm{d}}
\newcommand*{\deriv}[2]{\dfrac{\d#1}{\d#2}} 
\begin{alignat*}{2}
\d fg &= (f + \d f)(g + \d g) - fg\\
      &= fg + f \d g + \d f g - fg\\
      &= f \d g + \d f g \\
\implies \deriv{fg}{x} = f \deriv{g}{x} + g \deriv{g}{x}
\end{alignat*}

结果是

对应于这样的

    xxx x xxx
        x xxx
        x xxx
x xxxxx

我怎样才能对齐一行（例如示例中的最后一行），而第一行不将上方行中的单元格进一步推到右侧，因为最后一个留置权比对齐分隔符之前第一行的部分延伸得更远？

Answer 1

aligned嵌套使用align：

\documentclass{article}
\usepackage{amsmath}

\newcommand{\diff}{\mathop{}\!d}
\newcommand{\deriv}[2]{\frac{\diff #1}{\diff #2}}

\begin{document}

\begin{align*}
&\begin{aligned}
\diff(fg) &= (f + \diff f)(g + \diff g) - fg\\
         &= fg + f(\diff g) + (\diff f) g - fg\\
         &= f (\diff g) + (\diff f) g
\end{aligned}
\\
&\negthickspace\negmedspace
\implies \deriv{(fg)}{x} = f \deriv{g}{x} + g \deriv{g}{x}
\end{align*}

\end{document}

_{这些数学知识都是无稽之谈，抱歉。}

避免重新定义\d。

Answer 2

不太清楚，但也许这就是你想要的？

\documentclass{article}
\usepackage{mathtools}
\renewcommand*{\d}{\mathop{}\!\mathrm{d}}
\usepackage{esdiff}

\begin{document}

\begin{alignat*}{2}
   & \d fg & & = (f + \d f)(g + \d g) - fg \\
   & & & = fg + f \d g + \d f g - fg \\
   & & & = f \d g + \d f g \\[1ex]
   & \mathrlap{\implies \diff{fg}{x} = f \diff{g}{x} + g \diff{g}{x}}
\end{alignat*}

\end{document}