Beweis, dass Hilfe für die Umgebung erforderlich ist

Beweis, dass Hilfe für die Umgebung erforderlich ist

Ich habe ein kleines Problem, das ich lösen möchte. Das Problem hier ist, dass ich möchte, dass die nächste Zeile in der Beweisumgebung ebenfalls fett gedruckt wird usw., das heißt, ich betrachte das folgende 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}

So wird es aussehen:Bildbeschreibung hier eingeben

Ich möchte aber, dass die großen roten, fettgedruckten Buchstaben von „Beweis“ auch den Stil des nächsten Teils beeinflussen, in dem „Beweis von Theorem 1.1“ steht. Wie kann ich dies erreichen?

Antwort1

Sie scheinen eine Neudefinition proofmit einem obligatorischen Argument vornehmen zu wollen.

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

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

Wenn Ihr LaTeX älter als 2020-10-01 ist, müssen Sie das letltxmacroPaket laden und verwenden

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

anstelle des \NewCommandCopyBefehls.

Hier ist eine bearbeitete Version des relevanten Teils des Dokuments. Ich habe den Titelteil entfernt, der für das Beispiel nicht benötigt wird.

Mathematische Formeln solltenstetsals solches eingegeben werden. Eine einzelne Gleichung sollte nicht verwenden gather.

Es gibt kein \Autoref, das ich in geändert habe . Sie haben und \autorefnicht geladen . Sie haben auch Optionen an übergeben, ohne es zu laden. Und wenn Sie unter den Optionen an sagen, dass es keinen Sinn hat, dieselbe Option erneut zu übergeben.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}

Bildbeschreibung hier eingeben

Möchten Sie Ihren Lesern wirklich auf die Augen schlagen?

verwandte Informationen