This turned out to be a challenging puzzle from the 1980 Canadian Math Society’s magazine, Crux Mathematicorum.
“Proposed by Leon Bankoff, Los Angeles, California.
Professor Euclide Paracelso Bombasto Umbugio has once again retired to his tour d’ivoire where he is now delving into the supersophisticated intricacies of the works of Grassmann, as elucidated by Forder’s Calculus of Extension. His goal is to prove Neuberg’s Theorem:
If D, E, F are the centers of squares described externally on the sides of a triangle ABC, then the midpoints of these sides are the centers of squares described internally on the sides of triangle DEF. [The accompanying diagram shows only one internally described square.]
Help the dedicated professor emerge from his self-imposed confinement and enjoy the thrill of hyperventilation by showing how to solve his problem using only highschool, synthetic, Euclidean, ‘plain’ geometry.”
Alas, my plane geometry capability was inadequate to solve the puzzle that way, so I had to resort to the sledge hammer of analytic geometry, trigonometry, and complex variables.


Futility Closet
This may be a futile attempt at an elementary introduction to complex variables by emphasizing their geometric properties. The elementary part is probably undermined by an initial discussion of field extensions and a necessary reference to trigonometry. Hopefully, the suppression of the explicit use of complex powers of Euler’s constant e until the very end will allow the geometric ideas to have center stage. A primary goal of the essay is to realize that complex polynomials involve sums of circles in the plane. The image of real polynomials as wavy curves in the plane is misleading for an understanding of complex behavior. See