a,b,c为三角形三边,S=1/2(a+b+c),且S的平方等于2ab,试用分析法证明S