Browse · MathNet
PrintIMO Problem Shortlist
geometry
Problem
Let the sides and of the quadrilateral (such that is not parallel to ) intersect at point . Points and are the circumcenters and points and are the orthocenters of triangles and , respectively. Denote the midpoints of segments and by and , respectively. Prove that the perpendicular from on , the perpendicular from on and the line are concurrent.



Solution
We keep triangle fixed and move the line parallel to itself uniformly, i.e. linearly dependent on a single parameter (see Figure 1). Then the points and also move uniformly. Hence, the points and move uniformly, too. Therefore also the perpendicular from on moves uniformly. Obviously, the points and the perpendicular from on do not move at all. Hence, the intersection point of these two perpendiculars moves uniformly. Since does not move, while and move uniformly along parallel lines (both are perpendicular to ), it is sufficient to prove their collinearity for two different positions of .
Figure 1
Let pass through either point or point . Note that by hypothesis these two cases are different. We will consider the case , i.e. . So we have to show that the perpendiculars from on and from on intersect on the altitude of triangle (see Figure 2).
Figure 2
To this end, we consider the midpoints of , respectively. As is the center of FEUERBACH's circle (nine-point circle) of , we have . Similarly, . Note further that a point lies on the perpendicular from on if and only if Similarly, the perpendicular from on is characterized by The line , which is perpendicular to and contains , is given by The three lines are concurrent if and only if i.e. it suffices to show that We have Let be the projections of on . Obviously, these are the midpoints of , , where are the midpoints of and respectively. Then which proves the claim.
---
Alternative solution.
Let the perpendicular from on meet at , and the perpendicular from on meet at (see Figure 3). Let be the intersection angle of and . Denote by the midpoints of respectively.
Figure 3
We will prove now that triangles and have equal angles at , and supplementary angles at . In the following, angles are understood as oriented, and equalities of angles modulo . Let , , . Then , , thus . By considering the Feuerbach circle of whose center is and which goes through , we have . Analogous considerations with the Feuerbach circle of yield . Hence indeed . It follows now that Furthermore, is half the circumradius of , while is the distance of to the orthocenter of that triangle, which is twice the circumradius times the cosine of . Together with analogous reasoning for we have By multiplication, and therefore Let meet in respectively. Applying the intercept theorem to the parallels and center gives while with parallels and center we obtain Combination of the last three equalities yields that and coincide.
Figure 1
Let pass through either point or point . Note that by hypothesis these two cases are different. We will consider the case , i.e. . So we have to show that the perpendiculars from on and from on intersect on the altitude of triangle (see Figure 2).
Figure 2
To this end, we consider the midpoints of , respectively. As is the center of FEUERBACH's circle (nine-point circle) of , we have . Similarly, . Note further that a point lies on the perpendicular from on if and only if Similarly, the perpendicular from on is characterized by The line , which is perpendicular to and contains , is given by The three lines are concurrent if and only if i.e. it suffices to show that We have Let be the projections of on . Obviously, these are the midpoints of , , where are the midpoints of and respectively. Then which proves the claim.
---
Alternative solution.
Let the perpendicular from on meet at , and the perpendicular from on meet at (see Figure 3). Let be the intersection angle of and . Denote by the midpoints of respectively.
Figure 3
We will prove now that triangles and have equal angles at , and supplementary angles at . In the following, angles are understood as oriented, and equalities of angles modulo . Let , , . Then , , thus . By considering the Feuerbach circle of whose center is and which goes through , we have . Analogous considerations with the Feuerbach circle of yield . Hence indeed . It follows now that Furthermore, is half the circumradius of , while is the distance of to the orthocenter of that triangle, which is twice the circumradius times the cosine of . Together with analogous reasoning for we have By multiplication, and therefore Let meet in respectively. Applying the intercept theorem to the parallels and center gives while with parallels and center we obtain Combination of the last three equalities yields that and coincide.
Techniques
Triangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circleAngle chasingDistance chasingTrigonometry