环境 - 练习的解决方案环境（不同于证明环境）

Question

我正在为教科书中的各种问题输入解决方案，我想使用证明环境进行证明，但使用类似的环境进行解决方案。链接在这里

复制 amsthm 证明环境

展示了如何创建自己的解决方案环境，但我希望解决方案结束的指示与证明的指示略有不同。我希望解决方案以 QED 作为 \blackbox 结束，而我希望证明环境保持原样（白框表示 QED）。有没有简单的方法可以实现这一点？

Answer 1

您也可以使用 非常轻松地完成此操作ntheorem。它的优点是即使环境以显示数学环境结尾，也可以自动放置结束标记：

\documentclass[leqno]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{fourier}
\usepackage{heuristica}

 \usepackage{amsmath}
\usepackage[thmmarks, amsmath, thref]{ntheorem}

\theoremstyle{nonumberplain}
\theoremheaderfont{\itshape}
\theorembodyfont{\upshape}
\theoremseparator{.}
\theoremsymbol{\ensuremath{\square}}
\newtheorem{proof}{Proof}
\theoremsymbol{\ensuremath{\blacksquare}}
\newtheorem{solution}{Solution}
\theoremseparator{. ---}
\theoremsymbol{\mbox{\texttt{;o)}}}
\newtheorem{varsol}{Solution (variant)}

\begin{document}

    \begin{proof}Since something is true, we have
      \[ A = B. \]
    \end{proof}


    \begin{solution}[of some exercise]
      This is a very intricate solution.
      \begin{align*}
        a & = b \\ c & = d.
      \end{align*}
    \end{solution}

    \begin{varsol}
      This solution is so very simple that it’s not even worth writing it. Just pure thought:
      \begin{equation}\label{void}
      \end{equation}
    \end{varsol}
\end{document} 

Answer 2

可以很容易地修改 Gonzalo 的答案来做到这一点。只需添加 \renewcommand\qedsymbol{$\blacksquare$}到定义中

\documentclass{article}
\usepackage{amsthm,amssymb}

\newenvironment{solution}
  {\renewcommand\qedsymbol{$\blacksquare$}\begin{proof}[Solution]}
  {\end{proof}}

\begin{document}

\begin{proof}
test.
\end{proof}

\begin{solution}
test.
\end{solution}

\begin{proof}
test.
\end{proof}

\end{document}