ab is a diameter of a circle