三角形边角问题

设△ABC的内切圆半径、半周长分别为r,s.则cosA+cosB+cosC=1+r,(a+b+c)/2=s>2+r.∴待证式成立。