با توجه به اینکه ارتفاعهای هر مثلث همرسند و اینکه در مثلث متساوی الساقین $ABC$ ($AB=AC$) نیمساز و میانه و ارتفاع ($AH$) وارد شده از $A$ یکی اند پس مثلث های $OHB$ و $OHC$ همنهشت اند بنابر این $OB=OC$ و از زاویه های متقابل به رأس نیمسازی $OA$ برای زاویه $O$ نتیجه می شود.
$ \Box $
