传说古代的叙拉古国王海伦二世发现的公式，利用三角形的三条边长来求取三角形面积。已知△ABC中的三边长分别为a,b,c，求△ABC的面积。

提示：海伦公式

输入

a,b,c，3边长

输出

面积

3 4 5

6

9 12 15

54