### رياضي ثبوت جا طريقا
رياضي جو ثبوت رياضياتي سوچ جو بنياد آهي ۽ اهو بنياد آهي جنهن تي رياضي جو پورو شعبو ٺهيل آهي. ثبوت گمانن، نظرين ۽ رياضي بيانن جي درستگي جي تصديق ڪرڻ لاءِ ڪم ڪن ٿا. رياضي دانن، سائنسدانن، انجنيئرن، ۽ سخت تجزياتي سوچ ۾ شامل هر ڪنهن لاءِ مختلف ثبوت جي طريقن تي عبور ضروري آهي. هي مضمون مختلف قسمن جي رياضياتي ثبوت جي طريقن کي ڳولي ٿو، اهو ڏيکاري ٿو ته هر طريقو رياضي جي تصديق جي دائري ۾ منفرد طاقتون ڪيئن آڻيندو آهي.
#### 1. سڌو ثبوت
هڪ سڌي ثبوت هڪ سڌي طريقي سان نمايان آهي جتي نتيجو منطقي مرحلن جي تسلسل کي استعمال ڪندي ڏنل احاطي مان سڌو سنئون حاصل ڪيو ويندو آهي. هي طريقو وڏي پيماني تي ثبوت جي سڀ کان وڌيڪ وجداني ۽ ابتدائي شڪل طور سمجهيو ويندو آهي.
مثال طور:
اهو ثابت ڪرڻ لاءِ ته ڪنهن به ٻن جفت انگن جو مجموعو جفت آهي:
1. اچو ته \( a \) ۽ \( b \) ٻہ برابر انگ هجن.
2. تعريف جي لحاظ کان، ڪجهه عددن لاءِ \( a = 2k \) ۽ \( b = 2m \) \( k \) ۽ \( m \).
3. رقم \( a + b = 2k + 2m = 2(k + m) \).
4. جيئن ته \( k + m \) هڪ عدد آهي، \( a + b \) برابر آهي.
#### 2. اڻ سڌي طرح ثبوت
اڻ سڌي ثبوت، جيڪو اڪثر تضاد جي ثبوت سان مترادف هوندو آهي، ان ۾ بيان جي نفي کي ثابت ڪرڻ ۽ اهو ڏيکارڻ شامل آهي ته هي مفروضو هڪ منطقي تضاد ڏانهن وٺي ٿو. هي مطلب اهو ظاهر ڪري ٿو ته اصل بيان سچو آهي.
مثال طور:
اهو ثابت ڪرڻ لاءِ ته \(\sqrt{2}\) غير معقول آهي:
1. ان جي ابتڙ فرض ڪريو، ته \(\sqrt{2}\) عقلي آهي.
2. پوءِ \(\sqrt{2} = \frac{p}{q}\) جتي \( p \) ۽ \( q \) ڪوپرائم آهن (يعني، انهن جو سڀ کان وڏو عام تقسيم ڪندڙ 1 آهي).
3. ٻنهي پاسن کي چورس ڪندي، \( 2 = \frac{p^2}{q^2} \)، تنهن ڪري \( 2q^2 = p^2 \).
4. تنهن ڪري، \( p^2 \) جفت آهي، جنهن جو مطلب آهي \( p \) پڻ جفت آهي (ڇاڪاڻ ته هڪ طاق عدد جو چورس طاق آهي).
5. اچو ته ڪجهه عدد لاءِ \( p = 2k \) \( k \). پوءِ \( 2q^2 = (2k)^2 = 4k^2 \)، تنهنڪري \( q^2 = 2k^2 \).
6. ان جو مطلب آهي ته \( q^2 \) برابر آهي، ۽ تنهن ڪري \( q \) برابر هجڻ گهرجي.
7. بهرحال، هي ان مفروضي جي خلاف آهي ته \( p \) ۽ \( q \) ڪوپرائم آهن ڇاڪاڻ ته ٻئي برابر آهن.
8. تنهن ڪري، \(\sqrt{2}\) غير معقول هجڻ گهرجي.
#### 3. ٿڪاوٽ ذريعي ثبوت
ثبوت ذريعي ٿڪاوٽ، يا ڪيس جي تجزيي ۾، بيان کي محدود تعداد ۾ ڪيسن ۾ ٽوڙڻ ۽ اهو ثابت ڪرڻ شامل آهي ته هر ڪيس سچ آهي. هي طريقو خاص طور تي مفيد آهي جڏهن ڪيسن جو تعداد منظم طور تي گهٽ هجي.
مثال طور:
ثابت ڪريو ته هڪ عدد جو چورس هميشه غير منفي هوندو آهي:
1. عدد \( n \) تي غور ڪريو.
2. ڪيس 1: \( n \geq 0 \). هن صورت ۾، \( n^2 \geq 0 \).
3. ڪيس 2: \( n < 0 \). هتي، \( n^2 = (-n)^2 \)، جيڪو اڃا تائين \(\geq 0 \) آهي.