设a,b,c为一个三角形的三边,S=0.5(a+b+c),且S^=2ab,是证:S