נוסחת השרוך

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

הנוסחה

שטחו של מצולע בעל ${\displaystyle n}$ קודקודים מהצורה ${\displaystyle (x_{i},y_{i})}$ הוא:

${\displaystyle {\begin{aligned}A&={\frac {1}{2}}\left|\sum _{i=1}^{n-1}x_{i}y_{i+1}+x_{n}y_{1}-\sum _{i=1}^{n-1}x_{i+1}y_{i}-x_{1}y_{n}\right|\\&={\frac {1}{2}}{\Big |}x_{1}y_{2}+x_{2}y_{3}+\cdots +x_{n-1}y_{n}+x_{n}y_{1}-x_{2}y_{1}-x_{3}y_{2}-\cdots -x_{n}y_{n-1}-x_{1}y_{n}{\Big |}\\&={\frac {1}{2}}\left|\sum _{i=1}^{n}x_{i}(y_{i+1}-y_{i-1})\right|={\frac {1}{2}}\left|\sum _{i=1}^{n}y_{i}(x_{i+1}-x_{i-1})\right|={\frac {1}{2}}\left|\sum _{i=1}^{n}(x_{i}y_{i+1}-x_{i+1}y_{i})\right|={\frac {1}{2}}\left|\sum _{i=1}^{n}\det {\begin{pmatrix}x_{i}&x_{i+1}\\y_{i}&y_{i+1}\end{pmatrix}}\right|\end{aligned}}}$

כאשר ${\displaystyle x_{n+1}=x_{1},x_{0}=x_{n},y_{n+1}=y_{1},y_{0}=y_{n}}$ .

דוגמאות

דיאגרמה

משולש: ${\displaystyle A_{\text{tri.}}={\frac {1}{2}}{\Big |}x_{1}y_{2}+x_{2}y_{3}+x_{3}y_{1}-(x_{2}y_{1}+x_{3}y_{2}+x_{1}y_{3}){\Big |}}$

מרובע: ${\displaystyle A_{\text{quad.}}={\frac {1}{2}}{\Big |}x_{1}y_{2}+x_{2}y_{3}+x_{3}y_{4}+x_{4}y_{1}-(x_{2}y_{1}+x_{3}y_{2}+x_{4}y_{3}+x_{1}y_{4}){\Big |}}$

מקור השם

מקור השם הוא בחישוב השטח על ידי מטריצה. למשל, ניקח את הצורה שקדקודיה הם ${\displaystyle (2,4),(1,2),(3,-8)}$ , ניתן לרשום את המצולע בתור המטריצה הבאה:

${\displaystyle {\begin{bmatrix}2&4\\3&-8\\1&2\\2&4\end{bmatrix}}}$

(1) אלכסונים ימניים		(2) אלכסונים שמאליים

נחבר את מכפלות האלכסונים הימניים: ${\displaystyle 2\cdot (-8)+3\cdot 2+1\cdot 4=-6}$

נחסר מזה את סכום מכפלות האלכסונים השמאליים: ${\displaystyle 4\cdot 3+(-8)\cdot 1+2\cdot 2=8}$

נוציא ערך מוחלט: ${\displaystyle |-6-8|=14}$ , נקבל את השטח, מחצית הערך המוחלט, שהוא 7.