Angular Bisector Vector/Algebraic Proof