prove that the perpendicular at the point of contact to a tangent to a circle