מספר ראשוני – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
←‏התפלגות הראשוניים: הוספתי עוד נתון חיוני בסוגריים, הדגשתי משהו שלא היה מוגדר בוודאות
תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד
ביטול גרסה: 7 מחלק את 7
שורה 19:
=== התפלגות הראשוניים ===
[[קיומם של אינסוף מספרים ראשוניים|קיימים אינסוף מספרים ראשוניים]]. ה[[הוכחה]] הראשונה לכך ניתנה בספרו של [[אוקלידס]], "[[יסודות (ספר)|יסודות]]". זוהי [[הוכחה בדרך השלילה]]:
: ברור שלכל מספר גדול מ-1 (אשר הוא עצמו אינו ראשוני) יש [[מחלק|גורם]] ראשוני (זו טענה שאפשר להוכיח ב[[אינדוקציה מתמטית]]). נניח שיש רק מספר סופי של ראשוניים, <math>\ p_1,\dots,p_n</math>. המספר <math>\ N = p_1\dots p_n+1</math> (מכפלת n הראשוניים הללו פלוס 1) אינו מתחלק באף אחד מהם, ולכן אין לו גורמים ראשוניים - אבל זו סתירה לכך ש- <math>\ N>1</math>. מכאן שאין רשימה סופית הכוללת את כל הראשוניים.
 
כאשר סופרים את הראשוניים בקטעים ארוכים (כגון: עד 1000, בין 1000 ל-2000, וכן הלאה), מגלים ששכיחותם הולכת ויורדת. [[קרל פרידריך גאוס|גאוס]] עסק רבות בחישובים בקשר לסוגיה זו, ושיער ששכיחות הראשוניים בין 1 ל-x יורדת, בקירוב, ביחס הפוך ל[[לוגריתם|לוגריתם הטבעי]] של x. כחמישים שנים אחר-כך חקר [[רימן]] את [[פונקציית זטא של רימן|פונקציית זטא הקרויה על שמו]], במטרה להוכיח את ההשערה של גאוס. על היסודות שהניח רימן, הצליחו לבסוף המתמטיקאים של סוף [[המאה ה-19]] להוכיח את '''[[משפט המספרים הראשוניים]]''': מספר הראשוניים הקטנים ממספר נתון <math>x</math> שווה בקירוב ל- :<math>\ \frac{x}{\ln(x)}</math>