formula of external division point