Alan geregi a⋅ha=b⋅hb=c⋅hc saglanir. Buradan 1ha+1hb=ac⋅1hc+bc⋅1hc=a+bc⋅1hc≥1⋅1hc=1hc saglanir. (a+b≥c olmasi gerektigini kullandik).
Ust formul a,b,c siralamasina bagli olmadigindan 1hc+1hb≥1ha ve 1hc+1ha≥1hb saglanir. Yani 1hc≥max{1ha−1hb,1hb−1ha}=|1ha−1hb| saglanir.