innovation.world
Product Design, Manufacturing & Innovation Resources
घर » विरोधाभास द्वारा प्रमाण (बेतुकेपन की स्थिति तक सीमित करना)

विरोधाभास द्वारा प्रमाण (बेतुकेपन की स्थिति तक सीमित करना)

-400
Scholar engaged in proof by contradiction in an ancient library setting.

(यह छवि केवल उदाहरण के लिए बनाई गई है)

Proof by contradiction, or reductio ad absurdum, is a form of indirect proof. It establishes the truth of a proposition by showing that assuming the proposition to be false leads to a logical contradiction. To prove a proposition [latex]p[/latex], one assumes its negation, [latex]\neg p[/latex], and deduces a contradiction, such as [latex]q \land \neg q[/latex], thereby concluding that [latex]p[/latex] करना ही होगा be true.

विरोधाभास द्वारा प्रमाण का तार्किक आधार अविरोधाभास का नियम है, जो कहता है कि कोई कथन एक ही समय में सत्य और असत्य नहीं हो सकता, और बहिष्कृत मध्य का नियम है, जो कहता है कि कोई कथन या तो सत्य होगा या असत्य। यह विधि उस बात के विपरीत मानकर शुरू होती है जिसे सिद्ध करना है। उदाहरण के लिए, यह सिद्ध करने के लिए कि वर्गमूल 2 है तर्कहीन, one starts by assuming it is rational. If [latex]\sqrt{2}[/latex] is rational, it can be expressed as a fraction [latex]a/b[/latex] in lowest terms, where a and b are integers. This leads to [latex]2 = a^2/b^2[/latex], or [latex]a^2 = 2b^2[/latex]. This implies [latex]a^2[/latex] is even, which means [latex]a[/latex] must also be even. So, [latex]a = 2k[/latex] for some integer k. Substituting this back gives [latex](2k)^2 = 2b^2[/latex], or [latex]4k^2 = 2b^2[/latex], which simplifies to [latex]2k^2 = b^2[/latex]. This means [latex]b^2[/latex] is even, and therefore [latex]b[/latex] is also even. If both a and b are even, the fraction [latex]a/b[/latex] was not in lowest terms, which contradicts the initial assumption. This contradiction forces the conclusion that the initial assumption—that [latex]\sqrt{2}[/latex] is rational—must be false. This method is powerful but can be non-constructive, as it proves a statement is true without providing a direct example or construction.

UNESCO Nomenclature: 1201
तर्क

Type

सार प्रणाली

व्यवधान

मूलभूत

उपयोग

व्यापक उपयोग

शगुन

  • एलेनचस (प्रतिवाद) की सुकरात पद्धति
  • एलिएटिक दर्शनशास्त्र का स्कूल (उदाहरण के लिए, ज़ेनो के विरोधाभास)
  • अरस्तू द्वारा औपचारिक तर्क का विकास

आवेदन

  • यूक्लिड द्वारा अभाज्य संख्याओं की अनंतता का प्रमाण
  • 2 के वर्गमूल की अपरिमेयता का प्रमाण
  • कैंटर का विकर्ण तर्क वास्तविक संख्याओं की अगणनीयता को दर्शाता है।
  • कंप्यूटर विज्ञान में हॉल्टिंग समस्या को अनिर्णीत साबित करना

पेटेंट:

NA

संभावित नवाचार विचार

  • टोपोलॉजी और विश्लेषण में गैर-रचनात्मक अस्तित्व प्रमाण
  • security proofs in क्रिप्टोग्राफी showing an attack is impossible
  • खंडन तकनीकों का उपयोग करने वाली स्वचालित तर्क प्रणालियाँ
  • दर्शन और तत्वमीमांसा में मूलभूत तर्क
  • असंभव स्थितियों को खारिज करके जटिल प्रणालियों में निदान करना
  • कम्प्यूटेशनल जटिलता पर निचली सीमाओं को सिद्ध करना
  • अनिर्णयता स्थापित करने से गणनात्मकता सिद्धांत प्राप्त होता है
  • खेल सिद्धांत रणनीतियाँ जो प्रभुत्वहीन विकल्पों को समाप्त करती हैं
  • औपचारिक सत्यापन of protocols by showing error states are unreachable
  • इस पद्धति की आलोचना के रूप में अंतर्ज्ञानवादी तर्क का विकास
