☰

如何从环境证明中删除“证明：”一词？

tag-icon • tag-icon theorems ieeetran naming
如何从环境证明中删除“证明：”一词？

我正在写一篇论文，我将在附录中证明一个定理，因为证明很长。当我使用以下代码时，

\documentclass[journal]{IEEEtran}
\usepackage{amssymb, amsmath, amsthm, amsfonts}
\renewcommand*{\proofname}{}

\begin{document}

\appendices
\section{Proof of Theorem \ref{theorem1}}

\begin{proof}
We will use induction to prove this theorem.
\end{proof}
\end{document}

我得到以下信息：

在此处输入图片描述

我想从证明中删除“证明：”这个词，因为这已经在附录的名称中解释过了。

我已经检查过这个问题如何更改 proof 环境中的“Proof”字样？。我尝试使用以下方法将名称更改为空白

\renewcommand*{\proofname}{}

但这似乎不起作用。

答案1

使用此代码

\begin{proof}[\unskip\nopunct]

\end{proof}

完整示例：

\documentclass[journal]{IEEEtran}
\usepackage{amssymb, amsmath, amsthm, amsfonts}

\usepackage{showframe} % just to show the margins

\newtheorem{thm}{Theorem}

\begin{document}

\begin{thm}\label{theorem1}
Toasters can fly.
\end{thm}

\appendices
\section{Proof of Theorem \ref{theorem1}}

\begin{proof}[\unskip\nopunct]
We will use induction to prove this theorem.
\end{proof}
\end{document}

在此处输入图片描述

答案2

除了 Karo 的答案之外，它非常适合IEEEtran.cls2012-12-27 发布的 1.8 版本（包含在最新的 TeX Live 2012 发行版以及 TeX Live 2013 及更高版本中），我还将为该课程的先前版本添加一个解决方法：

\documentclass[journal]{IEEEtran}
\usepackage{amssymb, amsmath, amsthm, amsfonts}

\usepackage{showframe} % just to show the margins

\newtheorem{thm}{Theorem}

%% define a \killproofname command that works with both
%% IEEEtran.cls version 1.7a or version 1.8
\makeatletter
\@ifclasslater{IEEEtran}{2012/12/26}
 {\newcommand{\killproofname}{\unskip\nopunct}}
 {\newcommand{\killproofname}[1]{\unskip\aftergroup\ignorespaces\ignorespaces}}
\makeatother


\begin{document}

\begin{thm}\label{theorem1}
Toasters can fly.
\end{thm}

\appendices
\section{Proof of Theorem \ref{theorem1}}

\begin{proof}[\killproofname]
We will use induction to prove this theorem.
\end{proof}
\end{document}

以下是使用 TeX Live 2011（IEEEtran.cls版本 1.7a，发布于 2007/03/05）编译的结果：

在此处输入图片描述

相关内容