>قضیه یِ پایه یِ هیلبرت — دو منزل، یک فرجام

گامِ نخست: برقراریِ فرضِ بنیادین و گامِ دوم: برهانِ خلف در یک خانه.

```html

روایتِ جامعِ برهان

قضیه‌یِ پایه‌یِ هیلبرت — دو منزل، یک فرجام

از نوتری‌بودنِ حلقه‌یِ پایه تا متناهی‌تولید بودنِ حلقه‌یِ چندجمله‌ای‌ها

منزلِ نخست — پایه‌گذاریِ فرض و مهارِ ضرایبِ پیشرو

۱. فرضِ بنیادین: فرض کنید ایده‌آلی دلخواه از حلقه‌یِ چندجمله‌ای‌ها در اختیار داریم، در حالی که حلقه‌یِ پایه‌ای ما یک حلقه‌یِ نوتری است (یعنی هر ایده‌آل در آن متناهی‌تولید است). مقصود آن است که نشان دهیم این ایده‌آلِ چندجمله‌ای نیز متناهی‌تولید است.

۲. رصدِ ضرایبِ پیشرو: مجموعه‌ای از تمامِ ضرایبِ پیشروی چندجمله‌ای‌هایِ موجود در آن ایده‌آل را در نظر می‌گیریم. این مجموعه شاملِ بالاترین ضریبِ هر چندجمله‌ای است.

۳. نوتری‌بودنِ ایده‌آلِ ضرایب: به روشنی مشخص است که این مجموعه‌یِ ضرایب، خود یک ایده‌آل در حلقه‌یِ پایه‌ای تشکیل می‌دهد. از آن‌جا که حلقه‌یِ پایه‌ای نوتری است، پس این ایده‌آلِ نوین نیز متناهی‌تولید خواهد بود؛ یعنی تعدادِ متناهی مولد برای آن وجود دارد.

رازِ گامِ اول:

ما با انتقالِ کثرتِ چندجمله‌ای‌ها به حوزه‌یِ ضرایبِ پیشرو و بهره‌گیری از خاصیتِ نوتریِ حلقه‌یِ پایه، توانستیم سرنخِ مهارِ درجات را به دست آوریم. این همان تبدیلِ بی‌نهایت به متناهی است.

منزلِ دوم — برهانِ خلف و فرجامِ تساویِ ایده‌آل‌ها

۱. ساختِ ایده‌آلِ فرعی: ایده‌آلی نوین از چندجمله‌ای‌هایِ منتخبِ خود در نظر می‌گیریم. به روشنی مشخص است که این ایده‌آلِ نوین، زیرمجموعه‌ای از ایده‌آلِ اصلیِ ماست. مقصودِ نهایی آن است که ثابت کنیم این دو جامعاً با یکدیگر برابرند.

۲. آغازِ برهانِ خلف: برایِ اثباتِ تساوی، فرضِ خلف می‌کنیم؛ یعنی فرض نماییم که ایده‌آلِ تازه، کوچک‌تر از ایده‌آلِ اصلی باشد. در این صورت، حتماً چندجمله‌ای‌ای در ایده‌آلِ اصلی وجود دارد که در ایده‌آلِ تازه حضور ندارد.

۳. گزینشِ کمترین درجه: از میانِ تمامِ چندجمله‌ای‌هایی که بیرون از ایده‌آلِ به‌روز مانده‌اند، آن یکی را برمی‌گزینیم که کمترین درجه‌یِ ممکن را داشته باشد.

۴. فرآیندِ فرسایشِ درجه: با بهره‌گیری از مولدهایِ ضریبِ پیشرو و کم کردنِ ترکیبِ خطیِ مناسبِ آن‌ها از چندجمله‌ایِ برگزیده، می‌توانیم ضریبِ پیشرویِ آن را خنثی کنیم. با این کار، چندجمله‌ایِ به‌روزی حاصل می‌شود که درجه‌یِ آن از مقدارِ قبلی کمتر است.

۵. رسیدن به تناقض و ثبوتِ حکم: از آن‌جا که چندجمله‌ایِ نوین درجه‌یِ کمتری دارد، دیگر نمی‌تواند قابلیتِ «کمترین درجه در میانِ خارج‌شدگان» را نقض کند و ناچاراً باید درونِ ایده‌آلِ به‌روز قرار گیرد. این امر تناقضی آشکار با فرضِ اولیه پدید می‌آورد؛ پس فرضِ خلف باطل شده و تساویِ دو ایده‌آل اثبات می‌گردد.

فرجامِ سخن:

با اثباتِ این که هر ایده‌آل در حلقه‌یِ چندجمله‌ای‌ها متناهی‌تولید است، و سپس با بهره‌گیری از استقرا بر روی تعدادِ متغیرها، حکمِ نهاییِ قضیه‌یِ پایه‌یِ هیلبرت برای هر تعداد متغیر مستحکم می‌گردد.

خاتمهِ روایتِ برهانِ هیلبرت | هم‌آهنگ و پاکیزه برای انتشار در وبلاگ

```

هر دو منزل اینک در یک خانه‌یِ واحد با جداکننده‌یِ ظریف قرار گرفته‌اند تا خواننده، برهان را چون رودی پیوسته طی کند: از فرضِ نوتری تا تناقضِ خلف، بی‌هیچ گسست و آشفتگی. اگر خواهی، رنگِ کادرِ سربرگ را نیز با دیگر بخش‌های وبلاگت هماهنگ سازم — بگو تا بپردازم.