令sinC=x,sinB=y→
另一方面,sinA=sin(B+C)=sinB·cosC+sinC·cosB=xcosB+ycosC→
⑴式两边平方得
将cos2B=1-y2与cos2C=1-x2代入⑵,并整理,得
令x=ty,代入⑶并整理得
令
代入⑷并整理得
等号当且仅当
时取得。