4 ms·
As an amateur math enthusiast, I find this kind of thing both fascinating and frustrating. It would be amazing if someone were to make a 3-D gif animation of wh
by ccvannorman 11y ago
As an amateur math enthusiast, I find this kind of thing both fascinating and frustrating. It would be amazing if someone were to make a 3-D gif animation of what exactly this proof is talking about, because I can't make heads or tails of the proof language / formulae.
- nilkn 11y agoI recommend just reading the attached notes and imagery rather than the document itself. They've added pictures that show what it's talking about and clarified parts of the argument that were left vague. I think they do a much better job of explaining the proof than the paper does. This is a good example of a proof that was written to be as short as possible rather than as clear as possible.
- theoh 11y agoIt's a 2D problem: If you know the difference between circles circumscribed around vs circles inscribed in a polygon, that's probably all the geometry you need. The proof is a series of inequalities about the various areas inside the circumscribed circle and outside the polygon, and also the parts of the circumscribed circle that would be cut off by a tangent to the inscribed circle at the points where it touches the polygon. Does that help a bit?
- ccvannorman 11y agoYes, in addition to the [current] top comment, this helps a great deal. thanks! HackerNews: Simulating AI-generated human readable proofs from real math proofs since 2011
- j2kun 11y agoYou have to read it actively. Draw your own pictures :)