☰

如何正确格式化具有多个对齐点的证明/解释？

tag-icon • tag-icon math-mode horizontal-alignment
如何正确格式化具有多个对齐点的证明/解释？

这个回答的问题解决如何正确对齐/格式化证明，允许人们在方程式旁边添加文本注释而不会破坏方程式的对齐；但是，它似乎只允许方程式中的一个对齐点和文本中的一个对齐点，我们如何才能通过多个对齐点获得类似的结果？

例如，方程的对齐点用星号 (*) 表示

  *aaaaaaaaa *= bbbbbbbb
= *ccccccccc *= bbbbbbbb      comment or explanatory remark.
= *ddddddddd *= bbbbbbbb      second comment or explanatory remark.

接近所需格式的样本渲染 以下是我试图描述的近似版本：

  • \Rightarrow和的列=右对齐；
  • 方程的左侧是右对齐的；
  • 的列=左对齐；
  • 方程的右侧左对齐；
  • 文本也是左对齐。

即使在这个被黑客入侵的例子中，我也无法解决的问题：

  1. 理想情况下，文本会尽可能地向右移动，对方程式的水平居中（即页面）的影响最小。如果可以指定文本列的宽度，使得超出该宽度的文本会自动格式化为两端对齐和多行，垂直居中于相应的数学行，那就太好了，但我想这有点儿不切实际……

  2. 最终的方框形式将相对于其上方的数学公式正确居中。我意识到这可能不太容易做到，因此我愿意尝试任何其他方式来清晰地区分最终形式。

答案1

这里有两种做事的方法。

我定义了右对齐的注释，这需要使用环境flalign(*)和\llap命令。如果有足够的空白来输入（短）注释，则使用命令\shortrnote。如果没有，则将注释放在一行上。

类似地，我使用alignat(*)环境和\rlap命令来定义左对齐的注释。有\shortlnote和\longlnote命令。如果注释很长，则必须用\rlap—替换\clap，以便middle注释的左对齐。

    \documentclass[ a4paper]{article}

    \usepackage[utf8]{inputenc}
    \usepackage[T1]{fontenc}
    \usepackage{lmodern}
    \usepackage{mathtools}

    \newcommand{\shortrnote}[1]{ &  & \text{\footnotesize\llap{#1}}}
    \newcommand{\longrnote}[1]{ &  &  \\ \notag  &  &  &  &  & \text{\footnotesize\llap{#1}}}

    \newcommand{\shortlnote}[1]{&\qquad & \text{\footnotesize\rlap{#1}}}
    \newcommand{\longlnote}[1]{   \\ \notag &  &  & \text{\footnotesize\rlap{#1}}}
    \newcommand{\verylonglnote}[1]{   \\ \notag &  &  & \text{\footnotesize\clap{#1}}}

    \begin{document}

    Right aligned notes result  in this :
    \begin{flalign}
     &  & xyz  & = abc \\
      &  &           abc  & = xyz  &  & \\
    \shortintertext{next math group: }
        &  &           cba &= abc \shortrnote{(A short note)} \\
        & & (x + y + z)^{2} & = x^{2} + y^{2}  + z^{2}
    \longrnote{(A longer note:  true only in characteristic 2)}
    \end{flalign}

    While left aligned notes give:
    \begin{alignat}{2}
     xyz  & = abc \\
                abc  & = xyz  \\
    \shortintertext{next math group: }
                   cba &= abc  \shortlnote{(A short note)}  \\
         (x + y + z)^{2} & = x^{2} + y^{2}  + z^{2}\longlnote{(A somewhat longer note)}\\
         (x + y + z)^{3} & = x^{3} + y^{3}  + z^{3}
     \verylonglnote{(A really longer note:  true only in characteristic 3)}
    \end{alignat}

    With two alignment points: 

    \begin{alignat}{3}
     xyz  & =  abc  &&  =  def\\
                abc  & = xyz & &  =  uvw  \\
    \shortintertext{next math group: }
                   cba & = xyzt   &  &  = acb \shortlnote{(A short note)}  \\
        (x + y + z)^{3} & =  \mathrlap{x^{3} + y^ {3} + z^{3}}    & 
   \shortlnote{(In characteristic 3)} \\
         (x + y + z)^{3} & =  \mathrlap{x^{3}+y^ {3} + z^{3}} 
   \longlnote{(True only in characteristic 3)} 
    \end{alignat}

    \end{document}​

在此处输入图片描述

相关内容