ヘロンの公式の一般化も
Brahmaguptaの定理だな