既約ピタゴラス数の公式教えてください