ISL 2019 G4
Let be a point inside triangle . Let meet at , let meet at , and let meet at . Let be the point such that is the midpoint of , let be the point such that is the midpoint of , and let be the point such that is the midpoint of . Prove that points , and cannot all lie strictly inside the circumcircle of triangle . (Australia)
Official text Transcription from NuminaMath olympiads, checked word for word against the official paper. Quoted with source.
Official text: IMO 2019 Shortlist booklet, page 10.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.