如何给证明名称加下划线

Question

在我的项目中，我添加了此代码\AtBeginDocument{\renewcommand\proofname{\underline{Proof}}}。

当我使用 proof 环境时，proofname 类似于 $\underline{\textit{Proof}}.$

但我想要的是下划线延伸到点的末尾，像这样 $\underline{\textit{Proof.}}$

那么我怎样才能做到这一点而不影响项目的其余部分？

这是我的完整代码

\documentclass[13pt,a4paper]{report}
\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{amsthm}

\AtBeginDocument{\renewcommand\proofname{\underline{Proof}}}

\begin{document}

\begin{proof}
abc
\end{proof}


\end{document}

Answer 1

您不应该加下划线：斜体足以使标签可见。

无论如何，知道如何proof定义你可以做

\documentclass[12pt,a4paper]{report}
\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{amsthm}

\AtBeginDocument{\renewcommand\proofname{\underline{Proof.}\spacefactor5000 }}

\begin{document}

\begin{proof}
abc
\end{proof}

\end{document}

请注意，没有13pt选项report。我使用 是twocolum为了制作较小的图片。

如果你想要更好的东西，你也可以使用可选参数来proof获得不同的东西，

\documentclass[12pt,a4paper,twocolumn]{report}
\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{xpatch}

\makeatletter
\xpatchcmd{\proof}{#1\@addpunct{.}}{\underline{#1\@addpunct{.}}}{}{}
\makeatother

\begin{document}

\begin{proof}
abc
\end{proof}

\end{document}

Answer 2

它看起来并不完美，但它确实有效：

\documentclass[12pt,a4paper]{report}
\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{amsthm}

\begin{document}

\makeatletter
\renewenvironment{proof}[1][\proofname]{\par
  \pushQED{\qed}%
  \normalfont \topsep6\p@\@plus6\p@\relax
  \trivlist
  \item[\hskip\labelsep
        \itshape
    \underline{#1\@addpunct{.}}]\ignorespaces
}{%
  \popQED\endtrivlist\@endpefalse
}
\makeatother

\begin{proof}
abc
\end{proof}


\end{document}