Processing math: 100%

گاما رو نصب کن!

اعلان ها
اعلان جدیدی وجود ندارد!
کاربر جدید

جستجو

میتونی لایو بذاری!
درحال دریافت اطلاعات ...

درسنامه آموزشی فصل اول ریاضیات گسسته کلاس دوازدهم ریاضی با پاسخ درس 2: بخش‌پذیری در اعداد صحیح

آخرین ویرایش: 12:10   1401/05/6 7815 گزارش خطا

قرار دادن تعدادی شیء در دسته‌های مساوی یا دسته‌بندی کردن تعدادی از چیزها را، بدون آنکه باقی‌مانده‌ای داشته باشیم، «عاد کردن» یا شمارش آن اشیا، توسط شمارنده‌ها می‌گویند. مثلاً، 12 شیء را می‌توان با شمارنده‌های مثبتِ عدد 12 یعنی 1، 2، 3، 4، 6 و 12 دسته‌بندی یا شمارش کرد.

در این فصل برای نمایش این مفهوم از نماد «|» استفاده کرده و مثلاً می‌نویسیم 2|12 و می‌خوانیم عدد 2 عدد 12 را می‌شمارد یا عاد می‌کند. بیان دیگر این مفهوم آن است که بگوییم عدد 12 بر عدد 2 بخش‌پذیر است (باقی‌ماندهٔ تقسیم صفر است).

توجه داشته باشید که دسته‌بندی کردن اشیا در دسته‌های صفرتایی یا شمارش تعدادی شیء خاص به‌صورت صفر تا صفر تا کار بی‌معنایی است؛ لذا صفر هیچ عدد غیر صفری را نمی‌شمارد و هیچ عدد غیر صفری بر صفر بخش‌پذیر نمی‌باشد در ضمن توجه داشته باشید که هر عدد بر خودش و بر 1 بخش‌پذیر است؛ یعنی اگر a عددی طبیعی باشد 1|a و a|a. (عدد 1 هر عدد صحیح را عاد می‌کند و هر عدد بر خودش بخش‌پذیر است).

حال با توجه به اینکه مفهوم بخش‌پذیری b بر a معادل است با اینکه بنویسیم a|b (عدد a، عدد b را می‌شمارد یا عدد a، عدد b را عاد می‌کند) مفهوم بخش‌پذیری را می‌توان برای هر دو عدد صحیح به‌کار برد، مثلاً می‌توان گفت، عدد 28- بر 4 بخش‌پذیر است (زیرا، 28=4×(7) یا باقی‌مانده تقسیم 28- بر عدد 4 صفر است) پس در حالت کلّی و با تعمیم مفهوم عاد کردن به مجموعهٔ اعداد صحیح عاد کردن به‌صورت زیر تعریف می‌شود.

کار در کلاس (صفحهٔ 10 کتاب درسی)

 

1- با توجه به تعریف رابطهٔ عاد کردن جاهای خالی را پر کنید.

