Problem

Source: IMO 1980 Austria-Poland, problem 5

Tags: geometry, concurrency, IMO Shortlist



Let $A_1A_2A_3$ be a triangle and, for $1 \leq i \leq 3$, let $B_i$ be an interior point of edge opposite $A_i$. Prove that the perpendicular bisectors of $A_iB_i$ for $1 \leq i \leq 3$ are not concurrent.