MathDB
Two 2n-gons and perpendicular bisectors

Source: Kvant Magazine No. 11-12 2022 M2725

March 7, 2023
Kvantgeometry

Problem Statement

Two equally oriented regular 2n2n-gons A1A2A2nA_1A_2\ldots A_{2n} and B1B2B2nB_1B_2\ldots B_{2n} are given. The perpendicular bisectors i\ell_i of the segments AiBiA_iB_i are drawn. Let the lines i\ell_i and i+1\ell_{i+1} intersect at the point KiK_i (hereafter we reduce indices modulo 2n2n). Denote by mim_i the line KiKi+nK_iK_{i+n}. Prove that nn{} lines mim_i intersect at one point and at that the angles between the lines mim_i and mi+1m_{i+1} are equal.
Proposed by Chan Quang Hung (Vietnam)