گام ۱: مثلث متساویالساقین است، پس . پارهخط نیمساز زاویهٔ رأس است و نقطهای دلخواه روی آن است. باید ثابت کنیم .
گام ۲: دو مثلث و را در نظر میگیریم.
گام ۳: سه شرط زیر را بررسی میکنیم:
- (ساقهای مثلث متساویالساقین)
- (چون نیمساز زاویهٔ است)
- (ضلع مشترک)
گام ۴: طبق حالت «ض ز ض» (دو ضلع و زاویهٔ بین آنها)، داریم:
گام ۵: در مثلثهای همنهشت، اضلاع متناظر برابرند. ضلع روبهرو به زاویهٔ در مثلث اول و ضلع روبهرو به زاویهٔ در مثلث دوم است. پس: