2214

Prove the red circle is tangent to the yellow incircle.