תומס פנינגטון קירקמן

תומס פנינגטון קירקמן – כשנקודות וישרים משחקים בשלישיות

תומס פנינגטון קירקמן היה מתמטיקאי וכומר אנגלי שחי במאה ה־19. הוא אהב להפוך בעיות מתמטיות לחידות לוגיות, כמו איך לשלוח תלמידות לטיולים בשלשות כך שבכל יום תלכנה בקבוצות חדשות. מתוך חקירה של בעיות כאלה, הוא גילה עולם גאומטרי קטן ומופלא – שנקרא מישור פרויקטיבי סופי.

זהו עולם שיש בו מספר סופי של נקודות ו־ישרים, אבל הכללים בו מפתיעים:

• כל שתי נקודות יוצרות בדיוק ישר אחד.

• כל שני ישרים נפגשים תמיד בנקודה אחת (אין "ישרים מקבילים").

• מספר הישרים שווה למספר הנקודות.

• לכל נקודה עוברים אותו מספר של ישרים.

המישור הקטן ביותר מהסוג הזה כולל 7 נקודות ו־7 ישרים, וכל ישר עובר דרך 3 נקודות. מישור זה נקרא מישור פאנו.