2次方程式の解の公式 ピタゴラス数と線分の長さ