Proof: radius is perpendicular to a chord it bisects