1994 IMO Problems/Problem 2
Revision as of 22:41, 9 April 2021 by Math31415926535 (talk | contribs) (Created page with "Let <math> ABC</math> be an isosceles triangle with <math> AB = AC</math>. <math> M</math> is the midpoint of <math> BC</math> and <math> O</math> is the point on the line <ma...")
Let be an isosceles triangle with . is the midpoint of and is the point on the line such that is perpendicular to . is an arbitrary point on different from and . lies on the line and lies on the line such that are distinct and collinear. Prove that is perpendicular to if and only if .
Solution
Let and be on and respectively such that . Then, by the first part of the problem, . Hence, is the midpoint of and , which means that is a parallelogram. Unless and , this is a contradiction since and meet at . Therefore, and , so , as desired.