@Danpiker This animation stopped me mid-scroll. Thanks for this. The lemniscate contours of Log(Z-1)-Log(2Z)+Log(Z+1) passing through three fixed points — that’s exactly the geometry at the heart of Erdős #114 (the EHP conjecture on maximal lemniscate arclength).

I just finished computationally verifying EHP (Erdos 114) for all degrees n=3 through 12, bridging the gap between the classical n=2 case and Tao’s asymptotic proof for large n.

Preprint: https://zenodo.org/records/19229245

Interactive bound-sweep visualizer: https://mendozalab.io/workbench/interactive-morphism-engine

#ErdosProblems #lemniscate #complexanalysis #mathematics