これは現代では勾股定理(ピタゴラスの定理)の公式として知られている。