قانون حذف در ضرب عدد (با شرط ناصفر بودن)
۱. بیان صوری قانون و شرط اساسی ناصفر بودن
در جبر مقدماتی، قانون حذف در ضرب عدد به صورت زیر تعریف میشود:
این عبارت میگوید: اگر عددی مانند r (که میتواند هر عدد حقیقی یا مختلط باشد) در A و B ضرب شود و دو حاصلضرب برابر باشند، آنگاه به شرطی که r صفر نباشد، میتوان r را از دو طرف تساوی «حذف» کرد و به برابری A = B رسید.
نکته کلیدی شرط r ≠ 0 غیرقابل چشمپوشی است. اگر r = 0 باشد، رابطه 0·A = 0·B به ازای هر A و B برقرار است، در حالی که لزوماً A = B نیست. بنابراین قانون حذف فقط در فضایی معنا مییابد که عنصر ضربشونده ناصفر باشد.
۲. اثبات گامبهگام با استفاده از خواص اعداد
برای اثبات این قانون در دستگاه اعداد حقیقی، کافی است از هر دو طرف تساوی rA = rB مقدار rB را کم کنیم:
حال چون r ≠ 0 است، تنها راهی که حاصلضرب یک عدد ناصفر در (A - B) برابر صفر شود این است که خود A - B = 0 باشد. بنابراین A = B. این استدلال بر پایه خاصیت «عنصر صفر-تقسیم نبودن»1 اعداد حقیقی استوار است.
۳. جدول مقایسه: حالت صفر در مقابل حالت ناصفر
| شرط | تساوی اولیه | نتیجه قانون حذف | وضعیت اعتبار |
|---|---|---|---|
| r ≠ 0 | rA = rB | A = B | معتبر و قابل استفاده |
| r = 0 | 0·A = 0·B | هر A و B (نه لزوماً برابر) | نامعتبر (نقض قانون) |
۴. کاربرد عملی: حل معادله خطی با ضریب مشترک
فرض کنید معادله 5(x + 2) = 5(2x - 1) را داریم. در اینجا r = 5 و 5 ≠ 0 است. با اعمال قانون حذف، مستقیماً نتیجه میگیریم:
بدون این قانون، مجبور بودیم پرانتزها را باز کنیم: 5x+10 = 10x-5 و سپس جملهها را جابجا کنیم. قانون حذف، فرآیند را کوتاه و از خطاهای محاسباتی میکاهد. در کلاسهای درس دبیرستان، این قانون اولین بار در حل معادلات خطی و بعدها در اثباتهای جبری به دانشآموزان آموزش داده میشود.
مثال دیگر: در فیزیک، رابطه F = ma را داریم. اگر دو نیروی مختلف بر دو جرم یکسان اثر کنند و شتابها برابر نباشند، نمیتوان جرم را حذف کرد مگر آنکه جرم ناصفر باشد. جرم صفر (مانند فوتون) شرایط خاص خود را دارد و قانون حذف در آنجا کاربرد مستقیم ندارد.
۵. چالشهای مفهومی
۱. آیا قانون حذف در اعداد صحیح نیز برقرار است؟
بله، در مجموعه اعداد صحیح (ℤ) نیز به شرط ناصفر بودن r قانون معتبر است. مثلاً از 2×3 = 2×(-4) نتیجه نادرست 3 = -4 نمیگیریم چون تساوی اولیه اصلاً برقرار نیست. اما اگر 2×3 = 2×3 باشد، میتوان ۲ را حذف کرد.
۲. چرا در ماتریسها قانون حذف همیشه برقرار نیست؟
در جبر ماتریسی، اگر R·A = R·B و R ماتریس ناصفر (یعنی همه درایههایش صفر نباشد) باشد، نمیتوان نتیجه گرفت A = B. دلیل آن وجود ماتریسهای به اصطلاح «صفر-تقسیمکننده»2 است. قانون حذف در ماتریسها فقط زمانی معتبر است که R وارونپذیر3 باشد، نه صرفاً ناصفر. این تفاوت مهم بین اعداد (میدان4) و حلقه5 ماتریسهاست.
۳. آیا میتوان قانون حذف را برای عمل جمع نیز بیان کرد؟
بله، قانون حذف برای جمع نیز وجود دارد: اگر r + A = r + B آنگاه بدون هیچ شرط اضافی A = B. زیرا از دو طرف تساوی میتوان r را کم کرد. در جمع، برخلاف ضرب، شرط ناصفر بودن لازم نیست زیرا عنصر «منفی» همیشه وجود دارد و عمل تفریق همواره مجاز است.
۶. گسترش قانون به ساختارهای جبری دیگر
در نظریه اعداد و جبر مجرد، قانون حذف در ضرب مبنای تعریف «دامنه صحیح»6 است. دامنه صحیح حلقهای جابجایی است که در آن حاصلضرب هر دو عنصر ناصفر، هرگز صفر نمیشود. در چنین ساختاری، قانون حذف برای هر عنصر ناصفر r برقرار است. مجموعه اعداد صحیح، اعداد حقیقی و چندجملهایها با ضرایب حقیقی نمونههایی از دامنههای صحیح هستند. در مقابل، حلقه ℤ₆ (باقیماندههای modulo 6) دامنه صحیح نیست زیرا 2×3 = 0 در حالی که 2 ≠ 0 و 3 ≠ 0. در نتیجه قانون حذف در ℤ₆ برای r=2 نقض میشود.
قانون حذف در ضرب عدد میگوید: اگر rA = rB و r ≠ 0 آنگاه A = B. این قانون در حل معادلات خطی، اثبات قضایا و درک ساختارهای جبری مانند دامنههای صحیح نقش اساسی دارد. شرط ناصفر بودن مانع از نتیجهگیری غلط در حالت r=0 میشود. کاربرد این قانون در دبیرستان بسیار رایج است، اما در ساختارهای پیشرفتهتر مانند ماتریسها باید احتیاط کرد. تسلط بر این قانون، پایهای محکم برای جبر پیشرفتهتر ایجاد میکند.
پاورقی
1 عنصر صفر-تقسیم نبودن (Non-zero-divisor): خاصیتی که میگوید اگر حاصلضرب دو عنصر صفر شود و عامل اول ناصفر باشد، آنگاه عامل دوم حتماً صفر است. اعداد حقیقی و صحیح این خاصیت را دارند.
2 ماتریس صفر-تقسیمکننده (Zero-divisor matrix): ماتریس ناصفری که در ماتریس ناصفر دیگر ضرب شود و حاصل صفر گردد. در جبر ماتریسی 2×2 نمونههای فراوانی وجود دارد.
3 وارونپذیر (Invertible): ماتریسی که دارای ماتریس معکوس است. شرط لازم و کافی برای اعمال قانون حذف در ماتریسها.
4 میدان (Field): مجموعهای با دو عمل جمع و ضرب که در آن هر عنصر ناصفر دارای معکوس ضربی است (مانند اعداد گویا، حقیقی، مختلط).
5 حلقه (Ring): ساختار جبری شامل دو عمل که در آن جمع گروه جابجایی و ضرب شرکتپذیر است و خاصیت توزیعپذیری برقرار است، اما لزومی ندارد عناصر ناصفر معکوس ضربی داشته باشند.
6 دامنه صحیح (Integral Domain): حلقه جابجایی با عضو یک که فاقد مقسومعلیههای صفر است؛ یعنی ab=0 نتیجه میدهد یا a=0 یا b=0. در چنین ساختاری قانون حذف برای عناصر ناصفر برقرار است.