The perpendicular bisector of the base of an isosceles triangle is the bisector of the vertical angle.
Geometry Theorem
If bisector of an angle of a triangle is perpendicular to the opposite side, the triangle is an isosceles triangle: https://youtu.be/CWhyqsvNehI