Problem 6 of the 1988 International Math Olympiad is notorious for its difficulty to prove. There exists a very elegant way to prove it that lends itself nicely to being visualized.

Play with this graph on Desmos: https://www.desmos.com/calculator/teu...