Definition and statement
📐 Geometric Interpretation
Geometrically, any point on an angle bisector is equidistant from the two original lines. The internal and external bisectors divide the supplementary angles formed at the intersection of two lines into equal halves, creating a net perpendicular framework (orthogonal grid) at the vertex.
⚙️ Algebraic & Structural Meaning
Algebraically, the product of the slopes of the two angle bisector lines is $-1$ (i.e., $m_1 m_2 = -1$), which confirms their perpendicularity regardless of the angle between the original lines.