Browse · MathNet
Print75th Romanian Mathematical Olympiad
Romania geometry
Problem
Let be a right triangle with right angle at , and let be its altitude from to . On the ray , take points and , such that and . Construct squares and , such that lies inside , and lies inside . Let , , , . Prove that:
a)
b) the points are collinear.

a)
b) the points are collinear.
Solution
a) We have (1), because , and . Thus, . Since and , it follows that , therefore .
b) From (1), we have , so is cyclic. Therefore, , which shows that is the bisector of the angle . The bisector from in the triangle is parallel to the bisector of the angle , which is also an altitude in the triangle . Similarly, is the external bisector from in the triangle . Thus, is the center of the excircle relative to of the triangle , so .
Alternative solution for b).
Let . Since are collinear and , we get . Hence, , therefore, by the converse of the angle bisector theorem, is the bisector of the angle . Let . Then , so is the bisector of the angle , hence both and lie on the angle bisector of the angle , proving the collinearity of .
b) From (1), we have , so is cyclic. Therefore, , which shows that is the bisector of the angle . The bisector from in the triangle is parallel to the bisector of the angle , which is also an altitude in the triangle . Similarly, is the external bisector from in the triangle . Thus, is the center of the excircle relative to of the triangle , so .
Alternative solution for b).
Let . Since are collinear and , we get . Hence, , therefore, by the converse of the angle bisector theorem, is the bisector of the angle . Let . Then , so is the bisector of the angle , hence both and lie on the angle bisector of the angle , proving the collinearity of .
Techniques
Cyclic quadrilateralsAngle chasingTriangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circle