すなわち、点oは線分abをformula_18に外分する点になる。