הצגת המקור של הדף "חפיפת משולשים"

[[קובץ:Congruent triangles.svg|שמאל|ממוזער|286x286px|[[איור]] המדגים כיצד ניתן [[בנייה בסרגל ובמחוגה|לבנות]] [[משולש]] אחד ויחיד על בסיס שלושה מאפיינים ידועים. במקרה התחתון מימין עבור שתי [[צלע (גאומטריה)|צלעות]] וה[[זווית]] שמול הקטנה מהן ניתן לבנות שני משולשים שונים, ולכן חפיפה אינה מתקיימת בתנאי כזה.]]
ב[[גאומטריה אוקלידית]], '''[[משולש]]ים''' נקראים '''חופפים''' (congruent triangles) אם [[צלע (גאומטריה)|הצלעות]] המתאימות שלהם שוות באורכן, [[זווית|והזוויות]] המתאימות שלהם שוות במידתן. במקרה זה ישנה [[איזומטריה]] (התאמה השומרת מרחקים וזוויות) של המישור, המעבירה משולש על משולש. [[אינטואיציה|אינטואיטיבית]], משולשים חופפים הם בעצם עותקים של אותו משולש.

הסימון המקובל לחפיפה הוא: <math>\triangle \mathrm{ABC} \cong \triangle \mathrm{DEF}</math> ומשמעותו: המשולשים ABC ו-DEF חופפים באופן שמעתיק את הקודקודים A,B,C ל-D,E,F בהתאמה.

במקרים רבים די לקבוע את השוויון של שלושה חלקים תואמים ולהשתמש באחת מהתוצאות הבאות כדי להסיק את ההלימה של שני המשולשים.


== משפטי חפיפת משולשים ==
למשולש נתון, ולכל המשולשים החופפים לו, יש אותם אורכי צלעות ואותן זוויות; אלו הם ששת "הגדלים היסודיים" במשולש. ידיעת שלוש הזוויות לבדן אינה קובעת את המשולש, אלא [[עד כדי (מתמטיקה)|עד כדי]] [[דמיון משולשים|דמיון]]. ידיעת כל שלושה גדלים יסודיים אחרים מספיקה, כמעט בכל המקרים, לאפיין את המשולש כולו עד כדי חפיפה. עובדה זו באה לידי ביטוי ב'''משפטי החפיפה''', המבטיחים, בתנאים מסוימים, שמשולשים שבהם שווים שלושה גדלים מסוימים מוכרחים להיות חופפים.

אחד הגדלים, כאמור, מוכרח להיות צלע, ולפיכך קיימים משפטי החפיפה הבאים:
# שני משולשים השווים זה לזה באורכי שתי צלעות ובזווית שביניהן הם חופפים ("צלע-זווית-צלע", SAS, צ.ז.צ).
# שני משולשים השווים זה לזה בשתי זוויות ובאורך הצלע שביניהן הם חופפים ("זווית-צלע-זווית", ASA, ז.צ.ז). די להראות כי המשולשים שווים בצלע אחת ובשתי זוויות כלשהן, משום ששוויון הזווית השלישית נובע מכך ש[[סכום הזוויות במשולש]] קבוע.
# שני משולשים השווים זה לזה באורכי צלעותיהם הם חופפים ("צלע-צלע-צלע", SSS, צ.צ.צ).
# שני משולשים השווים זה לזה באורכי שתי צלעות ובזווית שמול הצלע הגדולה מביניהן הם חופפים ("צלע-צלע-זווית", SSA, צ.צ.ז). הזווית צריכה להיות מול הצלע הגדולה בהכרח, אחרת המשפט אינו נכון (ראו איור משמאל). עם זאת, המשפט נכון גם אם מניחים שהזווית מול הצלע הגדולה חדה בשני המשולשים או לא חדה (כלומר קהה או ישרה) בשני המשולשים.
אם כך, בגאומטריה אוקלידית, המקרה היחיד שבו משולש אינו נקבע על ידי שלושה מגדלי הצלעות והזוויות הוא כאשר נתונות רק שלוש הזוויות (ז.ז.ז), או כאשר נתונות רק שתי צלעות וזווית שאינה ביניהן. [[גאומטריה ספירית|בגאומטריה כדורית]] וב[[גאומטריה היפרבולית]] (שבהן סכום הזוויות של משולש משתנה בהתאם לגודלו), ז.ז.ז מספיק לחפיפה בהינתן עקמומיות קבועה של משטח.

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

