olymmath

ISL 2017 G5

    Let ABCC1B1A1A B C C_{1} B_{1} A_{1} be a convex hexagon such that AB=BCA B=B C, and suppose that the line segments AA1,BB1A A_{1}, B B_{1}, and CC1C C_{1} have the same perpendicular bisector. Let the diagonals AC1A C_{1} and A1CA_{1} C meet at DD, and denote by ω\omega the circle ABCA B C. Let ω\omega intersect the circle A1BC1A_{1} B C_{1} again at E≠BE \neq B. Prove that the lines BB1B B_{1} and DED E intersect on ω\omega. (Ukraine)

    Dataset text NuminaMath olympiads. Quoted with source.

    Official text: IMO 2017 Shortlist booklet, page 10.

    Solutions

    Official solution Solution 1 by the IMO Problem Selection Committee

    The terms of the source let olymmath link to this solution but not copy it. Read the solution (IMO official site).

    Locator isl/2017/g5 · Tag 2APF66Y7NN · Edit this page on GitHub · Keys: j next, k previous