已知a2+b2=c2证明直角三角形