In Exercise 14.2 Q11, $\triangle ABC : \triangle DEF$ when equals —

With $\angle A = \angle D$, the areas of the triangles are proportional to the products of the sides enclosing the equal angle. Thus $\triangle ABC : \triangle DEF = AB \cdot AC : DE \cdot DF$.