چون B روی نیمساز AEB1 است پس فاصله B از A1B1بافاصله اش تا AE برابر است پس اگر پای عمود را به ترتیب H1وH2 بگیریم BH1=ha/2=BH2پس مساحت مثلث AEB می شودBH2*AE/2=ha*AE/4 از طرفی می دانیم که مساحت مثلث فوق از رابطه S=AE*AB*SIN(BAE)/2 محاسبه می شود پس داریم SIN(BAE)=ha/2ABو بطور مشابه SIN(BCF)=hc/2BCپس کافی است ثابت کنیم ha/2C=hc/2a که درستی اش بدیهی است
