MathDB
IMO ShortList 2001, geometry problem 7

Source: IMO ShortList 2001, geometry problem 7

September 30, 2004
geometrycircumcircleperimeterperpendicularIMO Shortlist

Problem Statement

Let OO be an interior point of acute triangle ABCABC. Let A1A_1 lie on BCBC with OA1OA_1 perpendicular to BCBC. Define B1B_1 on CACA and C1C_1 on ABAB similarly. Prove that OO is the circumcenter of ABCABC if and only if the perimeter of A1B1C1A_1B_1C_1 is not less than any one of the perimeters of AB1C1,BC1A1AB_1C_1, BC_1A_1, and CA1B1CA_1B_1.