The bisector of the vertical angle of an isosceles triangle is the perpendicular bisector of the base. Experimental verification. theorem of triangle.​