Let be an acute and non-isosceles triangle with . The altitudes of triangle are concurrent at orthocenter . The line meets the line at . Point is the midpoint of segment and cuts at .
1. Prove that .
2. Let be the orthocenter of triangle and is the circumcircle of the triangle . The line intersects circle at (different to ) and the line intersect circle at (different to ), the line intersect the circle with the diameter at (different to ). Prove that are cyclic.
Solution
1. Without loss of generality, we can assume that , then will lie between points . The other case can be proved similarly.
First, we will prove that the line is perpendicular to .
Let be the midpoints of two segments , respectively, then .
It is easy to check , so based on the properties of harmonic division, we have .
We also have then or point lies on the radical axis of the circle with diameter (center ) and the circle with diameter (center ).
Furthermore, point also lies on the radical axis of these circles so .
Hence, we have .
Because then , this implies the result
Therefore, we have (Q.E.D).
2. We can see that
so belongs to the circle with diameter . Because are harmonic so , but (equal to the power of point to the circle ) then , so we have
Let be the midpoint of the segment then or the quadrilateral is cyclic and because , then we also have or .
Triangle is isosceles with and point is the midpoint of segment then is perpendicular to .
Hence, are collinear and .
On the other hand, because then the quadrilateral is cyclic and this implies that
From the equation (1) and (2), we have or four points are cyclic (Q.E.D)