小明和小刚的对,是直角三角形或等腰三角形∵(a-b)(a^2+b^2-c^2)=0∴有a-b=0或a^2+b^2-c^2=0当a-b=0时,a=b所以是等腰三角形当a^2+b^2-c^2=0时a^2+b^2=c^2∴为直角三角形综上所述,小明或小刚说的对
由已知,得a-b=0或a^2+b^2=c^2,所以△ABC是等腰三角形或直角三角形。三人的说法都不对。