证明格式 2 列

Question

可能重复：
如何正确格式化（和对齐）LaTeX 校样？

在我的证明中，我希望对数值操作方面的每一步都给出解释。例如，考虑一下我一直在做的事情：

\begin{align*}
\lvert p-q \rvert &= \sqrt{(p-q)^2} \text{      by definition of square root}\\
&=\sqrt{p^2 -2pq +q^2}\text{        by multiplication}\\
&=\sqrt{p^2-2pq+q^2 +2pq -2pq} \text{by the additive identity}\\
&=\sqrt{p^2+2pq+q^2 -4pq}\text{     by grouping like terms}\\
&=\sqrt{(p+q)^2 -4n}\text{          by the distributive law}
\end{align*}

这很混乱并且更耗时。

1. 我怎样才能以某种定义的格式实现我的论证？
2. 还有哪些最佳实践？

Answer 1

您还可以使用alignat数学环境，如下所示：

\documentclass[letterpaper]{article}
\usepackage{amsmath,amssymb}
\newcommand{\justif}[2]{&{#1}&\text{#2}}
\begin{document}
\begin{alignat*}{2}
\lvert p-q\rvert &=\sqrt{(p-q)^2}               &\quad &\text{by definition of square root}\\
                 &=\sqrt{p^2 -2pq +q^2}         &\quad &\text{by multiplication}\\
                 &=\sqrt{p^2-2pq+q^2 +2pq -2pq} &\quad &\text{by the additive identity}\\
                 &=\sqrt{p^2+2pq+q^2 -4pq}      &\quad &\text{by grouping like terms}\\
                 &=\sqrt{(p+q)^2 -4n}           &\quad &\text{by the distributive law}        
\end{alignat*}
%--------------------------------------------------------------------------------
\begin{alignat*}{2}
\lvert p-q\rvert &=\sqrt{(p-q)^2}               \justif{\quad}{by definition of square root}\\
                 &=\sqrt{p^2 -2pq +q^2}         \justif{\quad}{by multiplication}\\
                 &=\sqrt{p^2-2pq+q^2 +2pq -2pq} \justif{\quad}{by the additive identity}\\
                 &=\sqrt{p^2+2pq+q^2 -4pq}      \justif{\quad}{by grouping like terms}\\
                 &=\sqrt{(p+q)^2 -4n}           \justif{\quad}{by the distributive law}           
\end{alignat*}
\end{document}

通过调整部分来增加数学表达式和文本之间的空间quad。注意@egreg建议了一种直观的方法，即通过使用命令来简化注释的输入\justif。

Answer 2

在这种情况下，我个人使用在同一行上有多个“方程式”的对齐：

\begin{align*}
  (p-q) &= \sqrt{(p-q)^2} & & \text{by definition of square root}\\
  &=\sqrt{p^2 -2pq +q^2} & & \text{by multiplication}\\
  &=\sqrt{p^2-2pq+q^2 +2pq -2pq} & & \text{by the additive identity}\\
  &=\sqrt{p^2+2pq+q^2 -4pq} & & \text{by grouping like terms}\\
  &=\sqrt{(p+q)^2 -4n} & & \text{by the distributive law}
\end{align*}