#### Problem 47E

47. Show, using implicit differentiation, that any tangent line at a point $P$ to a circle with center $O$ is perpendicular to the radius $O P$.