用尺规作图作一个角的平分线时,其做法理论是