使a,b,c为三角形ABC三边,S^2=2ab,S=1/2(a+b+c),求证:S