Related to: contradiction, reductio ad absurdum, indirect proof, irrational numbers, logic, law of non-contradiction, negation, assumption, Cantor, halting problem.

ऐतिहासिक संदर्भ

Stone tablet inscribed with Euclid's Postulates, foundational to geometry.

यूक्लिड के अभिधारणाएँ

यूक्लिड के पाँच अभिधारणाएँ उनके ग्रंथ 'एलिमेंट्स' में वर्णित यूक्लिडियन ज्यामिति का मूलभूत आधार बनती हैं। ये वे मूलभूत मान्यताएँ हैं जिनसे अन्य सभी प्रमेय तार्किक रूप से व्युत्पन्न होते हैं। पहली चार अभिधारणाएँ रेखाओं और वृत्तों के निर्माण से संबंधित हैं, जबकि पाँचवीं, समांतर अभिधारणा, यूक्लिडियन अंतरिक्ष की समतल, गैर-वक्र प्रकृति को विशिष्ट रूप से परिभाषित करती है। इन अभिधारणाओं ने गणित में निगमनात्मक विधि की स्थापना की।
Stone carving of Triangle Angle Sum Theorem illustrating angle measures in Euclidean geometry.

त्रिभुज कोण योग प्रमेय

यूक्लिडियन ज्यामिति का एक मूलभूत प्रमेय यह बताता है कि किसी भी त्रिभुज के तीनों आंतरिक कोणों का योग हमेशा दो समकोण, यानी 180 डिग्री के बराबर होता है। यह गुणधर्म, [latex]alpha + beta + gamma = 180^circ[/latex], समांतर अभिधारणा का प्रत्यक्ष परिणाम है और एक समतल, यूक्लिडियन तल में स्थित सभी त्रिभुजों के लिए, उनके आकार या आकृति की परवाह किए बिना, सत्य है।
Scholar writing direct proof in ancient library, mathematical logic discipline.

प्रत्यक्ष प्रमाण (गणित)

प्रत्यक्ष प्रमाण किसी दिए गए कथन की सत्यता को स्थापित तथ्यों, आमतौर पर स्वयंसिद्धों, परिभाषाओं और पूर्व सिद्ध प्रमेयों के सीधे संयोजन द्वारा सिद्ध करने की विधि है। किसी सशर्त कथन [latex]p rightarrow q[/latex] को सिद्ध करने के लिए, यह मान लिया जाता है कि [latex]p[/latex] सत्य है और अनुमान के नियमों का उपयोग करके यह दिखाया जाता है कि [latex]q[/latex] भी सत्य होना चाहिए।

विरोधाभास द्वारा प्रमाण (बेतुकेपन की स्थिति तक सीमित करना)

Right-angled triangle illustrating the Pythagorean theorem in geometry.

पाइथागोरस प्रमेय

पाइथागोरस प्रमेय यूक्लिड ज्यामिति में समकोण त्रिभुज की तीनों भुजाओं के बीच एक मूलभूत संबंध है। यह बताता है कि जिस वर्ग की भुजा कर्ण (समकोण के सामने वाली भुजा) होती है, उसका क्षेत्रफल अन्य दो भुजाओं पर बने वर्गों के क्षेत्रफलों के योग के बराबर होता है। सूत्र को [latex]a^2 + b^2 = c^2[/latex] के रूप में व्यक्त किया जाता है।
Mathematical derivation of Cavalieri's Principle with geometric shapes in a historical study setting.

कैवलियरी का सिद्धांत

अविभाज्य विधि के नाम से भी जाना जाने वाला यह सिद्धांत कहता है कि यदि दो समांतर तलों के बीच स्थित दो ठोसों में यह गुण हो कि उन दोनों तलों के समांतर प्रत्येक तल उन्हें समान क्षेत्रफल वाले अनुप्रस्थ काटों से काटता है, तो दोनों ठोसों का आयतन बराबर होता है। यह कैलकुलस के बिना जटिल आकृतियों के आयतन की गणना करने की एक शक्तिशाली विधि प्रदान करता है।
Analytic geometry workspace with Euclidean distance calculations and historical context.

