משפט פיק
משפט פיק הוא משפט גאומטרי שמספק נוסחה לחישוב השטח של מצולע שקודקודיו נמצאים על נקודות בעלות קואורדינטות שלמות במישור הקרטזי.
המשפט קובע שאם בפנים המצולע נמצאות i נקודות ועל צלעותיו (כולל קודקודים) נמצאות b נקודות, אז השטח, A, הוא:
את המשפט גילה והוכיח גאורג אלכסנדר פיק בשנת 1899. פיק היה מתמטיקאי אוסטרי-יהודי, שנספה בטרזיינשטאט בשנת 1942. ניתן להראות שלא ניתן להכליל את המשפט לשלושה ממדים באמצעות ספירת הנקודות בתוך הפאון ועל פניו והשוואה לנפח שלו. עם זאת, ניתן להכליל לממד גבוה יותר באמצעות פולינום ארהרט. ניתן גם להכליל את הנוסחה לפני השטח של פאונים.
הוכחה
[עריכת קוד מקור | עריכה]יהיה P מצולע כלשהו המקיים את תנאי המשפט, ו-T משולש החולק צלע משותפת עם P ונמצא מחוץ לו. נניח שמשפט פיק נכון עבור P ו-T. אנחנו רוצים להוכיח שגם המצולע P+T המתקבל מצירוף המשולש למצולע מקיים את משפט פיק. כיוון ש-P ו-T חולקים צלע משותפת, כל הנקודות שהיו על צלע זאת הופכות להיות נקודות פנימיות במצולע החדש, מלבד הקצוות, שנשארות על השפה. אם נסמן את הנקודות שהיו על הצלע המשותפת ב-c, נסמן את מספר כל הנקודות הפנימיות במצולע i ונסמן את מספר כל הנקודות שמונחות על צלע של מצולע b, נקבל:
- , ו-
ולכן
- , ו-
כיוון שהנחנו ש-P ו-T מקיימים את משפט פיק, מקבלים:
קיבלנו שאם המשפט נכון עבור מצולע בעל n צלעות, הוא נכון גם עבור מצולע בעל n+1 צלעות. לכל מצולע ניתן לבצע טריאנגולציה, כלומר לחלק למשולשים. לכן, בעזרת אינדוקציה אפשר להראות שמספיק שהמשפט יהיה נכון למשולשים, בשביל שיהיה נכון לכל מצולע. נותר להוכיח את בסיס האינדוקציה - להראות שהמשפט נכון עבור משולשים:
- תחילה יש להראות שהמשפט נכון עבור מלבן שצלעותיו מקבילות לצירים וקודקודיו על נקודות שלמות. ואכן, אם המלבן הזה הוא m x n, אז ישנן (m+n)2 נקודות על השפה שלו, ו- (m-1)(n-1) נקודות בתוכו, ומתקיים:
- מכך נובע שהמשפט נכון עבור משולש ישר-זווית שצלעותיו מקבילות לצירים, שהרי ניתן לקבל אותם על ידי "גזירת" המלבן לאורך האלכסון
- כל משולש ניתן להפוך למלבן על ידי הצמדת משולשים ישרי זווית (מקסימום שלושה) בעלי צלעות מקבילות לצירים. כיוון שהמלבן, וכל המשולשים, מקיימים את המשפט, אז גם המשולש המקורי מקיים אותו.
שני השלבים האחרונים נבעו מכך שאם PT הוא מצולע שמקיים את משפט פיק, אז גם המצולע P והמשולש T שהרכיבו אותו מקיימים את משפט פיק. ניתן להראות זאת באותה דרך המוצגת לעיל.
קישורים חיצוניים
[עריכת קוד מקור | עריכה]- סריגים ושברים פשוטים: משפט פיק, באתר מחלקה להוראת המדעים, מכון ויצמן למדע
- Tom Davis, משפט פיק (באנגלית)
- משפט פיק, באתר MathWorld (באנגלית)