Melanie said:
Every angle bisector in a triangle bisects the opposite side perpendicularly.
A 'counterexample' would show an angle bisector in a triangle that DOESN'T
bisect the opposite side perpendicularly.
See my attached drawing of a counterexample.
Both of the triangles that Melanie examined have equal sides on both sides
of the angle bisector. That's the only way that the angle bisector can bisect
the opposite side perpendicularly. Melanie didn't examine enough different
triangles.
