a的平方加b的平方等于c的平方是什么定律?