最後に「a/|a|+b/|b|=(|b|a+|a|b)/(|a|+|b|)が成り立つ」とありますが、これは間違いです。当然、成り立ちません。

bisector-angle

検索用コード