The blue points are the midpoints of sides of the green triangle. Prove the red circle is tangent to a side of the green triangle.