यूक्लिडियन दूरी

पाइथागोरस प्रमेय कार्तीय निर्देशांकों में दूरी सूत्र का आधार प्रदान करता है। एक समतल में दो बिंदुओं (x₁, y₁) और (x₂, y₂) के बीच की दूरी d को √(x₂ - x₁)² + (y₂ - y₁)² द्वारा दर्शाया जाता है। यह सूत्र समकोण त्रिभुज पर प्रमेय का सीधा अनुप्रयोग है, जिसकी भुजाएँ x और y निर्देशांकों का अंतर होती हैं।
Königsberg bridge problem map illustrating Euler's graph theory foundation.

कोनिग्सबर्ग के सात पुल

यह गणित में ऐतिहासिक रूप से उल्लेखनीय समस्या है। लियोनहार्ड यूलर द्वारा 1736 में इसका नकारात्मक समाधान ग्राफ सिद्धांत की नींव रखने और टोपोलॉजी के विचार का पूर्वाभास देने वाला साबित हुआ। इस समस्या में पूछा गया था कि क्या कोनिग्सबर्ग शहर के सातों पुलों को बिना वापस लौटे एक ही यात्रा में पार किया जा सकता है, और यात्रा उसी भूभाग पर समाप्त हो जहाँ से शुरू हुई थी।
-300
-300
-300
-400
-550
1635
1650
1736
-300
-300
-350
-500
150
1640
1650
Carved stone tablet with Euclid's Parallel Postulate and geometric diagram.

समांतर अभिधारणा (यूक्लिड की पाँचवीं अभिधारणा)

यूक्लिड का पाँचवाँ अभिधारणा, समांतर अभिधारणा, वह स्वयंसिद्ध सिद्धांत है जो यूक्लिड की ज्यामिति को परिभाषित करता है: यह बताता है कि यदि कोई रेखा दो अन्य रेखाओं को काटती है, और एक तरफ के आंतरिक कोणों का योग दो समकोण (α + β < 180°) से कम है, तो दोनों रेखाएँ अंततः उस तरफ एक दूसरे को काटेंगी। यह अभिधारणा किसी दी गई रेखा पर स्थित न होने वाले बिंदु से होकर गुजरने वाली एक अद्वितीय समांतर रेखा की गारंटी देती है।
Euclid of Alexandria deriving Pythagorean triples in an ancient study.

पाइथागोरस त्रिक

पाइथागोरस त्रिक में तीन धनात्मक पूर्णांक a, b और c होते हैं, इस प्रकार कि [latex]a^2 + b^2 = c^2[/latex]। इसका एक प्रसिद्ध उदाहरण (3, 4, 5) है। यूक्लिड का सूत्र इन त्रिकों को उत्पन्न करने की एक मूलभूत विधि है। किन्हीं भी दो धनात्मक पूर्णांक m और n के लिए, जहाँ [latex]m > n[/latex], सूत्र [latex]a = m^2 - n^2[/latex], [latex]b = 2mn[/latex], [latex]c = m^2 + n^2[/latex] एक पाइथागोरस त्रिक उत्पन्न करता है।
Five Platonic solids: tetrahedron, cube, octahedron, dodecahedron, icosahedron in geometry.

पाँच प्लेटोनिक ठोस

प्लेटोनिक ठोस पाँच उत्तल नियमित बहुफलक हैं: एक नियमित बहुफलक में सर्वांगसम नियमित बहुभुजीय फलक होते हैं और प्रत्येक शीर्ष पर समान संख्या में फलक मिलते हैं। ये पाँच ठोस हैं: चतुष्फलक (4 फलक), घन (6 फलक), अष्टफलक (8 फलक), द्वादशफलक (12 फलक) और विंशफलक (20 फलक)। इनकी समरूपता और गुणों का अध्ययन प्राचीन काल से किया जा रहा है।
Stone tablet inscribed with the proof of the irrationality of the square root of 2.

