گامِ نخست: برقراریِ فرضِ بنیادین و گامِ دوم: برهانِ خلف در یک خانه.
```html
روایتِ کاملِ برهان
قضیهیِ پایهیِ هیلبرت — دو منزل، یک فرجام
از نوتریبودنِ حلقهیِ پایه تا متناهیتولید بودنِ حلقهیِ چندجملهایها
منزلِ نخست — پایهگذاریِ فرض و مهارِ ضرایبِ پیشرو
۱. فرضِ بنیادین: فرض کنید ایدهآلی دلخواه از حلقهیِ چندجملهایها در اختیار داریم، در حالی که حلقهیِ پایهای ما یک حلقهیِ نوتری است (یعنی هر ایدهآل در آن متناهیتولید است). مقصود آن است که نشان دهیم این ایدهآلِ چندجملهای نیز متناهیتولید است.
۲. رصدِ ضرایبِ پیشرو: مجموعهای از تمامِ ضرایبِ پیشروی چندجملهایهایِ موجود در آن ایدهآل را در نظر میگیریم. این مجموعه شاملِ بالاترین ضریبِ هر چندجملهای است.
۳. نوتریبودنِ ایدهآلِ ضرایب: به روشنی مشخص است که این مجموعهیِ ضرایب، خود یک ایدهآل در حلقهیِ پایهای تشکیل میدهد. از آنجا که حلقهیِ پایهای نوتری است، پس این ایدهآلِ جدید نیز متناهیتولید خواهد بود؛ یعنی تعدادِ متناهی مولد برای آن وجود دارد.
رازِ گامِ اول:
ما با انتقالِ کثرتِ چندجملهایها به حوزهیِ ضرایبِ پیشرو و بهرهگیری از خاصیتِ نوتریِ حلقهیِ پایه، توانستیم سرنخِ مهارِ درجات را به دست آوریم. این همان تبدیلِ بینهایت به متناهی است.
منزلِ دوم — برهانِ خلف و فرجامِ تساویِ ایدهآلها
۱. ساختِ ایدهآلِ فرعی: ایدهآلی جدید از چندجملهایهایِ منتخبِ خود در نظر میگیریم. به روشنی مشخص است که این ایدهآلِ جدید، زیرمجموعهای از ایدهآلِ اصلیِ ماست. مقصودِ نهایی آن است که ثابت کنیم این دو کاملاً با یکدیگر برابرند.
۲. آغازِ برهانِ خلف: برایِ اثباتِ تساوی، فرضِ خلف میکنیم؛ یعنی فرض نماییم که ایدهآلِ جدید، کوچکتر از ایدهآلِ اصلی باشد. در این صورت، حتماً چندجملهایای در ایدهآلِ اصلی وجود دارد که در ایدهآلِ جدید حضور ندارد.
۳. گزینشِ کمترین درجه: از میانِ تمامِ چندجملهایهایی که بیرون از ایدهآلِ جدید ماندهاند، آن یکی را برمیگزینیم که کمترین درجهیِ ممکن را داشته باشد.
۴. فرآیندِ فرسایشِ درجه: با بهرهگیری از مولدهایِ ضریبِ پیشرو و کم کردنِ ترکیبِ خطیِ مناسبِ آنها از چندجملهایِ برگزیده، میتوانیم ضریبِ پیشرویِ آن را خنثی کنیم. با این کار، چندجملهایِ جدیدی حاصل میشود که درجهیِ آن از مقدارِ قبلی کمتر است.
۵. رسیدن به تناقض و ثبوتِ حکم: از آنجا که چندجملهایِ جدید درجهیِ کمتری دارد، دیگر نمیتواند ویژگیِ «کمترین درجه در میانِ خارجشدگان» را نقض کند و ناچاراً باید درونِ ایدهآلِ جدید قرار گیرد. این امر تناقضی آشکار با فرضِ اولیه پدید میآورد؛ پس فرضِ خلف باطل شده و تساویِ دو ایدهآل اثبات میگردد.
فرجامِ سخن:
با اثباتِ این که هر ایدهآل در حلقهیِ چندجملهایها متناهیتولید است، و سپس با بهرهگیری از استقرا بر روی تعدادِ متغیرها، حکمِ نهاییِ قضیهیِ پایهیِ هیلبرت برای هر تعداد متغیر مستحکم میگردد.
پایانِ روایتِ برهانِ هیلبرت | همآهنگ و پاکیزه برای انتشار در وبلاگ
```
هر دو منزل اینک در یک خانهیِ واحد با جداکنندهیِ ظریف قرار گرفتهاند تا خواننده، برهان را چون رودی پیوسته طی کند: از فرضِ نوتری تا تناقضِ خلف، بیهیچ گسست و آشفتگی. اگر خواهی، رنگِ کادرِ سربرگ را نیز با دیگر بخشهای وبلاگت هماهنگ سازم — بگو تا بپردازم.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.