Источник TeX:
\triangle AEF : AF=AE