Use circle theorem: tangent to circle is perpendicular to radius (#887)

Use circle theorem: tangent to circle is perpendicular to radius (#887)

Use circle theorem: tangent to circle is perpendicular to radius