برای بررسی حل ریاضی با هوش مصنوعی، نامزد جواب را در همان مسئلهٔ اولیه جایگذاری کنید و پیش از ساده‌سازی دامنه را بنویسید. یک جواب ممکن است حاصل دست‌کاری درستِ ظاهری باشد اما در عبارت اولیه تعریف نشده باشد. در این تمرین، عدد۱ دقیقاً چنین وضعی دارد.
معادله‌ای با یک جواب ظاهری نامجاز
در اعداد حقیقی مسئلهٔ ما (x²−1)/(x−1)=2 است. پیش از هر کار باید بنویسیم x≠1؛ چون مخرج در۱ صفر می‌شود. برای xهای مجاز، صورت را تجزیه می‌کنیم: (x−1)(x+1)/(x−1)=x+1. معادلهٔ ساده‌شده می‌گوید x+1=2 و نامزد x=1 به دست می‌آید؛ اما این نامزد از ابتدا بیرون دامنه بود. پس معادلهٔ اولیه در اعداد حقیقی جواب ندارد.
جملهٔ «پاسخ پیشنهادی دستیار x=1 است» در اینجا یک خطای ساخته‌شده برای آموزش است؛ خروجی ثبت‌شدهٔ محصول یا مدل خاصی نیست. حذف مخرج، محدودیت اولیه را حذف نمی‌کند. حتی اگر ابزاری عبارت را به x+1 ساده کند، باید دامنه را جدا نگه دارید.
تغییر مستقل: سمت راست را۳ بگذاریم
حالا مسئلهٔ جداگانه (x²−1)/(x−1)=3 است. باز هم x≠1. این بار x+1=3 نامزد۲ می‌دهد و جایگذاری در اصل برابر (4−1)/(2−1)=3 است. این نامزد هم در دامنه است و هم برابری را برقرار می‌کند.
| مسئله | نامزد | دامنه | جایگذاری در اصل | نتیجه |
|---|---|---|---|---|
| سمت راست۲ | 1 | نامجاز | مخرج صفر؛ محاسبه نمی‌شود | رد نامزد |
| سمت راست۳ | 2 | مجاز | 3=3 | قبول نامزد |
| سمت راست۳ | 0 | مجاز | 1≠3 | رد نامزد |
قبول یک نامزد به‌تنهایی اثبات نمی‌کند همهٔ ریشه‌ها پیدا شده‌اند. در این مثال، تجزیه و معادلهٔ خطی با حفظ دامنه، کامل‌بودن نتیجه را توضیح می‌دهد؛ در مسئله‌ای دیگر باید دلیل دیگری داشته باشید.
جواب دقیق را با تقریب اشتباه نگیریم
برای معادلهٔ x²=2، عدد √2 یک جواب دقیق است. اگر آن را به ۱٫۴۱۴۲ گرد کنیم، مربع عدد گرد‌شده برابر۱٫۹۹۹۹۶۱۶۴ و باقیماندهٔ «سمت چپ منهای راست» برابر منفی۰٫۰۰۰۰۳۸۳۶ است. این اختلاف نشان می‌دهد عدد اعشاری، تقریب است؛ ردِ جواب دقیق √2 نیست.
اگر برای همین آزمون آستانهٔ مطلق ۰٫۰۰۰۱ تعیین کنیم، این باقیمانده در آن می‌گنجد. آستانه باید از دقت مورد نیاز مسئله بیاید؛ عدد کوچک بدون مقیاس و واحد معنای کافی ندارد. نزدیک صفر بودن باقیمانده در یک نقطه نیز صحت همهٔ مراحل اثبات را نشان نمی‌دهد.
فایل محلی چه چیزی را آزمایش می‌کند؟
کد پایین صفحه با کتابخانه‌های استاندارد Python، سه نامزد جدول و باقیماندهٔ اعشاری را واقعاً محاسبه کرده است. Fraction حساب کسری دقیق را نگه می‌دارد و پیش از تقسیم، مخرج صفر کنترل می‌شود. کد عبارت دلخواه کاربر را اجرا نمی‌کند، ارتباط شبکه ندارد و حل‌کنندهٔ عمومی همهٔ مسائل نیست. فایل JSON، پاسخ مرجع همان تمرین است.
اگر از SymPy استفاده می‌کنید، در مستند رسمی checksol سه وضعیت True، False و None مطرح‌اند؛ None یعنی بررسی به نتیجهٔ قطعی نرسیده و تأیید نیست. این مقاله اجرای SymPy را ادعا نمی‌کند و برای تمرین به نصب آن نیاز ندارید. پس از ساده‌سازی نیز محدودیت‌های نسخهٔ اولیه را حفظ کنید.
دستور دقیق‌تر برای دستیار
معادله را در اعداد حقیقی حل کن. دامنهٔ عبارت اولیه را قبل از ساده‌سازی بنویس. هر نامزد را در همان عبارت اولیه جایگذاری کن. جواب دقیق و تقریب اعشاری را جدا بده و اگر بررسی نامعین شد، آن را تأیید حساب نکن. برای کامل‌بودن مجموعهٔ جواب دلیل بیاور.
برای محاسبهٔ جمع و درصد در خروجی‌های جدولی، راهنمای کنترل محاسبات مناسب است؛ این صفحه دربارهٔ دامنه و ریشهٔ معادله است. مسیر ادامهٔ یادگیری در صفحهٔ هوش مصنوعی اپرا قرار دارد.
فایل تمرین و منبع
کد محلی آزمون جایگذاری؛ Python بدون وابستگی · پاسخ مرجع همان کد؛ JSON
منابع در ۳ نوامبر ۲۰۲۶ خوانده شدند؛ این تاریخ، تاریخ انتشار منبع نیست. مثال‌ها و فایل‌های این راهنما آموزشی و ساختهٔ تحریریه‌اند.