https://news.ycombinator.com/item?id=48619191
You probably know this, but this is one way to generalize beyond 2D
https://en.wikipedia.org/wiki/Angle_bisector_theorem