互质数即最大公约数为1的两个数，4和9能否成为互质数一直是数学界的一个争议话题。然而，根据数学运算法则我们可以得出结论：4和9不是互质数，因为它们的最大公约数是1。
为什么呢？我们来看一下4和9的因数分别为：4（1，2，4），9（1，3，9），我们可以看到1是它们的公共因数，但是除了1之外没有其他的公共因数，因此它们的最大公约数是1，因为两个数的公共因数个数多于1时，便不能成为互质数。
对于关于两个数的互质性质，我们还可以运用欧几里得算法，也叫辗转相除法，来进行求解。该算法的具体步骤为：用大的数除以小的数，用得到的余数去除较小的数，再用新的余数去除刚才的余数，重复该过程直至余数为0，此时剩下的被除数即为最大公约数。
4和9不是互质数是可以通过数学运算证明的，而这其中有一些常见的算法可以帮助我们计算数学问题的答案。