نیمساز رو ادامه بده تا قاعده رو قطع کنه ، دو مثلث ایجاد میشه، فرض گفته ساق ها برابره ، خود نمیسازم مشترکه، خطی که به قاعده رفته نیمسازه پس زاویه راس در هر دو مثلث برابره طبق حالت ض ز ض نیمساز وارد بر قاعده از زاویه راس قاعده را نصف میکند و دو زاویه ۹۰ میسازد(چون اثبات کردیم دو مثلث هم نهشت پس حتما زاویه ها و اضلاع برابر دارند ) در کل عمود منصف آن است.