>>877
2s=a+b+cとおいて
2S=absinC
sinCは余弦定理
からSを求めるとヘロンの式になる。
なんて親切なんでしょう僕。