सामग्री पर जाएँ

amsthm के साथ LaTeX में प्रमेय और प्रमाण

हर प्रकार को प्रीएम्बल में \newtheorem{theorem}{Theorem} से घोषित करें, फिर बॉडी में \begin{theorem} ... \end{theorem} लिखें। amsthm का proof एनवायरनमेंट "Proof." छापता है और एक छोटे वर्ग पर खत्म होता है।

प्रमेय घोषित करना और इस्तेमाल करना

प्रीएम्बल में \newtheorem{name}{Heading} name नाम का एक एनवायरनमेंट बनाता है, जिसकी हेडिंग नंबर के साथ "Heading" के रूप में छपती है। साथ में amsthm भी लोड करें; यह proof एनवायरनमेंट और स्टार वाली घोषणाएँ देता है।

एक घोषित प्रमेय और उसका प्रमाण

\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{theorem}{Theorem}
\begin{document}
\begin{theorem}
The sum of two even numbers is even.
\end{theorem}
\begin{proof}
Let $a = 2k$ and $b = 2m$. Then $a + b = 2(k + m)$,
which is even.
\end{proof}
\end{document}
Scissor LaTeX द्वारा टाइपसेट: एक घोषित प्रमेय और उसका प्रमाण

प्रमेय की बॉडी इटैलिक में सेट होती है। प्रमाण दाएँ मार्जिन पर एक वर्ग के साथ खत्म होता है।

नाम, लेबल और रेफ़रेंस

\begin{theorem} के बाद एक वैकल्पिक आर्ग्युमेंट प्रमेय को एक नाम देता है, जो कोष्ठक में छपता है। \ref से उसका रेफ़रेंस देने के लिए एनवायरनमेंट के अंदर \label लगाएँ।

नाम वाला प्रमेय, एक लेम्मा और एक रेफ़रेंस

\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\begin{document}
\begin{lemma}\label{lem:square}
If $n$ is odd, then $n^2$ is odd.
\end{lemma}
\begin{theorem}[Erika Mustermann, 2026]\label{thm:main}
There are infinitely many odd squares.
\end{theorem}
\begin{proof}
Use Lemma~\ref{lem:square} for every odd $n$.
\end{proof}
Theorem~\ref{thm:main} is easy to remember.
\end{document}
Scissor LaTeX द्वारा टाइपसेट: नाम वाला प्रमेय, एक लेम्मा और एक रेफ़रेंस

कई तरह के कथन

जितने प्रकार चाहिए उतने घोषित करें: प्रमेय, लेम्मा, प्रस्ताव, उपप्रमेय, परिभाषा, टिप्पणी, उदाहरण। Scissor LaTeX में हर प्रकार का अपना काउंटर होता है।

परिभाषा, प्रस्ताव और टिप्पणी

\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{definition}{Definition}
\newtheorem{proposition}{Proposition}
\newtheorem{remark}{Remark}
\begin{document}
\begin{definition}[Even number]
An integer $n$ is \emph{even} if $n = 2k$ for an integer $k$.
\end{definition}
\begin{proposition}
The number 44 is even.
\end{proposition}
\begin{remark}
Zero is even as well.
\end{remark}
\end{document}
Scissor LaTeX द्वारा टाइपसेट: परिभाषा, प्रस्ताव और टिप्पणी

बिना नंबर वाले प्रमेय

\newtheorem* (amsthm से) बिना नंबर वाला एक प्रकार घोषित करता है।

\newtheorem* से बिना नंबर वाला कथन

\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem*{conjecture}{Conjecture}
\begin{document}
\begin{conjecture}
Every even number greater than 2 is the sum of two primes.
\end{conjecture}
\end{document}
Scissor LaTeX द्वारा टाइपसेट: \newtheorem* से बिना नंबर वाला कथन

नंबरिंग और स्टाइल

TeX इंस्टॉलेशन में \newtheorem के नंबरिंग के लिए दो वैकल्पिक आर्ग्युमेंट होते हैं, और amsthm में \theoremstyle होता है। Scissor LaTeX इनके साथ यह करता है:

आप लिखते हैंTeX इंस्टॉलेशनScissor LaTeX
\newtheorem{theorem}{Theorem}Theorem 1, 2, 3काम करता है
\newtheorem{theorem}{Theorem}[section]Theorem 1.1, 1.2, 2.1Theorem 1, 2, 3: सेक्शन वाला हिस्सा अनदेखा होता है
\newtheorem{lemma}[theorem]{Lemma}Lemma, theorem का काउंटर साझा करता हैLemma का अपना काउंटर होता है
\newtheorem*{remark}{Remark}कोई नंबर नहींकाम करता है
\theoremstyle{definition}, {remark}सीधी बॉडीअनदेखा: हर बॉडी इटैलिक होती है
\begin{proof}"Proof." और एक वर्गकाम करता है
\begin{proof}[Proof of Theorem 1]आपकी अपनी हेडिंग"Proof.": आपकी हेडिंग अनदेखी होती है
\qedhereडिस्प्ले की आखिरी लाइन पर वर्गसपोर्टेड नहीं: वह फ़ॉर्मूला लाल होता है

[section] और साझा काउंटर: हर प्रकार अपनी गिनती खुद करता है

\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\begin{document}
\section{Results}
\begin{lemma} A first lemma. \end{lemma}
\begin{theorem} A first theorem. \end{theorem}
\begin{lemma} A second lemma. \end{lemma}
\end{document}
Scissor LaTeX द्वारा टाइपसेट: [section] और साझा काउंटर: हर प्रकार अपनी गिनती खुद करता है

TeX इंस्टॉलेशन में यह उदाहरण Lemma 1.1, Theorem 1.2 और Lemma 1.3 छापता है। Scissor LaTeX Lemma 1, Theorem 1 और Lemma 2 छापता है।

\newtheorem के बिना

कहीं और से कॉपी किए गए कई डॉक्यूमेंट theorem, lemma या definition को घोषित किए बिना इस्तेमाल करते हैं। Scissor LaTeX फिर भी आम नाम पहचानता है, जिनमें theorem, lemma, proposition, corollary, definition, remark, example, conjecture, claim, exercise, problem, solution और thm, lem व defn जैसे छोटे रूप शामिल हैं।

TeX इंस्टॉलेशन से क्या अलग है

पैकेज के बारे में ज़्यादा जानकारी amsthm पेज पर है। पैकेज का पूरा मैनुअल ctan.org/pkg/amsthm पर है।

यह भी देखें: amsthm, क्रॉस-रेफ़रेंस और cleveref।

सवाल और जवाब

LaTeX में प्रमेय एनवायरनमेंट कैसे परिभाषित करें?

प्रीएम्बल में \usepackage{amsthm} के साथ \newtheorem{theorem}{Theorem} लिखें। फिर \begin{theorem} ... \end{theorem} इस्तेमाल करें।

प्रमाण के आखिर में QED वर्ग कैसे पाएँ?

amsthm का proof एनवायरनमेंट इस्तेमाल करें। वर्ग आखिर में अपने-आप जुड़ जाता है।

लेम्मा और प्रमेय की नंबरिंग साथ में कैसे करें?

TeX इंस्टॉलेशन में \newtheorem{lemma}[theorem]{Lemma} लिखें। Scissor LaTeX अभी काउंटर साझा नहीं करता, इसलिए यहाँ लेम्मा और प्रमेय अलग-अलग नंबर होते हैं।

इस पेज का हर उदाहरण साइट बनते समय Scissor LaTeX टाइपसेट करता है। पिछला अपडेट: 2026-11-07।