We want (AE = EC) → (E) midpoint of (AC).
The deepest learning comes from:
Master the Challenge: A Deep Dive into "106 Geometry Problems" 106 geometry problems