「a²＋b²＝c²」は「三平方の定理」の公式です。