definition of midpoint of a segment
If the angles of a linear pair are congruent, then they are right angles, so LNM and LNP are right. LN is perpendicular to MP at N, by definition of perpendicular. The midpoint of a segment bisects the segment, so N bisects MP. Thus, LN is the perpendicular bisector by definition.