如何在对齐环境中插入一条水平线，并在行末插入一些文本

Question

我希望显示一些数学归纳法，如下所示。（在对齐环境中\begin{align*}...\end{align*}）如何才能在行末显示“by addition”文本？我尝试过，\cline但失败了。

x = 1   y = 2
-------------- by addtion
  x + y = 3                z = 3
--------------------------------- by addition
       x + y + z = 6

这是我目前得到的结果。我还想让方程式居中，但我发现这很难做到。

\begin{align*}
x = 1 & y = 2 \\
\cline{1-2}
x + y = 3 & & z = 3 \\
\cline{1-3}
&x + y + z = 6& \\
\end{align*}

Answer 1

我创建了\byx{<eq1>}{<eq2>}{<via>}{<eq-sum>}，它可以嵌套。

\documentclass[11pt]{report}
\usepackage{amsmath,stackengine}
\newcommand\byx[4]{%
  \setbox0=\hbox{$~#1\qquad#2~$}%
  \setbox2=\hbox{~by #3}%
  \Shortstack[c]{\copy0 \rule[2.3pt]{\wd0}{.5pt}\rlap{\copy2} $#4$}%
  \hspace{\wd2}%
}
\begin{document}
\[
  \byx{%
    \byx{x=1}{y=2}{addition}{x+y=3}
  }{z=3}{addition}{x+y+z=6}
\]
\end{document}

注意：您可以添加\setstackgap{S}{<gap>}以设置堆栈的垂直间隙。默认间隙为\Shortstack。3pt该值可以跨越正/负范围。

Answer 2

这是你的意思吗？\\将添加换行符。

\documentclass{article}

\begin{document}
text...\\ \\
x = 1, y = 2
\\------------ by addition\\
x + y = 3

\end{document}

输出示例：