This phenomenon, whereby a person who knows the "trick" to solve a puzzle cannot accurate gauge its difficulty, seems to extend beyond mathematics. Adventure games (including text-based, parser-driven, and point-and-click) suffer badly from this problem. They are chock-full of puzzles that only make sense in hindsight (if at all). They can be really fun though!
This can be formally solved by constructing the arrangement of lines passing through each set of two points, then computing the dual of the arrangement.
The cell with the maximum depth on the arrangement contains the points in the "middle", meaning they have as many points on one side, as they have on the other.
Then you can prove that a line starting on any such point will visit every other point an infinite number of times.
This guy makes excellent math visualization videos -- some of the best I've ever seen.
This is hella cool.
"Knowing when the math is hard is way harder than the math itself"
But then maybe the math is hard only because it's not being explained well? (I hope it's uncontroversial to suggest that our current methods of teaching math are not the best of all possible worlds.)
I get that this problem came up in the context of of a math puzzle contest, and that some people enjoy solving puzzles. I am questioning their utility as an educational device.
I kinda think that we should teach math as fast as we can so that we can concentrate on the stuff that's really hard, not just apparently hard because someone is being coy with the easy routes.
Since this is a puzzle that will certainly nerd-snipe a number of us, could someone who already watched the video tell us if there is a "spoiler" moment in it or if we could watch it bit by bit in case that we get stuck?
This is great, the visualization is so helpful. Even better I think would be if the point field was counter rotating and scrolling such that the windmill was constantly falling forwards and backwards either side of being vertical, keeping the two sets of points bisected and on either side of the screen.
Mmh intuitively, I would have thought that the proof would involve the enveloppe of points. If the line starts with a section that crosses inside the enveloppe of the set of points then it remains so, and hits all points, while a line that starts outside remains outside and so can avoid some points.
Any formal proof along those lines?
I enjoyed watching this similarly insightful video [1] on "The hardest problem on the hardest test" of the Putnam Competition.
The video gives excellent intuitions. But do try writing down a rigorous argument after watching it!
From the same channel : https://www.youtube.com/watch?v=jsYwFizhncE overview of very elegant connection between blocks collision and PI.
Great presentation. I wonder whether all correct solutions submitted on the contest day had the same solution.
Now I really want to know what question 6 was and an equally informative explanation what made it so hard!
I'm going to have to watch this later, because the cat I've got on my lap appears to be deeply alarmed by the blinking eyes of the "pi" avatar.
The approach to solving this problem looks very elegant to viewers with/without a mathematical background and the author's use of visual explanations towards solving it step-by-step helps untangle the ambiguities in this puzzle.
Correctly proving this without assistance is one thing, but explaining it to non-mathematicians via a YouTube video sounds so difficult that some I.M.O candidates may struggle with this. Even so, I think the author is perhaps a professional/skilled mathematician or both which greatly helps explain this proof in a concise fashion.
On the other hand, I find that problems like this may be (ab)used in the future for technical interviews at financial/asset/investment management institutions for software engineering roles. Over the top indeed, but I think it would very difficult to justify using mathematical proof questions in interviews.