証明環境の支援が必要

証明環境の支援が必要

解決したい問題が少しあります。ここでの問題は、証明環境の次の行も太字にしたいということです。つまり、次の MWE を考えてみましょう。

\documentclass[10pt, welsh, english, a4paper]{report}
\PassOptionsToPackage{english}{babel}
\usepackage[margin=1in]{geometry}
\usepackage[utf8]{inputenc}
\usepackage{siunitx}
\usepackage{microtype}
\usepackage{fancyhdr}
\usepackage{amsmath}
\usepackage{enumitem,url,fancyref}
\usepackage{amsthm}
\newtheorem*{theorem*}{Theorem}
\newtheorem{theorem}{Theorem}[section]
\newtheorem*{corollary*}{Corollary}
\newtheorem{corollary}{Corollary}[theorem]
\newtheorem*{lemma*}{Lemma}
\newtheorem{lemma}[theorem]{Lemma}

\expandafter\let\expandafter\oldproof\csname\string\proof\endcsname
\let\oldendproof\endproof
\renewenvironment{proof}[1][\proofname]{%
  \oldproof[\Large \color{red}{\textbf{Proof}}]%
}{\oldendproof}

%Removing the punctuation from Proof environment and, note environment is the correct spelling of that word.
\usepackage{etoolbox} % etoolbox defines the command 'AtBeginEnvironment'
\makeatletter
\AtBeginEnvironment{proof}{\let\@addpunct\@gobble}
\makeatother



\title{LaTeX document for testing and faster compilations prior to organizing into other documents}
\author{Faycal Kilali\thanks{"It is not knowledge, but the act of learning, not possession but the act of getting there, which grants the greatest enjoyment." - Carl Friedrich Gauss}}
\date{\today}

\begin{document}
\begin{titlepage}
\maketitle
\end{titlepage}






\section{Placeholder section}

                \begin{theorem}\label{thm:9.2}
                    If a connected plane graph has v vertices, e edges and f faces, then \begin{gather}
                        v - e + f = 1 \label{thm:9.2:1}
                    \end{gather} 
                \end{theorem}

\begin{proof}{Proof of \Autoref{thm:9.2}}
    Here is the statement p(n) we are going to try to prove by induction: \\ p(n): every connected plane graph with n edges satisfies the formula \(v - n + f = 1\). 

Notice that p(n) is a statement about lots of plane graphs. p(1) says that every connected plane graph with 1 edge satisfies the formula; there is only one such graph:

\end{proof}

次のようになります:ここに画像の説明を入力してください

しかし、私は「証明」の大きな赤い太字の文字が「定理 1.1 の証明」という次の部分のスタイルにも影響を与えるようにしたいのですが、どうすればこれを実現できるでしょうか?

答え1

proof必須の引数を使用して再定義したいようです。

\NewCommandCopy{\oldproof}{\proof}
\NewCommandCopy{\endoldproof}{\endproof}

\renewenvironment{proof}[1]
 {\oldproof[\Large\bfseries\color{red}#1]}
 {\endoldproof}

LaTeXが2020-10-01より古い場合は、letltxmacroパッケージをロードして使用する必要があります。

\LetLtxMacro{\oldproof}{\proof}
\LetLtxMacro{\endoldproof}{\endproof}

コマンドの代わりに\NewCommandCopy

以下は、ドキュメントの関連部分の編集バージョンです。例に必要のないタイトル部分は削除しました。

数式はいつものように入力してください。単一の式では を使用しないでくださいgather

\Autorefに変更した はありません。と\autorefをロードしていません。 また、 をロードせずに にオプションを渡しました。 また、へのオプションの中に と言う場合、同じオプションを再度渡す意味はありません。xcolorhyperrefbabelenglish\documentclass

\documentclass[10pt, welsh, english, a4paper]{report}
\usepackage{babel}
\usepackage[margin=1in]{geometry}
\usepackage[utf8]{inputenc}
\usepackage{siunitx}
\usepackage{microtype}
\usepackage{fancyhdr}
\usepackage{amsmath}
\usepackage{enumitem,url,fancyref}
\usepackage{amsthm}
\usepackage{xcolor}
\usepackage{etoolbox} % etoolbox defines the command 'AtBeginEnvironment'
\usepackage{hyperref}

\newtheorem*{theorem*}{Theorem}
\newtheorem{theorem}{Theorem}[section]
\newtheorem*{corollary*}{Corollary}
\newtheorem{corollary}{Corollary}[theorem]
\newtheorem*{lemma*}{Lemma}
\newtheorem{lemma}[theorem]{Lemma}

\NewCommandCopy{\oldproof}{\proof}
\NewCommandCopy{\oldendproof}{\endproof}

\renewenvironment{proof}[1]
 {\oldproof[\Large\bfseries\color{red}#1]}
 {\oldendproof}

%Removing the punctuation from proof environment
\makeatletter
\AtBeginEnvironment{proof}{\let\@addpunct\@gobble}
\makeatother

\begin{document}

\section{Placeholder section}

\begin{theorem}\label{thm:9.2}
If a connected plane graph has $v$ vertices, $e$ edges and $f$ faces, then
\begin{equation}
v - e + f = 1 \label{thm:9.2:1}
\end{equation}
\end{theorem}

\begin{proof}{Proof of \autoref{thm:9.2}}
Here is the statement \(p(n)\) we are going to try to prove by induction:
\begin{quote}
\(p(n)\): every connected plane graph with $n$ edges satisfies the formula \(v - n + f = 1\). 
\end{quote}
Notice that \(p(n)\) is a statement about lots of plane graphs. 
\(p(1)\) says that every connected plane graph with one edge satisfies the formula; 
there is only one such graph:
\end{proof}

\end{document}

ここに画像の説明を入力してください

本当に読者の目を殴りたいのですか?

関連情報