西爾維斯特分圓數

給定引數為 和 的 盧卡斯序列，判別式 ，以及根 和 ，西爾維斯特分圓數是

(1)

其中

(2)

是 本原單位根，乘積遍歷所有與 互質 的指數 ，使得 。

對於小的 ，前幾個值是

			(3)
			(4)
			(5)
			(6)
			(7)
			(8)
			(9)

這些數字滿足

(10)

其中，通常 。

Ward (1954) 給出了一個涉及這些數字的素性檢驗。