موضوع: اثبات عدم گویا بودن عدد پی با استفاده از روش تناقض

عدد پی (π)، نسبت محیط دایره به قطر آن، از مهمترین ثابت های ریاضی است که تاریخچه مطالعه آن به تمدن های باستان بازمی گردد. ماهیت این عدد همواره مورد کنجکاوی ریاضیدانان بوده است. در طول قرن ها، تقریب های گویای متعددی برای آن ارائه شد، اما این پرسش اساسی مطرح بود که آیا پی خود یک عدد گویا است؟ عدد گویا عددی است که بتوان آن را به صورت کسر دو عدد صحیح نمایش داد. اثبات گویا نبودن پی، یعنی اثبات ماورایی بودن آن، یکی از دستاوردهای برجسته ریاضیات در قرن هجدهم محسوب می شود. این مقاله به بررسی یکی از روش های کلاسیک اثبات این موضوع، یعنی روش برهان خلف (تناقض) می پردازد. در این روش، فرض می شود که پی یک عدد گویا است (یعنی π = a/b که a و b اعداد صحیح و نسبت به هم اول هستند). سپس با به کارگیری مفاهیم حسابان، مانند تعریف توابع چندجمله ای خاص و محاسبه انتگرال های معین، به مجموعه ای از نتایج عددی می رسیم. در نهایت، بررسی این نتایج منجر به یک تناقض آشکار می شود؛ مثلا به وجود آمدن عددی صحیح که همزمان بزرگ تر از صفر و کوچک تر از یک است. این تناقض نشان می دهد که فرض اولیه (گویا بودن پی) نادرست است. بنابراین، پی نمی تواند گویا باشد و در دسته اعداد اصم (گنگ) و در واقع ماورایی قرار می گیرد. این برهان اهمیت عمیق پی در ریاضیات محض و نقش آن را به عنوان یک عدد خاص و بنیادی تایید می کند.

کلیدواژه ها:

کلیدواژه: عدد پی (π) ، عدد گویا ، عدد گنگ (اصم) ، عدد ماورایی ، برهان خلف (تناقض) ، اثبات ریاضی.