🖉 Writing Olympiad Geometry
I always wondered whether I could generate olympiad geometry problems by simply drawing lines and circles at random until three lines looked concurrent, four points looked concyclic, et cetera. From extensive experience you certainly get the feeling that this ought to be the case – there are tons and tons of problems out there but most of them have relatively simple statements, not involving more than a handful of points. Often I think, “I bet I could have stumbled upon this result just by drawing things at random”.
So one night, I decided to join the tangency point of -mixtilinear circle with the orthocenter of a triangle You can guess about how well that went. Nothing came up after two hours of messing around randomly.
Surprisingly, though, I found almost by accident that the following modification has had significant success:
- First …