因为cosC1=-cos(A1+B1)=sinC2>0
由cos单调性知180º>A1+B1>90º又因为A1+B1+C1=180º
所以90º>C1>0同理对cosC2cosC3可推出B1,A1皆为锐角,
所以△A1B1C1为锐角三角形
假设A2,B2,C2为锐角,则因为cosC1=sin(90º-C1)=sinC2,得90º>90º-C1>0,
由假设知C2=90º-C1,同理A2=90º-A1,B2=90º-B1,
而有A2+B2+C2不等于180º,矛盾.
所以△A2B2C2是钝角三角形