موضوع مقاله: افراز عدد صحیح | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # افراز عدد صحیح | مقدمه: در این مقاله از افرازهای یک عدد صحیح یا از آنچه که با گردایه‌ای از اشیاء یکسان هم ارز است بحث می‌کنیم. | ## بخش 1: افراز عدد صحیح | در حالتی که اشیاء یکسان نباشند، مسئله تحت عنوان «افرازهای یک مجموعه» در می‌آید که در بحث این مقال نیست. چگونگی افراز چون تعداد افرازهای ۵ برابر ۷ است، می‌نویسیم ؛ به طور کلی فرض کنیم تعداد افرازهای عدد صحیح مثبت را نشان دهد. در افرازی مانند ۲ + ۳ بالا هریک از اعداد ۳ و ۲ را یک جمع‌وند می‌گویند؛ بنابراین عدد ۵ دارای افراز با یک جمع‌وند، دو افراز با دو جمع‌وند، دو افراز با سه جمع‌وند، یک افراز با چهار جمع‌وند و یک افراز با پنج جمع‌وند است. در حالی که ۵ دارای دو افراز با سه جمع‌وند است، معادله در مجموعه اعداد صحیح مثبت دارای شش جواب است که عبارت‌اند از: (۱٬۳٬۱ ۳٬۱٬۱ ۱٬۱٬۳ ۲٬۲٬۱ ۲٬۱٬۲ ۱٬۲٬۲) فهرست ۱ در شمردن تعداد جواب‌های یک معادله، ترتیب در نظر گرفته می‌شود؛ ولی در شمردن تعداد افرازها، ترتیب جمع‌وندها مفهومی ندارد. نمودارهای افرازها به افرازهای ۶ توجه کنید: ۳+۳ , ۵+۱ , ۴+۲ ۲+۲+۲ , ۳+۲+۱ , ۴+۱+۱ سخ} , ۲+۲+۱+۱ , ۲+۱+۱+۱+۱ , ۱+۱+۱+۱+۱+۱ فهرست ۲ ' یازده افراز وجود دارد، بنابراین می‌نویسیم p(6)=۱۰. همچنین می‌بینیم که تعداد افرازهای ۶ به ۶ جمع‌وند، برابر ۱؛ به ۵ جمع‌وند، برابر ۱؛ به ۴ جمع‌وند، برابر ۲؛ به ۳ جمع‌وند، برابر ۳؛ به ۲ جمع‌وند، برابر ۳؛ به ۱ جمع‌وند، برابر ۱؛ است. | ## بخش 2: افراز عدد صحیح | تعداد افرازهایn را که تعداد جمع‌وندهای آنها کوچکتر یا مساویk است با نماد نشان خواهیم داد. به ازای n=۶، فهرست (۲)ی بالا نشان می‌دهد که: فهرست ۳ چون عدد ۶ نمی‌تواند به بیشتر از شش جمع‌وند افراز شود، انتظار داریم که همان باشد. به همین ترتیب، به معنای تعداد افرازهایn است که دارای n جمع‌وند یا کمتراز n جمع‌وند است و بنابراین همچنین می‌توان افرازها را بر حسب اندازه جمع‌وندها رده‌بندی کرد. فهرست (۱) نشان می‌دهد که تعداد افرازهای ۶، با ۶ به عنوان بزرگترین جمع‌وند، برابر ۱ است؛ با ۵ به عنوان بزرگترین جمع‌وند، برابر ۱ است، با ۴ به عنوان بزرگترین جمع‌وند، برابر ۲ است، با ۳ به عنوان بزرگترین جمع‌وند، برابر ۳ است، با ۲ به عنوان بزرگترین جمع‌وند، برابر ۳ است، با ۱ به عنوان بزرگترین جمع‌وند، برابر ۱ است، به شباهت این فهرست با فهرست (۲) توجه کنید. به علاوه اگر را تعداد افرازهایی ازn تعریف کنیم که هیچ‌یک از جمع‌وندهای آن ازk بزرگتر نباشد، نتیجه می‌گیریم که: این فهرست مشابه فهرست (۳) است. به طور کلی درست است که برقراری رابطه اکنون توجه خود را به بعضی از حالت‌های خاص معطوف می‌داریم که ببینیم چرا این رابطه برقرار است. | ## بخش 3: افراز عدد صحیح | افرازهای ۶ با سه جمع‌وند عبارت‌اند از: ۲+۲+۲ , ۳+۲+۱ , ۴+۱+۱ افراز ۱ افرازهای ۶ که بزرگترین جمع‌وند آنها ۳ است عبارت‌اند از: ۳+۱+۱+۱ , ۳+۲+۱ , ۳+۳ افراز ۲ برای اینکه تساوی تعداد افرازهای فهرست‌های (۱) و (۲) را ببینیم، از آنچه نمودار افرازها نامیده شده است استفاده می‌کنیم. نمودار افراز ۴+۱+۱ عبارت است از: وسط| به همین ترتیب نمودارهای ۳+۲+۱ و۲+۲+۲ به صورت زیرند: وسط| بنابراین نمودار یک افرازn با'''k جمع‌وند، صرفاً شامل k سطر از نقطه‌ها، هر سطر برای یک جمع‌وند است؛ سطری که بزرگترین جمع‌وند را نشان می‌دهد در بالا ظاهر می‌شود، نمایش بزرگترین جمع‌وند بعدی در زیر آن ظاهر می‌شود وقس علی‌هذا. تعداد سطرها برابر تعداد جمع‌وندها است، و تعداد نقطه‌ها در هر سطر برابر با اندازه هر جمع‌وند است. اگر نمودار اولیه افرازی با kجمع‌وند را نشان دهد (یعنی دارای k سطر باشد)، آن‌گاه عکس نمودار در اولین (بزرگترین) سطر دارایk نقطه است و بنابراین افرازی با ماکسیمم جمع‌وند k را نشان می‌دهد، مثلاً، افراز ۱۲ به ۴ جمع‌وند، یعنی، نمودار زیر را دارد. وسط| و نمودار عکس آن، یعنی افراز ۴+۲+۲+۲+۱+۱ عدد ۱۲ را نشان می‌دهد که بزرگترین جمع‌وند آن ۴ است؛ بنابراین می‌توان تناظر یک به یکی را که بین نمودارها و نمودارهای عکس وجود دارد به عنوان یک تناظر یک به یک بین افرازهایی از n با k جمع‌وند و افرازهایی nازk با بزرگترین جمع‌وند تعبیر کرد. در نتیجه تعداد افرازهایn بهk جمع‌وند با تعداد افرازهایی ازn ماکسیمم جمع‌وند آنها مساوی k است، برابر است. | ## جمع‌بندی | به علاوه چون تعداد افرازهایی از به ۱، یا ۲، یا ۳، …، یاk جمع‌وند مساوی با تعداد افرازهایی ازn است که ماکسیمم جمع‌وندهای آن برابر ۱، یا ۲، یا ۳، …، یا k است، می‌توان گفت: تعداد افرازهایی از n به k یا کمتر ازk جمع‌وند، برابر با تعداد افرازهایی از n است که بزرگترین جمع‌وند آنها از k''' بزرگتر نیست؛ به صورت نمادی، رابطه بازگشتی برای افرازها: برهان: را معادل نوشتن به صورت k جمعوند فرض کردیم.