11

How do we prove that for any triangle this holds: $$\frac{r}{R}+1=\cos A+\cos B+\cos C$$ I can use this beautiful identity to prove several geometric inequalities, but I have no idea how to prove the identity itself. Can anyone give me hints?

Sawarnik
  • 7,284
  • 7
  • 33
  • 74

3 Answers3

7

This is corollary of Carnot theorem, which is stated that $d(O,BC)+d(O,CA)+d(O,AB)=R+r$. Let $M,N,P$ be the midpoints of $BC,CA,AB$. Then $\cos A+ \cos B+\cos C=\dfrac{OM+ON+OP}{R}=\dfrac{R+r}{R}=1+\dfrac{r}{R}.$

7

here is mechanical solution:

$\cos A+\cos B+\cos C-1=\dfrac{a^2b+b^2c+c^2a+b^2a+c^2b+a^2c-a^3-b^3-c^3-2abc}{2abc}=\dfrac{(a+b-c)(b+c-a)(c+a-b)}{2abc}=\dfrac{(a+b+c)(a+b-c)(b+c-a)(c+a-b)}{2abc(a+b+c)}=\dfrac{8S^2}{abc(a+b+c)}=\dfrac{\dfrac{S}{s}}{\dfrac{abc}{4S}}=\dfrac{r}{R}$

$S=\sqrt{s(s-a)(s-b)(s-c)},s=\dfrac{a+b+c}{2}$

chenbai
  • 7,581
  • That is the only thing that came to my mind, just brute forcing using the cosine rule, but I was looking for elegant solutions. But anyways, how did you factor the expression in the second step? – Sawarnik Apr 01 '14 at 09:07
  • $c^2a+c^2b-c^3-a^3-a^2b+a^2c-b^3-b^2c+b^2c+2a^2b+2b^2a-2abc=c^2(a+b-c)-a^2(a+b-c)-b^2(a+b-c)+2ab(a+b-c)=(a+b-c)(c^2-(a-b)^2)$ – chenbai Apr 01 '14 at 09:50
  • There is a geometry method that I found it was even more complex than this way. – chenbai Apr 01 '14 at 09:51
  • Ok, no problem :) – Sawarnik Apr 01 '14 at 10:03
4

Using this, $$\cos A+\cos B+\cos C-1=4\sin\frac A2\sin\frac B2\sin\frac C2$$

Now from this

or using cosine formula & $\displaystyle\cos A=1-2\sin^2\dfrac A2\implies\sin\frac A2=+\sqrt{\frac{1-\cos A}2}$ as $\displaystyle0<\frac A2<\frac\pi2$

$\displaystyle\sin\frac A2=\sqrt{\frac{(s-b)(s-c)}{bc}}$ where $2s=a+b+c$

$$\implies4\sin\frac A2\sin\frac B2\sin\frac C2=4\frac{(s-a)(s-b)(s-c)}{abc}$$

Now, $\displaystyle\triangle =\frac12ab\sin C=\frac{abc}{4R}=\sqrt{s(s-a)(s-b)(s-c)}=r\cdot s$