📜 تاریخچه: از متناقض‌نمایی تا یک قانون

ماجرای تقسیم بر صفر به قدمت خودِ مفهوم صفر در ریاضیات است.

· آغاز با صفر: اولین بار در متون کهن ریاضی، مانند کتاب براهما اسپوتا سیدهانتا از ریاضیدان هندی، برهماگوپتا (۶۲۸ میلادی)، با صفر به عنوان یک عدد رفتار شد و عمل‌های روی آن تعریف گردید. با این حال، خود برهماگوپتا در تعریف تقسیم بر صفر ناموفق بود و تعاریف اولیه‌اش به تناقض‌های جبری می‌انجامید.
· تلاش‌های اولیه: در دوران‌های بعد، برخی ریاضیدانان تلاش می‌کردند برای تقسیم بر صفر نتیجه‌ای در نظر بگیرند، مثلاً می‌گفتند حاصل‌شمار 24 ÷ بر صفر = 24 است!. این تلاش‌ها نشان می‌دهد که ابهام این مسئله از دیرباز وجود داشته است.
· نخستین اشاره به ناممکن بودن: نخستین اشاره‌ی ثبت‌شده به عدم‌امکان اختصاص دادن یک مقدار به a / 0 در مقاله‌ی جرج بارکلی (۱۷۳۴) به نام "The Analyst" دیده می‌شود. بارکلی از این موضوع برای نقد مبانی حساب دیفرانسیل و انتگرال استفاده کرد.

💡 چرا تعریف‌نشده؟ (دلیل ریاضی)

برای فهمیدن دلیل، باید به تعریف اصلی تقسیم برگردیم. تقسیم، عمل معکوس ضرب است. یعنی a ÷ b = c یعنی c × b = a.

حالا این را برای a ÷ 0 امتحان می‌کنیم:

۱. حالت اول: عددی غیر از صفر را بر صفر تقسیم می‌کنیم (مثلاً 0÷1)

فرض کنیم جواب این تقسیم، عددی مانند x باشد:
1 ÷ 0 = x

طبق تعریف تقسیم، باید داشته باشیم:
x × 0 = 1

اما می‌دانیم که هر عددی در صفر ضرب شود، حاصل صفر است. پس عبارت x × 0 همیشه صفر است، نه یک. به تناقض می‌رسیم: 0 = 1 که محال است.

پس هیچ عددی وجود ندارد که این معادله را برقرار کند. بنابراین پاسخ 1 ÷ 0 یک عدد نیست و تعریف‌نشده (Undefined) است.

۲. حالت دوم: صفر را بر صفر تقسیم می‌کنیم (0 ÷ 0)

باز هم فرض می‌کنیم 0 ÷ 0 = x. طبق تعریف تقسیم:
x × 0 = 0

اما اینجا هر عددی را که برای x در نظر بگیریم، معادله درست است، چون هر عددی در صفر، صفر می‌شود (مثلاً 5 × 0 = 0 و -2 × 0 = 0).

پاسخ می‌تواند هر عددی باشد، اما ما در ریاضیات به یک پاسخ منحصربه‌فرد نیاز داریم. چون نمی‌توانیم یکی را انتخاب کنیم، می‌گوییم این عبارت تعیین‌نشده (Indeterminate) است.

ابهام و شهود: چه چیزی باعث سردرگمی می‌شود؟

بخش اعظم ابهام به خاطر مفهوم حد و بی‌نهایت است:

· وقتی عدد ۱ را بر اعداد بسیار کوچک (مثلاً ۰٫۰۰۰۰۰۱) تقسیم می‌کنید، جواب بسیار بزرگ می‌شود (۱,۰۰۰,۰۰۰). هرچه مقسوم‌علیه به صفر نزدیک‌تر شود، جواب به سمت بی‌نهایت (∞) می‌رود. اینطور به نظر می‌رسد که0÷1 باید بینهایت باشد.
· مشکل اینجاست که اگر از اعداد منفی به صفر نزدیک شوید (1 ÷ -0.1 = -10)، جواب به سمت منفی بی‌نهایت (-∞) می‌رود! پس تکلیف چیست؟ مثبت بینهایت یا منفی بینهایت؟

این نشان می‌دهد که حتی با کمک مفهوم حد، به یک پاسخ واحد نمی‌رسیم و خودِ بی‌نهایت هم یک عدد نیست. بنابراین، حد یک تابع وقتی به صفر میل می‌کند با مقدار تابع در خودِ صفر تفاوت دارد.

🌍 در دنیای کامپیوتر و سیستم‌های عددی دیگر

در کامپیوتر: تلاش برای تقسیم بر صفر معمولاً باعث خطا (Error) یا از کار افتادن (Crash) برنامه می‌شود. در محاسبات اعشاری طبق استاندارد IEEE، ممکن است نتیجه +∞، -∞ یا NaN (عددی نیست) باشد.
· در برخی سیستم‌های عددی خاص: می‌توان سیستم‌های عددی جدیدی تعریف کرد که در آن‌ها تقسیم بر صفر معنا داشته باشد، مانند کره ریمان در اعداد مختلط که در آن 1/0 = ∞ تعریف می‌شود. اما این سیستم‌ها قوانین خاص خود را دارند و با اعداد حقیقی معمولی تفاوت‌های اساسی دارند.

✨ جمع‌بندی نهایی

پس:

· تقسیم بر صفر تعریف‌نشده است، چون با قوانین بنیادین ریاضی (مثل اینکه هر عدد ضربدر صفر، صفر است) در تناقض است.
· این یک قانون سلیقه‌ای یا قرارداد نیست، بلکه نتیجه‌ی منطقی قوانین جبر است. اگر تقسیم بر صفر را تعریف کنیم، کل سیستم ریاضی به هم می‌ریزد و می‌توانیم چیزهایی مثل 1 = 2 را اثبات کنیم!
‼️تنها در شرایط خاص و با تعریف چارچوب‌های جدید (مثل حد در حسابان یا اعداد بسط‌یافته) می‌توان به آن نزدیک شد، اما این به معنای تعریف‌شده بودن آن در اعداد حقیقی نیست‼️
#صفر_قدرتمندترین_عدد_ریاضیات
@mathloopinfinite