ئیسپات (ماتماتیک)

(لە سەلماندن (ماتماتیک)ەوە ڕەوانە کراوە)

ئیسپات لە ماتماتیکدا بەڵگەھێنانەوەیە بۆ ڕاستیی دەستەواژە یان وتەیەکی ماتماتیکی، بە واتایەکی تر، ئیسپات دەبێت ئەوە دەربخات کە ڕستەیەکی ماتماتیکی (بە ڕەچاوکردنی ئەو ستاندارانەی بۆی دیاری کراوە) لە ھەر بارودۆخێکدا و بەبێ ھیچ حاڵەتێکی ئاوارتە، ھەمیشە ڕاستە. ئیسپاتە ماتماتیکییەکان لە لۆژیک بەھرە وەردەگرن، بەڵام زۆر جار زمانی سروشتییش بەکار دێنن. لە ماتماتیکدا بە ڕستەیەک کە ڕاستبوونی سەلمێندراوە دەوترێت تیۆرم. زۆر جار بۆ ئیسپاتی دەستەواژەیەکی ماتماتیکی، کەڵک لە تیۆرمەکانی تر وەردەگرن کە ڕاستبوونیان سەلمێندراوە. لە بیرکاریدا بە دەستەواژەیەک کە ھێشتا ڕاستبوونی نەسەلمێندراوە و وای بۆ دەچن ڕاست بێت دەوترێت مەزندە.

یەکێک لە کۆنترین پاپیرووسەکان کە لە توخمەکانی ئیقلیدس ماوەتەوە و بۆ فێرکردنی تەکنیکەکانی سەلماندن کەلکی لێ وەرگیراوە. ئەم دیاگرامە لە پەرتووکی دووھەم و پێشنیاری پێنجەمدا ھاتووە.[١]

میتۆدەکانی سەلماندن

دەستکاری

ئیسپاتی ڕاستەوخۆ

دەستکاری

لە میتۆدی ڕاستەوخۆدا، بەڵگەنەویستەکان، پێناسەکان، و تیۆرمەکانی پێشوو بە شێوەیەکی لۆژیکی تێکەڵ دەکرێن و ڕاستیی پێشنیارەکە دەسەلمێنن. بۆ نموونە مێتۆدی ڕاستەوخۆ بۆ ئیسپاتی ئەم ڕستەیە کە دەڵێت، ئەنجامی کۆکردنەوەی دوو ژمارەی جووت، ژمارەیەکی جووتە بەم شێوە بەکار دێت:

کاتێک   و   دوو ژمارەی تەواوی جووت بن، بە زمانی بیرکاری بەم شێوە دەنووسرێن :

  و  .

کاتێک   و   کۆ دەکرێنەوە:

 

واتە بەپێی پێناسە، ئەنجامی کۆکردنەوەی دوو ژمارەی جووت ھەمیشە دەکاتەوە ژمارەیەکی جووت. لێرەدا بۆ ئیسپاتی ڕاستیی ئەم قەزیە، لە پێناسەی ژمارە جووتەکان و ھەروەھا، ڕێسای دابەشبوون کەلک وەرگیراوە.

ئیستیقرای ماتماتیکی

دەستکاری

ئیسپاتی ناڕاستەوخۆ

دەستکاری

یەکێک لە باوترین شێوەکانی ئیسپات، ئیسپاتی ناڕاستەوخۆ یان بە پێچەوانە سەلماندنە. لەم حاڵەتەدا، وا دادەنێن، قەزیەکە ھەڵەیە، پاشان بە بەکارھێنانی لۆژیک، ناکۆکییەک ئاشکرا دەبێت، و لەمەوە ڕاستبوونی قەزیەکە دەردەچێت. نموونەیەکی ناسراوی ئەم حاڵەتە، سەلماندنی ئەوەیە کە   ژمارەیەکی ناڕێژەیییە.

پەراوێزەکان

دەستکاری
  1. ^ Bill Casselman. «One of the Oldest Extant Diagrams from Euclid». University of British Columbia. لە ٢٦ی ئەیلوولی ٢٠٠٨ ھێنراوە.

سەرچاوەکان

دەستکاری