余弦法則 + 面積 = (1)/(2) ab sin C を使ってヘロンの公式を証明せよ。