MathDB
Colombia TST [regular n-gon and angles summing up to 180°]

Source: IMO Shortlist 2004 geometry problem G5

June 7, 2005
geometryangle bisectorIMO Shortlist

Problem Statement

Let A1A2A3AnA_1A_2A_3\ldots A_n be a regular nn-gon. Let B1B_1 and Bn1B_{n-1} be the midpoints of its sides A1A2A_1A_2 and An1AnA_{n-1}A_n. Also, for every i{2,3,4,,n2}i\in\left\{2,3,4,\ldots ,n-2\right\}. Let SS be the point of intersection of the lines A1Ai+1A_1A_{i+1} and AnAiA_nA_i, and let BiB_i be the point of intersection of the angle bisector bisector of the angle AiSAi+1\measuredangle A_iSA_{i+1} with the segment AiAi+1A_iA_{i+1}.
Prove that i=1n1A1BiAn=180\sum_{i=1}^{n-1} \measuredangle A_1B_iA_n=180^{\circ}.
Proposed by Dusan Dukic, Serbia and Montenegro