Angle addition and angle bisectors