משפט פיק

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

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

המשפט קובע שאם בפנים המצולע נמצאות נקודות ועל צלעותיו (כולל קודקודים) נמצאות נקודות, אז השטח הוא:

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

הוכחה

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

ולכן

כיוון שהנחנו ש- מקיימים את משפט פיק, מקבלים:

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

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

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

קישורים חיצוניים