欧几里得引理 在数论中欧几里得引理是在欧几里得几何原本第七卷的命题中提出的定理這個引理說明 如果一个正整数整除另外两个正整数的乘积第一个整数与第二个整数互质那么第一个整数整除第三个整数 可以这样表达这个引理 如果abc gcdab 那么 ac 命题是这样说的 如果一个素数整除两个正整数的乘积那么这个素数可以至少整除这两个正整数中的一个 如果 pbc 那么 pb 或者 pc