我想用多线方程结束证明

我想用多线方程结束证明

这个问题与QED 符号在编号方程线上的位置但我希望有一个更清洁的解决方案。

我想用一个带编号的多行环境(实际上是 XYpic 图)来结束证明。我希望数字垂直居中对齐,但 QED 框位于底部。我尝试了多种对齐和聚集与 qedhere 的组合,但没有特别成功,但我确信这是可能的。

更新:已请求 MWE。这个并不十分简单,因为它包括整个图表,但其余代码是简单的。

\documentclass{article}
\usepackage{amsmath,amsthm,amssymb}
\usepackage[all]{xy}\newdir{ >}{{}*!/-7pt/\dir{>}}
\begin{document}
\begin{proof}
This follows from the commutativity of the bundle square
\begin{equation}
    \begin{gathered}[b]
        \begin{aligned}
            \xymatrix@C=1em@R=1.5em{
                & G \ar[ddl]_j 
                    \ar[d]|{\varkappa \,\circ\, j}
                    \ar[ddr]\ar[drr]
                &
                \\
                & {}_KG_K 
                    \ar[rr]|(.24)\hole  
                    \ar'[d][dd] 
                &                       
                & BG \ar[dd]^\pi 
                \\
                  G_K \ar@{ >->}[ru]_\varkappa 
                    \ar[rr] 
                    \ar[dd]_\chi    
                &
                & EG \ar[ru] 
                    \ar[dd] 
                & 
                \\
                & BK \times BK  
                    \ar'[r]_(.675){\rho \times\rho}[rr]
                &
                & BG \times BG.
                \\
                  BK 
                    \ar@{ >->}[ru]_(.55){(\mathrm{id},\mathrm{pt})}         
                    \ar[rr]_\rho        
                &
                &
                  BG 
                    \ar@{ >->}[ru]_(.55){(\mathrm{id},\mathrm{pt})}
                &
            }
    \\[-\dp\strutbox]
    \end{aligned}
    \end{gathered}
    \qedhere
    \end{equation}
\end{proof}
\end{document}

如您所见,方程编号和 QED 框都与 对齐\pi,而我希望数字与\pi中间对齐,框与底部的 BG 对齐。

答案1

您可以使用证明的 qed 符号的通常位置,但在之前垂直备份:

示例输出

\documentclass{article}

\usepackage{amsmath,amsthm,amssymb}
\usepackage[all]{xy}\newdir{ >}{{}*!/-7pt/\dir{>}}

\begin{document}

\begin{proof}
This follows from the commutativity of the bundle square
\begin{equation}
  \vcenter{
    \xymatrix@C=1em@R=1.5em{
        & G \ar[ddl]_j
            \ar[d]|{\varkappa \,\circ\, j}
            \ar[ddr]\ar[drr]
        &
        \\
        & {}_KG_K
            \ar[rr]|(.24)\hole
            \ar'[d][dd]
        &
        & BG \ar[dd]^\pi
        \\
          G_K \ar@{ >->}[ru]_\varkappa
            \ar[rr]
            \ar[dd]_\chi
        &
        & EG \ar[ru]
            \ar[dd]
        &
        \\
        & BK \times BK
            \ar'[r]_(.675){\rho \times\rho}[rr]
        &
        & BG \times BG.
        \\
          BK
            \ar@{ >->}[ru]_(.55){(\mathrm{id},\mathrm{pt})}
            \ar[rr]_\rho
        &
        &
          BG
            \ar@{ >->}[ru]_(.55){(\mathrm{id},\mathrm{pt})}
        &
    }
  }
\end{equation}

\vspace*{-2\baselineskip}
\end{proof}

Following text.
\end{document}

相关内容