怎样证明已知a^2+b^2=c^2,证三角形为直角三角形