Problem:
Let be an acute triangle with incenter and circumcenter . Assume that . Given that and , compute the area of .
Problem:
Let be an acute triangle with incenter and circumcenter . Assume that . Given that and , compute the area of .
Solution:
We present five different solutions and outline a sixth and seventh one. In what follows, let , , as usual, and denote by and the inradius and circumradius. Let . In the first five solutions we will only prove that
Let us see how this solves the problem. This lemma implies that . If we let be the foot of on , then , consequently the inradius is . Finally, the area is .
First Solution.
Since , . Now, it is a well-known fact that (this is occasionally called "Fact 5"). Then by Ptolemy's Theorem,
Second Solution.
As before note that is the midpoint of . Let and be the midpoints of and , and let the reflection of across be ; thus . Also, , but we know as lies on the circumcircle of triangle . Consequently, we get ; moreover by angle chasing we have
Thus triangles and are congruent ( is a bisector) so we deduce . Thus,
Third Solution.
We appeal to Euler's Theorem, which states that .
Thus by the Pythagorean Theorem on (or by Power of a Point) we may write
with the same notations as before. Thus, we derive that
From this we deduce that , and we can proceed as in the previous solution.
Fourth Solution.
From Fact 5 again (), drop perpendicular from to at ; call the midpoint of . Then, by congruency on and , we immediately get that . As , this gives the desired conclusion.
Fifth Solution.
This solution avoids angle-chasing and using the fact that and are angle bisectors. Recall the perpendicularity lemma, where
Let be on the extension of ray such that . Of course, as in the proof of the angle bisector theorem, , meaning that . Let be the reflection of across ; of course, is then the incenter of triangle . Now, we have by the perpendicularity and by power of a point . Moreover by the median formula. Subtracting, we get . We have a similar expression for , and subtracting the two results in . Finally,
from which again, the result follows.
Sixth Solution, outline.
Use complex numbers, setting , , etc. on the unit circle (scale the picture to fit in a unit circle; we calculate scaling factor later). Set , and let and . Write every condition in terms of and , and the area in terms of and too. There should be two equations relating and : and from the right angle and the 144 to 97 ratio, respectively. The square area can be computed in terms of and , because the area itself is antisymmetric so squaring it suffices. Use the first condition to homogenize (not coincidentally the factor from the area homogenizes perfectly... because , where is the -excenter, and of course the way the problem is set up ), and then we find the area of the scaled down version. To find the scaling factor simply determine by squaring it, writing in terms again of and , and comparing this to the value of 144.
Seventh Solution, outline.
Trigonometric solutions are also possible. One can write everything in terms of the angles and solve the equations; for instance, the condition can be rewritten as and the 97 to 144 ratio condition can be rewritten as . The first equation implies , which we can plug into the second equation to get .