编写一个fun函数,功能是根据给定的三角形三条边长a,b,c,求三角形的面积