若直线a.b平行,过a.b外的一点o作a.b的平行线,则有