证明直角三角形a^2+b^2=c^2