Line Work

This is a fairly simple problem from Futility Closet, which is currently under a hiatus.

“Robert Bilinski proposed this problem in the April 2006 issue of Crux Mathematicorum. On square ABCD, two equilateral triangles are constructed, ABE internally and BCF externally, as shown. Prove that D, E, and F are collinear.”

See Line Work