卡羅爾質數

卡羅爾質數是可以用$4^n-2^{n+1}-1$或$(2^n-1{)}^2-2$表示的质数，前幾個卡羅爾數是：1、7、47、223、959、3967、16127、65023、261119、1046527 Template:OEIS。

這些數字最早是由克萊斯圖斯·伊曼紐爾（Cletus Emmanuel）研究，他以以朋友卡羅爾·基農（Carol G. Kirnon）的名字命名。

二進制表示式

在n > 2時，第n個卡羅爾數在二進制下，可以表示為n − 2 個連續的1，中間一個零，n + 1個連續的1，或者可以表示如下：

$\sum _{i\ne n+2}^{2n}{2}^{i-1}.$

例如，47的二進制為101111，223的二進制是11011111，第2n個梅森數和第n個卡羅爾數的間的差是$2^{n+1}$，因此可得卡羅爾數的另一個等效表示式$(2^{2n}-1)-2^{n+1}$。第n個凱尼亞質數會比第n個卡羅爾質數多2的n+2次方。