איך כותבים את המשפט הבא בגאומטריה בתור כתיב מתמטי?

המשפט: "A הוא קודקוד הראש של משולש שווה השוקיים ABC"

מי שלא יודע מה זה כתיב מתמטי, אז לדוגמהאם אכתוב את המשפט הבא ככה:
"משולשים DEF, ABC חופפים"
אז בכתיב מתמטי זה יהיה:
DE=AB
EF=BC
DF=AC