Proof: Radius is perpendicular to tangent line