2 के वर्गमूल की अपरिमेयता

2 का वर्गमूल एक अपरिमेय संख्या है, जिसका अर्थ है कि इसे दो पूर्णांकों के अनुपात [latex]p/q[/latex] के रूप में व्यक्त नहीं किया जा सकता है। इसका प्रचलित प्रमाण, जिसे अक्सर पाइथागोरसवादियों से जोड़ा जाता है, विरोधाभास द्वारा सिद्ध किया जाता है: यह सबसे सरल रूप में [latex]√2 = p/q[/latex] मानता है, जिससे यह निष्कर्ष निकलता है कि [latex]p[/latex] और [latex]q[/latex] दोनों सम संख्याएँ होनी चाहिए, जो प्रारंभिक धारणा का खंडन करता है।
Ancient scroll depicting Ptolemy's Theorem with geometric diagrams for trigonometric identities.

टॉलेमी का प्रमेय और त्रिकोणमितीय सर्वसमिकाएँ

टॉलेमी का प्रमेय त्रिकोणमिति में योग और अंतर सूत्रों के लिए एक सुंदर ज्यामितीय प्रमाण प्रदान करता है। एक चतुर्भुज को एक वृत्त में इस प्रकार अंकित करके कि उसकी एक भुजा व्यास हो, भुजाओं की लंबाई को अंतर्निहित कोणों के साइन और कोसाइन के रूप में व्यक्त किया जा सकता है। प्रमेय [latex]AC cdot BD = AB cdot CD + BC cdot DA[/latex] को सीधे लागू करने पर [latex]sin(alpha + beta) = sinalphacosbeta + cosalphasinbeta[/latex] जैसी सर्वसमिकाएँ प्राप्त होती हैं।
Cartesian coordinate system model in a professional office setting for analytic geometry.

कार्टेशियन निर्देशांक प्रणाली

कार्टेशियन निर्देशांक प्रणाली यूक्लिडियन ज्यामिति के लिए एक बीजगणितीय मॉडल प्रदान करती है। यह अंतरिक्ष में किसी बिंदु की स्थिति को विशिष्ट रूप से निर्धारित करने के लिए एक या अधिक संख्याओं, या निर्देशांकों का उपयोग करती है। एक समतल में, दो लंबवत रेखाओं (x-अक्ष और y-अक्ष) का उपयोग किया जाता है, जिससे ज्यामितीय आकृतियों को बीजगणितीय समीकरणों द्वारा वर्णित किया जा सकता है। बीजगणित और ज्यामिति के इस संयोजन को विश्लेषणात्मक ज्यामिति के रूप में जाना जाता है।
Study room with mathematician proving properties using mathematical induction.

गणितीय प्रेरण द्वारा प्रमाण

गणितीय प्रेरण एक ऐसी तकनीक है जिसका उपयोग यह सिद्ध करने के लिए किया जाता है कि प्रत्येक प्राकृतिक संख्या n के लिए एक गुणधर्म P(n) सत्य है। इसमें दो चरण शामिल हैं: आधार चरण, जिसमें P(0) या P(1) सत्य सिद्ध किया जाता है, और प्रेरण चरण, जिसमें यह सिद्ध किया जाता है कि यदि किसी प्राकृतिक संख्या k के लिए P(k) सत्य है (प्रेरण परिकल्पना), तो P(k+1) भी सत्य होगा।

(यदि तिथि अज्ञात है या प्रासंगिक नहीं है, उदाहरण के लिए "द्रव यांत्रिकी", तो इसके उल्लेखनीय उद्भव का एक अनुमानित आंकड़ा प्रदान किया गया है)

नवीनतम परिवर्धन

शीर्ष पोस्ट और लेख

अन्य सभी डिज़ाइन लेख

शीर्ष मूल उपकरण

अन्य सभी मौलिक नवाचार.विश्व उपकरण
10वां वर्ष सालगिरह

पंजीकृत सदस्यों के लिए पूर्ण आकार की छवियाँ और डाउनलोड 100% निःशुल्क उपलब्ध हैं।

> लॉग इन करें <