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

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

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

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

کاتێک ${\displaystyle x}$  و ${\displaystyle y}$  دوو ژمارەی تەواوی جووت بن، بە زمانی بیرکاری بەم شێوە دەنووسرێن :

کاتێک ${\displaystyle x}$  و ${\displaystyle y}$  کۆ دەکرێنەوە:

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

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

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

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