一个 -代数数是一个数
,它满足
|
(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)。