در شکل مقابل، نقطۀ $M$ روی نیمساز زاویۀ $A$ قرار دارد. ثابت کنید: $\overline{BM} = \overline{CM}$ بنا بر حالت $\dots \implies \triangle{ABM} \cong \triangle{ACM} \implies \dots = \dots$ $\{\dots = \dots$ $C = B = 90^\circ\}$ [شکل: هندسی، زاویه A با دو کمان یکسان مشخص شده، نقاط B و C روی اضلاع زاویه هستند به طوری که MB و MC بر اضلاع عمودند (نماد زاویه قائمه روی B و C)]