Question Number 211276 by mnjuly1970 last updated on 04/Sep/24

Answered by Ghisom last updated on 04/Sep/24
![r=(a/(cot (β/2) +cot (γ/2))); cyclic for a, b, c & α, β, γ ⇒ sum these up and use γ=π−(α+β) and let u=tan α ∧ v=tan β to get 3r=(((1−uv)v)/(1+v^2 ))a+(((1−uv)u)/(1+u^2 ))b+((uv)/(u+v))c R=(a/(2sin α)); cyclic for a, b, c & α, β, γ again sum these up to get 3R=((1+u^2 )/(4u))a+((1+v^2 )/(4u))b+(((1+u^2 )(1+v^2 ))/(4(u+v)(1−uv)))c ⇒ (r/R)=((4(1−uv)uv)/((1+u^2 )(1+v^2 ))) ⇒ (r/R)=cos α +cos β −cos (α+β)_(=cos γ) −1 ⇒ (r/R)=cos α +cos β +cos γ −1 [0<(r/R)≤(1/2)] in any triangle 0<θ<π ⇒ 0<sin θ <1 ⇒ ((cos θ)/(sin^2 θ))≥cos θ ⇒ Σ ((cos θ)/(sin^2 θ)) ≥(Σ cos θ)−1 [ what′s left to prove: 2≤((cos α)/(sin^2 α))+((cos β)/(sin^2 β))−((cos (α+β))/(sin^2 (α+β))) because of symmetry there should be a min/max at α=β=(π/3) ]](https://www.tinkutara.com/question/Q211284.png)
Commented by mnjuly1970 last updated on 04/Sep/24

Commented by Ghisom last updated on 04/Sep/24

Commented by Frix last updated on 04/Sep/24

Answered by mahdipoor last updated on 05/Sep/24

Commented by mnjuly1970 last updated on 04/Sep/24

Commented by Frix last updated on 04/Sep/24

Commented by Ghisom last updated on 04/Sep/24

Commented by mahdipoor last updated on 05/Sep/24

Commented by Frix last updated on 05/Sep/24
��