Problem:
In , is the circumcircle, is the incenter and is the -excenter. Let be the midpoint of arc on , and suppose that are the projections of onto and onto , respectively. If is an equilateral triangle with side length , compute the area of .
Problem:
In , is the circumcircle, is the incenter and is the -excenter. Let be the midpoint of arc on , and suppose that are the projections of onto and onto , respectively. If is an equilateral triangle with side length , compute the area of .
Solution:
Using Fact 5, we know that intersects the circle at , which is the center of . Let be the radius of the latter circle. We have .
We have . Also, by calculating the angles from the equilateral triangle. Using 90-60-30 triangles, we have:
Now, let and be the feet of the altitudes from and respectively on . Note that as is an arc midpoint of , is actually the midpoint of .
Thus . Also, we have,
Now, .
Solution:
By Fact 5, we construct the diagram first with as the reference triangle.

Let be the circumcenter of and let be the circumcircle, which has circumradius . Then by Fact 5, is the midpoint of minor arc , and . Now we show the following result:
Claim. .
Proof. Letting be the intersection of with , we have . Then by the Shooting Lemma,
On the other hand, by Ptolemy,
whence the result follows.
By the triangle area formula, we have
Therefore, we are left to compute and .
Since is the antipode of on we get are tangent to ; in particular, is a kite with and . Then by Power of a Point, we get
where and .
Since , we know that is the length of the projection from to . Finally, given our above information, we can compute
The area of is then