选项 C 中的关系式a/b*b + a%b == a是恒成立的。
这个关系式是基于整数除法和余数运算的性质得出的。根据整数除法的定义,当我们计算a/b时,会得到商的整数部分,而余数运算a%b则得到剩下的余数。
因此,a/b得到的商乘以b,再加上余数a%b,应该等于原来的被除数a。这是因为商乘以除数相当于可以整除的部分,再加上余数就可以得到完整的被除数。
选项 A:a*b/a*b == 1这个关系式可以简化为1 == 1,所以在数值上它是成立的。然而,这个关系式并不能保证在所有情况下都成立。当a和b不相等时,或者其中一个为 0 时,分子和分母就不相等了,因此关系式不一定成立。
选项 B:a/b*b/a == 1这个关系式可以简化为(a^2)/(b^2) == 1,其中^表示乘方运算。如果a和b的绝对值相等,那么关系式成立,例如a = 2,b = -2。然而,当a和b的绝对值不相等时,关系式不成立。
选项 D:a/b*b == a这个关系式可以通过整数除法的性质进行证明。根据整数除法的定义,a/b得到的商乘以b应该等于最接近但不大于a的整数。因此,当a除以b时得到的商再乘以b等于a,关系式成立。