令cosA=x,cosB=y。∴cos(A+B)=x+y。
首先x≠1且y≠1,否则
矛盾!另一方面,
两边平方得
化简整理得
∵x≠1,∴⑴式可以看成有关y的一元二次方程,并且对应的二次函数
开口向上(1-x>0),注意到f(1)=1/2以及
∴要使该方程有解,只要满足
以及