一个 -代数数是一个数 ,它满足
(1)
|
其中 是 Rogers L-函数,并且 是不全为 0 的整数(Gordon 和 Mcintosh 1997)。Loxton (1991, p. 289) 给出了一系列具有有理系数的类似恒等式
(2)
|
而不是整数。
唯一已知的 1 阶 -代数数是
(3)
| |||
(4)
| |||
(5)
| |||
(6)
| |||
(7)
|
(Loxton 1991, pp. 287 和 289; Bytsko 1999),其中 。
唯一已知的有理 -代数数是 1/2 和 1/3
(8)
|
(9)
|
(Lewin 1982, pp. 317-318; Gordon 和 McIntosh 1997)。
存在许多已知的二次 -代数数。Watson (1937) 发现
(10)
|
(11)
|
(12)
|
其中 、 和 是以下方程的根
(13)
|
因此
(14)
| |||
(15)
| |||
(16)
|
(Loxton 1991, pp. 287-288)。这些被称为 Watson 恒等式。
更高阶的代数恒等式包括
(17)
| |
(18)
| |
(19)
| |
(20)
| |
(21)
| |
(22)
| |
(23)
| |
(24)
| |
(25)
|
其中
(26)
| |||
(27)
| |||
(28)
| |||
(29)
| |||
(30)
| |||
(31)
| |||
(32)
|
(Gordon 和 McIntosh 1997)。