三遍abc满足a*a-b*b=c*c的三角形是直角三角形,是真命题还是假命题