AB is a diameter of the circle