What is the proof that an angle bisector actually bisects an angle?

In general 'to bisect' something means to cut it into two equal parts. The 'bisector' is the thing doing the cutting.
In an angle bisector, it is a line passing through the vertex of the angle that cuts it into two equal smaller angles.

Therefore it's in the definition.