解決したい問題が少しあります。ここでの問題は、証明環境の次の行も太字にしたいということです。つまり、次の 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
をロードしていません。 また、 をロードせずに にオプションを渡しました。 また、へのオプションの中に と言う場合、同じオプションを再度渡す意味はありません。xcolor
hyperref
babel
english
\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}
本当に読者の目を殴りたいのですか?