در مثلث $ABC$ اگر نیمساز $AH$ عمود هم باشد آنگاه $ \angle BAH= \angle CAH$ و $ \angle AHB= \angle AHC= \frac{ \pi }{2} $ و $ \overline{AH} = \overline{AH} $ پس:
$ \bigtriangleup AHB \equiv \bigtriangleup AHC \Rightarrow \overline{AB} = \overline{AC} \bot $
اثبات برای دیگر نیمسازها هم مشابه است.
$ \Box $