כותבים בהוכחות בגיאומטריה "צלעות שוות במשולשים חופפים" או "צלעות מתאימות במשולשים חופפים"? וגם בחיסור קטעים כותבים "חיסור קטעים" או "חיסור קטעים שווים?"

צלעות שוות במשולשים חופפים נראלי
וחיסור קטעים שווים

צלעות מתאימות שוות במשולשים חופפים
חיסור קטעים שווים מקטעים שווים יוצר/נותן קטעים שווים.

:)

צלעות מתאימות במשולשים חופפים שוות ורושמים את המשפט השני בקיצור "אקסיומת חיסור" במקום חיסור קטעים שווים מקטעים שווים. כך גם לגבי החיבור - "אקסיומת חיבור" בקצרה.

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

כשצלעות שוות בהתאמה מראה על משולשים חופפים