The blue and green points are the midpoints of the legs of the yellow isosceles right triangle. Prove the red circle is tangent to its hypotenuse.