In Theorem 18, $OE$ and $OF$ are drawn—

$OE$ and $OF$ are the perpendiculars from the centre to chords $AB$ and $CD$, drawn so that their lengths measure each chord's distance from the centre. This perpendicular construction lets the equal chords be compared.