خاصیت خطی بخشپذیری: اگر a|b و a|c، آنگاه a|mb ± nc
بخشپذیری چیست و چگونه تعریف میشود؟
در ریاضیات دبیرستان، میگوییم عدد صحیح a عدد صحیح b را میشمارد یا بر آن بخشپذیر است اگر عدد صحیحی مانند k وجود داشته باشد به طوری که:
$b = a \times k$این رابطه را با نماد $a|b$ نمایش میدهند1. به عنوان مثال، $3|12$ زیرا $12 = 3 \times 4$. همچنین دقت کنید که صفر بر هر عدد ناصفری بخشپذیر است، زیرا $0 = a \times 0$.
حال فرض کنید $a|b$ و $a|c$. این بدان معناست که اعداد صحیحی مانند $m_1$ و $m_2$ وجود دارند که $b = a \times m_1$ و $c = a \times m_2$. خاصیت خطی میگوید اگر $m$ و $n$ دو عدد صحیح دلخواه باشند، آنگاه $a | (m b + n c)$ و همچنین $a | (m b - n c)$. این ویژگی، پایه و اساس بسیاری از استدلالها در نظریه اعداد و حل معادلات دیوفانتی2 است.
اثبات گامبهگام خاصیت خطی بخشپذیری
برای اثبات این قضیه، از تعریف اولیه بخشپذیری استفاده میکنیم. گامها را به ترتیب زیر پیش میگیریم:
- گام اول: از فرض $a|b$ نتیجه میشود $b = a \times p$ برای یک عدد صحیح $p$.
- گام دوم: از فرض $a|c$ نتیجه میشود $c = a \times q$ برای یک عدد صحیح $q$.
- گام سوم: ترکیب خطی $mb + nc$ را تشکیل میدهیم. با جایگذاری مقادیر $b$ و $c$ داریم: $mb + nc = m(a p) + n(a q)$.
- گام چهارم: فاکتور $a$ را از هر دو جمله خارج میکنیم: $a(m p) + a(n q) = a (mp + nq)$.
- گام پنجم: چون $m, n, p, q$ همگی اعداد صحیح هستند، عبارت $mp + nq$ نیز یک عدد صحیح است. با نامگذاری $k = mp + nq$ داریم $mb + nc = a \times k$ که طبق تعریف یعنی $a | (mb + nc)$. اثبات برای حالت تفریق نیز کاملاً مشابه است (کافی است $n$ را منفی در نظر بگیریم).
مثالهای عددی و جبری برای درک عمیقتر
مثال عددی ۱: فرض کنید $a = 5$، $b = 20$، $c = 15$. واضح است $5|20$ و $5|15$. حال ضرایب $m=2$ و $n=3$ را در نظر بگیرید: $mb + nc = 2 \times 20 + 3 \times 15 = 40 + 45 = 85$. عدد $85$ بر $5$ بخشپذیر است زیرا $85 \div 5 = 17$.
مثال عددی ۲ (با ضرایب متفاوت): با همان $a,b,c$ حال $m=4$ و $n=-1$ را امتحان میکنیم: $mb - nc = 4 \times 20 - 1 \times 15 = 80 - 15 = 65$ که بر $5$ بخشپذیر است.
مثال جبری: فرض کنید $a = x$، $b = x(x+1)$ و $c = 2x^2$. مشاهده میشود $b = a \times (x+1)$ و $c = a \times (2x)$. بنابراین $a|b$ و $a|c$. حال ترکیب خطی $3b - 5c = 3x(x+1) - 5(2x^2) = 3x^2 + 3x - 10x^2 = -7x^2 + 3x = x(-7x+3)$ که به وضوح بر $a = x$ بخشپذیر است.
| فرض اولیه | ضرایب (m,n) | ترکیب خطی | بخشپذیری بر a |
|---|---|---|---|
| a=7, b=21, c=28 | m=1, n=2 | 21+56=77 | برقرار |
| a=4, b=12, c=8 | m=3, n=-2 | 36-16=20 | برقرار |
| a=9, b=18, c=27 | m=5, n=1 | 90+27=117 | برقرار |
کاربرد عملی: حل مسائل برهان بخشپذیری در امتحانات
یکی از رایجترین کاربردهای این خاصیت در مسائل دبیرستانی، اثبات بخشپذیری عبارتهای جبری است. به عنوان مثال، فرض کنید میخواهیم نشان دهیم برای هر عدد صحیح $n$، عبارت $n^3 - n$ همواره بر $6$ بخشپذیر است. یک روش استفاده از خاصیت خطی است: میدانیم $n^3 - n = (n-1)n(n+1)$ حاصلضرب سه عدد متوالی است. این عدد بر $2$ و بر $3$ بخشپذیر است. حال با قرار دادن $a = 6$، اگر نشان دهیم $6|n^3-n$ معادل است با وجود ضرایب صحیح $m,n$ که $n^3-n = m(2) + n(3)$. از آنجا که $2$ و $3$ هر دو بر $n^3-n$ بخشپذیر نیستند اما $n^3-n$ را میتوان ترکیب خطی از $2$ و $3$ نوشت (یعنی $n^3-n = 3k - 2k'$). اینجا خاصیت خطی به کمک ما میآید تا بخشپذیری بر مضرب کوچکترین مضرب مشترک را اثبات کنیم.
مثال عینی دیگر: فرض کنید $a = 7$ و میدانیم $7|(2x+3y)$ و همچنین $7|(x-2y)$. آیا میتوان نتیجه گرفت $7|x$ و $7|y$؟ با استفاده از خاصیت خطی: ترکیب $2 \times (x-2y) + (2x+3y) = 2x-4y+2x+3y = 4x - y$ بر $7$ بخشپذیر است. با ترکیبهای مناسب دیگر میتوان به نتایج جالبی دست یافت که در حل دستگاههای همنهشتی3 کاربرد دارد.
چالشهای مفهومی
پاسخ: خیر، عکس قضیه به طور کلی برقرار نیست. به عنوان مثال $a=6$، $b=2$، $c=3$ را در نظر بگیرید. میدانیم $6 | (2+3)$؟ خیر $5$ بر $6$ بخشپذیر نیست. اما اگر ترکیب را طوری انتخاب کنیم که حاصل بر $6$ بخشپذیر شود، مثلاً $m=3, n=-2$ داریم $3\times2 - 2\times3 = 6-6=0$ که بر هر عددی بخشپذیر است، اما $6$ نه $2$ را میشمارد و نه $3$ را. بنابراین شرط لازم نیست.
پاسخ: خیر، خاصیت خطی بخشپذیری فقط برای ضرایب صحیح تضمین شده است. اگر $m$ و $n$ اعداد گویا یا حقیقی باشند، عبارت $mb+nc$ ممکن است صحیح نباشد یا بخشپذیری از بین برود. مثلاً $a=2$، $b=4$، $c=6$ و $m=0.5$، $n=0.5$ داریم $0.5\times4 + 0.5\times6 = 2+3=5$ که بر $2$ بخشپذیر نیست.
پاسخ: بله، با استقراء ریاضی میتوان نشان داد که خاصیت خطی برای هر تعداد محدودی از اعداد برقرار است. به عبارت دیگر، اگر $a$ هر یک از اعداد $b_1, b_2, ..., b_k$ را بشمارد، آنگاه هر ترکیب خطی صحیح از آنها نیز بر $a$ بخشپذیر خواهد بود. اثبات با استفاده از استقرا و خاصیت اصلی برای دو عدد انجام میشود.
جمعبندی
پاورقی
1 بخشپذیری (Divisibility): در ریاضیات، میگوییم عدد صحیح $a$ عدد صحیح $b$ را میشمارد اگر عدد صحیح $k$ چنین باشد که $b = a \times k$.
2 معادلات دیوفانتی (Diophantine Equations): معادلاتی چندمتغیره با ضرایب صحیح که جوابهای صحیح (یا گویا) برای آنها مورد نظر است.
3 همنهشتی (Congruence): رابطهای در نظریه اعداد که میگوید دو عدد صحیح هنگام تقسیم بر یک عدد طبیعی مشخص، باقیمانده یکسان دارند. با نماد $a \equiv b \pmod{m}$ نمایش داده میشود.