יש דרכים רבות אחרות לזהות משולש עד כדי חפיפה. למשל, שני משולשים השווים זה לזה בזווית, בצלע שמולה וב[[חוצה זווית]] של זווית אחרת, הם חופפים.

==תקפותם של משפטי החפיפה==
משפטי החפיפה אינם ניתנים ל[[הוכחה]] משאר ה[[אקסיומה|אקסיומות]] המקובלות של ה[[גאומטריה אוקלידית|גאומטריה האוקלידית]]. עם זאת, הם עצמם שקולים זה לזה, כלומר ניתן להוכיח בעזרת כל אחד מהם את האחרים. ב[[מערכת האקסיומות של הילברט]] מהווה משפט החפיפה צלע-זווית-צלע אקסיומה ([[מערכת האקסיומות של הילברט#III. חפיפה|אקסיומה III.5]]).

[[אוקלידס]], שספרו "[[יסודות (ספר)|יסודות]]" היה הראשון שניסה לבסס את הגאומטריה על אקסיומות, הוכיח את המשפט הראשון בנוסח שהסתמך על מושג ה"תנועה", שלא הוגדר; את שאר המשפטים הוכיח אוקלידס במדויק מן המשפט הראשון.

'''דוגמה להוכחת המשפט השני בעזרת הראשון''': נניח שנתונים שני משולשים, ABC ו-'A'B'C, וידוע ש-<math>AB=A'B', \angle A=\angle A', \angle B=\angle B'</math>. [[הוכחה בשלילה|נניח בשלילה]] שהמשולשים אינם חופפים, ואז הצלעות 'AC, A'C אינן שוות (אחרת המשולשים היו חופפים על פי המשפט הראשון) לכן יש נקודה D על צלע AC (או המשכה) כך ש-'AD=A'C. המשולשים ABD ו-'A'B'C חופפים על פי המשפט הראשון, ועל כן <math>\angle ABD = \angle B'</math>. אבל זה לא ייתכן, כי <math>\angle ABD < \angle B'</math> כי היא חלקית לה (בהנחה ש-D בין A ל-C, אחרת הכיוון של האי-שוויון הפוך) סתירה ועל כן המשפט הוכח.

==לקריאה נוספת==
* [[דיבשה אמירה]], '''ביסוס אקסיומתי ליסודות הגאומטריה''', הוצאת עם עובד ודביר, 1962.

==קישורים חיצוניים==
{{ויקישיתוף בשורה|Category:Congruent triangles}}
* דורית פטקין ואולגה פלקסין, [http://highmath.haifa.ac.il/data/alle39-7.pdf חפיפת משולשים, התנאים המספיקים והתנאים שאינם מספיקים], על"ה 39, תשס"ח 2008
* [https://www.cuemath.com/geometry/congruence-in-triangles/ Congruence in Triangles] באתר CUEMATH {{אנגלית}}
*[https://www.lergo.org/index.html#!/public/lessons/5995413470a8322c97067610/intro חפיפת משולשים, משפט חפיפה צלע-זווית-צלע], באתר [[לרגו - למד בעצמך|לרגו]] ([https://www.lergo.org/index.html#!/public/homepage?lergoLanguage=he&lergoFilter.filterLanguage=%22hebrew%22 LerGO])
*[https://www.lergo.org/index.html#!/public/lessons/599e731070a8322c97069416/intro חפיפת משולשים, משפט חפיפה זווית-צלע-זווית], באתר [[לרגו - למד בעצמך|לרגו]] ([https://www.lergo.org/index.html#!/public/homepage?lergoLanguage=he&lergoFilter.filterLanguage=%22hebrew%22 LerGO])
*[https://www.lergo.org/index.html#!/public/lessons/59ad90f0ca34e843828745b0/intro חפיפת משולשים, משפט חפיפה צלע-צלע-צלע], באתר [[לרגו - למד בעצמך|לרגו]] ([https://www.lergo.org/index.html#!/public/homepage?lergoLanguage=he&lergoFilter.filterLanguage=%22hebrew%22 LerGO])

[[קטגוריה:משולש]]
[[קטגוריה:יחסי שקילות]]

[[bg:Еднаквост на триъгълници]]
[[en:Congruent triangles]]