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