Bir ABC üçgeninde, m(C)=90 , kenar uzunlukları a,b,c ve m(B)=φ olsun. tan(φ)=ba dir. Verilen eşitliğin sol tarafıK olsun.
coscx+ba.sincx=Ka.
coscx+tan(φ).sincx=Ka
cos(φ).coscx+sin(φ)sincx=Ka.cos(φ)
cos(cx−φ)=Ka.cos(φ) den K=acos(φ).cos(cx−φ).
Eğer A=acos(φ) olarak seçilirse istenen olur.