推平行线的方法的数学依据是什么?