Search

866

Prove the red point is an excenter of the blue triangle.