अध्याय
अध्याय 14 'गणितीय कथनों की जाँच' छात्रों को गणितीय कथनों की सत्यता को तार्किक रूप से परखने और सिद्ध करने के विभिन्न तरीकों से परिचित कराता है। इसमें निगमनिक तर्कण, प्रत्युदाहरण द्वारा असत्य सिद्ध करना, और प्रतिधनात्मक विधि जैसी महत्वपूर्ण अवधारणाएँ शामिल हैं। यह अध्याय छात्रों को गणितीय भाषा और प्रतीकों का उपयोग करके कथनों को सटीक, संक्षिप्त और स्पष्ट रूप से व्यक्त करना भी सिखाता है, जो उच्च गणितीय अध्ययन के लिए एक मजबूत आधार तैयार करता है।
गणितीय कथनों का परिचय
गणित में, हम अक्सर ऐसे कथनों का सामना करते हैं जिनकी सत्यता को तर्कों के आधार पर जाँचना होता है। ये कथन विभिन्न प्रकार के हो सकते हैं, जैसे:
- संख्या-आधारित कथन: "दो विषम संख्याओं का जोड़ हमेशा सम संख्या होती है।"
- ज्यामितीय कथन: "त्रिभुज के अंतः कोणों का योग 180° होता है।"
- बीजगणितीय कथन: "किसी संख्या का वर्ग हमेशा धनात्मक होता है।"
इन कथनों की सत्यता की जाँच करने के लिए केवल अवलोकन (Empirical Observation) पर्याप्त नहीं होता, क्योंकि:
- यह हर स्थिति में कारगर नहीं होता।
- अनंत संख्याओं या आकृतियों के लिए जाँच करना संभव नहीं होता।
इसलिए, हमें गणितीय उपपत्ति (Mathematical Proof) के व्यापक तरीकों की आवश्यकता होती है। उपपत्ति एक तार्किक प्रक्रिया है जो यह स्थापित करती है कि एक कथन सत्य है या असत्य।
गणितीय कथन: एक वाक्य जो या तो सत्य है या असत्य, लेकिन दोनों नहीं। इसकी सत्यता को तार्किक रूप से सिद्ध या असिद्ध किया जा सकता है।
गणितीय कथनों को सिद्ध करने के आधार
किसी भी गणितीय कथन को सिद्ध करने के लिए कुछ मूलभूत पहलुओं का उपयोग किया जाता है:
- पूर्व-सिद्ध प्रमेय, परिभाषाएँ और अभिगृहीत:
- उपपत्ति में हम उन कथनों का उपयोग करते हैं जिन्हें पहले ही सत्य माना जा चुका है या सिद्ध किया जा चुका है।
- अभिगृहीत (Axioms): वे कथन जिन्हें बिना उपपत्ति के सत्य मान लिया जाता है (जैसे यूक्लिड के अभिगृहीत)।
- परिभाषाएँ (Definitions): गणितीय अवधारणाओं को स्पष्ट रूप से परिभाषित करने वाले कथन (जैसे सम संख्या की परिभाषा)।
- प्रमेय (Theorems): वे कथन जिन्हें तार्किक रूप से सिद्ध किया जा चुका है (जैसे पाइथागोरस प्रमेय)।
- तार्किक जुड़ाव:
- उपपत्ति में प्रत्येक कथन अपने ठीक पहले वाले कथन से तार्किक रूप से जुड़ा होना चाहिए।
- यह एक क्रमबद्ध और सुसंगत तर्क श्रृंखला बनाता है।
- गणितीय प्रतीकों और चिह्नों का उपयोग:
- गणितीय कथनों को संक्षिप्त, सटीक और स्पष्ट बनाने के लिए विशेष प्रतीकों (जैसे \(=, \neq, \implies, \forall, \in\)) का उपयोग किया जाता है।
- यह भाषा की जटिलता को कम करता है और सार्वभौमिक समझ प्रदान करता है।
उदाहरण:
- सम और विषम संख्या का जोड़:
- परिभाषा: सम पूर्णांक \(b = 2k\) (जहाँ \(k\) पूर्णांक है)।
- परिभाषा: विषम पूर्णांक \(a = 2k_1 + 1\) (जहाँ \(k_1\) पूर्णांक है)।
- जोड़ने पर: \(a + b = (2k_1 + 1) + 2k = 2(k_1 + k) + 1\)
- चूँकि \(k_1 + k\) एक पूर्णांक है, मान लीजिए \(m = k_1 + k\), तो \(a + b = 2m + 1\)।
- यह विषम संख्या की परिभाषा है। अतः, एक विषम और एक सम संख्या का जोड़ हमेशा विषम संख्या होती है।
किसी भी उपपत्ति में, प्रत्येक चरण को एक वैध तर्क, परिभाषा, अभिगृहीत या पहले से सिद्ध प्रमेय द्वारा समर्थित होना चाहिए।
निगमन तर्क द्वारा कथनों का सत्यापन
गणित में कथनों को सिद्ध करने का सबसे सामान्य तरीका निगमन तर्क (Deductive Reasoning) है।
- निगमन तर्क क्या है?
- यह एक प्रकार का तर्क है जहाँ हम एक या अधिक सामान्य कथनों (आधार वाक्य) से एक विशिष्ट और तार्किक रूप से निश्चित निष्कर्ष पर पहुँचते हैं।
- यदि आधार वाक्य सत्य हैं, तो निष्कर्ष भी अवश्य सत्य होगा।
- यह हमें व्यापक सत्य कथन से विशिष्ट सत्य कथन तक पहुँचने में मदद करता है।
- निगमन तर्क के चरण:
- ज्ञात जानकारी: उन सभी परिभाषाओं, अभिगृहीतों और पूर्व-सिद्ध प्रमेयों को पहचानें जो कथन से संबंधित हैं।
- तार्किक श्रृंखला: इन जानकारियों का उपयोग करके एक क्रमबद्ध तार्किक श्रृंखला बनाएँ, जहाँ प्रत्येक चरण पिछले चरण से तार्किक रूप से निकलता हो।
- निष्कर्ष: तार्किक श्रृंखला के अंत में, कथन की सत्यता स्थापित करें।
उदाहरण:
- कथन: "यदि ABC एक समबाहु त्रिभुज है तो वह समद्विबाहु त्रिभुज भी है।"
- ज्ञात: समबाहु त्रिभुज की परिभाषा (तीनों भुजाएँ बराबर होती हैं)।
- तर्क: यदि तीनों भुजाएँ बराबर हैं, तो कोई भी दो भुजाएँ भी बराबर होंगी।
- निष्कर्ष: समद्विबाहु त्रिभुज की परिभाषा के अनुसार, यदि दो भुजाएँ बराबर हैं, तो वह समद्विबाहु त्रिभुज है। अतः, कथन सत्य है।
- गणितीय प्रतीकों में:
- यदि \(A\) : \(\triangle ABC\) समबाहु त्रिभुज है।
- और \(B\) : \(\triangle ABC\) समद्विबाहु त्रिभुज है।
- तो हम लिखते हैं: \(A \implies B\) (यदि \(A\) तो \(B\))।
- विरोधाभास द्वारा उपपत्ति (Proof by Contradiction):
- यह निगमन तर्क का एक विशेष रूप है।
- विधि:
- दिए गए कथन के विपरीत (निषेधन) को सत्य मान लें।
- इस विपरीत कथन से तार्किक रूप से आगे बढ़ें।
- यदि इस प्रक्रिया में कोई विरोधाभास या असंगत परिणाम प्राप्त होता है (जो किसी ज्ञात तथ्य या परिभाषा के विपरीत हो), तो इसका अर्थ है कि हमारी प्रारंभिक धारणा (कथन का निषेधन सत्य है) गलत थी।
- अतः, मूल कथन सत्य सिद्ध हो जाता है।
- उदाहरण: \(\sqrt{2}\) एक अपरिमेय संख्या है, सिद्ध करना।
- मान लें कि \(\sqrt{2}\) एक परिमेय संख्या है।
- परिभाषा से, \(\sqrt{2} = \frac{a}{b}\) जहाँ \(a, b\) पूर्णांक हैं, \(b \neq 0\) और \(a, b\) सहअभाज्य हैं।
- वर्ग करने पर: \(2 = \frac{a^2}{b^2} \implies a^2 = 2b^2\)।
- इसका अर्थ है \(a^2\) एक सम संख्या है, इसलिए \(a\) भी एक सम संख्या है। अतः \(a = 2k\) (किसी पूर्णांक \(k\) के लिए)।
- \(a\) का मान प्रतिस्थापित करने पर: \((2k)^2 = 2b^2 \implies 4k^2 = 2b^2 \implies 2k^2 = b^2\)।
- इसका अर्थ है \(b^2\) एक सम संख्या है, इसलिए \(b\) भी एक सम संख्या है।
- अब, \(a\) और \(b\) दोनों सम संख्याएँ हैं, जिसका अर्थ है कि उनका एक उभयनिष्ठ गुणनखंड 2 है।
- यह इस धारणा का विरोधाभास है कि \(a\) और \(b\) सहअभाज्य हैं।
- चूँकि हमारी प्रारंभिक धारणा से विरोधाभास उत्पन्न होता है, इसलिए हमारी प्रारंभिक धारणा गलत थी। अतः, \(\sqrt{2}\) एक अपरिमेय संख्या है।
\(\sqrt{2}\) को अपरिमेय संख्या सिद्ध करना बोर्ड परीक्षाओं में अक्सर पूछा जाने वाला प्रश्न है। इसके चरणों को ध्यान से समझें और अभ्यास करें।
निषेधन (Negation): किसी कथन को नकारना उसका निषेधन कहलाता है। यदि कथन \(P\) है, तो उसका निषेधन \(\sim P\) (टिल्ड \(P\)) लिखा जाता है।
- उदाहरण: \(P\): \(x\) पूर्णांक है। \(\sim P\): \(x\) पूर्णांक नहीं है।
गणितीय प्रतीकों का उपयोग
गणितीय भाषा में प्रतीकों का उपयोग कथनों को सटीक, संक्षिप्त और स्पष्ट बनाने के लिए अत्यंत महत्वपूर्ण है। ये प्रतीक सार्वभौमिक रूप से मान्य होते हैं और गणितज्ञों को विचारों का आदान-प्रदान करने में मदद करते हैं।
- कुछ महत्वपूर्ण प्रतीक और उनके अर्थ:
- \(=\): बराबर है (is equal to)
- \(<\): से छोटा है (Less than)
- \(>\): से बड़ा है (Greater than)
- \(\therefore\): इसलिए (Therefore)
- \(\because\): चूंकि (Since)
- \(\neq\): बराबर नहीं है (is not equal to)
- \(\forall\): सभी के लिए/प्रत्येक के लिए (For all)
- \(\in\): का अवयव है (Belongs to)
- \(\notin\): का अवयव नहीं है (Does not belong to)
- \(\sim\): समरूप है (is similar to)
- \(\cong\): सर्वांगसम है (is congruent to)
- \(\implies\): अंतर्भाव/इंगित करता है (implies to)
- \(||\): समांतर है (is parallel to)
- प्रतीकों का उपयोग करके कथन लिखना:
- शाब्दिक कथन: "किसी भी प्राकृत संख्या का वर्ग, उस संख्या से बड़ा या उसके बराबर होता है।"
- गणितीय कथन: \(x^2 \ge x \quad \forall x \in N\)
- शाब्दिक कथन: "पूर्णांक संख्याओं में व्यवकलन करते समय क्रम विनिमेय नियम लागू नहीं होता है।"
- गणितीय कथन: \(a - b \neq b - a \quad \forall a, b \in I\)
- प्रतिधनात्मक (Contrapositive):
- एक कथन "यदि \(P\) तो \(Q\)" \((P \implies Q)\) का प्रतिधनात्मक रूप "यदि \(\sim Q\) तो \(\sim P\)" \((\sim Q \implies \sim P)\) होता है।
- ये दोनों कथन तार्किक रूप से तुल्य होते हैं, यानी यदि एक सत्य है तो दूसरा भी सत्य होगा, और यदि एक असत्य है तो दूसरा भी असत्य होगा।
- कई बार किसी कथन को सीधे सिद्ध करने की तुलना में उसके प्रतिधनात्मक रूप को सिद्ध करना आसान होता है।
- उदाहरण:
- मूल कथन: "यदि एक संख्या 25 से भाज्य है तो वह 5 से भी भाज्य होगी।" (\(P \implies Q\))
- प्रतिधनात्मक: "यदि एक संख्या 5 से भाज्य नहीं है तो वह 25 से भी भाज्य नहीं है।" (\(\sim Q \implies \sim P\))
- दोनों कथन एक ही बात कहते हैं।
गणितीय प्रतीकों का सही उपयोग न केवल समय बचाता है बल्कि गणितीय विचारों को अस्पष्टता रहित बनाता है।
प्रत्युदाहरण द्वारा कथनों का खंडन
कभी-कभी हमें यह सिद्ध करना होता है कि एक गणितीय कथन असत्य है। इसके लिए प्रत्युदाहरण (Counter-example) विधि का उपयोग किया जाता है।
- प्रत्युदाहरण क्या है?
- यह एक विशिष्ट उदाहरण है जो किसी सामान्य कथन को असत्य सिद्ध करता है।
- गणित में, किसी भी सामान्य कथन को सत्य होने के लिए हर स्थिति में वैध होना चाहिए। यदि हमें एक भी ऐसी स्थिति मिल जाती है जहाँ कथन सत्य नहीं होता, तो वह कथन असत्य माना जाता है।
- विधि:
- दिए गए सामान्य कथन को समझें।
- एक ऐसा विशिष्ट मान या स्थिति खोजें जो कथन की शर्तों को पूरा करता हो।
- जाँच करें कि क्या इस विशिष्ट मान या स्थिति के लिए कथन का निष्कर्ष सत्य है।
- यदि निष्कर्ष असत्य निकलता है, तो वह विशिष्ट मान या स्थिति एक प्रत्युदाहरण है, और मूल कथन असत्य सिद्ध हो जाता है।
- उदाहरण:
- कथन: "सभी अभाज्य संख्याएँ विषम होती हैं।"
- यह कथन असत्य है।
- प्रत्युदाहरण: संख्या '2' एक अभाज्य संख्या है, लेकिन यह विषम नहीं है (यह सम है)।
- चूँकि हमें एक ऐसा उदाहरण मिल गया है जो कथन को असत्य सिद्ध करता है, इसलिए मूल कथन "सभी अभाज्य संख्याएँ विषम होती हैं" असत्य है।
- कथन: "\(\forall x \in R\), यदि \(x^2\) परिमेय संख्या है तो \(x\) भी परिमेय संख्या है।"
- यह कथन असत्य है।
- प्रत्युदाहरण: मान लीजिए \(x = \sqrt{2}\)।
- तब \(x^2 = (\sqrt{2})^2 = 2\), जो एक परिमेय संख्या है।
- लेकिन \(x = \sqrt{2}\) एक अपरिमेय संख्या है।
- चूंकि \(x^2\) परिमेय होने पर भी \(x\) परिमेय नहीं है, इसलिए यह उदाहरण कथन को असत्य सिद्ध करता है।
किसी कथन को सत्य सिद्ध करने के लिए केवल कुछ उदाहरण देना पर्याप्त नहीं है। लेकिन उसे असत्य सिद्ध करने के लिए केवल एक प्रत्युदाहरण ही पर्याप्त है।
