☰

如何正确格式化（和对齐）LaTeX 校样？

tag-icon • tag-icon align
如何正确格式化（和对齐）LaTeX 校样？

我是 LaTeX 新手，正在尝试弄清楚如何正确格式化校样。有人可以向我展示如何执行此操作的基本模板吗？

我遇到的最大麻烦是创建新列和自定义对齐方式...例如，如何by distributive property向此示例校样的一行添加右对齐注释（即）？我应该使用eqnarray*还是有更好的选择？

\begin{proof}
  Let $t,u \in \mathbb{R}$ where $t=xy$ and $u=zw$. So,
  \begin{eqnarray*}
    4xyzw &=& 2\cdot2tu \\
    &\le& 2\cdot(t^2+u^2) \\
    &=& 2\cdot((xy)^2+(zw)^2) \\
    &=& 2\cdot(x^2y^2+z^2w^2) \\
    &=& 2x^2y^2+2z^2w^2 \\
    &\le& ((x^2)^2+(y^2)^2)+((z^2)^2)+(w^2)^2) \\
    &=& x^4+y^4+z^4+w^4
  \end{eqnarray*}
\end{proof}

答案1

\documentclass{article}

\usepackage{amsmath,amsthm,amssymb}

\begin{document}

\begin{proof}
  Let $t,u \in \mathbb{R}$ where $t=xy$ and $u=zw$. So,
  \begin{align*}
    4xyzw &= 2\cdot2tu \\
    &\le 2\cdot(t^2+u^2) \\
    &= 2\cdot((xy)^2+(zw)^2) &&\text{(substituting variables)} \\
    &= 2\cdot(x^2y^2+z^2w^2) \\ 
    &= 2x^2y^2+2z^2w^2 \\
    &\le ((x^2)^2+(y^2)^2)+((z^2)^2)+(w^2)^2) \\
    &= x^4+y^4+z^4+w^4 &&\qedhere
  \end{align*}
\end{proof}

\end{document}

对齐效果更好（eqnarray应该绝不可以用于严肃的数学写作），而且，“证明结束”可以与最后一个方程对齐放置；\qedhere只有当证明以对齐环境或列表（enumerate，itemize或description）结束时才是必要的；只有在有其他注释时，&&之前\qedhere才是必要的。

不过，我并没有检查过数学。;-)

与 QED 一致并评论

答案2

添加到egreg的注释中：要添加右对齐注释（在括号中），可以使用宏\tag；要添加不带括号的注释，请使用\tag*。（这必须在换行符之前给出；因此，我喜欢立即放置换行符前下一行，但这只是我的个人风格。）并且再次如上所述，如果您的证明以等式结束，egreg您应该在等式环境的最后一行使用。\qedhere

\begin{align*}
  4xyzw 
  &= 2\cdot2tu 
  \\ &\le 2\cdot(t^2+u^2)                    \tag{a remark in parentheses}
  \\ &= 2\cdot((xy)^2+(zw)^2)
  \\ &= 2\cdot(x^2y^2+z^2w^2)                \tag*{a remark without parentheses}
  \\ &= 2x^2y^2+2z^2w^2
  \\ &\le ((x^2)^2+(y^2)^2)+((z^2)^2)+(w^2)^2)
  \\ &= x^4+y^4+z^4+w^4                      \qedhere
\end{align*}

如果您发现自己有多行方程式，并且需要方程式编号（但只在最后一行），那么宏\notag也会派上用场。（我将它们插入到换行符之前，以便轻松复制\notag \\ &=多行方程式的序列。）

\begin{align}
  4xyzw 
  &= 2\cdot2tu 
  \notag\\ &\le 2\cdot(t^2+u^2)                    \tag{a remark in parentheses}
  \\ &= 2\cdot((xy)^2+(zw)^2)
  \notag\\ &= 2\cdot(x^2y^2+z^2w^2)                \tag*{a remark without parentheses}
  \\ &= 2x^2y^2+2z^2w^2
  \notag \\ &\le ((x^2)^2+(y^2)^2)+((z^2)^2)+(w^2)^2)
  \notag \\ &= x^4+y^4+z^4+w^4
\end{align}

编辑后添加：不要使用\tag或\tag*进行备注，除非您乐意在使用该选项时将它们出现在左侧（而不是右侧）lefteqn。

答案3

witharrows您还可以使用为此目的专门编写的包。

\documentclass{article}
\usepackage{amsthm,amssymb}
\usepackage{witharrows}
\begin{document}
\begin{proof}
  Let $t,u \in \mathbb{R}$ where $t=xy$ and $u=zw$. So,
  \begin{DispWithArrows*}
    4xyzw &= 2\cdot2tu \\
    &\le 2\cdot(t^2+u^2) \Arrow[i]{substituting variables}\\
    &= 2\cdot((xy)^2+(zw)^2)  \\
    &= 2\cdot(x^2y^2+z^2w^2) \\ 
    &= 2x^2y^2+2z^2w^2 \\
    &\le ((x^2)^2+(y^2)^2)+((z^2)^C2)+(w^2)^2) \\
    &= x^4+y^4+z^4+w^4 \qedhere
  \end{DispWithArrows*}
\end{proof}
\end{document}

上述代码的结果

答案4

这是不是一个优雅的解决方案，但可能是一个选择。你也可以用表格来模拟。这样，你可以根据需要打印一些边框（以防万一提供缺失部分的测试因此受到一些高中数学老师的喜爱。

\documentclass[10pt]{article}

\usepackage[margin=1in]{geometry}
\usepackage{amsmath}
\usepackage{array}
\newcolumntype{L}{@{\hphantom{.}}>{$}l<{$}}
\renewcommand{\arraystretch}{1.2}
\begin{document}

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

\end{document}

相关内容