Use circle theorem: perpendicular bisector of a chord goes through center of circle (#888)

Use circle theorem: perpendicular bisector of a chord goes through center of circle (#888)

Use circle theorem: perpendicular bisector of a chord goes through center of circle