![حضرت آدم ریاضی حضرت آدم ریاضی](https://rasekhoon.net/_files/thumb_images700/article/0030275.jpg)
نویسنده: دوروتی ولف
مترجم: محمد قاسم وحیدی اصل
مترجم: محمد قاسم وحیدی اصل
بر اثر تکوین تاریخی ایده هایی که به وضع اصطلاح مبیّن منجر شد، امروزه ناسازگاری اندکی در استفاده از این کلمه وجود دارد. کتاب های درسی که به معادله ی
![حضرت آدم ریاضی حضرت آدم ریاضی](/userfiles/Article/1392/05/04/00302751.jpg)
می پردازند،
![حضرت آدم ریاضی حضرت آدم ریاضی](/userfiles/Article/1392/05/04/00302752.jpg)
![حضرت آدم ریاضی حضرت آدم ریاضی](/userfiles/Article/1392/05/04/00302753.jpg)
![حضرت آدم ریاضی حضرت آدم ریاضی](/userfiles/Article/1392/05/04/00302754.jpg)
را مبین Q می نامند. گرچه این عبارت ها شبیه هم هستند، اولی در صورتی که نمادگذاری ها یکنواخت می بودند، با علامت منفی چهار برابر چیزی است که انتظار داشتیم. و حتی اگر این تصحیح انجام می شد، بدیهی نیست که کار ما در استفاده از یک نام-این که موجود ریاضی یکسانی را داریم-موجه باشد.
در نیمه ی سده ی هجدهم به خوبی می دانستند که شرطی لازم و کافی برای این معادله ی
![حضرت آدم ریاضی حضرت آدم ریاضی](/userfiles/Article/1392/05/04/00302755.jpg)
![حضرت آدم ریاضی حضرت آدم ریاضی](/userfiles/Article/1392/05/04/00302756.jpg)
طی صد سال بعد، ریاضیدانان چندین عبارت مرتبط با صورت درجه دوم را مطالعه کردند. در 1748 لئونهارت اویلر از شرایطی متضمن عبارت هایی نظیر بالا برای تعیین این که یک رویه ی درجه ی دوم فضایی متناهی را در بر می گیرد استفاده کرد؛ اما اویلر نامی به این عبارت ها نداد.
عبارتی که هنوز موجودیتی نداشت، دوباره در 1773 ظاهر شد. ژوزف لوئی لاگرانژ صورت درجه دوم دو جمله ای داده شده در بالا را بررسی می کرد. وی ثابت کرد که اگر را به جای X+λy قرار دهیم و به صورت جدید
![حضرت آدم ریاضی حضرت آدم ریاضی](/userfiles/Article/1392/05/04/00302757.jpg)
برسیم، آن گاه اگر عبارت جدید به صورت
![حضرت آدم ریاضی حضرت آدم ریاضی](/userfiles/Article/1392/05/04/00302758.jpg)
ساده شود، باید داشته باشیم،
![حضرت آدم ریاضی حضرت آدم ریاضی](/userfiles/Article/1392/05/04/00302759.jpg)
ریاضیدانان دیگر نیز به بررسی چنان ناورداهایی روی آوردند، و عبارت های مشابهی دوباره و دوباره پیدا می شدند. کارل فریدریش گاوس، چنان عبارتی را «مبیّن» (1)تابع نامید. این کار بر دوش جیمز جوزف سیلوستر تند و تیز ماند، که خود را به دلیل عادتش به نام گذاشتن به مخلوقات ریاضی «حضرت آدم ریاضی»(2) می نامید. در سال 1851، وی ناورداهایی را ضمن فروکاستن تابع هایی درجه ششم معینی از دو متغیر به صورت های ساده تر بررسی می کرد. چیزی که او یافت آن است که او «مبیّن معادله ی درجه ی سوم» نامید (و همان است که ما هم آن را به همین نام می شناسیم.
توضیح او در پانوشتی طولانی، کج خلقانه و تا حدی تدافعی جالب و روشنگر است:
«discriminant» (3)، به این دلیل که امکان discrimen یا آزمون برای تعیین این که عامل های برابر وارد تابعی از دو متغیر می شوند یا خیر، یا به طور کلی از وجود یا عدم نقاط چندگانه در مکان هندسی نمایش داده شده یا مشخص سازی شده به وسیله هر تابع جبری، بدیهی ترین و نخستین گونه های مشاهده شده تکینی ها در چنان تابع یا مکان هندسی را میسر می سازد، پیشرفت در این تحقیقات بدون کمک عبارتی روشن، غیرممکن است؛ و نخستین شرط نامگذاری آن است که چیزهای مختلف با رسم ها متفاوت نامیده شوند. نوآوری ها در زبان ریاضی که این جا و هر جای دیگر به وسیله ی این مؤلف مطرح شده (بی آن که ضمانت اجرایی محکمی نیز داشته باشد، هرگز، مگر هنگام حس پریشان خاطری که نیاز به آن ها وجود آورده، پذیرفته نشده و نیاز به تصدیق کسانی نیز که به نقطه ای رسیده اند که ضرورت برخی از چنان عناوینی را حس کنند، ندارد.
هر دو حالتی را که مطرح کرده ایم، در تعریف سیلوستر صدق می کند. مبیّن ترکیبی از ثابت هاست که در صورتی که حداقل دو عامل یک تابع یکسان باشند، صفر می شود. اگر
![حضرت آدم ریاضی حضرت آدم ریاضی](/userfiles/Article/1392/05/04/003027510.jpg)
آن گاه
![حضرت آدم ریاضی حضرت آدم ریاضی](/userfiles/Article/1392/05/04/003027511.jpg)
تحت همان شرایط (یا به طور معادل، با نماد تغییریافته، هرگاه
![حضرت آدم ریاضی حضرت آدم ریاضی](/userfiles/Article/1392/05/04/003027512.jpg)
![حضرت آدم ریاضی حضرت آدم ریاضی](/userfiles/Article/1392/05/04/003027513.jpg)
پی نوشت ها :
1. determinant
2. Mathematical Adam
3. مبیّن
باومگارت، جان[و دیگران]؛ (1385)، تاریخ جبر، محمد قاسم وحیدی اصل، تهران، انتشارات علمی و فرهنگی، چاپ نخست: بهار 1385