若三角形三边a,b,c满足a²+b²=c²,则这是直角三角形,这是什么定理?