I can derive and use the theorem: the perpendicular from the centre of a circle to a chord bisects the chord.