将多行方程与隐含方程对齐

Question

我想获得类似的东西，

   A + B = C + D
=> A + B + E = C + D + E
=> A + E = C + D + E - B
         = C + F - B
         = G - B
=> A + E + B = G

我尝试过摆弄 align 和 alignat，但无法得到我想要的结果。我能想到的唯一方法是使用水平空间的显式值，这非常混乱。另一个解决方案是使用幻像，但这似乎也很麻烦。

任何有关此事的帮助都将不胜感激！

Answer 1

alignat(*)使用适当数量的列，并\quad给它一些空间：

\documentclass[]{article}
\usepackage{amsmath}

\begin{document}

\begin{alignat*}{2}
                    & & A + B & = C + D\\
   \Rightarrow\quad & & A + B & + E = C + D + E\\
   \Rightarrow\quad & & A + E & = C + D + E - B\\
                    & &       & = C + F - B\\
                    & &       & = G - B\\
   \Rightarrow\quad & & A + E & + B = G
\end{alignat*}
\end{document}

我在这里尝试尽可能地重现您的示例。就我个人而言，我会在“=”符号上对齐，如果您想要这样做，只需将“&”移到“=”之前即可。

Answer 2

我会写得稍微不同一些，我认为如果按照下面的符号对齐，会比较容易理解。这里也可以有效地使用=An 。array

\documentclass{article}
\usepackage{amsmath}    
\begin{document}

\[
\begin{array}{l @{\quad} l @{{}={}} l}
               & A + B     & C + D\\
   \Rightarrow & A + B + E & C + D + E\\
   \Rightarrow & A + E     & C + D + E - B\\
               &           & C + F - B\\
               &           & G - B\\
   \Rightarrow & A + E + B & G
\end{array}
\]

\end{document}