Last February I posted about how my friend Tina, who writes the Diotima’s Ladder blog, asked for some help with a set of diagrams for her novel. The intent was to illustrate an aspect of Plato’s Divided Line — an analogy about knowledge from his worldwide hit, the Republic. Specifically, to demonstrate that the middle two (of four) segments always have equal lengths.
The diagrams I ended up with outlined a process that works, but I was never entirely happy with the last steps. They depended on using a compass to repeat a length as well as on two points lining up — concrete requirements that depend on drawing accuracy.
Last week I had a lightbulb moment and realized I didn’t need them. Lurking right in front of my eyes is a solid proof that’s simple, clear, and fully abstract.