>>604
AB、BC、CA をそれぞれ計算して

AB=AC かつ BC^2 = AB^2 + AC^2 なら
∠A=90°の直角二等辺三角形