Problem:
In triangle with , let be the orthocenter and be the circumcenter. Given that the midpoint of lies on , , and the perimeter of is , find the area of .
Problem:
In triangle with , let be the orthocenter and be the circumcenter. Given that the midpoint of lies on , , and the perimeter of is , find the area of .
Solution:
Let be the medial triangle of , where is the midpoint of and so on. Notice that the midpoint of , which is the nine-point-center of triangle , is also the circumcenter of (since the midpoints of the sides of are on the nine-point circle). Thus, if is on , then is parallel to , so by similarity, we also know that is parallel to .
Next, , so is on the minor arc . This means that , so . This gives us the other two angles of the triangle in terms of angle : and . To find the area, we now need to find the height of the triangle from to , and this is easiest by finding the circumradius of the triangle.
We do this by the Extended Law of Sines. Letting and ,
which can be simplified to
This means that
and the rest is an easy computation:
Squaring both sides,
so , implying that . Therefore, since from above, . Finally, viewing triangle with as the base, the height is
by the Pythagorean Theorem, yielding an area of .
Solution:
The midpoint of is the nine-point center . We are given lies on , and we also know lies on the perpendicular bisector of , where is the midpoint of and is the midpoint of . The main observation is that is equidistant from and , where is the midpoint of .
Translating this into coordinates, we pick and , and arbitrarily set where (without loss of generality) . We get , , . Thus must have -coordinate equal to the average of those of and , or . Since lies on , we have .
Since , we have . Thus . The other equation is , which is just
This is equivalent to
Thus , so . Thus , so .