如果直角三角形的两直角边长分别为a、b，斜边长为c，那么（    ）=c²；这一定理在我国被称为（    ）。