>>243
あってるか自信ないけど

まず条件式を2次式と思って解くと
例えば
c=(√((4-a^2)(4-b^2))-ab)/2 ・・・@
a,bについても同様
a,b,cは非負実数なのでa,b,cは全てが2以上か全てが2以下でなければならない
しかし条件式よりabc≦4なので
0≦a,b,c≦2
さて(1-a),(1-b),(1-c)の中に同符号の組が存在する
それを(1-a),(1-b)としておく
上の@を変形すると
4(2+abc-ab-bc-ca)=
(a-b)^2+ (√(4-a^2)+√(4-b^2))^2+4c(1-a)(1-b)≧0


途中で対称性が破れるから三角形条件の三角比が背後にあるのかと思ったり