>>419
z が ∠bac(普通はこういう書き方はしないけど) の2等分線に乗る
⇔ ある実数 t が存在して z-a = t((b-a)/|b-a| + (c-a)/|c-a|)