>>704
a^2+b^2=c^2 を使ってもっと簡単にするのが題意かと