>>634 外接円の半径をRとすると正弦定理とsin の上に凸性より
(a+b+c)/R=2(sinA+sinB+sinC)≦2*3*sin{(A+B+C)/3}=3√3
6√3≦(a + b + c)/r≦3√3 R/r よって2≦R/r となり京大の問題が証明できるね。
(a + b + c)/2pi*r ≧6√3/2pi=1.6539...
(a+b+c)/2pi*R≦3√3/2pi=0.8269...
三角形の円周は内接円の円周の1.6539..倍以上で外接円の円周の0.8269..倍以下か。。