＞＞249
公式によるものです
p＝(a＋b＋c)/2
p(p-a)(p-b)(p-c)をルートすればよい
やってみよう
p=(5+6+7)/2=9
9(9-5)(9-6)(9-7)=144
√144は6√6
勿論一つの角のcos値を求めてsinに換算し absin/2という形で求めるのもいい