Found in 2 comments on Hacker News
formalsystem · 2019-10-23 · Original thread
If you enjoyed this post, you'll probably love "The Elements of Euclid"[1] by Byrne which provides entirely visual proof for ALL the basic proofs of euclidean geometry.

I actually first came across the book when I saw it mentioned in Beautiful Explanations by Tufte. The beauty of the images is just on another level, the book will just make you feel good when you stare at it and after staring at it you'll absorb a proof accidentally with barely any effort on your part.

There is a mistaken belief that visual proofs are less serious than algebraic ones but I believe this is mostly due to a lack of imagination when it comes coming up with good visual proofs. Byrne's book will help you see just how powerful pictures can be. There's lots of good work happening in the Category Theory community to turn diagrams into first class objects in constructing proofs so I'm very optimistic about a boom in visual proof construction.

[1] https://www.amazon.com/Byrne-Six-Books-Euclid-Multilingual/d...

reggieband · 2018-12-17 · Original thread
I have an edition of this published by Taschen [1] and spent some time going through it (about 3/4 of the way through).

My main frustration is there are many mistakes. In an effort to keep the text aligned with the original, those mistakes are in-line and the corrections are at the beginning of the book in a prefix. This makes following the proofs a bit difficult since once you get far enough along the mistakes compound. The later proofs are built on earlier proofs. There are some instances where Proof C has a mistake that relies on Proof B that has a mistake, etc. And then flipping back to the corrections and keeping track of all of them is a bit difficult.

It's not a problem if you are just enjoying the book for its aesthetics but since I was very carefully checking my understanding of the proofs it was annoying.

I still recommend the book.

[1] https://www.amazon.com/Byrne-Six-Books-Euclid-Multilingual/d...