√3sinC＋cosC=2sin(C＋30°)≤2,即：
2－cosC≥√3sinC
2－[a²＋b²－c²]/2ab≥√3sinC,两边乘以2ab,得：
4ab－[a²＋b²－c²]≥√3×2absinC=4√3S,即：
c²－a²－b²＋4ab≥4√3S.