MathDB
Arbitrary lines made by regular 13-gons concur

Source: Sharygin Finals 2017, Problem 8.7

August 4, 2017
geometryconcurrency

Problem Statement

Let A1A2A13A_1A_2 \dots A_{13} and B1B2B13B_1B_2 \dots B_{13} be two regular 1313-gons in the plane such that the points B1B_1 and A13A_{13} coincide and lie on the segment A1B13A_1B_{13}, and both polygons lie in the same semiplane with respect to this segment. Prove that the lines A1A9,B13B8A_1A_9, B_{13}B_8 and A8B9A_8B_9 are concurrent.