په دې خپرونه کې به موږ په ریاضي کې یو له خورا مشهور تیورمونو څخه غور وکړو - د فرمت وروستی تیوریم، چې نوم یې د فرانسوي ریاضي پوه پییر ډی فرمات په ویاړ ترلاسه کړ ، چا چې دا په 1637 کې په عمومي شکل کې جوړ کړ.
د تیورم بیان
د هرې طبیعي شمیرې لپاره n> 2 مساوات:
an + بn = جn
په غیر صفر عددونو کې هیڅ حل نلري a, b и c.
د شواهدو موندلو تاریخ
د ساده ښوونځي ریاضي په کچه د فرمټ وروستي تیورم ساده جوړښت سره سره، د دې ثبوت لټون له 350 کلونو څخه ډیر وخت واخیست. دا د نامتو ریاضی پوهانو او شوقیانو لخوا ترسره شوی، له همدې امله داسې انګیرل کیږي چې تیورم د غلطو شواهدو په شمیر کې مشر دی. د پایلې په توګه، انګلیسي او امریکایی ریاضي پوه انډریو جان ویلز هغه څوک شو چې دا یې ثابت کړ. دا په 1994 کې پیښه شوه، او پایلې یې په 1995 کې خپرې شوې.
بیرته په XNUMX پیړۍ کې ، د شواهدو موندلو هڅه کوي n=3 د ابو محمود حامد بن الخضر الخوجندي، تاجک ریاضي پوه او ستور پیژندونکي لخوا ترسره شوی. په هرصورت، د هغه کارونه تر نن ورځې پورې ژوندي پاتې شوي ندي.
فرمت پخپله تیوریم ثابت کړ n=4، کوم چې پدې اړه ځینې پوښتنې راپورته کوي چې ایا هغه عمومي ثبوت درلود.
همدارنګه د مختلفو لپاره د تیورم ثبوت n لاندې ریاضي پوهانو وړاندیز وکړ:
- لپاره n=3خلک: لیون هارډ اولر (سویس، الماني او ریاضي پوه او میخانیک) په 1770 کې؛
- لپاره n=5خلک: Johann Peter Gustav Lejeune Dirichlet (جرمنی ریاضی پوه) او اډرین ماری لیجنډر (فرانسوی ریاضی پوه) په 1825 کې؛
- لپاره n=7: ګابریل لایم (فرانسوی ریاضی پوه، میخانیک، فزیک پوه او انجنیر)؛
- د ټولو ساده لپاره n <100 (د 37، 59، 67 غیر منظم ابتدايي استثناء سره): ارنسټ اډوارډ کومر (جرمن ریاضي پوه).