1b - Perpendicular bisector of chord proof

This outlines the proof for perpendicular bisector of a chord in a circle