a+b+c=1
1-a=a+b+c-a=b+c
1-b=a+b+c-b=a+c
1-c=a+b+c-c=a+b
(1-a)(1-b)(1-c) = (b+c)(a+c)(a+b)
a+b≥a; b+c≥b; c+a≥c ⇒ (a+b)(b+c)(c+a)≥abc
sin125/sin55-cos125/cos55=sin125cos55-cos125sin55/sin55*cos55=