7/6363=.......×....... (الف
91=7×.............|91
6|54.......=.......×(6)
5|35......=5×......
0=18×.......18|.......
a|1a=.......a=.......
26=2×132|.......,.......|26

2- با استفاده از تعریف عاد کردن و قوانین ضرب و تقسیمِ اعداد توان‌دار با پایه‌های برابر، ابتدا نشان دهید که 35|39 و سپس ثابت کنید:

m,nN;mnam|an
(39=35×34(34=q)35|.....)

ویژگی‌های رابطهٔ عاد کردن

ویژگی 1: اگر عدد a عدد b را بشمارد، آن‌گاه هر مضرب صحیح عدد b را نیز می‌شمارد؛ یعنی:

a|ba|mb

3|63|6×5,3|6×4,3|6×(7),... :مثال

نتیجه: اگر عدد a عدد b را بشمارد، آن‌گاه b2 را می‌شمارد و در حالت کلی bn را می‌شمارد که nN است. یعنی:

a|ba|b2 (الف
a|ba|bn

برای اثبات (الف) کافی است از ویژگی 1 استفاده کرده و m را مساوی با b فرض کنیم؛ و برای اثبات (ب) نیز کافی است m=bn1 فرض شود.

سؤال: آیا از اینکه a|bc می‌توان نتیجه گرفت که a حداقل یکی از دو عدد b و a را عاد می‌کند؟ به گزاره‌های زیر دقت کنید و پس از آن پاسخ دهید:

3|6×9,3|6,3|9 (الف
3|6×5,3|6,3|5
6|3×4,6|3,6|4

سؤال: آیا از اینکه a|b می‌توان نتیجه گرفت که ka|kb؟ آیا از ka|kb می‌توان نتیجه a|b؟ (kZ)

a|bb=....×kkb=........
ka|kbkb=....÷kb=........

ویژگی 2: اگر عدد a عدد b را بشمارد و عدد b نیز عدد c را بشمارد آن‌گاه عدد a عدد c را می‌شمارد.

a|bb|ca|c

  {a|bb=aq1(1)b|cc=bq2 :​​​​​​اثبات
c=bq2(1)c=....q2q1q2=qc=a....a|c

این خاصیت را «خاصیت تعدی» برای رابطهٔ عاد کردن می‌نامیم.

سؤال: با استفاده از خاصیت تعدی برای رابطهٔ عاد کردن، نشان دهید که:

a|ba|bn

ویژگی 3: هرگاه عددی دو عدد را بشمارد آن‌گاه مجموع و تفاضل آن دو عدد را نیز می‌شمارد.

a|ba|ca|b±c

a|bb=....×q1a|c....×aq2}b±c=....(q1+q2)qa|.... :اثبات

سؤال: آیا از اینکه a|b+c همواره می‌توان نتیجه گرفت که a|c یا a|b؟

ویژگی 4: اگر a|b و b0 در این‌صورت |a||b|.

اثبات: چون a|b پس b=aq و چون b0 پس q0 و چون qZ لذا |q|1. حال اگر طرفین نامساوی اخیر را در |a| ضرب کنیم خواهیم داشت:

1|q||a|×1|a||q||a||aq||a|....

نتیجه: اگر a|b و b|a آن‌گاه a=±b

a|b(4)|a|....b|a(4)|a|....|a|}|a|=|b|a=±b :اثبات

کار در کلاس (صفحهٔ 11 کتاب درسی)

 

1- اگر a0 عددی صحیح و دو عدد (7m+6) و (6m+5) بر a بخش‌پذیر باشند ثابت کنید a=±1

a|7m+6a|42m+....a|6m+5....|42m+....}a|(42m+36)(42m+35)

a|1a=±1  چرا؟

2- اگر a|b نشان دهید که an|bn.

a|bb=aqbn=....qn=qbn=....qan|bn :اثبات

3- اگر a|b و c|d نشان دهید که ac|bd.

a|bb=aq1c|d....=....}b×d=(a×c)(q1q2)q....=a×c×q....|bd

4- اگر a|b و a|c نشان دهید که a|mb±nc. (از ویژگی 1 و ویژگی 3 استفاده کنید).

شما در سال‌های قبل با تعریف و مفهوم اعداد اول آشنا شده‌اید و می‌دانید که هر عدد طبیعی و بزرگ‌تر از یک که هیچ شمارندهٔ مثبتی به‌جز یک و خودش نداشته باشد، عدد اول نامیده می‌شود. مجموعهٔ اعداد اول، که ثابت شده است مجموعه‌ای نامتناهی است. به‌صورت P={2,3,5,7,11,...} نمایش داده می‌شود.

تذکر: با توجه به تعریف عدد اول، اگر p عددی اول باشد و a عددی طبیعی و a|p در این‌صورت a=1 یا a=p.

مثال: اگر عدد طبیعی a دو عدد (9k+7) و (7k+6) را عاد کند، ثابت کنید a=1 یا a=5.

a|9k+7a|7×(9k+7)a|63k+....a|7k+6a|9×(7k+6)a|....+54a|(....+54)(63k+....)a|5a=....a=....

بزرگ‌ترین مقسومٌ‌علیه مشترک و کوچک‌ترین مضرب مشترک دو عدد 

می‌خواهیم با توجه به تعریف رابطهٔ عاد کردن، مفاهیم ب‌م‌م (بزرگ‌ترین مقسومٌ‌علیه مشترک) و ک‌م‌م (کوچک‌ترین مضرب مشترک) دو عدد را معرفی کنیم.

توجه دارید که مقسوم‌علیه همان شمارنده است. به‌عبارت دیگر، اگر بنویسیم a|b، یعنی a شمارندهٔ b است یا b بر a بخش‌پذیر است و این یعنی a مقسوم‌علیه b است؛ و نیز توجه دارید که b مضرب a است، یعنی b=aq یا a|b.

شرط (الف) مقسومٌ‌علیه مشترک بودن را برای d تأمین می‌کند و شرط (ب) نشان می‌دهد که d از هر مقسوم‌علیه مشترک دلخواهی چون m بزرگ‌تر است.

اگر داشته باشیم (a,b)=1 در این‌صورت می‌گوییم، a و b نسبت به هم اول‌اند.

مثال:

(3,4)=1,(4,9)=1,(7,11)=1,(1,12)=1
(6,9)=3,(8,16)=8,(0,6)=6,(4,6)=2

توضیح دهید که هریک از شرط‌های (الف) و (ب) کدام ویژگی را تأمین می‌کند؟

