שרשור חלקים שווים
חלק מהיחידה חפיפה והוכחות במסלול ה-Geometry של Coddy. שיעור 2 מתוך 60.
∠1 = ∠2, וגם ∠2 = ∠3. לכן ∠1 = ∠3. אין צורך לבדוק את ∠1 ואת ∠3. שניהם שווים ל־∠2, ולכן הם שווים זה לזה.
זוהי תכונת המעבר: אם a = b וגם b = c, אז a = c. היא תקפה לצלעות ולזוויות.
בהוכחות משתמשים בזה לעיתים קרובות. כלל אחד מקשר בין החלק הראשון לחלק האמצעי. כלל אחר מקשר בין החלק האמצעי לחלק האחרון. לאחר מכן, התכונה הטרנזיטיבית מקשרת בין החלק הראשון לאחרון. השורה שלה מציינת את שמות שתי השורות שבהן היא משתמשת.
אתגר
הקשתות מציינות ש־∠1 = ∠2. ∠2 ו־∠3 הן זוויות קודקודיות: הן נמצאות זו מול זו במקום שבו שני ישרים נחתכים. שני הישרים הראשונים כבר כתובים. הוסף את הישר שמוכיח ש־∠1 = ∠3. לאחר מכן לחץ על בדיקה.
נסו בעצמכם
כתבו את ההוכחה