在数论中，质数是指大于1且只能被1和自身整除的正整数。那么，怎样才能知道某个数是不是质数呢？解决这个问题的方法有很多，下面就来一一介绍。
首先，最简单的方法就是试除法。试除法是将待判定的数n从2到n-1依次除以每一个整数，如果都不能整除，则n为质数。这个方法虽然简单，但对于大数来说效率较低，计算量很大。
其次，还可以使用质因数分解法来验证一个数是不是质数。将待判定的数n分解成若干质数的乘积，如果只有一个因子这个数，那么这个数就是质数。例如，对于数36，它可以分解成2 * 2 * 3 * 3，因为由4个因子组成，所以36不是质数。
当然，还有一些其他的方法，例如费马小定理。费马小定理是一个关于质数的重要定理，在计算机科学和密码学中广泛应用。具体来说，费马小定理的公式为：a^(p-1) ≡ 1 mod p，其中a是一个任意整数，p是一个质数。如果一个数n不满足这个定理，那么它就不是质数。
但是，如果一个数满足费马小定理，也不一定就是质数。比如说，当a=2，p=341时，2^(340) ≡ 1 mod 341，但是341并不是质数，而是合数 - 17 * 20。因此，与费马小定理配合的还需要一个定理来判断一个数是不是质数。这个定理就是米勒-拉宾定理。
米勒-拉宾定理是1980年获得图灵奖的加里·米勒和迈克尔·拉宾提出的。他们提出这个定理是为了解决掉费马电子游戏中的一个问题：在费马小定理的基础上，如何快速判断一个数是不是质数。米勒-拉宾定理给出了一种概率性的方法，可以在很短的时间内大致判断一个数是否是质数。
总之，在数学中，判断一个数是否是质数是一个重要的问题，有多种方法可以解决。其中试除法、质因数分解法、费马小定理和米勒-拉宾定理都是常用的方法。但即使使用这些方法，对于大数来说，计算量仍然很大，需要耐心和技巧。