مثال:

[3,4]=12,[6,4]=12,[1,8]=8,[4,16]=16

کار در کلاس (صفحهٔ 13 کتاب درسی)

 

1- با توجه به تعاریف ب‌م‌م و ک‌م‌م ثابت کنید:

a|b(a,b)=|a| (الف
a|b[a,b]=|b|

راهنمایی: برای اثبات (الف) باید دو شرط موجود در تعریف ب‌م‌م را برای |a| بررسی کنیم، یعنی نشان دهیم که |a||a و ... و نیز برای هر m>0 که m|a و m|b نشان دهیم m.... و همین‌طور برای اثبات (ب) ...

2- اگر p عددی اول باشد و aZ و p|a، ثابت کنید، (p,a)=1

تذکر: توجه دارید که در مورد اعدادی که اول نباشند، مطلب کار در کلاس 2 ممکن است برقرار نباشد:

(4,6)=21 ولی 4|6 :مثال

قضیه تقسیم و کاربردها

ممکن است در تقسیم عدد صحیح a بر عدد طبیعی b، باقی‌مانده صفر نباشد، یعنی a بر b بخش‌پذیر نباشد (b|a). در این‌صورت قضیهٔ تقسیم که به بیان آن خواهیم پرداخت (این قضیه را بدون اثبات می‌پذیریم) کمک می‌کند تا بحث بخش‌پذیری در Z را کامل کنیم.

مثال: اگر 25 را بر 7 تقسیم کنیم داریم: q=3 و r=4، و به‌عبارت دیگر 25=(7×3)+4. حال اگر 25- را بر 7 تقسیم کنیم و q=3 در نظر بگیریم، در این‌صورت تساوی 25=7×(3)4 حاصل می‌شود که نمی‌توان (4-) را به‌عنوان باقی‌مانده معرفی کرد، زیرا طبق قضیه تقسیم باقی‌مانده باید نامنفی و کوچک‌تر از مقسوم علیه باشد در این‌صورت با اضافه و کم کردن مضارب مثبت از مقسومٌ‌علیه، شرایط قضیه تقسیم را برقرار می‌کنیم:

25=7×(3)4=7×(3)47+7=7×(3)7+3=7[(3)1]q+3r=3

تذکر: همان‌طور که از دورهٔ ابتدایی به‌خاطر دارید در تقسیم عدد a بر a ، b را مقسوم، b را مقسومٌ‌علیه، q را خارج قسمت و r را باقی‌مانده می‌نامیم.

مثال: اگر باقی‌ماندهٔ تقسیم اعداد m و n بر 17 به‌ترتیب 5 و 3 باشد، در این‌صورت باقی‌ماندهٔ تقسیم عدد (2m5n) بر 17 را به‌دست آورید.

حل: 

m=17q1+5 :طبق فرض
m=17q2+3 :طبق فرض
{2m=2×17q1+105n=(5)×17q215
(2m5n)=17(2q15q2)5
=17(2q15q2)517+17
=17(2q15q2q31)+175
(2m5n)=17(q31q)+12
=17q+12r=12

افراز مجموعهٔ Z به‌کمک قضیه تقسیم

با توجه به قضیهٔ تقسیم، می‌دانیم که اگر a عددی صحیح و دلخواه باشد، با تقسیم آن بر عدد طبیعی b، و با توجه به اینکه باقی‌ماندهٔ تقسیم یعنی r در رابطهٔ 0r<b صدق می‌کند، برای a برحسب r دقیقاً b حالت وجود دارد، مثلاً اگر عدد صحیح a را بر 5 تقسیم کنیم در این‌صورت یا a بر 5 بخش‌پذیر است، یعنی r=0، یا باقی‌ماندهٔ تقسیم a بر 5 عدد 1 است یا .... یا باقی‌ماندهٔ تقسیم 4 است؛ به‌عبارت دیگر، a=.... یا a=5k+3 یا a=.... یا a=5k+1 یا a=5k پس می‌توان گفت هر عدد صحیح مانند a را می‌توان به یکی از پنج صورت فوق نوشت.

مسئلهٔ 1: اگر mZ نشان دهید که m را به یکی از دو صورت 2k یا 2k+1 (زوج یا فرد) می‌توان نوشت.

حل: کافی است m را بر 2 تقسیم کنیم؛ در این‌صورت طبق قضیهٔ تقسیم خواهیم داشت:

m=2k+r,0r<2m=....m=....

مسئلهٔ 2: ثابت کنید اگر p>3 عددی اول باشد، آن‌گاه به یکی از دو صورت p=6k+1 یا p=6k+5 نوشته می‌شود.

حل: کافی است p را بر 6 تقسیم کنیم، در این‌صورت طبق قضیهٔ تقسیم خواهیم داشت:

p=6k(1)p=6k+1(2)p=6k+2(3)p=6k+3(4)p=6k+4(5)p=6k+5(6)

p در حالت (1)، (3) و (5) زوج است و لذا با اول بودنِ آن تناقض دارد. در حالت (4) و با فاکتورگیری از 3 داریم:

p=3(2k+1)

یا p=3k یا 3|p که با اول بودن p در تناقض است و لذا فقط حالت‌های (2) و (6) باقی می‌ماند و حکم اثبات می‌شود.
(توجه دارید که عکس مطلب فوق در حالت کلی برقرار نیست؛ مثلاً (25=6×4+1) ولی 25 اول نیست.)

مسئلهٔ 3: ابتدا ثابت کنید که هر عدد صحیح و فرد مانند a به یکی از دو صورت 4k+1 یا 4k+3 نوشته می‌شود، سپس نشان دهید که مربع هر عدد فرد به شکل (8t+1) نوشته می‌شود (باقی‌ماندهٔ تقسیم مربع هر عدد فرد بر 8، مساوی با 1 است.)

حل: فرض کنیم aZ فرد باشد، اگر a را بر 4 تقسیم کنیم خواهیم داشت:

p=4k(1)p=4k+1(2)p=4k+2(3)p=4k+3(4)

(چهار مجموعهٔ A1={aZ|a=4k} و A2={aZ|a=4k+1} و A3={aZ|a=4k+2} و A4={aZ|a=4k+3} مجموعهٔ Z را افراز می‌کنند.)

حالت‌های .... و .... زوج بوده و لذا a=4k+1 یا a=4k+3 

 a=4k+1a2=16k2+8k+1=8(2k2+kk)+1=8k+1 :اگر
a=4k+3a2=16k2+24k+9=16k2+24k+8+1 :اگر
a2=8(2k2+3k+1t)+1=8t+1

تمرین (صفحهٔ 16 کتاب درسی)

 

1- فرض می‌کنیم ab=cd (a، b، c و d اعداد صحیح و ناصفرند) در این‌صورت پنج رابطهٔ عاد کردن از این تساوی نتیجه بگیرید.

2- ثابت کنید: اگر a|b آن‌گاه a|b و a|b و a|b

3- اگر a>1 و a|9k+4 و a|5k+3، ثابت کنید a عددی اول است.

4- اگر عددی مانند k در Z باشد به‌طوری‌که 5|4k+1، ثابت کنید: 25|16k2+28k+6

5- آیا از اینکه a|b و c|d، همواره می‌توان نتیجه گرفت که a+c|b+d؟

6- ثابت کنید:
الف) هر دو عدد صحیح و متوالی نسبت به هم اول‌اند.
ب) هر دو عدد صحیح و فرد متوالی نسبت به هم اول‌اند.
(راهنمایی: فرض کنید (m,m+1) و ثابت کنید d|1 و نتیجه بگیرید d=1).

