מחלק – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
שורה 23:
==מספר המחלקים הטבעיים של מספר טבעי==
 
'''[[משפט (מתמטיקה)|משפט]]''':נסמן ב-<math>\ d(n)</math> את הפונקציה הסופרת את מספר המחלקים של [[מספר טבעי]] <math>0 \neq n</math>, שפירוקו לגורמים מיוצג בצורה:{{ש}}
{{ltr|
<math>\!\,
שורה 32:
<math>\!\,
p_1,...,p_n
</math>
ראשוניים, והמספרים:
<math>\!\,
x_1,...,x_n
</math> שלמים.
נשים לב, שכל מחלק של
על פי [[המשפט היסודי של האריתמטיקה]], לכל מספר טבעי שונה מ-0 יש הצגה יחידה כמכפלה של [[מספר ראשוני|מספרים ראשוניים]], ולכן לפי [[עקרון הכפל]]:
<math>n </math>
הוא מהצורה
<math>\ {p_1}^{y_1}\cdot{p_2}^{y_2}\cdot{p_3}^{y_3}\cdot...\cdot{p_n}^{y_n} </math> כאשר <math>\ 0\le y_i\le x_i</math>.
כמו כן, על פי [[המשפט היסודי של האריתמטיקה]] ייצוג זה הוא יחיד. לכן לפי [[עקרון הכפל]]:
{{ltr|
<math>\
שורה 56 ⟵ 60:
מחלקים טבעיים.
 
'''הוכחה''':
כדי להיווכח בנכונות המשפט די לשים לב לכך שכל מחלק של המספר
<math>\ {p_1}^{x_1}\cdot{p_2}^{x_2}\cdot{p_3}^{x_3}\cdot...\cdot{p_n}^{x_n} </math>
הוא מהצורה
<math>\ {p_1}^{y_1}\cdot{p_2}^{y_2}\cdot{p_3}^{y_3}\cdot...\cdot{p_n}^{y_n} </math> כאשר <math>\ 0\le y_i\le x_i</math>.
 
כלומר, לכל וקטור מהצורה <math>\ (y_1,\dots,y_n)</math> עם <math>\ 0\le y_i\le x_i</math> מותאם מחלק
אחד ויחיד. מ[[קומבינטוריקה]] בסיסית מקבלים כי מספר הווקטורים הזה הוא בדיוק <math>\ (x_1+1)(x_2+1)(x_3+1)\cdot...\cdot(x_n+1) </math>, שכן יש לנו <math>\ x_1+1</math> בחירות אפשריות לקואורדינטה הראשונה, <math>\ x_2+1</math> בחירות לקואורדינטה השנייה וכן הלאה.
 
חשוב להדגיש שאם רוצים לספור את מספר המחלקים השלמים (לא בהכרך חיוביים) של מספר שלם <math>n</math>, הם יהיו פי 2 ממספר המחלקים הטבעיים של <math>|n|</math>. מכיוון שלכל מחלק טבעי ניתן להוסיף את הנגדי לו.