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.
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...