7- اگر pq و p و q هر دو عدد اول باشند ثابت کنید (p,q)=1.

8- اگر m,nN و a,bZ ثابت کنید:

mn,a|bam|bn

9- اگر باقی‌ماندهٔ تقسیم عدد a بر دو عدد 7 و 8 به‌ترتیب 5 و 7 باشد، باقی‌ماندهٔ تقسیم عدد a را بر 56 بیابید.

10- اگر a عددی صحیح و فرد باشد و b|a+2 در این‌صورت باقی‌ماندهٔ تقسیم عدد (a2+b2+3) بر 8 را بیابید.

11- اگر n عددی صحیح باشد ثابت کنید 3|n3n
(راهنمایی: برای n سه حالت n=3k و n=3k+1 و ... در نظر بگیرید و در هر حالت ثابت کنید 3|n3n).

12- اگر در یک تقسیم، مقسوم و مقسومٌ‌علیه، هر دو بر عدد صحیح n بخش‌پذیر باشند، ثابت کنید باقی‌ماندهٔ تقسیم نیز همواره بر n بخش‌پذیر است.

13- اگر a عددی صحیح و دلخواه باشد ثابت کنید همواره یکی از اعداد صحیح a یا a+2 یا a+4 بر 3 بخش‌پذیر است.

14- ثابت کنید تفاضل مکعب‌های دو عدد صحیح متوالی عددی فرد است.

15- ثابت کنید حاصل ضرب سه عدد صحیح متوالی همواره بر 3! بخش‌پذیر است.

16- حاصل هر یک را به‌دست آورید.: (mZ)

([m2,m],m5) (الف
(2m,6m3)
(3m+1,3m+2)
[m7,(m2,m3)]
[(72,48),120]