בואו נוכיח שיש אינסוף ראשוניים!

אחת מהתוצאות המתמטיות הבסיסיות המפורסמות ביותר היא שקיימים אינסוף מספרים ראשוניים. זו תוצאה נפלאה, בגלל שכל כך קל לומר מה בדיוק היא אומרת, מאוד קל להוכיח אותה, והיא אומרת משהו לא מובן מאליו ובעל השלכות מעניינות. בפוסט הזה אני ארצה להציג במרוכז שלל הוכחות של התוצאה הזו ולומר עליהן כמה דברים נחמדים. אני אלך אחד-לאחד …

משפט זקנדורף

אני רוצה לתת פוסט קליל יחסית הפעם, ולצורך כך בחרתי במשפט שלטעמי הוא חביב ביותר (אם כי אחרים אולי לא יבינו מה אני מוצא בו) שגם יש לו כמה שימושים נחמדים שלא אזכיר כאן ולו ברמז – משפט זקנדורף. כדי להבין מה המשפט אומר, בואו ניזכר בשני מושגים בסיסיים במתמטיקה – בסיסי ספירה, ומספרי פיבונאצ'י. …

איך מוצאים את נוסחת פיבונאצ'י?

בדומה לפוסטים אחרים, גם המוטיבציה לפוסט הזה היא שאילתת חיפוש שראויה לתשובה רצינית ולא בת שתי שורות – במקרה הזה, "איך מוכיחים נוסחת פיבונאצ'י". איני בטוח אם הכוונה היא רק להוכחה שהנוסחה נכונה, או גם למציאת הנוסחה; לדעתי מציאת הנוסחה היא העיקר ואז ההוכחה (באינדוקציה, או באמצעות כלים כבדים מאלגברה לינארית שמטפלים במקרה כללי בהרבה) …