Having fun while exploring topology

A playful exploration of the Borsuk-Ulam theorem using interactive Python notebook widgets. The author demonstrates the 1D case of the theorem — that any closed curve on a circle always has two antipodal points at the same height — by letting users draw points on a canvas, smoothing a line through them, and plotting it in polar coordinates. The mathematical proof is also walked through using the Intermediate Value Theorem.